7 votos

Demostrar que un operador lineal $T:E \rightarrow E'$ tal que $\langle Tx,y \rangle=\langle Ty,x\rangle$ está acotado

Sea E un espacio de Banach y $T:E\to E'$ un operador lineal tal que $\langle Tx,y\rangle=\langle Ty,x\rangle$ para todos $x,y\in E$ . Aquí $E'$ es el espacio dual de $E$ . Tengo que demostrar que $T$ es un operador acotado. He intentado utilizar el teorema del grafo cerrado, pero no puedo demostrar que el grafo de T sea cerrado. Agradecería si alguien pudiera ayudarme. Gracias.

13voto

mona Puntos 38

Dejemos que $x_n\to x$ en $E$ y $Tx_n\to z$ en $E'$ . Tenga en cuenta que para todos los $y\in E$ tenemos $$ \langle z,y\rangle =\lim\limits_{n\to\infty}\langle Tx_n, y\rangle =\lim\limits_{n\to\infty}\langle Ty, x_n\rangle =\langle Ty, \lim\limits_{n\to\infty}x_n\rangle =\langle Ty, x\rangle =\langle Tx, y\rangle $$ Desde $y\in E$ es arbitrario $z=Tx$ . Por el teorema del gráfico cerrado $T$ está acotado.

2voto

gerw Puntos 8424

También es posible aplicar Banach-Steinhaus para obtener la continuidad.

0 votos

¿podría, si no le importa, darme un esquema de la prueba?

0 votos

Dejemos que $B \subset X$ sea la bola unitaria y consideremos la familia de funcionales $\{ Tx \mid x \in B \} \subset X'$ . Para comprobar que está acotado puntualmente, tomemos un punto $y \in X$ y $(Tx)(y) = \langle Tx , y \rangle = \langle Ty, x \rangle \le \|Ty\|$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X