Sean E, F unos espacios normados y sea D(T) un subespacio vectorial de E en el cual est definido un operador lineal

T:D(T)-+F.
Decimos que T est densamente definido en E si D(T) es un subespacio denso en E. En muchas ocasiones un operador est definido originalmente en un subconjunto del espacio que en el momento dado constituye nuestro "universo" y luego se estudia la posibilidad de extenderlo a un dominio ms amplio. A veces la definicin del operador no nos permite ver inmediatamente si el operador en cuestin tiene sentido para todos los elementos del espacio. Como ejemplo sencillo de tal situacin podemos considerar en E = Ll(R) un operador T definido en D(T) = {f Ll(R)\fg Ll(R)} por la frmula Tf = gf, donde g es una funcin dada. Dependiendo de las propiedades de g, D(T) puede ser igual a todo Ef puede ser un subespacio propio denso el subespacio trivial {0}. Como vamos a observar mas tarde, las propiedades topolgicas del espacio E en el cual se encuentra el dominio D(T) del operador T son muy importantes en el estudio del mismo operador, entonces en cada momento debemos estar concientes en que "universo" estamos trabajando actualmente. Para describir un operador de este tipo vamos a usar a veces la notacin:
ww w.

para recordar que estamos en el espacio E, aunque el dominio de T es mas pequeo. En principio estudiaremos unos criterios muy sencillos de la extendibilidad de operadores densamente definidos en un espacio normado.

at e

at ic

a1

.c o

Proposicin 8.1 Sea (E, || ||) un espacio normado y F un espacio de Banach. Sea T: D(T) F un operador densamente definido y continuo en (D(T), || ||). Entonces existe un nico operador t G L(, F) tal que f \D(T) = r . Adems ||f || = ||7||. Demostracin Si t es una extensin continua de T sobre , entonces para todo x G E tal que x = lmnoo xn, xn G D(T) tenemos tx = lm^oo T(xn). La extensin, si existe, es entonces nica. Pasamos a la demostracin de la existencia de T. El operador T es acotado, as que para x D(T) \\Tx\\ < \\T\\\\x\\. (8.1) Sea x e E y sean xn G D(T) tales que lm,,-^ xn = x. La relacin

nKX>

at

||?;t|| = lm ||Txw|| < TU lm | M =

n^cx)

El operador f es continuo y ||f || = ||r||. Definicin

ww

Un operador lineal T:E D D(T) F, se dice cerrado en E si la grfica de T > definida como sigue:

w.

es un subespacio cerrado en E x F. Proposicin 8.2 Un operador lineal T: D(T) F es cerrado si y slo si la condiciones (D(T) 3 xn y) implican JC G D(T), y y = Tx x eE,yTxn-+ La afirmacin de proposicin 8.2 es tan solo una repeticin de la definicin original en trminos de sucesiones convergentes.

at em

G(T) = {(*, Tx)\x D(T)} C E x F,

ic

a1

implica que (Txn) es una sucesin de Cauchy en F, El espacio F es completo, entonces existe lmw_>oo Txn = y. Ponemos Tx = y. Por la desigualdad (8.1) obtenemos:

.c om

Definicin Un operador lineal T: D(T) F es cerrable si la cerradura de su grfica es una aplicacin en E x F. Recordamos que una relacin K c E x F es una aplicacin si (JC, y) Ti, y (JC, / ) G Ti implica y = / . En caso de un operador cerrable el criterio anlogo a proposicin 8.2 tiene la forma siguiente: Proposicin 8.3
Un operador lineal T: D(T) F es cerrable si y slo si las condiciones: D(T) 3 > xn x, Txn y y al mismo tiempo D 3 x!n JC, Tx!n y7 implican y = y .

Demostracin
La cerradura de G(T) contiene a todos los pares (JC, y) E x F para los cuales existe una sucesin jcn JC, jcn G D(T) tal que 7jcrt -> y. La cerradura G(7*) es una aplicacin, si lmn_>oo Txn es igual para todas las sucesiones D(T) 3 xn JC para las cuales Txn converge. Esto precisamente afirma la proposicin 8.3. Si T: D(T) F es un operador cerrable, entonces existe un nico operador cerrado T definido en el dominio

at em

a travs de la frmula: d o n d e jcn > JC.

fjc^mi^rjc,,,

at

D(T) = {JC G E\3xn G D(T),

xn - JC tal que

ic

a1

.c om

Txn converge en F }
(8.2)

Ejemplo

ww

Sea E = F = C([0,1]) y D(T) = C^tO, 1]). Definamos para/ G C^tfO, 1]):

w.

M
77=/,
= / Jo
/(*)=
Jo

