Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+1 voto
Sea $E$ espacio de Banach. Demostrar que si $T:E\longrightarrow E'$ es un operador linear, tal que $T_{x}(x)\geq 0$,para todo $x\in E$, entonces T es Continuo.

La idea seria usar el Teorema del gráfico cerrado, sólo que estoy sabiendo comu usar   $T_{x}(x)\geq 0$.
por (1,2m puntos) en Avanzadas
¿$E'$ es el dual de $E$?
Si, es el dual topológico.
A ver, para entender la notación, ¿$T_x(y)=(T(x))(y)$? ¿o $T_x(y)=(T(y))(x)$?

1 Respuesta

+2 votos
Toma $y\in E$ arbitrario entonces si $(x_n,T_{x_n})$ convergen para $(x,l) $ en $E'$, entonces tomando limite tenemos

$$l(x-y)-T_{y}(x-y)\geq0$$ luego toma $y=x+z$ y tendras

$$l(-z)-T_{x+z}(-z)\geq0$$

o que es lo mismo

$$-l(z)+T_{x}(z)+T_{z}(z)\geq0$$

si cambiamos $z$ por $tz$ con $t\in\mathbb{R}$ tendremos una cuadrica que siempre es no negativa por lo que $T_x(z)=l(z)$ y como $z$ es arbitrario sigue que $l=T_x$ y portanto podemos usar el teorema del grafico cerrado.
por (2m puntos)
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...