Si/* - / e n C([0,1]), donde/n G C^tO, 1]) y adems/' -> (pen C([0,1]), entonces en virtud del teorema fundamental del clculo obtenemos:

Por lo tanto

lo que implica/ G C ! ([0,1]) y / ; = < = 7/. El operador T de derivacin es cerrado p en C([0,1]) si su dominio es Cl([0,1]). Observe que T no es continuo con respecto a la convergencia uniforme!

Proposicin 8.4 SeaEun espacio normado y sea F un espacio de Banach. Si T:E D D(T) - + F e s un operador continuo, entonces T es cerrado si y slo si D(T) es un espacio cerrado en. Demostracin Supongamos primero que T es un operador cerrado y continuo. Para toda sucesin (xn) en D(T) (xn->xE)=> (3y F,Txn-+y F) porque (Txn) es una sucesin de Cauchy y F es un espacio de Banach. Siendo T un operador cerrado se sigue x 6 D(T), yTx = y. El dominio de T es cerrado. Ahora supongamos que D(T) = D(T) y sea xn JC, donde xn e D(T\ x e E. Por nuestra suposicin x D(T). La continuidad de T implica que Txn -+ Tx. T es cerrado. Proposicin 8.5 Sea T:E D D(T) F un operador continuo. Entonces T es cerrable y T es un operador continuo con ||f || = ||r||. Si D(T) = E y T es continuo, entonces T es cerrado.

at em

C Para todo J D(T) tenemos ||7JC|| < ||r||||jc||. Suponiendo que xn - x, x'n -* JC, donde jcn, JC', G D(7) y adems Tjcn y, 7 X ~^ / obtenemos por la continuidad * dcT:

at

ic

Demostracin

a1
y

.c om

^ - ^ i ! = 0.

D{t) =

ww

Por lo tanto y = y*. El operador T tiene como dominio

{JC

e E\3xn -

w.

JC,

jcn G D(7)

TJCW

es convergente en F}.

C El valor f(jc) para J = lm,,-^ jcn es entonces igual a lm,,-^ Txn. Obtenemos ||fjc|| = l n w \\Txn\\ < ||r|| lfm^oo ||jcrt|| = ||r||||jc||. Obviamente la norma de una extensin puede ser menor que ||r|| entonces las dos normas coinciden. La ltima afirmacin es obvia. Proposicin 8.6 Sea T un operador cerrado con dominio D(T) C E. Entonces kerT = {x G D(T)\Tx = 0} es un subespacio cerrado en E.

Demostracin El conjunto {0} x ker T C E x F es la interseccin de G(T) con {0} x F. Los dos espacios son cerrados en E x F, entonces {0} x ker T es un conjunto cerrado y tambin el mismo ker T es cerrado. El concepto del operador cerrado nos proporciona unos criterios de continuidad de operadores lineales. El principal teorema pertenece a Banach. Teorema 8.7 (de la grfica cerrada) Sea (, || ||) un espacio normado y sea F un espacio de Banach. Sea D(T) c E un subespacio denso y de 2a categora en E. Si T: D(T) G F es un operador lineal cerrable, entonces D(f) = E y T es continuo. Demostracin En virtud de que U^i #(0, n) = U^i nB(0,1) = F tenemos la relacin:

3e > 0 J3(0, e) c T~l(B(0, no)) 6 en forma un poco ms general:

w.

at em

La suposicin de que el dominio D(T) es de 2a categora en E nos asegura que para algn /?o el conjunto T-l(B(0f no)) = noT~l(B(Q, 1)) tiene interior no vaco. El ltimo conjunto es cerrado, balanceado, convexo. Aplicando Lema 7.2 obtenemos:

VJ>0

Si cada elemento de B(0, r(s)) es lmite de una sucesin de elementos de la imagen inversa T~x(B(0, s)\ esto significa que B(0, r(s))nT~l(B(0, s)) es denso en B(0, r(s)). Obtenemos entonces la propiedad siguiente: y e > 0 3x' e D(T) n B(0, r(s)) (8.4)
tal que |JC J ' < e CH y ||7V||<J.

Es obvio que, si r(s) cumple con la propiedad (8.3), entonces cualquier r'(s) < r(s) tambin la cumple. Podemos entonces escoger r(s) de tal manera que para s * 0 tambin r(s) 0. Vamos a tomar sn = ^f n = 1, 2 , . . . , denotando rn = r(sn). >

ww

3r(5)>0 B(0,iis))CT-l{B(0,s)).

at

ic

a1

D(T) = U T-\B(0, n)) = |J nT~l(B(0, 1)).

oo

oo

.c om

(8.3)

Seax 6 5(0, n ) y sea xx G D(T) n 5(0, n ) tal que |JC JCI || < r2 y ||rxi|| < \. Existe tambin x 2 G D(T) n 5(0, r 2 ) tal que ||x - *i - x2\\ < r3 y ||7"JC2|| < . Repitiendo el procedimiento se llega a JC* G D(J) n 5(0, r) tal que

Denotemos un = X)?=i */ El elemento un pertenece a D(7) y un je. Adems para n<m

i=n+l

\\Tx\\ =

1=1

De aqu deducimos que ||f|| < y-. El operador T es acotado.

at

ic

n->oo

lm

" = lm I > I

a1
TX\\ i=l

.c om

La sucesin (r rt ) es una sucesin de Cauchy y tiene lmite en el espacio de Banach F. Sea y = lm^-^oo Tu. Aprovechando el hecho de que T es un operador cerrable y f es cerrado obtenemos: x G D(T), Tx = y. Resulta que el operador T est definido para todo x G 5(0, r\) y por lo tanto en todo E = Ui "5(0, ri). Adems si x G 5(0, r0, entonces " 1 < lm > -T = 1.
i=l

El teorema de la grfica cerrada se usa muy frequentemente en la siguiente forma simplificada.

Sean E, F unos espacios de Banach y sea T: E F un operador lineal cerrado. > Entonces T G L(E, F).

Demostracin
Por el teorema de Baire (vea teorema 1.5) el espacio E es de 2a categora en si mismo, entonces la afirmacin se obtiene directamente aplicando teorema 8.7.

Teorema 8.9

Sean E, F unos espacios de Banach y sea T G L(E, F) un isomorfismo lineal. Entonces T~l:F -> E pertenece a L(F, E).

ww

(Teorema de Banach de isomorfismo)

w.

Teorema 8.8

at em

Demostracin El operador T~l:F E es cerrado. Efectivamente, si yn y y T~lyn x, entonces aplicando T obtenemos por la continuidad del mismo: yn Tx, as que l Tx = y 6 T~ y = x. Gracias a teorema 8.8 obtenemos la afirmacin. Para explicar el nombre del ltimo teorema recordemos que por el isomorfismo de espacios normados E, F se entiende un operador lineal A L(E, F) tal que A""1 existe y es continuo. El teorema de Banach de isomorfismo asegura que en los espacios de Banach un isomorfismo lineal que es continuo es tambin un isomorfismo topolgico. Disponiendo del teorema de la grfica cerrada se puede obtener criterios de continuidad para clases especficas de operadores lineales. Teorema 8.10 (Teorema de Toeplitz)

Demostracin

(y\z) = (lm Txn\z) = lm (Txn\z) = lm (xn\Tz) = (x\Tz) = (Tx\z).

n*oo noo n-*oo

El vector y Tx es ortogonal a todo z H, as que Tx=y.

at em

at

E s suficiente mostrar que e l operador T e s cerrado, para aplicar l u e g o e l teorema 8.8. S e a xn x y Txn y . D e b e m o s mostrar q u e Tx = y . Para todo zH tenemos:

ic

a1

.c om

Sea (//, ( | ) ) un espacio de Hilbert y sea T: H H un operador tal que (Tx\y) = (x\Ty), x,y H. (Decimos en este caso que T es un operador simtrico). Entonces T e L(H).

Decimos que un operador lineal T: E F es dbilmente continuo si para toda sucesin convergente xn x en E y para t o d o / F'f(Txn) >f(Tx). Teorema 8.11 Sean E, F unos espacios de Banach y sea T:E F un operador lineal dbilmente > continuo. Entonces T L(E, F). Demostracin El razonamiento es parecido al aplicado en la demostracin anterior. Pretendemos mostrar que T es cerrado. Supongamos que xn x y Txn y. Para t o d o / G Ff > se tiene/(y) = lm n ^oo/(rjc n ) = f(Tx), por la continuidad dbil de T. Todas las

ww

w.

Definicin

formas continuas / se anulan sobre el vector y Tx, entonces por el teorema de Hahn-Banach y = Tx. El operador T resulta cerrado y la aplicacin de teorema 8.8 termina la demostracin. Veamos tambin una aplicacin de la versin ms sofisticada del teorema de la grfica cerrada.

Ejemplo
Sea X un espacio con una medida finita \L (En captulo 10 el lector puede encontrar un breve resumen de la teora de la medida.) El espacio L2(X, i) est contenido en Ll(X, i). Vamos a mostrar que, si L 2 * Ll, entonces L 2 es un conjunto de Ia categora en L 1 . Supongamos lo contrario introduzcamos el operador A con dominio D(A) = L2(X, \i) C Ll(X, \i) = E y con valores en L2(X, [i) = F, definido por:

El teorema del operador abierto

Recordemos que un operador lineal A:E -+ F se dice abierto si para todo abierto U C E la imagen A(U) es un conjunto abierto. Hemos visto en el captulo 4 que la proyeccin natural P:E E/E\ es un operador abierto siempre y cuando E\ es un subespacio lineal cerrado del espacio normado E.

Teorema 8.12 (El teorema de operador abierto)

Sea E un espacio de Banach y sea F un espacio normado. Supongamos que A G L(E, F) y que A(E) es de 2a categora en F. Entonces A es suprayectivo, abierto y F es un espacio de Banach.

ww

w.

at em

El operador A es entonces la identidad compuesta con el cambio de la norma. Supongamos que/ n G L2(X, |x) y que/,, >/ donde/ G Ll(X, fi) y la convergencia es con respecto a la norma || ||i. Si Afn =/ (p en el espacio L2, entonces una subsucesin de (fn) converge a (p puntualmente en casi todas partes, por lo cual q = / |X-casi dondequiera. Obtenemos > 2 / G L (X, \i) = D(A) y Af = / = (p. El operador A = id es cerrado y por el teorema 8.7 es continuo y definido en todo Ll(X, (X). Aqu est la contradiccin, porque Ll(X, \i) 4 L2(X, \x). Entonces L2 es de Ia categora en L 1 . La condicin Ll(X, |i) ^ L2(X, |J,) se cumple por ejemplo en caso de la medida de Lebesgue en un subconjunto abierto de Rn.

at

ic

a1

.c om

Demostracin El teorema 4.8 afirma que existe un nico operador continuo :E/kerA F definido por la frmula [x] = AJC. El operador A es inyectivo, entonces existe un operador lineal ~l: A(E) E/ ker A y su dominio es de 2a categora en F. > El operador es cerrado, porque es continuo, definido en todas partes (vea teorema 8.5). La grfica de A" 1 tiene la forma: G(~l) = {(AJC, [JC]) G F X (/kerA)|jc G E} y se obtiene de la grfica de A cambiando el orden de elementos en el producto cartesiano. La grfica de A" 1 entonces es cerrada, as que A" 1 es un operador cerrado y por el teorema 8.7 A" 1 es continuo, D(~l) = F = (E) = A(). Resulta que A es un isomorfismo de espacios normados. Si U C E es un abierto, entonces P{U) es un abierto en E/ ker A (donde P: E E ker A denota la proyeccin natural, que es un operador abierto segn el lema 4.8). El conjunto A(U) = (P(U)) es igual a la imagen inversa de P{U) con respecto al operador continuo A" 1 y como tal es un conjunto abierto. El hecho de que F es un espacio de Banach se obtiene advirtiendo que los isomorfismos de espacios normados conservan la completez de espacios. Veamoslo directamente por la definicin: si (yn) es una sucesin de Cauchy en F, entonces (A~l(yn)) es una sucesin Cauchy en E/ ker A, cosa que podemos ver inmediatamente recordando que:

Problemario

1. Sean E, F unos espacios de Banach. Mostrar que un operador lineal T:E D D(T) F es cerrado si y solo si su dominio D(T) es un espacio de Banach con respecto a la norma ||(JC, TJC)|| = ||JC|| + ||r*||. 2. Mostrar que el espacio Cl([a, b]) es de Ia categora en C([a, b]). 3. Sea E un espacio normado sobre K y sea A: E D D(A) E un operador lineal cerrado. Mostrar que para todo X E K el operador A X id es tambin cerrado. 4. Sean , F unos espacios normados y sea A: E F un operador lineal cerrado. a. Mostrar que para todo conjunto compacto K C E la imagen A{K) es cerrada en F.

ww

w.

l n_^oo ~ (yn).

En virtud de que /kerA es un espacio de Banach (teorema 4.8) existe x Aplicando el operador A" 1 obtenemos yn AJC.

at em

at

ic

a1

.c om

b. Si C C F es un compacto, mostrar que A~l(C) es cerrado en E. 5. Mostrar que un operador lineal A es abierto si y solo si A(B(0,1)) es abierto. 6. Sean E, F unos espacios de Banach. Sea A: E D D(A) F un operador cerrado tal que A(D(A)) es de 2a categora en F. Mostrar que A es suprayectivo y para todo abierto U C E la imagen A(U n D(A)) es abierta en F. 7. Sean || ||i y || H dos normas definidas en el mismo espacio vectorial E. Si E 2 es completo respecto a las dos normas mostrar que las normas son equivalentes. 8. Sea E un subespacio vectorial cerrado en el espacio Ll(0,1) de funciones integrables sobre [0,1] con la norma \\f\\ = /Q \f(x)\dx. Si todos los elementos de E son funciones acotadas mostrar que dim E < 00.

ww

w.

at em

at

ic

a1

.c om