You are on page 1of 108

Teoría de los operadores lineales en espacios de Hilberf

POR

MANUEL

LÓPEZ

RODRÍGUEZ

PREFACIO En este trabajo se expone una parte del programa del Seminario de Análisis Matemático I desarrollado en la Universidad de Murcia en el Curso Académico 1978-79. El contenido de los tres primeros capítulos es clásico y sus resultados más importantes se pueden encontrar en una u otra de las referencias en la bibliografía. En el capítulo 4 se presentan resultados recientes del autor, no publicados, relativos a extensiones autoadjuntas de operadores diferenciales matriciales simétricos. En su mayor parte este trabajo es autocontenido y su lectura sólo requiere conocimientos básicos de análisis, álgebra y topología adquiridos en el primer ciclo de la licenciatura de Matemáticas. Desearía agradecer a la Universidad de Murcia la publicación de este trabajo y a los estudiantes del citado Seminario su colaboración en la revisión del manuscrito. Murcia, abril 1979

Manuel López Rodríguez

CAPÍTULO 1

ESPACIOS MÉTRICOS, NORMADOS Y DE HILBERT

Definición 1.1.—Se llama pseudométrica (p. m.) en un conjunto E, a una función d: E x E ^ I R satisfaciendo las condiciones siguientes: 1. desigualdad triangular, d(a, b) ^ d(a, c) + d(b, c), 2. para todo punto a en E se tiene d(a, a) = 0. Estas dos propiedades implican las siguientes: 3. d(a, b) ^ O, Va, b e E; V a, b, c G E;

4. d(a, b) = d(b, a), Va, b € E. La p. m. 5. d(a, b) = O d se dice que es una métrica si satisface además si y sólo si a = b. Va, b € E.

Definición 1.2.—Se llama espacio pseudométrico a un conjunto E dotado de una pseudométrica d y la topología definida por d. Un es-

Teoría

de los operadores

lineales

en espacios

de

Hilbert

pació p. m. se dice que es un espacio métrico si y sólo si su p. m. es una métrica.

Definición 1.3.—Sean

E y F espacios p. m. Una función f: E^F a, b de ele-

se dice que es una isometría si y sólo si para todo par mentos en E se tiene dE(a, b) = dF(f(a), f(.b)).

Teorema 1.4.—Si E es un espacio métrico completo y tonces Á es completo. Demostración. Inmediata.//

Ac E

en-

Definición 1.5.—Si E y F son espacios p. m., se dice que una función f: E — > F es uniformemente continua si para todo E > O, existe 5 > O tal que (1.1) d(a,b)<5 =^ d(f(a), f(b))< e.

Teorema 1.6—Sean E y F espacios p. m. y métrico completo, respectivamente. Si f: A -> F, A c E es uniformemente continua existe una única extensión continua g de f a A. Además g es uniformemente continua. Demostración. Sea x € A, y seleccionemos (x,,) c A tal que (x„)—>x. Para todo E > O, se toma 5 > O como en (1.1). Así, puesto que (x„) es una SC (sucesión de Cauchy), existe No tal que dE(xn, Xm) < S Por tanto dF(f (xn), f(xm)) < E para todo n, m > No, y si n, m > No.

vamos a d e m o s t r a r que es continuo. si se define la p . (f(xn)) tiene límite.^ x .g G C(A.g)= sup x€A dB(f(x). m. Denotando p o r g(x) este límite. yn) < . P o r tanto d(xn. m. y p o r tanto lo que implica para dF(f(xn). p a r a todo m€M. d por . si (yn) es otra sucesión en A que también converge a x.. Este es independiente de (xn). m. m. B) el conjunto de todas las aplicaciones continuas y acotadas de u n espacio p . (yi>)->y. m. f (y„)) < E. tales q u e d(a. y así d(f(x„). dc(f. f. dado E > O sean x. y n ) . T o m a n d o el límite d(g(x). y € A tales que d(x.—Un conjunto M en u n espacio p . d(y. m. Teorema 1. f(yn))->0.B). E espacio topológico y F espacio p . Como F es completo. Una función f: E — > F .8. g(x)) . se tiene que dE(xn. Si B = C. S S d(x.6 Manuel López Rodríguez (f(xn)) es u n a SC en F. E n efecto.^ 0 . x„) < . se dice que es acotada si y sólo si el conjunto f(E) es acotado en el espacio p . g(y)) < £ lo que termina la d e m o s t r a c i ó n .—C(A. se tiene. n-*oo. y) < S/3. E se dice acotado si existen a € E y r € K* fijos. p a r a n > No. B) es u n espacio p . y n ) < S p a r a n ^ «J . lim f(xn) = lim f(yn). donde S ha sido definida al comienzo de la demostración. F.7. / / Denotaremos p o r C(A. A en otro B. Definición 1. se p o n d r á simplemente C(A). Si ( x n ) . m ) < r. E n efecto.

f es también continua. n > N se tiene d(fn(x). es la bola abierta de centro X o y radio 5 > O.2) d(f„(x). para todo x. En efecto.Teoría de los operadores lineales en espacios de Hilbert 7 C(A. existe N tal que (1.B). Entonces. r tales Para uno de tales n. x ) < 5 }. Queda por demostrar que: i) ii) f€C(A. B(x„. para todo x y todo m. La sucesión (fai(x)) es pues de Cauchy en B. si B es un espacio métrico (respectivamente completo). fn(x)) < r. Demostración. 5) = { X I d(xo. Vx. se puede escoger un n (el mismo que en el párrafo anterior). m > N. es decir. fm(x)) < E. fm) < £ para todo n. B). B) es un espacio métrico (completo).Ux)) m—»oo y por tanto. f(x)) ^ d(a. En efecto. f(x)) = lim d(f„(x). d(a. f„(x„)) < E. Ello implica que (f„(x)) — > f(x) puntualmente. B). f(x)) ^ E si n>N. Entonces para todo e > O. Por tanto. para este n fijo. existen que d(a. un 5 > O tal que para todo x € B(xo. Sólo probaremos la última parte. fn es acotada. f es acotada pues d(f„(x). S). y f es acotada. f(x)) < r + E . a. dado E > O. y. f„(x)) + d(f„(x). se tiene d(f„(x). para todo x € A. dado x» y E > O. existe N tal que dc(fn. (fn)—»f en la métrica de C(A. Sea (fn) una SC en C(A. .

un espacio p. x) — d(y2. La función fx es claramente acotada. m. a) | ^ d(x. x€A Vn>N.f(x„)) ^ d(f(x). hay una isometría de E sobre F. y continua I fx(yi) — fx(y2) I ^ i d(yi.—Sea A.f)= sup d(f„(x). Entonces para todo x € B(xo. es decir. Para todo x € A da por sea fi la función defini- fx(y) = d ( y . Ei = E. A si: 1) E es completo.// Definición 1. 2) hay una isometría c p de A sobre un subconjunto denso Ei de E.I d(yi.. A. x) | -f -t. Por tanto (£„)—> f en la métrica de C(A. x ) . S) y usando (1. el mismo que en (1. m. Demostración. f„(x)) + d(f„(x).10. . pues I Uy) 1 = I d(y.9.2). Sea a € A.d ( y . f(x)) ^ £. a ) . Teorema 1. f(x„)) < 3£. Para demostrar ii).' Manuel López Rodríguez puesto que fn es una función continua. y si E y F son complecciones de A. Entonces A tiene una complección. a). dado E > O existe N.d(y. yz). a) | ^ 2 d(y. x) . B).—Un espacio métrico E se llama complección de un espacio p. B). se tiene .2). tal que d(f„.d(f(x). a) — d(y2. por lo que f € C(A. f„(x«)) + d(f„(xo).

y (p:A—>Ei isometrías. . ip:A->Fi Se define O: Ei —^ Fi por 0(z) = ^Kx). Pero al ser Fi espacio métrico se tiene que iKx) = 4^(y) p o r lo que O es u n a función. z) = O y p o r tanto d(iI.y) = 0 puesto que ^ es también u n a isometría. (p(y)) = d(z. Sean Ei = E . .8. y) = d((p(x). cp(y)). u€A por t a n t o d(x. A. Fi = F dos complecciones de A. En efecto.Teoría de los operadores lineales en espacios de Hilbert "9 La función cp : A—> C(A. ii) < 1 > es una isometría. Como < p es una isometría. y) = d((})(x). En efecto. Se tiene: i) O es u n a función.Hay que d e m o s t r a r que <\i(x) = ^Ky). IR) definida p o r <p(x) = fx ' es una isometría. x) — d ( u . d(fx.(x). OCy) = iWv). d(x. y) I = d(y. En efecto. supongamos que y € A es tal que <p(y) = z. sean a)(x) = ^(u) . Ei = A es u n a complección de teoremas 1. por los Si se toma Ei = (p(A). x). fy) = SUp I fx(u) u € A fy(u) I = = sup I d(u.4 y 1.vKy))=d(x. donde x es u n p u n t o de A tal que <p(x) = z.

m. En efecto. lim yn) = d(x. ^(y)) = d(lim 0(x„).» F y ésta es una isometría «sobre». Finalmente.10 donde (p{u) = X . <p(v) = y. puede representarse por: 1) la clase de todas las SC de las que es límite. n n lo que demuestra que es una isometría. V) = d(iWu).11. Manuel López Rodríguez . n y (zn) c Fi. 4>(y)). yn)—>0 para n ^ o o . Entonces.10. si z € F. o 2) la clase de sucesiones absolutamente convergentes equivalente.<p(Xn))< . El teorema 1.Kv)) = d(4. Un punto de la complección de un espacio p. para todo n existe X n tal que 1 d (x.6 da una extensión única de <S>: Ei—*^F a ^ : E . yn) = u n = d(lim x„. sean (xn)—í'X.m. también lo es (xn) y poniendo x = lim X n se tiene *(x) = *(lim XB) = lim í'(xn) = lim í)(x») = lim z„ = z. lim <D(y„)) = 1 1 n = lim d(<&(x„). si x. Como (zn) es una SC. y) = d(<}>(u). Puesto que Á = <p(A) en la construcción en el teorema 1. En efecto. 11 u n n y por tanto ^ es una aplicación «sobre». d(x.—Se dice que una sucesión (xn) en un espacio. Xn+i) < <». es absolutamente convergente si 2d(x„. donde (x„) c Ei . y € E. (yn) c Ei.// Definición 1. í>(y„)) = lim d(x„. . sea x € Á. Se dice que dos SC (x„) e (yn) son equivalentes si d(x„. (p(v)) = d(u. . (yn)—>-y. d(*(x). entonces z = lim Zn. Para todo n existe X n € Ei tal que Zn = <I>(xn). p. y). Entonces.(x).

de conjuntos dispersos. 2L2. E = m=l U Am. ani. rm) y no intersecta Am+i. Definición 1.—Se dice que un conjunto en un espacio topológico es disperso si su clausura no contiene ningún conjunto abierto no vacío. r). Xn+i) = d ((p(x„). x„+i) < 00 y (xn) es absolutamente convergente.Teoría de los operadores lineales en espacios de Hilbert 11 Entonces..12. se eligen am+i y rm+i < l/(m + l) tales que B( ) c B(am. an) < rm < m . rO y no intersecta Aa. . Teorema 1. Se dice que un conjunto es de primera categoría si es unión contable. contiene un conjunto abierto rio vacío. se puede encontrar otra B(b. 1 dA(x„. Usaremos el hecho de que A es disperso si y sólo si dada una bola B(a. Sea E un espacio métrico completo y supongamos que E es de primera categoría. Prosiguiendo de este modo y definidos 3i. r') c B(a. donde ningún Am. disjunta con A. finita o numerable. Demostración. es decir. (Teorema de la Categoría de Baire)..13.—Un espació métrico completo no es de primera categoría. . ra) está contenida en B(ai. Si n > m es claro que 1 d(am. ra < 1/2 tales que B(a2. r). n ) no intersecta Ai. q)(x„+i)) < A 2" h 1 2°*' Así EdA(xn. y a2.. Existen pues ai y n < 1 tales que B(ai..

Teorema 1. 5). y Contradicción.12 Por tanto (an) es una SC.15.// Definición 1. TA. c) S es completo y TA. Vm.—Se dice que un subconjunto A de un espacio métrico es totalmente acotado. Si (an) no contiene ninguna subsucesión convergente a un punto de S. el hecho de que una SC converge si y sólo si contiene una subsucesión convergente. Demostración. Si a = lim a» a $ U A„ ni=l Manuel López Rodríguez a € B(am. Inmediata. y) ^ 5. Contradicción.16. y condición h) im- . Sea (an) una sucesión en S. 5x) contiene a an sólo para un número finito de n. Por a) se puede obtener un número finito de estas bolas que recubren S y contienen a a„ sólo para un número finito de n. se tiene d(x. x v^ y. b) ^ c).—Un subconjunto A de un espacio métrico es y sólo si toda. Si (an) es una SC en S.—Si A es un espacio métrico y S c A. h) Toda sucesión en S contiene una subsucesión convergente a un punto de S. S-red en A es finita para todo S > 0. a) =^ h).// TA si Teorema 1. Demostración. si para todo 5 > O existe un conjunto finito de av tal que A c U B(av. rm).14. Un conjunto A es una 5-red si para todo x. entonces las condiciones siguientes son equivalentes: a) S es compacto. para cada X € S existe un 5x tal que B(x. y € A.

-1 1 ) n B(ar. para todo La sucesión (arm)i Cauchy. existe an tal que » 1 2 2 1 B(ari. Para todo m. ar. por ser S completo.. n-1. a™) < . es absolutamente convergente y.Teoría de los operadores lineales en espacios de Hilbert 13 plican que S es completo. Por inducción « 1 . y (0^) un recubrimiento abierto de S. m+i) + . —) 2 existe arin tal que B(a™. n—1 n d(ami. c) => a). y k tales que 1 a = lim an I. 2"^ Por otra parte. + d(ar. arn) — d(arm. Existe por tanto una sucesión en la 5-red que no tiene subsucesión convergente. )¥=9. m. m-i. de m-i m d{ar. y no tiene recubrimiento finito. En efecto. sea {B(a" )} un recubrimiento finito de S. se tiene que m m + 1 )cO„. Si S no fuera TA existiría un 5 para el cual la S-red en S no sería finita. ) 2 2^ 1 intersecta a B(ari. Por tanto. n i B(a. —) no tiene recubrimiento finito y existe an tal que B(ar2. Si (Oa) no contiene ningún recubrimiento finito.. arm) < 1 1 1 . existe a € S tal que También existen Oa. por tanto. Contradicción. y no tiene recubrimiento finito. m-1.

x € B(ann. P £ K. p a r a todo m 1 X € B(arra. n > m.14 Manuel López Rodríguez 1 1 2"!+' 1 1 2"'*' 3 < ( 2111 ^ + p a r a todo Así. x) < 2"*' y por tanto m B(arm.. arm) — Por tanto.17. para todo u. )+ ( + 2"^*^ ) + . x) < Tomando m > k + 3. y € M implica a x + + 3 y € M para todo a.) + dCa™. Contradicción. 2"" se tiene ni m ^ 3 1 1 d(a.-m) = lim d(arn. se tiene que 1 día.—Se dice que un subconjunto M de un espacio lineal E sobre K (IR o C) es una variedad lineal si x. M variedad lineal}. Se llama variedad afín al conjunto a + M = {a + x | x € M . 1 ). x) ^ d(a. .. 2"" 1 ) c 0„ . 2"° 2^ h . 1 ) c B{a. = 2° m n » 3 a(a. a. para todo m > k + 3.// Definición 1. am.

—Si U es una aplicación lineal continua de E y F espacios normados. NI. ||Xx|| = | X | ||x|| . N3. se tiene.y) ||x-y|| .18. se pone ||U|| = i n f { K | IlUxIl ^ K ||x|| }. E en F. ||U|| = sup XT^O " " ' ' " = sup { ||Ux|| I llxjl ^ 1 } = II X II X€E = s u p { IJUxIl 1 Ijxll = 1 } . U:E—>F. Inmediata. N2.19.—Sean E y F espacios normados y U una aplicación lineal de E en F.—Si E es un espacio lineal sobre K. Definición 1. VXGE.20.21. d(x. iii) Existe una constante K < oo tal que ||UX||F^K||X||E. 15 una función Definición 1. ||x|| = 0 si y sólo si x = 0.—Un espacio normado es un espacio métrico lineal cuya métrica viene definida por la norma. y GE. y todo X G K.// Definición 1. Teorema 1.Teoría de los operadores lineales en espacios de Hilbert y subespacio a una variedad lineal cerrada. ii) Existe un punto en el que U es continua. para todo par x. ||x|| ^ 0 . Demostración. x€E .22. es decir. ||x + y|| < | | x | | + llyjl . Teorema 1.—Para cualquier aplicación lineal continua E y F espacios normados. II • II : E-^IR se dice que es una norma si satisface. Las siguientes propiedades son equivalentes: i) U es continua.

I n m e d i a t a . Z ) B : ExE— »K se dice que es una for- + íJiB(y.X2y2.y)|^B(x. y = (yi.23. x) ^ O p a r a t o d o x € E. positiva definida si a. (1. B se dice positiva y positiva semi-definida si p a r a todo x. Xz). Teorema 1. / / Definición pleto. IR o C. B(Xx-|-piy. Si K = C se dice que B es sesquilineal (lineal en la p r i m e r a variable y antilineal en la segunda). ab — h^ > 0. y) = Xiyi -|. b > O. Definición 1. z) . Ejemplos.16 Manuel López Rodríguez Demostración. ab — h^ = 0. Z). y. (Desigualdad de Schwarz). En IR^ B(x. es: positiva semi-definida si a. z en E.y>K .25. De i) e ii) se sigue que B(x. En C^ B(x. y en E.—Una aplicación m a hermitiana si i) ii) B(x. 1.—Un espacio de Banach es un espacio n o r m a d o com- Sea E un espacio lineal sobre un cuerpo K. Si K = IR se dice que B es bilineal (lineal en a m b a s variables). B(x. z) = XB{TÍ. x) > O.h(xiy2-|-X2yi) + byiyz. b > O. x) . es positiva definida. y) -1- Ü B ( X . Xy + iaz) = XB(x. y todo X y n definida si x v^ O implica B(x.x>iB(y. x = (xi. y) = axiyí -|. Entonces p a r a cualquier x. Nota. y) = B(y.24.3) |B(x. y2).—Sea B u n a forma positiva semi-definida en un espacio lineal E. en K.

la igualdad ocurre en (1.5) X^B(x. es decir.y = 0. se tiene B(Xx+iJiy. existen X. implica Xx+y. debe existir un X tal que el primer miembro de (1.—Un espacio unitario.3) si y sólo si X e y están relacionados linealmente. y) + XixB(x.4) i X rB(x. (1. Sustituyendo en (1. que se denota por (x. y) = ) ( 1 si ^(x. jx € K. y de una norma definida por ||x|| = (x.x)B(y. Xx+fxy) ^ 0. x) + XixB(x. Por tanto. al ser B positiva definida. es un espacio lineal dotado de una forma hermitiana definida positiva.Xx+iay) = 0 lo que. (1. Si la igualdad ocurre.y)| B(x. y ) ^ 0 y por consiguiente |B(x.4) se obtiene. y) |B(x. = sgn B(x. Para todo X. y) + | ui|^B(y.5) es cero.y)|^^B(x. por lo que (1.x)i. y ) | + B ( y .y.y) = 0.26. x. . y). B(Xx-ftiy. Demostración.x) + 2 X | B ( x . Sean X un número real arbitrario y í p. y) ^ 0.y).Teoría de los operadores lineales en espacios de Hilbert 17 Si B es positiva definida.4) se anula para [Í elegido como antes. ixGK tales que Xx = p. Por tanto.// Definición 1. o de pre-Hilbert. y G E.

+.y.\x • . y en E. x ) | + |(x + y . En este último caso. por el teorema 1.—Un espacio unitario completo se llama espacio de . y ) ^ ^ | ( x + y . El siguiente teorema prueba. y) son ambos no negativos. de la definición 1.x + y) = (x. y la igualdad en (a) ocurre si y sólo si (x-|-y. para algún T) € K. ' Demostración.y. (5) La igualdad ocurre en (5) si y sólo si ocurre en todas las desigualdades de la demostración. y por tanto T Q es real no negativo.—Si para todo x.27. l|x + y|| ^ ||x|| + ||y|| .x)^0. que también satisface N3. es decir. que existen X.~0. Teorema 1.x) + ( x + y . II x + y IP = (x + y.18.18 Manuel López Rodríguez Nota. por sustitución se tiene que (1+Ti)(x. si X = O o si y = TIX.]x tales que Xx = p. x) y (x-|-y. 1.28. La función || || claramente satisface NI y N2 .25. la igualdad en (3) implica. p. se tiene E es un espacio unitario. (Desigualdad triangular). Por otra parte.// (l-f-nhí^O Definición Hilbert. ' ' tales que ^ | | x + y|| ||x|| + ||x + y|| y por tanto Ijyll (Y) l | x + y | | ^ ||x|| + IJyll . La igualdad ocurre si y sólo si existen Xx = ny. y ) | ^ ' (a) (3) /k.

—Sea K un subespacio de un espacio de Hilbert sea x € H . '•'•' Teorema 1. II r ••|i 11 II • I ' ': • . •':l. Se define ^' • • .—Dos elementos x.30.. Zn Zm 2 . y se escribe x l y .. 2 ir = 2(11 X Zn •. Si S c: H. se tiene.K). y) = O.• — • 2 ir 1 II ''~^"° ' II 2 .z | | = d(x. (Teorema de Pitágoras)^^—Si x e y son elementos ortogonales en un espacio de Hilbert. \. si y sólo si X es ortogonal a todos los elementos de S. Por hipótesis existe una sucesión (zn) cr K tal que II X—Zn II — > d(x. .• . para todo par m. Inmediata. y en un espacio de Hilbert se tiene.31.29.Teqríá de los'operadores lineales en espacios de Hilbert 19 Teorema 1. de enteros positivos. eiitonces existe Un único punto z € K tal que • | | x ..// . se tiene. se dice que x es ortogonal a S.// -. - Definición 1. Demostración. '•' Por el teorema 1. Demostración. • s-^ = { x | x i s }. •^. n. • X—Z„ 2 + X Zm II.. 1.••' iix+yir + iix-yir = 2(11 X11^ + II y ir).29—Para todo par de elementos x. Si se define d(x. K) para h—»oo.K) = inf{ | | y — x | | I y C K } .": ~iix-Fyir='iixir + \\y\\\ Demostración.:'' •• 7^. y de un espacio de Hilbert H se dice que son ortogonales si y sólo si (x.•. y se escribe x l S . H y Teorema 1. Inmediata.32.

20 Por tanto.í : ^ | n ^ ^2i|x-z™||^ + 2 | | x . lo que implica y = z. Existe por tanto z G K tal que z = lim Zn. n Finalmente. si existen y. Entonces existe un único y G M tal que (x—^y)lM.4 d ^ puesto que ZH ~r Zm .z . z eñ K tales que d(x. K). y)=d(x. ir = 2{ | | x . Cuando m. Zn ~r Zm .) es una SC.33. Z2m+i = z.. Sea z G M. Manuel López Rodríguez -^ | i x .z „ | P .z „ n ^ . Teorema 1. y sea X G H. z) + X (x—y.2 | | x .—Sea M un subespacio de un espacio de Hilbert H. n tienden a oo. — ^ € K y ||x ^ | | ^ d ( x . ( | z „ . M) = II X—y ||. 1 1 x—Zm 1 1 y 1 1 x—Zn 1 1 tienden a d. d(x. Por el teorema anterior existe y € M tal que d(x. M ) = ||x—y||. Si X G K. z)=d(x. X(x—y. K ) = d. por lo que (z. Por lo anterior se tiene ||zm — Zm+p||-»0. Así. Demostración. y — Xz € M y por tanto [|x-y + Xz|r^||x-y|r.// para n—^oo. se considera la sucesión (zn) en K definida por zsm — y. z) + | X H l z ||' > O. .z „ | r ' . K).. Además. y) = = d ( x . y 1 1 X—z 1 1 = lim 1 1 X — Zn 1 1 = d(x.

denotaremos por Sp{C} la variedad lineal de H generada por los elementos de C. es decir. y x ^ M. O.34. al conjunto de todos los funcionales lineales continuos en H. para todo x € H.ya elementos de M. ('í—^y2)lM siendo yi. Riesz). y se define X —y a = // l|x-y|| Teorema 1. 21 . se tiene u(x) = (x. Sea M = Sp{ S } ^^ H. se tiene que (yi—y2)lM.z)| + t^||zj|^^0 lo que implica (x—y. Entonces existe y G M tal que (x—y)lM. Demostración. z) todo número real t.—Sea u € H'. | | b | | = l. z) =. M = u"XO) es cerrado. lo que implica (yi—ya. Si M ^ ^ H existe b l M . / / La letra H representará siempre un espacio de Hilbert. a„). t € IR. se obtiene. Entonces Sp{S} = H o existe a G H que a l S . (Teorema de representación de F. Al ser u continua. = t sgn(x—y. Si C c H.-—Sea S c H. Entonces existe un único au € H tal que. Teorema 1. (x—y)lM ya que z es arbitrario. u(x) u(x l^b) = 0 u(b) . es decir. Si (x—yi)lM. Si M = H se toma au = 0. yi—ya) = O y por tanto yi = y a .35. Para todo x 6 H.Teoría'de los operadores lineales en espacios de Hilbert para todo X. para 2t|(x—y. H' denotará al dual de H. y tomando X . y | | a || = 1. tal Demostración.

u(b) b es ortogonal a b y por consiguiente •beu-XO) = M. . ai—az) = O. para todo x € H. lo que implica ai = az.Manuel López Rodríguez y asi u(x) u(b) u(x) Por tanto. (x. x) y. pues.x(cpy) = <py(x) = (x. como dual de H'. Los espacios de Hilbert son. Tomando a» = u(b) b. es un isomorfismo isométrico de H sobre H". Vx € H.(y) = (y. se tiene u(x) = (x. Para probar la unicidad.b) u(x) — — (b. y) . como (p preserva la norma. <PJ-) = (y. es decir. sean ai y a2 tales que u(x) = (x. V<^ € H'. para todo x € H. Entonces H' tiene estructura de espacio de Hilbert con producto escalar definido por (q>^. en particular para x = ai — a2. Entonces. c p : x-»<pi donde cp.// Denotaremos por < p la correspondencia entre H y H' dada por el teorema de representación de Riesz. ai) = = (x.x) . reflexivos. Igualmente H" = (H')'. es un homeomorfismo de H y H' considerados como espacios topológicos.b) = 0. es también un espacio de Hilbert y la correspondencia O de H en H" definida por í>(x) = — í>x. x u(b) (x. ¥y€H. az). donde <E>. au).

Si (xn) c PH. para todo n. PMy) = (PMX. || PM || — 1 y Recíprocamente.—Sea M un subespacio de H. es decir. (PMX. se tiene que para todo x.—PM es un operador lineal acotado. se obtiene (x. y en (y — PMy)lM. Para probar 1). Esta restricción será eliminada en el teorema 2. y). se llama proyección ortogonal so- Teorema 1. PMy). Como trivialmente (PMX — P M X ) ± M . La aplicación PM : H — > H definida para todo x € H por PM X= y si y sólo si bre M. y se tiene Pxn = P(Py«) = Pyn = x„.37. y € H. para todo x. Para probar el recíproco supondremos que P es también continua. (Px. 2) (PMX.Teoría de los operadores lineales en espacios de Hilbert 23 Definición 1. por 1') y la continuidad de P existe (yn) tal que Py„ = Xn. para todo x. y) H. y— PMy) = O. Demostración. = (PMX. y) = (x. PMy). Py).36. si P es un operador lineal en H tal que 1') 2') P" = P. por definición PM(PMX) = PMX. . entonces PH es un subespacio de H y P = PPH. intercambiando x e y.y) = (x. (x^y)lM. 1) PM = PM.5. La primera parte es evidente. P M X € M . Igualmente. luego (PMX. se tiene que P M X € M . PMy) = (PMX. y € M.y€H. para probar 2).

Por 1') y 2') se tiene. .Manuel López Rodríguez Si (xn) converge a x.y) = (Px. es decir. Definición 1.y) — (Px.40. y.y—Py) = (Px.r).—Se dice que un conjunto {(pQ. n PX. entonces: i) {a I (x.—Sea E un espacio lineal normado y sea un subconjunto de E.y) — (P^x.—Si {<pa | a G A} es un conjunto ON en un espacio unitario U y X € U. r) existe un conjunto finito J„ c: A y a€J v„ €B(v.y) — (Px.p. para todo conjunto finito J que contenga a Jn. ^ es la función delta de Kronecker. (y — P y ) l P H luego Py = Ppny.24 '•••'. y PH es cerrado.38. 9/3) = Sa. «pa)7^0} es contable (finito o numerable).y) = O. (Px. para todo x.Py) = (Px. Teorema 1.|a€A} en un espacio unitario es ortonormal (ON) si (<Pa:. se tiene X = l i m Xn = l i m PXn = F ( l i m Xn) = n n.39. Se pone {va|aGA} a€A si y sólo si para toda bola tal que B(v.// Definición 1. y por consiguiente x G PH. donde 5a.

a€A Así .<pa)r^iixip. a€J el teorema de Pitágoras implica a€J ! | x | r = i|x— 2 _ a€J (x.z / aGA (x. (x — / _ _ (x.<p«>Pc.Teoría de los operadores lineales en espacios de Hilbert 25 ii) 2 _ i(x. (pa^Pa existe y es la proyección ortogonal de x sobre Sp{cpa} Demostración. (Paha / / (X. acJ X (x.cpa)q)a ^ II 2 _ (x.<pJcp„||V+ II ¿ _ a€J (x. ir = 2 _ I ('''<?«) I'aGJ a€J .<pa)<ptt) 1 Sp{(pa} a€J a€J p o r lo que Sp{<Pa} ^ . <pff)(Pa. Para todo conjunto finito J c: A. 9a)<Pa es la proyección ortogonal de x sobre Puesto que X= X / y <Pa)(pa + (X.

.a€A i(x. Card {Sn} — n c . para todo. y '. } . 1 . r. x € H .(p. Sn = ^ a I I (x.•. ' se sigue que S es contable. Entonces.. Como "' "' ' S = { a | ( x . '•••• •. Teorema 1.—Sea {e^} uii conjunto ON en H. Para probar i). . -. ( p c . lo que demuestra ii).—Se dice que un conjunto ON {<?„} es completo (ONC) si Spítpa} = H. para todo x € H.)r. lo que demuestra i). • Manuel López Rodríguez iixir^y . n = 1. ea)ea:. 2. :) II x 1!^ = ¿_ aeA I (x. <p„) 1 ^ ^ — . Las siguientes condiciones son equivalentes: a) {e«} es ONC. \ (x. .42. ea) P. y Sn es por tanto finito.26 Tomando el supremo sobre J. ) ^ 0 ] = ÜSn.<pa) \^ < <». sean c = = /^ ..41. . n.// Definición 1. b) X = / a€A (x. a€A .

eJe. ear)ea. para todo a € A luego por d). aGA . Demostración. Se sigue de la igualdad ' | x | r = \\x- / _ a€J (x.Teoría de los operadores lineales en espacios de Hilbert 27 d) Si X€ H es tal que (x.X. quiera. p o r b).e„)e„. x i r .}.e„)r y. entonces x = 0. Ca) = O. Por el teorema 1. y es la proyección de PAX. b) =^ c).|P para cualquier índice finito J. d) =^ b). como en el teorema anterior. X = P A X — /_ (X.e. x sobre Sp{eQ. Ca) = O.H (x — (x.v)ea./• • i(x. para todo a. c) => d). X / (. Q-aJ^oi el segundo m i e m b r o puede hacerse tan pequeño como se Evidente. En efecto. Se p r o b a r á la siguiente cadena de implicaciones: b ) =* c) =» d) => b ) => a) => b).40 la suma PAX = /_ aGA está definida p a r a todo Por tanto x €.lP+ !l /__ a€J (x. Así. x — PAX = 0.

ea)ea y por tanto (x — Pjx) 1 Sp{e„ I a € J}. (x. ea)ea 1 1 ^ CaCa < E. ea)ea 1 1 < e. como Pjx es el punto más próximo a x en S p { e a | a € J } . Por tanto. X = /_ aGA (x. (x. ea)ea. se tiene 1 1 X— X CaSa 1 1 < £• a€J Si J'3J.ea)ea ea)ea1 1 1^ ^ 1 1 1X X— — /X a€J' aGJ Así. Por a).¡aGJ} es Pjx = / --y a€J (x. . Evidente. dado E > O existe J finito tal que ^-T aGJ X— / (x. Para cualquier J c A. J finito.// (x.ea)ea. aGJ 1 1 X — /_ (x. la proyección de x sobre Sp{eQ. Manuel López Rodríguez a) => b).28 b) => a).

Teoría de los operadores lineales en espacios de Hilbert Teorema 1.43. (Proceso de ortonormalización
R

29 Gram-Schmidt).—Sea

de

(an)i una sucesión de elementos en un espacio unitario. Entonces hay una sucesión ON (en)i, donde R = rang (an) es el número de vectores linealmente independientes en la sucesión (an), tal que Sp{(e„)} = Sp{(a„)}. Demostración. Pongamos bi = an, donde

ari = inf {an | a n ^ O } . Entonces b,

^'"líbnf ^
Supongamos ei, ..., €„,-i elegidos de modo que Sp{ei, ..., eii} = Sp{ai, ..., ark}, donde rang (ai, ..., ark) = k, se verifica para k ^ m — 1. Oc3. 3.rni £ i primer elemento en (an) que no depende linealmente de ei, ..., Cm-i. Poniendo

bm

=

arm

/ y

{Sirm, I ej)ej (a™,

Cm —

se tiene Sp{ei, ..., en,} = Sp{ai, .... arm}, y la demostración se completa por inducción.//

30

Manuel López

Rodríguez

Definición 1.44.—Se dice que un espacio topológico es separable si contiene un conjunto denso contable de puntos.

Teorema 1.45.—Un espacio de Hilbert H es separable si y sólo si contiene una sucesión ONC (finita o infinita). Demostración. Sea H separable y (an), n = 1, 2, ..., denso en H. La sucesión (cn) obtenida en el teorema 1.43 es ÓNC. Recíprocamente, sea (cn) una sucesión ONC en H. Para todo m, el conjunto de puntos Sm de la forma

/

rjej

,

Tj racional en

K,

es contable. Por tanto USm es contable. Para todo x € H, £ > O, existe m tal que

X— /

(x,ej)ej

e < —

Eligiendo rj racional tal que
(x,ej) — r j E <——

2m

se tiene

I! X — /

rjeí 1 1 < E.//

Teorema 1.46.—a) Todo espacio de Hilbert contiene un conjunto ONC. b) Dos conjuntos ONC en un espacio de Hilbert tienen el mismo car-

Teoría de los operadores lineales en espacios de Hilbert

31

dinal. c) Dos espacios de Hilbert son isométricamente isomorfos si y sólo si todos sus conjuntos ONC tienen el mismo cardinal. Demostración, a) Sea G el conjunto de todos los conjuntos ON en H. Claramente G v ^ 0 (si H no es trivial), y se pueden ordenar por inclusión. Si {CQ.|a€A} es una cadena en G, entonces U { C a | a 6 A } es una cota superior. Así G tiene un elemento maximal, digamos {eQ.|a€I}. Este elemento es un conjunto ONC en H. Si no, existiría X'Tí^O, (x, Ca) = O, para todo a € I, y {e.} c {e„} U estrictamente. Contradicción. b) Sean { e a | a € A } y { f ^ l P G B } dos conjuntos ONC en H. Si A o B es finito se sabe que Card{A} = Card{B}. En general, para todo a, existe un conjunto contable BQ. tal que (Ca, f/3) = O si 3 $ Ba, y — ^

Sa =

/

(ea, f^)f/3.

3GB, Entonces B = U BQ. porque si existiese 3 ? U B , se tendría (f/3, eQ.)=0, para todo a, es decir, f/3 = O, contradicción. c) Si < p : Hi—»H2 es una isometría «sobre», la imagen por q) de un conjunto ONC en Hi es un conjunto ONC en H2. Recíprocamente, si (e„) ^ c Hi, (f^) „ c H2, y Card{A} = Card{B}, existe una biyección tjy(SX e ) = I X f
a a a cp(a)

< p : A—>B. Si se define

entonces ^ es una isometría que se extiende a una isometría de sobre H2.//

Hi

Por tanto. . Demostración. Si z G E. por el teorema 1. aéA una familia de aplicaciones lineales continuas de un espacio de Banach E en un espacio normado F tal que para cada x € E el conjunto {UaX I a G A} es acotado en F. <r . se tiene que rz 2||z|| a G E. existen r > O y rio tales que B(a..13 (Teor.—Sea{Ua}. para todo x G E y todo a € A. z v^ O. i|x||<r=>||Ua<a+x)||:^n«.r)ciS. Entonces existe una constante K tal que i|U„xi|^K||x||. de la Categoría de Baire). (Teorema de la acotación uniforme). para todo x tal que 1 1x1 1 < r. para todo a £ A. 1 1 Ua 1 1 — K. Puesto que U^ es continua.. para todo n....47. Así. . x | t ^ n .32 Manuel López Rodríguez Teorema 1. Además E= Ú S y. Sn es cerrado. 2. II U„x II = II U„(a + x)—Uc. es decir. para todo x.a II ^ 2 n o . VaGA} para n = 1. Sea S.„ = { x | | | U .

x' € E'.—En un espacio normado E. define una base de entornos de X o para una topología en E llamada topología débil.Teoría de los operadores lineales en espacios de Hilhert por lo que para todo a G A. 33 l|U. y ) . Si. la familia de conjuntos N(xj x. sin embargo. o d-topología.. 4no .. ... i || x ||^) = 0 . Demostración.// Si E es un espacio normado y E' su dual se pone <x'. Demostración. y E > O.50. y) para n . x. Se tiene. E) = {x| |<x. el siguiente teorema. (x„.. i II X |P) O N(x.// Teorema 1.. z € E. / / La topología débil' es más débil que la topología fuerte.49.^ ( x . x — x ^ > | < e .. Definición 1. N(0. l ^ j ^ k } . Inmediata.48.z||^ -||z||.. x ^^ O.—La topología débil en un espacio de Hilbert es Hausdorff. H con- si y sólo si para todo y € H. para cualquier elección de xi. . x > — x'(x) para todo x € E. x. . Teorema 1. d (Xn)-^X .. x. X k en E . .—Una sucesión (xn) en un espacio de Hilbert verge a X en la topología débil.> « ) .

. n = 1. La sucesión ((x.. (Xn. . . Definición 1. entonces. se tiene.. x) + (xn. |(x„__ v)|. y)) es pues acotada para cada el teorema de la acotación uniforme se obtiene |(x„. x„) —(x„. Tomando y = Xn. y ) i ^ | ( x „ ...52.x„)} = 0...34 .. para todo n = 1.—Se dice que un conjunto A es relativamente compacto si y sólo si su clausura. y € H. o débilmente convergente en un de normas (11 x„ 11) es acotay (|| x„ ||)—>• || x ||. K y € H.• i. |(x„.x . entonces la sucesión da. 2. Por tanto.. es compacta. para todo | ( x „ .—Si (x. A. se tiene (. Si (x„)->x y se tiene lim II X n — x IP = l i m { | | X ||' —(x. Manuel López Rodríguez Teorema 1. para todo y € H. Demostración. y ) | < 1. para todo n > no. . .y)|. . || X n || — K. entonces f-topología.. Si {x„)—>x.y)l.// (||x„||)->||x||. y ) | + i(x..y)|^max{|(x. 2. . existe no tal que |(x„ — x . Aplicando constante. Si (xn)-^x en la topología débil (xn) -> x en la topología de la norma. es decir. para todo n.. . y)| ^ K 1 1 y 11.y)|}.51.) es una sucesión espacio de Hilbert.. Por la convergencia débil. 1 + |(x. X n ) = II Xn I I K | | Xn | | .

. —d —d ..—Todo conjunto acotado en mente compacto. Es fácil ver que si B es acotado. — d —d ..y)i ^ ||x|| ||y|| ^ C ||x|| .. la proyección de cp.sobre cualquier coordenada es <Py(x) y se tiene |cpy(x)| = |(x.Teoría de los operadores lineales en espacios de Hilbert Teorema 1. B yei Para cada x € H se define Ax comió el compacto . En efecto.= {a\ |<x|^C||.. la función (Py(x) = (x. <py(x) € Ax.. es decir.. La demostración del teorema quedará así reducida a probar que í>(B ) es compacto para lo cual. bastará probar que 0(B ) és cerrado. Existe pues G = sup '{11 y ||} < « . Si se define O : B — > A como ÍJÍy) = cpy. logía producto.x. y) . A...53..• Por el teorema de Tychonoff. para todo y € B . Vamos a ver que es también bicontinua.t C A= . H 35 es débilmente relativa- Demostración. . por ser A compacto.. . demostrando que la topología inducida —d — en B por la topología débil en H coincide con la inducida en <1>(B ) por la topología producto en A.. es decir O es un homeomorfismo..||. . pertenece a A.. . la clausura débil de B es también acotada. Para cada y G B . 11 Ax es compacto en la topox£H < p y definida por para todo x € H. la aplicación O : B^^^iB^) GA es claramente biunívoca.

todo entorno de f intersecta a 3)(B ).(xj) <py(xj)|<£ . | (pz(x + y) — f ( x + y ) | < £.E) = { k 6 A | | k(x+y) — f ( x + y ) | < E}. y en H.xj)|<E por la topología débil en H .£)-{g€A| | g(x) —f(x)i< e}.(x + y)I + + I <p. En efecto.y.(y) — f(y) I < E. En particular. Vamos a ver que 4)(B ) es cerrado.x+y. N(f. por definición.(x) — f(x) I + I cpz(y) — f(y) I < 3 E. el entorno intersección de los tres siguientes: N(f.| l ^ j ^ m < o o } . Como E > O es arbitrario.f ( y ) | ^ | f ( x + y)-cp. éste es la imagen por O del elemento de la base —d de entornos de la topología inducida en B dado por N(y) = {z| |(z —y. Pero.E) = {hGA| | h ( y ) .f ( x ) . N(f. y. |f(x + y ) . si f pertenece a su clausura. 1 ^ j ^ m < =o }. un elemento de la base de entornos de la topología in- ducida en <I>(B ) por la topología producto en 1 <p.36 Manuel López Rodríguez En efecto. .x. A es de la forma N(cpy) =: {<(>2.f ( y ) | < e}. como c > | z es lineal. se tiene que f(x + y) = f(x) + f(y). I cp¡. Si c p z pertenece a la intersección se tiene \ <^(x) — {(x) \ < z. para todo X. Análogamente se prueba que iCkx) = Xf(x).

y por tanto. Por el teorema 1.y)|^K||. Por el teorema de representación de Riesz. para cada y € H. f es lineal.54. para todo m. Demostración. Si se define <p(y) = lim (y. ||x„||^K. n = 1. Definiendo Un(y) = (y.. se tiene f(x) € Ax. 2.Teoría de los operadores lineales en espacios de Hilbert 37 para todo x € H y todo X en C. También es continua pues siendo f € A. para todo n = 1. n es claro que c p es un funcional lineal en H.// Teorema 1.. tal que I (x„ — Xm. dado E > O existe n. x„). x„).—Todo espacio de Hilbert es débilmente secuencialmente completo.. para todo y € H. La sucesión numérica ((y. ||x„|i^K. para cada y 6 H fijo. se tiene que Un es un funcional lineal y continuo en H.) una sucesión de Cauchy para la topología débil. . para todo x € H. Así.y||. . . acotado para cada y fijo y todo n. 2.. continuo porque para todo n... Sea (x. n > no. . y) I < E . es decir.47 existe una constante K tal que |(x„. y fea)(B'). implica |cp(y)|'^K||yi|. x„))i es pufes convergente. existe u G H tal que f = cpu.. es decir. |f(x)|^C||x||. y por tanto acotada.

. X2n))i es conver- Aplicando reiteradamente este argumento. de cualquier sucesión acotada se puede seleccionar una subsucesión débilmente convergente.—Todo conjunto acotado en H es relativamente. xin))i existe una subsucesión gente. (x„)->z en la topología débil.. la sucesión Vv^m. existe una subsucesión (xmn) de ( Xm-i. secuencialmenté. existe (xin)i tal que ((xi.\. es decir.// Teorema 1. débilmente compacto. Sea (xn)i una sucesión acotada. |(x». para todo y € H.38 Manuel López Rodríguez Por el teorema de representación de Riesz existe z € H tal que <p(y) = = (y. para todo n = 1. Xmn/7n = l es convergente. se tiene que dado Xm. xin))i es convergente. para todo m. se tiene + G^. ||xn||—K. es decir. Es claro que la sucesión «diagonal» (xnn) tiene la propiedad de que para todo entero positivo m. . z). Xn))i G = Sp (xn)i.x„)|^||xi|| ||x„||^K^ Contiene por tanto una subsucesión convergente. (x2„) de (xi„) tal que ((xa. por la acotación de la sucesión numérica ((x2. Del mismo modo.Xin. XnnJ/n=:l .. n) tal que V. Demostración. y por tanto. 2. es acotada pues l^n<oo.55. Poniendo H = G La sucesión numérica ((xi. es decir.

existe también lim (y.54. Por el teorema 1. Xnn). de los operadores lineales en espacios de Hilbert 39 es convergente. p a r a todo y € G"^. Xnn).Teoría. la sucesión ((x. Así. Xnn))i es convergente para todo x G H. ésta es débilmente convergente. p a r a todo z€ G existe lim (Z.// . Por tanto. luego (xnn) es u n a sucesión de Cauchy para la topología débil en H. n Trivialmente.

(i = 1. para todo x.—Se dice que un operador lineal T en si existe un número M > O tal que |¡Tx||^M||x||. espacios de Hilbert sobre K. H es acotado Teorema 2.2. Un operador T en Hi se dice lineal si T>{T) es una variedad lineal en Hi y T(Xx + ny) = XTx + nTy. b) Un operador lineal es continuo en O si y sólo si es acotado. no se mencionan explícitamente.2).40 Manuel López Rodríguez CAPÍTULO 2 OPERADORES LINEALES ACOTADOS Definición 2. Definición 2. (H2). en H2 si T es una aplicación de un subconjunto 'D(T) de Hi en H2. a) Inmediata. en K. [i. Si el dominio T>{T). con dominio T){T). .1. y en T>{T) y todo \.3. Se dice que T es un operador en Hi.—a) Un operador lineal es continuo en X o € H si y sólo si es continuo en 0. (se supondrá que Hi = H2 = H). para todo x G H. se supondrá que es todo Hi. Demostración.—Sean Hi.

se toma S = E/M. Entonces ||x||<5 implica 1 1 Tx || ^ MS = E. si T es acotado existe M > O tal que || Tx jj ^ ^ M | | x | | . . 2|lz|| satisface 1 1y1 1 < S„ y por tanto ||T ' ° . pues ||T„x —T„x|| ^ l|T„ —Tmll ||x||. 41 Sea z € H. Recíprocamente. . Entonces. II ^ 1 21 1z1 1 1 1 Ty 1 1 — 1. Dado E > O. para todo x en H. Así T es acotado. Sea (Tn) una sucesión de Cauchy en 'B(H).// Teorema 2. . existe 5„ tal que | | x | | < So • implica ||Tx || =^1. si z 7^ O. z5<. T en '=B(H). Entonces. para todo Ti.Teoría de los operadores lineales en espacios de Hilbert b) Si T es continuo en O. óo implica igualdad que también es válida para z = 0.—El conjunto ^8(11) de todos los OF>eradores lineales acotados en H tiene estructrura de espacio de Banach si se definen: (T. -f T^Xx) = Tix + T2X .4. ||T|| = sup X'^0 ||x|| (XT)x = MTx) . Es decir. X € C. Sólo probaremos la completitud. Demostración. para cada x G H la sucesión (Tnx) es de Cauchy en H. llTzJl^^llzil. T2.

. y)=(x. y (XA)* = XA*. (A + B. para cada x € H. llTnX — T x | | < E | | X | | y por tanto ||Tx|| ^ | | T p X .42 Si se define Manuel López Rodríguez Tx = lim TnX.x —T™x|| ^ para todo n > n„.^-Sea H un espacio de Hilbert y A € 'B(H)..5. p > no. y en H. También es acotado pues haciendo ||T. A* + B*. el funcional . Demostración. se tiene.T x | | + ||T„x|| ^ ( | | T „ | i + E) || x ||. A* y) para todo par x. Así 'B(H) es completo. y de elementos de H. A * * = A .B*A*.):^:=. se tiene ||T„ —T^ll m -:» oo en !|x|| < E | | X | | . ii) Si A y B ' s o n operadores lineales en H tales que (Ax. para todo x€H. entonces A y B pertenecen a 'B(H) y se tiene por tanto B = A*. donde AB es el operador en H definido por ABx = A(Bx). Además 1 1 Tn — T 1 1 ^ E. llamado operador adjunto de A. i) Para cada y € H fijo. y) = (x. n se tiene que T es lineal. y por tanto T = lim T„ en la topología de la norma de 'B(H). (AB)* . para todo X € C. y para todo par de operadores A. tal que (Ax. By) para todo x.// Teorema 2. Además II A | | = II A * II . B en 'B(H). para todo n > no. Entonces: i) Existe un único A* € 'B(H).

entonces A* € "BÍH). es inmediato comprobar que A* es lineal.Teoría de los operadores lineales en espacios de Hilbert cpy(x) = (Ax. y || A* || ^ || A i|.By). y) se toma x = A* y.— — (x. A* y) = (Ax. Por el teorema de representación de Riesz. . l|A*y|| ^ ||A|| ||y|| . También es continuo pues si en la igualdad (x. y € H — (O)} de aplicaciones de H 1 Uy(x) = . y) = (x.(x)| ^ ||A|| ||y|| ||x|| . ii) Considérese la familia en C definidas por {Uy| ||A|| . para todo X e y en H. y). aplicado al operador A se tiene. z). existe un único tal que CPy(x) = (X. para todo x € H. En efecto. z€ H es decir. Si denotamos por A la aplicación definida por A*y = z. para todo x. se tiene | | A * y | r ^ ||A|| y por tanto. . Z). y en H. (Ax. Así. luego A = A** y | | A | | = ||A**|| ^ ||A*|| ^ Las otras propiedades son inmediatas. |cp. Ilyii . ||A*y|| ||y|| . A*€'B(H). A* y) = (A** x. (Ax. para todo y€H. y) = (x. En efecto. 43 es claramente lineal y continuo. para todo x € H. y). Por lo ya demostrado.

y G H.44 Manuel López Rodríguez Es claro que U. constante.^ C .—Se dice que F es u n funcional sesquilineal acotado en H si F es una forma sesquilineal tal que sup I F(x. y) .es lineal.By)^K||By||. p a r a todo H. tal y 7^ O.—Todo funcional sesquilineal acotado presentarse en la forma F(x.7. E n particular. K. y) = (Ax. Por i) se sigue B = A*. p a r a todo x. y esta representación donde A es un operador lineal acotado en es única. y continua p o r la desigualdad de Schwarz. ||x|| = | | y | | = 1. y ) | < 00. Teorema 2. Demostración. existe que |Uy(x)!^K||x||.6. O r H . y 5^ 0. Para cada • x€ H fijo. Además 1 l|y|| 1 lly|l l|Ax|| lly|| liyll para todo y G H — {0}. lly y p o r tanto || B || ^ K ... la aplicación F(x. p a r a x — By.// Definición 2. F en H puede re- x. y € H. P o r el teorema de la acotación uniforme. se tiene •(By.

x) + xi^iAx. x. y) = (Ax.// Definición 2. x) + |txP(Ay. y G H. . y) = (y. se tiene (A(Xx + [xy). Ax) sup 1 1 Ax II = sup IWI = 1 IWI = 1 = II Axil sup ||x|| = l F(x. ii) (Ax. También es acotado pues si (Ax. z = Ax.y) G IR. para todo y € H. Por el teorema de representación de Riesz existe un único z G H tal que F(x. Demostración.8. en K. La unicidad es inmediata. Por tanto. y) > El operador II Ax 11^0. F(x. Xx + y. ii)=>i).9. y en H. para todo x. es decir.—Un operador lineal A en H que satisface una de las condiciones siguientes: i) (Ax. y 6 H. Ax ) ^ ||Ax|| ^ s u p { | F ( x . hermitiano. también satisface la otra y es. Se tiene. para todo x G H. Teorema 2. Ay) . z) . para todo x. Se define un operador A en H asignando z a x. Para todo X. |X|^(Ax. y) G IR.—Un operador lineal acotado A en un espacio de Hilbert se dice que es hermitiano si A = A*. x) € I R para todo x € H. y) + ^ A y . y ) | I llxjl = ||y|| = 1 } < « .Teoría de los operadores lineales en espacios de Hilbert 45 es lineal y continua. p. por tanto. A es claramente lineal. y) = (x.

x)| I ||x|| = 1 }. y en H. y) — (Ay. se sigue |(Ax. y) + (Ay. Ay). x) = (x.10.—Si A es un operador lineal hermitiano en H. . Recíprocamente. . para todo x.y) + (Ay. Sea C = sup{ |(Ax. n € K. Como |(Ax.x)| ^ _ _ C ( | | x + y | | ' + jjx — y | n = = C(||x||^+||y|r).46 Tomando X .x)| ^ de la identidad ||A|| | | x | | ^ se tiene C ^ ||A||. Por tanto m + in (Ax. [j. se tiene (Ax.5.// Teorema 2. x) = Manuel López Rodríguez se tiene (Ax. II A II = sup{ |(Ax.y) + (Ay. = 1. Demostración. = p. i) implica que A es acotado y hermitiano por el teorema 2.x)| I ||x|| = 1 }. se tiene. (Ax. m — in . Evidente. y) = y asi. x) = in. (Ay. X = 1.x) = —_{(A(x + y). x + y) —(A(x —y). i)=>ii). = i. x) = m € IR. (Ax. x — y ) } . y) = (Ay.

1) es relativamente compacto. convergentes en norma. z) en la desigualdad (2. i) Por ser A compacto.11. x) I ^ 2 C . con (2. z) + X(Az.—i) Todo operador lineal compacto en H es continuo.12. es decir. Demostración. se tiene. 1 1x1 1 = 1.. y por tanto (Axn) es relativamente compacto.51. A es continuo. Teorema 2. pues si Ax =^ O. ii) Un operador lineal en H es compacto si y sólo si transforma sucesiones débilmente convergentes en sucesiones fuertemente convergentes. II A x i l || A || —C. para todo x.2). el conjunto AB(0. se sustituye Ax .1). para todo || x || — 1. tal que || Ax || — M. Así. Entonces (xn) es acotada por el teorema 1. se toma \ (Ax. pues si (Ax. constante.z)|^C.. y por tanto acotado. y por tanto Definición 2.// en (2. Se sigue que 1 1 Ax 1 1 ^ C.Teoría de los operadores lineales en espacios de Hilbert Tomando y = Xz. ii) Sea (x„) una sucesión débilmente convergente a x. lo que implica (2.2) |(Ax.1) ||z|| = ||x|| = |X1 = 1.—Se dice que un operador lineal en H es compacto si transforma conjuntos acotados en conjuntos relativamente compactos. Existe pues M > O. 47 I X(Ax. z) =7^ O. y es trivialmente cierto si Ax = O. . z) I (Ax.

tales que II Axnj — Ax II > 5. contradicción. para n -» oo. para todo i = 1.48 Manuel López Rodríguez Supongamos que (Ax„)—/—> Ax en la f-topología. Por hipótesis. . r=l 2 >O . Entonces existe 5 > O. se tiene. para todo £ > O existe un operador lineal A de rango finito tal que 1 1 T—A1 1 < s. A* z) = (Ax.14. . Así. por lo que (ny) tal que (Axn. Teorema 2. (xn ) acotado implica (Ax„ ) relativamente compacto. por la convergencia débil de zCH. En efecto. es decir: i) si T es compacto.13. z). para todo r\ — existe un conjunto finito {ai. ) es conver(x„) a x.) d-convergente. c Demostración.. y = Ax. es decir..} en B(0. (y. l ) c UB(Ta„n). pongamos a y. para todo se puede seleccionar una subsucesión gente. basta aplicar el siguiente teorema [4]: En un espacio métrico. Entonces.a. La sucesión (xn) es pues acotada y.1) tal que T B ( 0 . por el teorema 1. la subsucesión (Axo^) de (Axn) es f-convergente.—Se dice que un operador lineal A es de rango finito si AH es de dimensión finita.. A* z) = (x. un conjunto S es compacto si y sólo si toda sucesión en S contiene una subsucesión convergente con límite en S..55. el operador B es compacto. tiene una subsucesión (xn.. sea S acotado y (Ax„) una sucesión en AS.—Los operadores lineales compactos constituyen la clausura para la norma uniforme de operadores del conjunto de operadores de rango finito.. y AS es por tanto relativamente f-compacto. Hi — > 00. . Sea T compacto. Para el recíproco. z) = lim (x„^^.// Definición 2.. ii) si (T„) es una sucesión de operadores compactos y || B — T„ || -» O. z) = lim (Ax«^^.

|| + ||Ta. Dado £ > O.. .1).„}.. TI)| l ^ r ^ m } . P o r t a n t e ||Ty-Ay|| ^ ya que PTa. 1 — r —m.-PTy|| < E || PTa. S). ||Ty-Ay||<n||y||^-Ítomando TI = 2S y existe ar. en B(0. para todo y G B(0. Como AB(0. ii) Por i) es suficiente demostrar que si T está en la clausura para la norma uniforme de operadores. Ta. tal ||Ty-Ta. menor o igual a m. para todo 1 ^ r ^ m. .in)| xGB(0. Así.<Ti.l) que II Ty —Tar ||. 5) es totalmente acotado. S) c U B(Aar... = Ta. como TB(0..l)} es un recubrimiento abierto de TB(0. entonces TyGTB(0. Sea P la proyección de H sobre el subespacio generado por {Tai. tal que II T — A II <'(].. —PTy || ^ || Tar —Ty ||. S) es acotado y de dimensión finita.. Entonces el operador A = PT es lineal y de rango finito. entonces T es compacto. el conjunto TB{0.1) es relativamente compacto y la familia {B(Tx.5) tales que AB(0. am.. S) . del conjunto de operadores lineales de rango finito. . es compacto.Teoría dé los operadores lineales en espacios de Hilbert 49 En efecto.. existe A. se puede extraer un subrecubrimiento finito {B(Tar. operador lineal de rango finito. r=l . Si | | y | | — 1 . Sea T un operador lineal. 5T]).. Así. T es compacto si para toda bola B(0. existen ai.

—Si A es un operador lineal hermitiano en H. X2. distintos.—Sea A un operador lineal en un espacio de Hilbert H. luego.50 Manuel López Rodríguez Por tanto. S) existe r. todo valor propio de A es real y si xi. 5) que es. Teorema 2. (xi. Demostración.2). 1 — r — m. se tiene 1 (Ax. x) . Si existen x 7^ O en H. es decir. . TB(0.// Definición 2. X2) = 0. (i = 1. X2) = Xzíxi. E). X2).—Sea A un operador lineal compacto y hermitiano. por Así las bolas B(Aar. x) = X(x. AX2) . Si Ax = Xx. Entonces existe X <7^ O en H tal que Ax = Xx. con | X | = 1 1 A 11. ||Ty-Aa.17. se tiene Xi(xi.// Teorema 2. luego X € K. tal que ||Ay —Aar||<ST].|| ^ | | T y . Si Axi = XiXi. como (Axi. totalmente acotado. X € C tales que Ax = Xx. 1 — r — m. X z son vectores propios de A asociados a valores propios Xi. | | < E.A y | | + | | A y . x =7^ O. entonces Xi y X 2 son ortogonales.15. respectivamente.16. para todo y 6 B(0. entonces X se llama valor propio de A y x vector propio de A asociado al valor propio X. recubren tanto.A a . xz) = (xi.

z. Por el teorema 1. l | A | r = X ^ ^ | ! y | | ^ luego yv^O.x„). que (xn)i converge débilmente.x)l I ||x|| = 1¡ | X | = II A||.^*-^ y por definición de supremo existe una sucesión (Zk). por el teorema 2.)|. Existe una sucesión (xn). Así. n n n y poniendo x„ = Z k . de los operadores lineales en espacios de Hilbert 51 Demostración. sin pérdida de generalidad.Teoría. .55 se puede suponer. tal que | | A | | =lim|(Azk. ||zk|l —1. por lo que el teorema 2. Existe por tanto una subsucesión (zu )n=i tal que existe X = l i m (Azk . || X n || = 1.VAV^^^ ÍV*. la sucesión (xnX cumple las condiciones especificadas al principio de la demostración.Ax„ 11^ — 2X(Axn. tal que X = lim(Ax„. 1 — n < oo.. En efecto.1—k<co. 1 — n < oo. _ ^^ . Como 1 1 Ax„ — Xx„ 11^ = II . Zk ). x„) + X\ se tiene •" 0 ^ ] i m | | A x „ —Xx„||^= | | y | | ^ _ r .12 demuestra Ja existencia de un elemento y G H tal que y = f-lim Axn.10 se tiene IIAII = sup { |(Ax.

Sea X o € H tal que Ax» ¥= 0. Vamos a probar que para todo entero positivo m se tiene que A^Xo ^^ 0.„ Axo) = (A'°x„. se tiene A°^*Xo Vn+l ^^^ — ~ 7*. contradicción. A'"x„ = O. (Si A ^^ O. donde A"Xo Xn — . y f-lim Ax„ = f-lim Xxn = y. 1 — n < o o . La sucesión (xn).A(f-lim Xn) = X(f-Iim Axn) — Xy.// n n n Vamos a ver otra demostración más constructiva del mismo teorema. para todo k < m. para todo k < m. A"x„) implica A"x„ = O. x„) = (A°Xo. entonces O = (A'"x„. y si ii) m = 2n— 1. » A-Xo . En efecto. Como 1 1 Ax„ !| — | | A | | . A"x„i| está pues bien definida. A'^Xov^O. = O. si i) m = 2n. contradicción.7^0. lim || Axn — Xxn || = O. Si se pone Axn = yn+i. A''x<. Xo) = (A"x„. Manuel López Rodríguez entonces | | y | | ^ . un tal x» existe). A"x„) implica A"x„ = O. n n Este resultado implica finalmente Ay = A(fJim Xxn) = >. A^x*.52 ..l i m | | A x „ l r ^ | | A | | ^ = X^ y por tanto X' = || y |1^. entonces O = (A'"-'x.

Ijynll .. . yn+i)— || yn+i ||. para todo n = 2. | | y „ | | x „ ) implica ||y„ II = (Ax„-i.. .yn-i). monótona. \x = lim II y„ 1 1 ^ |! A ji.|| ||y„^i||^||y„|| >0.4) II y„-i II II y„ II = (yn-i. Axn) = = II y „ _ i II ( A x „ _ i .|| = IIA II.... por (2.l II ( y n .yn+i) = (II y.3) En efecto.Teoría de los operadores lineales en espacios de Hilbert 53 y por tanto A-'-'^Xo l|A"x„|| y„+i |A"-Xo|| Vamos a probar que (2.Ax„) = (xn-i. En efecto.3). para todo n = 1. . Ax„) = || y„_i || (x„_i.-1 || x„_i.x„) = ||y„-i|| pues 11 Xn I I = 1.. x„) = (x„-i.|| ^ para todo entero positivo ri. (yn-i. X „ ) = = llyn-i Il(||y« ||x„.. 3. También es acotada ||y„|| = ||Ax„-. . |iy„ II' = (Ax„_. La sucesión pues (||yn||) es.. Existe por tanto ||A|| ||x„_. Xn) = II y n . ||A"-x„I| ||y„. También se tiene que (2.y„+i) = (yn+i.

implica.+i ||'—2(y„. = 1 1 Zi 11. Azi Z2 = f-lim y„^+2 = V- e igualmente. Az2 | | y n ..+i)} = = lim{||y„.+3 = AXn^+2 = A ih'..3||} = 0.^^ll Azi Pi implica Z3 = f-lim yn +3 = Utilizando (2...|| Azi = Zl = ||yn. i | r .+2 yn.) dé- bilmente convergente p o r lo q u e la sucesión (yn +i) tiene límite fuerte.+3 — yn_+i ' 1 ^ = = l i m { ! | y„^.yn. (xn) es acotada.2 ||y„.4) se tiene que I i Z3 — zi 11^ = lim 1 1 yn. .. existe u n a subsucesión (xn. t o m a n d o límites p a r a i— > «.+3.54 Manuel López Rodríguez Como la sucesión Si se pone. y». También. Zi := f-lim y„ +1 1 • se tiene que O < p.3 II' + II y„. Z2 .3|r + Por tanto.

. Demostración.—Sea A 7^ O un operador hermitiano compacto en un espacio de m Hilbert H. X„(x.Zi. Es claro que Ai es también compacto y hermitiano y || Ai || — || A |1.. Si Al 7^ O se puede volver a aplicar al teorema 2. A(zi + Z2) = pi(zi + Z2). Uno de los dos números pi o -p. es pues un valor propio del operador A. Del teorema 2. (Teorema espectral para operadores hermitianos com.(zi — Z2).Z2. si m = 00. Existen entonces un conjunto ortonormal m (cpn)n=i y una sucesión de números reales no nulos (Xn)n=i tales que Acp„ = X nC p „ para todo 1 ^ n ^ m (menor que m si m = <») y para todo x € H se tiene (2.// Teorema 2.17 se deduce la existencia de un valor propio A . ...5) es en norma.l I I X nI . A(zi — Z2) — -M. y | L | = 1|A||. cpn)q)n.. Además. Sea Al el operador restricción del A al subespacio ortogonal a «pi. I A.18. Azi = p.pactos).Teoría de los operadores lineales en espacios de Hilhert 55 es decir. iim X„ = O y la convergencia en (2.17 a Ai y obtener X 2 y c p 2 tales que A(p2 = X 2 c p 2 y IX2I = IIAllí ^ ||A|| = |Xi|. y así.5) Ax = / =7 IX 2I . 1 y un vector propio asociado cpi tales que Acpi = Xicpi. Az2 = p.

^ I Xj I ^ ... I x„ I > s > 0. (pj)cpj. el método anterior aplicado reiteradamente proporciona una sucesión (X„)i de valores propios de A tales que I X I— — IX I — y una sucesión ((p„)i de correspondientes vectores propios asociados de A. Si para todo entero positivo n. AhX = Ax — X j=i Xj(x. Xii de valores propios y la correspondiente sucesión cpi. ^ I X„ |. = O. Ai. Si para algún h. y I Xi I ^ . .... . Entonces. Vx G H. y el teorema está probado. es An ¥= O. Como antes. Supongamos que (X„)—/—>• O para n >oo. es compacto y hermitiano.. cpj)í'J.56 Manuel López Rodríguez Después de un número finito de pasos se obtiene una sucesión Xi.. cpj)cpj. existe 5 > O tal que para todo n. < p h de vectores propios de A tales que Aq>j = 1)<P3. Se define 1 ^ j ^ h. Ai. la sucesión (A<p„k)k=i es fuertemente convergente. para todo ^j(x. La sucesión (<pn) es ON luego tiene una subsucesión débilmente convergente (<pnk)k=i.. ... x 6 H. Por ser A compacto. Pero. se sigue que Ax = = / >^j(x. para h 7^ k.

la sucesión (q)„)i del teorema anterior es ortonormal completa. Demostración. 1 — n < <». para todo n. y ^ O.|ik<Pnk) = = I A.nh I + I Xiik I > 25 . Si X = O es un valor propio. Si (<pn)i es ONC. si y sólo si X = O no es un valor propio de A. | A•— x .19. lo que implica y = O.i{x. Finalmente. ONC.—Si dim H = <». En consecuencia. Cpj)<Pji| = = llAnxll ||AnX| ^ >. existe y € H. (pn) = O. tal que Ay = / -Y Xn(y. . se tiene que x = 0. si H no es separable \ = O es siempre un valor propio de un operador hermitiano compacto.cpj)<pji| llAnll llxll = = I> ^ n + l I II X II que.// ^ >. II = (A. para todo x € H. A<Pnl.„i)<Pn! A. A. para todo x € H tal que (x. y (Aq)„k) no es de Cauchy. Como la sucesión ((pn) es ON y X n v^ O.// n ten- Corolario 2.Teoría de los operadores lineales en espacios de Hilbert 57 II Acpni. por lo probado en el párrafo anterior.nh<Piili A„ikCPiik. Contradicción que prueba que lim Xn = 0. tiende a cero para diendo a infinito. <pn) = O. para todo n. se tiene que (y.i{x. <pn>pii = 0. para todo entero positivo n. contradicción.

para n ^^ m. x ^ O . se tiene ||Acp„ Acpra IP = ||X<p„ X<Pm 11^ = 2 I X |. Sin embargo. en contradicción con la compacidad de A. Existe entonces un conjunto ONC (<PQ. por ser acotada tiene una subsucesión débilmente convergente. Para todo x 6 H se tiene además Ax = / X a ( x . Teorema 2.22. para todo entero positivo n. cp„) = O. Si (<p„) es una sucesión ortonormal en N (A). existe x € H . AB = BA. a lo sumo un número contable de Xa y v-a es distinto de cero. si ((p„)i no es ONC. <p„)cp„ = O.20. luego (Acp„) no tiene ninguna subsucesión fuertemente convergente. Ax = / n=l l„(x. y por tanto.—Si Xy^O es un valor propio de un operador hermitiano compacto A. Corolario 2. entonces el subespacio N r A ^ = {xGH |(A —Xl)x = 0} es de dimensión finita. Demostración. que (x. O es un valor propio de A. respectivamente. es decir.58 Manuel López Rodríguez tal Por el contrario.// Definición 2.) en H formado por vectores propios de A y B tales que si (Xa).21. (jjia) son los correspondientes valores propios de A y B. <Pa)cPa.—Se dice que un operador lineal acotado A es normal si y só|lo si AA* = A*A. es decir. .—Sean A y B operadores lineales compactos hermitianos en H que conmutan.

. .Teoría de los Operadores lineales en espacios de Hilbert 59 BX = /_ |J. donde x» € N(A) fl N(B). . existe una sucesión ortonormal (cprk). Acprk = A. X2.a(x. . l^r<oo.rk = A. es decir. A. Como el operador Br. A asociados TTÍT es her- finita si Xr 7^ O. y cada r. B/r7r a trir. entonces para todo x € H se tiene X = / (X.r.rlr<Prlt... 1 ^ k ^ nir. En efecto. mr = dim n7r. es claramente un subespacio invariante para 1 — r < 00. si x € n?r se tiene (A — XrI)Bx = ABx — XrBx = BAx — XrBx = B(A — Xrl)x = O. Si (cp/3) es un conjunto espacio N(A) n N(B). • . B. 1—k —mr. que también son vectores propios de al valor propio Xv. Sean Xi. entonces ONC para el sub- . . 1 — r < 00. El subespacio rr7r = N{A —XJ). Demostración. el conjunto de todos los valores propios distintos de A y supongamos que dim H = 00. (pa)<pa con convergencia en la topología de la norma. Cprk)<Prk + Xo. BxGmr. Si se pone B<Prk = PrkCPrk. restricción de B al subespacio mitiano y compacto. es decir.

si dim H = «J . y por tanto A<p/3 = Bcp^ = O. se tiene que lim Xn = 0. También. los operadores A + A* B y C = A —A* 2i son hermitianos y BC = CB.22 se sigue la existencia de un conjunto ONC ((pa) . Demostración. Si A es normal. Claramente 3. Además. <Prk)cPrk. (Teorema espectral para operadores normales compactos). = BX = X / r=l lArk(x. Teorema 2. tales que Ax = / Xn(x.23. para todo Ax = y r=l X.60 Manuel López Rodríguez (<Pa) = (<Prk) U (cpo) es el conjunto ONC buscado. por ser A compacto. <pn)<Pn. A* es compacto y por tanto B y C son compactos. todos cero excepto un número a lo más contable que se denotan por (\n). <Prk)9rk. Existe entonces un conjunto ONC de vectores propios (cpa) y correspondientes valores propios ("ka).—Sea A un operador normal compacto en un espacio de Hilbert H.rk(x.// <p lXrk(x. Del teorema 2.

Inmediata. entonces también T es HS jpara cualquier otro conjunto ONC en H. <pn)q)n.Teoría de los operadores lineales en espacios de Hilbert 61 tal que a lo más un número contable de valores propios (^n).) en H se tiene Z _ iiTe«ir<«. donde X„ = ^n + i Tin. son distintos de cero y que BX = / ^ n ( x . si para algún conjunto ONC (ca. Demostración. <p„)(Pn. ^„ y r]„ tienden a cero para n tendiendo a infinito. ("{]„) para B y C. <Pn)<Pn. se deduce en este caso que lim X„ = 0.// 1 Definición 2.24.—Si un operador lineal continuo T en un espacio de Hilbert H es HS para un conjunto ONC (Ca) en H. respectivamente.// . Si dim H = oo.—Un operador lineal continuo T en un espacio de Hilbert H se llama de Hilbert-Schmidt. HS. Teorema 2. Como A = B + i C se tiene que AX = / X„(X. CX = y^ II T1„(X.25.

Si T es HS enton- S = {a|Te„^0}. S es contable. 1 ^ n < 00. e„}. Llamemos (en)i al subconjunto de (ca) tal que Tcn =7^ O y definamos Tn como la restricción de T al subespacio Sp{ei. y n=l Kn Entonces. y como S = U Sn.. n Es claro que Sn es finito para todo n. y por tanto compacto. para todo n. . es de rango finito. sea 1 }. El conjunto HS es compacto. En efecto. es decir.—Un operador ces T* es HS. es contable. En efecto.. para todo y € H. • (ca) conjunto ONC. .26. Demostración. Ty —Tuyi|^= II / ! _ X„Te„||^^ =„y ^ " ( ^ | X„ | | | T e „ | | ) = ^ ••(y_\Xn\n n=k+l ( ¿ _ n=k+l ||Te„in^||y|| / ||Te„ir.. l^n<oo. S„ = { a | II Tea 1 1 ^ El operador Tn.62 Manuel López Rftdríguez Teorema 2. Además T = lim Tn en la topología uniforme de operadores.

. Para cada a. T es compacto. (T*e„. e. e^)e/3 T*e„ = / _ Entonces. .||^(/ n=k+l ||Te„ir)i. se tiene TCa = -T / (TCa.Teoría de los operadores lineales en espacios de Hilbert 63 T-T. / ||T*e„|r= / (T*e. e„)e„) = / / i ( T e . / (Te^j. e „ ) P < 00. (T*ea. .. ep)e0.e0)e^) / / _ i (T*e„. Por el teorema 2. 3 .14. que tiende a cero para k tendiendo a infinito. e„) Como./_ / (T*e„.) 1 = = / / I (Te^. / l|Te^ll'= / _ (Te^.

para todo X en H). Entonces. Teorema 2. Ux — Uy) = (Ux.28.64 Manuel López Rodríguez se sigue que ^/ || T*ea |P < < » luego T* es H S . O = (Ux — Uy. y) = (x — y. Definición 2. / / Definición 2. Supongamos que Ux = Uy. V-'y) = (u. y) — (y. que también es unitario. x) + (y. para todo x. para todo x € 1)(S). Ux) + (Uy. x) — (x. Demostración.29. Uy) — (Uy. V = U''y> entonces Uu = x. Si u = U"^x.—Un operador unitario U admite un inverso U"" (es decir.y). Uv = y. si x = Xxi + Xxa.27. v) = (Uu. y se tiene (U-'x.—Un operador S con dominio 'D(S) c H se dice isométrico si es lineal y l|Sx|| = i|x||. Ux) — (Ux. Uy) = = (x. y por tanto x = y. y). Uv) = (x. se dice unitario si (Ux. y en H.—Un operador U con dominio y rango un espacio de Hilbert H. x — y). existe un operador U"' en H tal que U U~'x = U"^ Ux = x.Uy) = (x. y U"' es unitario. U es lineal. En efecto. y U* = U"'. U es lineal. se tiene .

U*y). y) = (x. + pUx^. y) = (x. U'^y) + + ix{x2. y en H. y). luego U(Xx¡ + IJLXZ) = XUxi + jjiUxa. De las igualdades (Ux. U-'y) = (>^Xi + ixx.. p a r a todo y € H. U'^y) = X(x..Teoría de los operadores lineales en espacios de Hilbert 65 (Ux. p a r a todo x. U-'y) = (x. V-'y) = MUxi. se sigue U* = U " \ / / . y) + uiCUxj. y) = (XUx.

Un subconjunto G de Hi X H2 es el gráfico de un operador si y sólo si {f.// Definición 3. . g2}) = (fl. Demostración. El con- H i X H2 = {{fi. con las operaciones usuales de suma y producto por escalares y con producto escalar ({fl. Inmediata. gl) + (f2. Teorema 3.2.—Un operador A en un espacio de Hilbert H es lineal si y sólo si G{A) es una variedad lineal en Hi + H2. g2) tiene estructura de espacio de Hilbert.1.66 Manuel López Rodríguez CAPÍTULO 3 § 1. fe}. {gl.—Sean junto Hi y H2 espacios de Hilbert sobre C.—Se llama gráfico de un operador A en un espacio de Hilbert H al subconjunto de Hi + H2 dado por G(A) = {{f. u} € G. OPERADORES LINEALES NO ACOTADOS Teorema 3. {2} i fi € H i .Af}| fe'D(A)}. Se llama suma directa de los espacios Hi y H2 y se denota Hi -f Ha.3. Í2 € H2}.

Inmediata.// Teorema 3.g) = (f. x}GG implica X = 0. En particular.(}. Por tanto. u } 6 G implica f = = g. Inmediata.—Un operador A en H es cerrado si y sólo si G{A) es cerrado. Sea f el operador en H + H definido por V{{.—Si la clausura G(A) del gráfico de un operador A es el gráfico de un operador.—Sea A un operador en (^G(A))es el gráfico de un operador lineal si y sólo si "©(A) es denso en H. es cerrado y coincide con el operador A* definido como sigue: í£T>(A*) si y solo'si existe f* tal que (f*. éste es lineal ya que para todo M c H.4. Si (fGÍA))"^ es el gráfico de un operador.g} Se tiene el teorema siguiente.Teoría de los operadores lineales en espacios de Hilbert 67 {g. Demostración. si existe. . Demostración. se llama adjunto del A. éste se llama clausura del operador A y se representa por A.Ag) para todo g € T)(A) y en este caso f* = A*f.// Definición 3. El conjunto = {-g.5. H. G es el gráfico de un operador lineal si y sólo si G es una variedad lineal y {O. M"^ es una variedad lineal cerrada en H. Demostración. Teorema 3.6. dicho operador.

Si 'D(A) es denso. B es una extensión de un Teorema 3. g). Vfe'D(A) <=> (x. i) ii) iii) Para todo X € C. {-Af. f*} G "VCiA)^ <^ ^ ( f . para todo g € '©(A).í}) Manuel López Rodríguez = 0. g) = (f. B* c A*. Ag) = (A*f. el adjunto de A es cerrado.x}. v) Si 'D(AB) es denso en H. se tiene B*A* c (AB)*. al ser su gráfico cerrado. se tiene. si y sólo si "VGiA)-^ es el gráfico de un operador lineal. (XA)* = XA*. A g ) = (f*.7. A c B implica Si A tiene clausura A. se verifica (A)* = A*.// Definición 3. . '©(A) es denso si y sólo si x — O. Por ser T>(A) denso.g). Por tanto. es decir. vi) Si A tiene clausura A entonces A** = (A*)* existe y se tiene A** = A. entonces iv) Si 'D(A) n 'D(B) es denso en H. implica B = A*.—Se dice que un operador operador A si G(A) c G(B). f* = Bf. si B es el adjunto de A se tiene. Vg€'D(A). Por último. f e <D(B) c ^ 3f*. A* + B* c (A + B)*.68 {O.—Si A y B son operadores lineales con dominio denso en H. (Bf. tal que {f. f) = o <í=> X € "©(A)-^.xjeCVGiA))-^ ^^({0.8.

CVGiA))^ = ('l^G(A)r => (A)* = A*. Para todo . existe f € 'D(A). (iv) and (v) son inmediatos.1) H + H = G(A) + 'ÜG(A*). por lo ya de- (A)** = ((A)*)* = (A*)* = A**.Teoría de los operadores lineales en espacios de Hilbert vii) Si A'' existe y ÍDÍA"') es denso en H. Aplicando el operador 1) a esta suma directa y teniendo en cuenta que -G(A) = G(A). (ii). A = A* (vii) Si A es uno a uno. Demostración. (A)** = A. (i). A''. T:^G(A). Si A no es cerrado pero tiene clausura mostrado. Entonces G(A) = G(A) y por tanto VG(AJ = VGiA). se tiene que 69 'UG(A) = ^G(A) =. Como G(A) = C(A) por definición. Por tanto. Como 'L'G(A) es entonces un subespacio de H + H. se tiene: (3. (vi) Supongamos que A es cerrado. existe el operador lineal A** y se tiene A = A**. es decir. se tiene H + H = ^G(A) + (^G(A))^ = 'UG(A) + G(A*). entonces (A*)-' = (A^')*. (iii). Sea g €'D((A"')*). De (iii) se sigue que A se tiene. Por tanto G(A) = ('^'G(A*))-^ y. al ser G(A) subespacio de H + H.

es decir. luego (A-')*g e'D{A*) y (3. A*f) = (u. A*h). Para todo (f. Si A es simétrico.3) A*h € "©((A-')*) y h = (A-0*(A*h). que 'D(A*) c I^A). Ah) = (Au. (Af. (3. f € •©(A"').(A-Tg). Se dice que un operador simétrico es positivo si paira todo f € T){A). g en 'D(A) se tiene (Af. donde Demostración.g) = (A-^Af. (3. Basta pues probar que A* < = A. Teorema 3. A c A*.2) y (3.g) = (Af. f) = (u.—Se dice que un operador lineal A es simétrico si su dominio "©(A) es denso en H y para todo par f. y autoadjunto si A = A*. h) = (AA-'f. se tiene « Sea h€'D(A*).9.3) implican (A*)"' = (A"')*.10. Por tanto.f)^0. Sea f € '=D(A*) y g = A*f. . Por hipótesis existe h € '©(A) tal que Ah = g. para todo u € 'D(A).// Definición 3. h) = (A-'f.g) = (f. h).70 Manuel López Rodríguez (f. 'R(A) = H. es autoadjunto. g) = (u.—Un operador simétrico A tal que %(A) — AH es el rango de A.Ag). se tiene (Au.2) g = A*((A-')*g). Portante.

} + {-A*g„. Entonces. g) = ((I + A*A)f„. Demostración.// Teorema 3. Así.—Si A es un operador lineal cerrado con dominio denso en H. Sean f. a>0}. el operador A*A es por tanto simétrico. g € "©(A). y + A* A) = H. es decir.||Ax|l:^K.AgG'DíA*) y (A*(Af). 'Rd+ O = (h„. (I + A*A)g). para todo g G 'D(A*A). Como Au recorre H se tiene que f = h. f.// Teorema 3.1) existen fo. g G 'D{A*A). f € "©(A). Por ser A cerrado y (3. lo que implica Af^e^DCA*). Por tanto. Af. g) = (Af. . se tiene que De aquí se concluye fácilmente es arbitrario se sigue que f» = O y y "©(I + A*A) son densos en H.Teoría de los operadores lineales en espacios de Hilbert 71 la última igualdad por ser A simétrico. Demostración. go tales que {h. Ag) = (f. En efecto.12.11. sea h G H arbitrario.g„}. entonces existen constantes K y r > O tales que | | x | | : ^ r implica . A*(Ag)). es decir. I + A*A es autoadjunto. 'D(A*A) Por el teorema 3. y A es autoadjunto. h = f„ — A*go y O = Afo + go. Entonces.0} = {f„. Como g por tanto h» = 0. (Teorema del Gráfico Cerrado de Banach). que A*A es autoadjunto. Si se demuestra que 'D(A*A) es denso en H.Af. g) = (fo.—Si X e Y son espacios de Banach y A es una aplicación lineal cerrada de "©(A) =: X en Y.10. h = (I + A*A)fo. Sea h„ 1 'D(A*A). Sea U„ = { x | ' | | Á x | i < a . el producto A*A es autoadjunto.

ta) = { x | ||X — X o | | < to} contenido en Uk. Se demuestra fácilmente que no hay pérdida de generalidad en suponer que x„ € Un. k entero positivo fijo. S^r c U». para todo a > O. Por tanto existe . Vamos a demostrar que Sr c U Sea X 6 Sr. existe un abierto B(X„. x + S es entorno es un entorno de xi 6 (x + s ) n Sr n Ui. con O < S < 1. Como S de X. y z € Uk implica ||Az|| + ||Ax„|| < 2k.13. ||A(z-x„)|| ^ Por tanto. para r = to/(2k) se tiene Sr = {x| | | x | | < r } c Ü:. por el teorema 1. x € St implica x € Uk — Xo. para todo t > O. se tiene St c {z — X o I z € Uk} {z — X o I z G Uk} c U2k. si se define St = {x| | | x | | < t } . .72 Entonces Manuel López Rodríguez X = Ü Un y. En efecto. O. En este caso. por lo que. St^ c U2k. Como X € Uin si y sólo si x/m G Ui.

. 6 •• 8 •• También lo es de este p u n t o el abierto S p o r lo que existe X2 € [(x — xi) + s 2 ] n s n u 6 " • b" 8 es decir. / k=m llAXk 5- que tiende a O para m tendiendo a oo.r 8 Así. La sucesión (A / xO . x„+i € S n n U „.' . AxJjí^ . x — Xi + S 2 es e n t o r n o de x — Xi. X2 + X1 — x G S j 6 •• ' . \. V^ K-iii Xk ^ „ . xi € SI • n Ui.. \ / k=ni . para todo entero positivo n existe x„+i tal que /^ k=i y por tanto Xk — X € S n+i S ' ..Teoría de los operadores lineales en espacios de Hilbert 73 es decir. XíGs n u í. . II Ax„+:|| < 5 » Entonces. Como S 2 es u n entorno de O. Xi — X G S : . 8' 8 Xk — x | | <S''*^ k=l .

Del teorema 3. H es acotado y Demostración. si A es simétrico y 'D(A) — H. no autoadjunto. se tiene que A es autoadjunto y.12 se sigue entonces que A es acotado.// En el Capítulo 4 se estudiará con detalle un operador simétrico.—Un operador simétrico definido en autoadjunto. al ser Y completo. Ax = z y además y k=l Ax.||^(l-5)-V/ Teorema 3. existe z = lim A > Xi¡. A es simétrico si y sola si A c A*. por ser A cerrado. y se determinarán sus extensiones autoadjuntas. TEORÍA ESPECTRAL La teoría espectral estudia la distribución de los valores X € C para los cuales A — XI. en consecuencia. tiene inverso y las propiedades de dicho inverso cuando éste . §2.74 Manuel López Rodríguez es pues de Cauchy en Y por lo que.13. También X = l i m "X Xk lo que implica. siendo A un operador lineal en un espacio de Hilbert H. cerrado. Por tanto.

en un espacio de Hilbert H. Se dice que X € C está en el conjunto resolvente p(A) de A si A — XI tiene inverso continuo en li (A) y además % (A) = H. M constante. Para simplificar la notación se denotará por 'R (A) el rango del operador A — X. Definición 3.Teoría de los operadores lineales en espacios de Hilbert 75 existe.I. % (A) = H. % (A) v^ H}. .(A) = {X € C I A — XI es uno a uno. El complementario de p(A). denso lly|J^Mj|x||. se llama espectro del operador A. ii) espectro continuo de A: (rc(A) = { X € C | A — XI es uno a uno. (A — XI)'' discontinuo}.—Sea A un operador lineal. iii) espectro residual de A: o-. i) espectro puntual de A: (rp(A) = {X 6 C I A — XI no es uno a uno}. La dimensión de N (A) se llama multiplicidad del valor propio X. existe un único y € 'D(A) tal que (A —Xl)y = x y x€% (A). denotado por o-(A). si para todo en H. es decir. no necesariamente acotado. se dice que x es un vector propio de A asociado al valor propio X. {x € H I (A — Xl)x = 0}. Se distinguen en él tres subconjuntos disjuntos. Todo X € (rp(A) se llama valor propio de A y si x ^ O pertenece al subespacio N (A) =.14. cuya unión es p(A).

en H. o lineal y acotado.16.// A. Si se pone y = lim (A — XI)"'xn. Como es de Cauchy y (A — XI)"' es continuo. CrCA) = 0 .17. se tiene que x G 'R (A) e y = (A —XI)-'x. Si X € H. Demostración.15. "ÍR (A)=H. i) se sigue del teorema 3. la sucesión ((A — XI)"'xn) es también de Cauchy.// Teorema 3. Entonces X€o-p(A) U ffr(A) si y sólo si X€«rp(A*). Por definición. i) X G p(A) si y sólo si (A — XI)-' G 'B(H). (A—Xl)"' discontinuo en 'R^(A)}. ii) (Tc(A)={XGC I A—XI es uno a uno.14. existe una sucesión (x„) c: % (A) con límite X.76 Manuel López Rodríguez Teorema 3. Si ^ € p(A) el operador (A — XI)"' es lineal y continuo con dominio % (A) = H. n al ser (A — XI)"' cerrado. y.// CrCA) y o-p(A) . Demostración. La primera parte del teorema se deduce inmediatamente de la igualdad. En ambos casos A es cerrado. Queda por demostrar que % (A) = H. 'R^iAy = N-(A*). Entonces. Si A es autoadjunto.—Sea A un operador autoadjunto.—Sea A un operador lineal en H.—Sea A un operador lineal cerrado en un espacio de Hilbert H. Por tanto "R (A) = H. Además % (A) = H. por el teorema 3. Demostración. e ii) de la definición de (rc(A) y la parte i). La segunda es consecuencia de la primera y de ser disjuntos. por serlo H. el operador (A — XI)"' existe y es continuo en % (A).12. (A —Xl)"' es continuo en Corolario 3.

se tiene ¡|(A — X l ) x | | ^ | ( ( A — X I ) x . Demostración.—Si A es un operador autoadjunto. Recíprocamen- Demostración.18. / / Teorema 3. 3 ] .20. | X — Xo | < 5. 3 ] . Sea O < 5 ^ k/2. Es consecuencia inmediata de los teoremas 3. x ) | = | ( A x . || x || = 1 y X ^ [a.—Si A es autoadjunto. Xo € p(A). yaque X ^ [ a . p a r a todo . X € o-p(A) es claro que 'R(A)v^H. 3 ] . Además. por el teorema 3.// Teorema 3. donde S es la distancia de X al intervalo [a.—El espectro de u n operador a u t o a d j u n t o p(A) A es cerrado. 3 = sup {(Ax.Teoría de los operadores lineales en espacios de Hilbert 77 Corolario y sólo si 3. pues los valores propios de un operador autoadjunto son r e a l e s . Si cr(A) está conteni- || x || = 1}. Basta d e m o s t r a r que Existe k > O tal que i!(A — X „ I ) x | i ^ k | | x | i . x) | || x || = 1}. es abierto. Así. X € p(A) si y sólo si '% (A) = H.12. donde a = inf{(Ax.17.21. 'R^CAr = N((A — XI)*) = N(A — XI) = {0}. p o r el teorema 3.// Teorema 3. 3 ] .x)| Demostración. si % (A)v^ H. Sea VxE'DCA). x ) — X | ^ 5 . Demostración.—X es u n valor p r o p i o del o p e r a d o r autoadjunto A si %{A)^U. Si te. Por t a n t o 'R (A) es cerrado y A — XI u n o a uno. ^R (A) = H y. X ^ o-p(A).15 y 3.19. do en el intervalo real [a. entonces X ^ (TC(A) y.19. X € p(A). se tiene Entonces.

Demostración. X € p(A). A) = (X — y. Así. En efec- ||(A-XI)x|r^PM|x|r. (A — XI)"' existe. Teorema 3.// Definición 3. A). es decir. A) = = R(X. xe'D(A). Se tiene. R(X. A) R(u. A. % (A) = H y (A — XI)"' es continuo. A) = (A — XI)-'. El operador V = (A —XI)(A —XI)-' se llama transformada de Cayley del operador El operador V está bien definido pues to. A) [(X —ix)I + (A —XI)] R(\x: A) ^ = (X — pi) R(X.22. A) — R((ji. X 6 p(A).—Se llama resolvente al operador R(X. A) R(p.78 Manuel López Rodríguez k |!(A —Xl)x|( ^ ||(A —X„I)x|| — S | | x | | ^ | | x | l . A). A) + R(iJi.—Sea A un operador simétrico y X un número complejo con ImX 7^ 0. A)(A —uI)R(lx.) R(X.// § 3.24. 3 7^ O. si X = a -f i3.23. R(X.—Si X y ti pertenecen a p(A) y A es cerrado se tiene.. se tiene. . EXTENSIÓN DE OPERADORES SIMÉTRICOS Definición 3. A) = R(X.

x). Entonces. i) Es claro que <D(V)='R-(A). Demostración.4) se sigue que Vz — z = (X — X)x. y II z IP = II (A — Xl)x 11^ = (Ax. x). Ax) — X(x. Ax) — MAx. iii) Si un operador isométrico V satisface ii) existe un operador simétrico tal que V es su transformada de Cayley.—i) La transformada de Cayley de un operador simétrico A es un operador isométrico V con dominio "^-(A) y rango 1i (A). {Vz — z | z e ' D ( V ) } = "DÍA) que es denso en H.25.Teoría ele los operadores lineales en espacios de Hilbert 79 es decir. Entonces 1 no es un valor propio de V y por tanto existe el operador (I — V)"\ Si se define A = (XI —XV)(I —V)-S . 1 1 Vz 11^ = II (A — Xl)x 11^ . x) — X(x. A — XI es uno a uno.(Ax. Ax) — X(Ax. existe X 6 'D(A) tal que z = (A —Xl)x (3.4) Vz = (A —X. ii) De (3. Por tanto. Como A es simétrico. Teorema 3. Ax) + | X |' (x. ii) El conjunto {Vz — z I z G ' D Í V ) } es denso en H.I)x. iii) Sea V un operador isométrico satisfaciendo ii). Si zG'D(V).'íl(V)='íl^(A). || Vz || = || z ||. Vz € "©(V). x) + | X |^ (x.

V.26.5) que p o r ii) es denso en 'D(A) = 'R(I — V ) . Demostración. (I — V)X2) = = (X + X) (xi. V2 sus respectivas transformadas de Cayley. Entonces el operador A2 es u n a extensión de Al si y sólo si el o p e r a d o r V2 es u n a extensión de Vi.27. Demostración. Es consecuencia inmediata del teorema a n t e r i o r . pertenecen a T)('V) y se tiene y Zi. AZ2). Hay que p r o b a r que Vun — > • V implica u € "©(V) y Vu = v.—Un o p e r a d o r simétrico A es cerrado si y sólo si su transformada de Cayley V es u n o p e r a d o r cerrado. Teorema 3. / / . Es fácil c o m p r o b a r ahora que la transformada de Cayley del oper a d o r A es precisamente V . X2) — X(Vxi.—Sean Ai y A2 operadores simétricos y Vi. H. (XI — XV)X2) = (zi. Z2) = ((XI — XV)xi.4). / / Teorema 3. Además. por (3. entonces X2 = (I — Vyz2 (Azi. Entonces x„ € "©(A). E n efecto. X2) — Mxi. Supongamos A cerrado. Pongamos Xn = Un — Vun. si xi = (I — V ^ z . VX2) = = ((I — V)xi. Este es el caso si y sólo si "©(V) = %-(A) y "í^V) = % (A) son cerrados. También.80 Manuel López Rodríguez este operador es simétrico. Z2 € T>{A). . (3. y l i m Xn = X = U n Un — > u.

—Si Mi y M2 son variedades lineales en H. y como los operadores del segundo miembro son cerrados. Para todo x € H son ortogonales. es decir. ( I _ P . Por tanto. u G 'D(V) y Vu = (A — XI) (A —.28. M2)— 1. M2). El recíproco y la segunda parte de la demostración se prueban de modo análogo._Pi||^l.29. — Pi)x e (I — P2)PiX IKP.6) los vectores VJJ. Si Mi contiene un vector no nulo ortogonal a Mi. y se representa por a ( M i . (X —X)u = (A —XI)(u —v) (X —X)v = (A —XI)(u —v) es decir. . ||P. respectivamente. M2) = 1. entonces a(Mi.Teoría de los operadores lineales en espacios de Hilbert 81 (X — X)Un = (A — Xl)xn (X —X)Vu„= (A —XI)x„. se tiene a(Mi.Xl)-'u = (X — X)-^ (A — XI) (u — v) = v. Definición 3. Pa los operadores de proyección sobre Mi y M2. (3.// Sean Mi y M2 variedades lineales en un espacio de Hilbert H y Pi. Teorema 3. Demostración.—Se llama: apertura de las variedades lineales Mi y M2 en H. ) x | | ^ + | | ( I _ P 2 ) P i x | P ^ ^ ii(i-Pi)xir + iiPixir = iixir.-POxil^ = | | P . a la norma de la diferencia de Pi y P2.

tiene dim G — dim Mi. X € M2 s u p _ || (I — P2)x 1|}. Por el teorema 3. ambas tienen la misma dimensión.. Pongamos c.// Si G = P2M1.31. a(M.—Si la apertura de dos variedades lineales Mi y M2 es menor que 1. X € Mi • l|x|| = l ||xi| = l Demostración. se tiene que x es ortogonal a Mi y. M 2 ) = l . Como el subespacio de Mi ortogonal a G es ortogonal a M2. luego M2 contiene un vector no nulo x. ortogonal a G. Supongamos que dim M2 > dim Mi. Por definición de apertura y (3. contradicción. dim G < dim M2.29 esto implica a ( M i .// Teorema 3. Demostración. a Mi. M2) = max { s u p _ ||(I —Pi)xl| .82 Manuel López Rodríguez La segunda parte es inmediata. Por tanto. M2) = sup II (P2 — Pi)x 1 1= xGH i|x|| = l = sup (iiP2(i-Pi)xir + ii(i-P2)Pixir)í'^ x6H l|x|| = l S U p _ ( | | P 2 ( I — P l ) x | P + 11(1 —P2)PlX||^)i. i = l.30. se Teorema 3. = s u p _ X € M3-1 { | | ( I _ P O x | | I | | x | | = 1}.6) se tiene que a(Mi.2. por tanto.= x6Mi 1 1 x 1 1=1 .

Teoría de los operadores lineales en espacios de Hilbert = sup_{||(I-P.(I — POy.// .c^J. i = 1.7) a(M.9) ||(I-P.y|r ^ ^ ^ m a x { e . análogamente. 11(1 —POP^xll^CillP^xll. P^d .(I-POy) ^ ||(I-Pi)P. VxeH.Pi)y) = = ((I_POP.)P. a(Mi.)x|l xCMi I | l x | | = l} = C3.P O y i r + ||P>y|n = ||y |r max{e.)y I p = (P. | | P 2 ( I . Esta desigualdad y (3.)y. Por definición de Ci se tiene (3. a(Mi.xl|.8) (3. se tiene que 1 1 P2(I — P.(I-P:)y|| ||(I-P. 11(1 —P.(I-P. C2}.. llP^d-POyll II (I-POy II. Mj) ^ Ci. Por tanto. la última desigualdad por (3. M2) ^ max { Ci. C2}.)y||.2. c ^ } [ | | ( I . Por tanto. Al ser P) .ylP ^c] | | ( I _ P O y | r + e ||P.8) da ||(P.P i ) y | | ^ c . (3. 83 y.9) con x = (I — Pi)y.||P.7) prueban el teorema. es decir.-POy|r = ||P2(I-P:)y|r + ||(I-P.x||^c.)yil ^ ^ c .)P. Esta desigualdad y (3. un operador de proyección. M2) — max {ci.

Entonces.// ||x||= ^ .(A-Xl)x) = | | ( A .32. ||(T->. Demostración.—Un número complejo X se dice que es un punto de tipo regular de un operador T si existe una constante positiva k tal que ||(T — > .84 Manuel López Rodríguez Definición 3. VxG'D(T). Si X = a + bi. ||(A—Xl)x||^ = ((A—Xl)x.—El campo de regularidad de un operador lineal es abierto en C.„I)x|| \X-Xo\ ||x|| ^ II xM VxETXT^// Teorema 3. T El conjunto de todos los puntos de tipo regular de un operador se llama campo de regularidad de T.34. se tiene. Sea \o un punto de tipo regular del operador lineal T. Demostración. T si y sólo si Teorema 3. Es claro que X es un punto de tipo regular de (T — Xiy existe y es acotado en % (T).—Los semiplanos { X G C | I m X > 0 } y { X e C | I m X < 0 } son subconjuntos conexos del campo de regularidad de todo operador lineal simétrico. \X — X « | < i k».33.a ) x | P + \h\' ^ \h\' \\x\\\ VxG'D(A). I ) x | i ^ k | | x | | . b ^^ O. Existe entonces ko > O tal que ||(T — U ) x | ¡ ^ k „ | | x | | . Sea X G C tal que ||(T-Xl)x|| ^ ko VxE'DCT).

todos los subespacios ¿^( (T) = 'RJT)-^ tienen la misma dimensión.30 basta con probar que l | P .' P II < 1 . Sea P el operador de proyección sobre ¿A( (T). se tiene. ko ||x|| ^ ^ y por tanto. [Í en y. Demostración.X o | ||x|i.-P. Si M es una variedad lineal en H y x € H. ||(T-XoI)x|| ^ ||(T-XI)x|| + | X .35. | X — X» | < £ implica Ao l|P. Existe entonces e '^ O tal que A VxeT>{T). para todo par X.Teoría de los operadores lineales en espacios de Hilbert 85 Teorema 3.—Si y es un subconjunto conexo del campo de regularidad de un operador lineal T. se comprueba fácilmente que l(x. tomando E = ko/3. para Ijxll ^ ||(T-Xl)x|| + ^ | X _ X„ | < e.y)| ||P_x||= O^yeM sup II y . IK1En efecto. 2 k„ | | x | | ^ ||(T —Xl)x||. |X — X o | < E . Por el teorema 3. Sea X o € Y y ko > O tal que ||(T — X „ I ) x | | ^ k o | | x | i .

Xj € Mj . n = dim ¿A(_.\\z\\ — 1.// Definición 3.oI)x|| 1 ^ ||(T —X„I)x|| 1 2 2 . implica xi = .35 y del hecho de que los semiplanos Im >..86 En particular. sup (M=x€'D(T) Del teorema 3.. se tiene Manuel López Rodríguez I (z. i = V— 1 • Teorema 3. > O..—Se dice que las variedades lineales Mi. 1 ^ j ^ n.// Definición 3. y el resultado para \ y \x arbitrarios en y se sigue del teorema de Heine-Borel y de ser y conexo.38. = X n = 0.(T —Xl)x + (X —Xo)x)| ||(I-P)zl|= sup O^xe'Dd) = ||(T->.. si z£ iN.—Si un operador simétrico A tiene un punto real de tipo regular. Es consecuencia inmediata del teorema 3.—Se llaman índices de deficiencia de un operador simétrico A los números m y n definidos por m = dim ¿A(i(A) . x ) I = y análogamente 11(1 — P ) z | | ^ para z € á^( | | z | | = 1.31 se tiene que a(¿A( . Demostración. j I ( z . Im X < O son subconjuntos conexos del campo de regularidad de un operador simétrico. — >«.. . sus índices de deficiencia son iguales.37. I >.(A) . M„ en un espacio de Hilbert H son linealmente independientes si xi -F .. S^ ) < 1 . . + X n = O . para todo | X—X» | < E ..36. .

Teoría de los operadores lineales en espacios de Hilbert La variedad lineal generada por los elementos de Mi.. 1—j—n. . Todo elemento x en la suma directa puede escribirse de modo único en la forma X = Xi + .39. son linealmente independientes y se tiene 'DCA*) = 'D(A) + ¿A(-(A) + IA( (A). (A — Xl)x + (A* — XI)z = = (A —Xl)x + (X —X)z y por tanto z€<?l^(A) n ¿A(^-{0}. Im X 7^ O.-{A) + ¿A( (A) e 'DCA*) pues cada uno de los sumandos está contenido en '©(A*). M„. + Mn y se llama suma directa de Mi. Demostración.. las variedades lineales '©(A)..= I7V_(A*).... se tiene que O = (A* — XI) (x + y + z) =.. z € S^^{A). con Xj € Mj .. x € 'D(A). Supongamos que x + y + z = 0. + X n . Finalmente.. .. M„ se denota por Mi + .—Si A es un operador simétrico cerrado. Teorema 3. es claro que "DÍA) + SN. y € ¿'V-(A). ¿A(-(A) y ¿A( (A). De la igualdad 5V^(A) = 'R^(A). luego y = 0. y la análoga para X. por ser ortogonales ambos subespacios. También x = 0 porque X ^ <rp(A). .

m = n = O si y sólo si "©(A) = = ^(A*). Así z — u — v = w€IAÍ y por tanto. .88 Manuel López Rodríguez Por otra parte. z = u + v + wG 'D(A) + ¿A(-(A) + ¿^( (A).41.40. respectivamente.0). simétrico A define un operador isométrico U cuyo dominio P y rango Q son subespacios de ¿A(_.(A) y ¿A(.—Toda extensión cerrada. como A es cerrado. luego (A* — Ü ) ( z — u —v) = 0. simétrica A' de un operador cerrado. Sea u € 'D(A) tal que X = (A —Xl)u y pongamos v = (X — X)~'y.tales que (A*—Xl)z = X + y.—Un operador simétrico A es autoadjunto si y sólo si sus índices de deficiencia son (0. Demostración.Se tiene (A* —Xl)z = (A —Xl)u + (X —X)v = (A* —Xl)(u + v).// Teorema 3.(A). Por el teorema anterior. ^R-ÍA) es cerrado y se tiene H = ^R-ÍA) + ¿H-. Si z€T)(A*). existen por tanto xC'R-ÍA) e y G ¿A(.// Corolario 3.

simétrico y AcA'. Entonces A c: A' implica V c V. U de- es isométrico y su rango es Q. P y Q subespacios de H. entonces P c IA(_. Si se definen P y Q como •©(V) = "©(V) + P %(V') = 'R(V) + Q. z € P} A'(x + z — Uz) = Ax + iz + iUz definen una extensión cerrada simétrica A' de A. las expresiones •©(A') = {x + z — Uz I X € 'D(A). si U es un operador isométrico con dominio P c £A(_i(A) y rango Q c á''(i(A). y G "DCV). isométrico y extensión de V. es decir.(A) y Q c: ¿'Vi(A). ¿A(_. es claramente cerrado. V sus respectivas transformadas de Cayley con X = i. •©(¥) c •©(¥') y %(V) c %{V'). para todo x G P. Es claro que el operador finido por Ux = V'x. ¿A(i(A) = Q + ¿A(. Recíprocamente. . Demostración. sea U un operador isométrico con dominio P c ¿A(_i(A) y rango Q c ¿Aíi(A). Además. z G P. El operador V con dominio "©(V) = 'D(V) + P definido por V'(y -H z) = Vy -f Uz. El operador A' cuya transformada de Cayley es V es por tanto cerrado.Teoría de los operadores lineales en espacios de Hilbert 89 Recíprocamente.(A) = P + SA(-i(A').(A'). Sean A y A' operadores cerrados simétricos y V.

(A') = {0}. Así A' tiene índices de deficiencia (0. Teorema 3. Manuel López Rodríguez 'D(A') = {V — V'v I V € 'D(V')} = = {y + z — V'(y + z) I y € 'D(V).39 se tiene que A'z = iz.zeP}. Si m = n. z € P} = = {x + z —Uz|x€<=D(A). Si A' es la extensión de A dada por el teorema 3. n) son iguales.42. y por tanto.// . Como A' es la restricción de A* a 'DÍA').. donde x = y — Vy.—Un operador cerrado. La última parte del teorema es inmediata. dim ¿A(_i(A) = dini ¿A(¡(A).(A') = ¿A(..40.0) y.90 Por el teorema 3. tiene extensiones au toadjuntas. Demostración.// y A'Uz = -iUz. por el corolario 3. Se puede por tanto definir un op>erador isométrico U tal que 'D([]) = ¿A(_i(A) y "71(11) = = ¿'Vi(A). simétrico A tiene una extensión autoadjunta si y sólo si sus índices de deficiencia (m.// Corolario 3.—Un operador cerrado simétrico con un punto real de tipo regular. Demostración. z G P. se tiene que ¿A(. A'(x + z — Uz) = Ax + iz + iUz. Inmediata. es autoadjunto.25.41. por el teorema 3.43. El recíproco es inmediato.

' J ' donde a^ denota el complejo conjugado de aij. tiene las propiedades si- . como sigue: se le asigna otra i* = a ij jl . 1 — i.—A cada matriz A = (ay) en Mn.—El funcional ir : M„ — > C.-:lí.' .2. Definición 4. 1 : ^ i. Teorema 4. llamada adjunta de A. j ^ n.. j ^ n.1.Teoría de los operadores lineales en espacios de Hilbert 91 '„• .. para cada matriz guientes: A = (aij). definido por •KÍA) = / aii. A* = (a*).:> CAPÍTULO 4 EXTENSIONES AUTOADJUNTAS DE OPERADORES DIFERENCIALES MATRICIALES Denotaremos por M„ el conjunto de todas las matrices n x n con elementos complejos.

(iii) Tx(A*A) ^ O. b . b)—>-M„ de cuadrado integrable. medible Lebesgue. H es p o r t a n t o u n espacio de Hilbert.—El conjunto V(a. p. € C. Se denotará p o r L^a.. G 6 V(a.(A*A) = O <=> A = O. b). etc. X. b . b. j — n. es continua. I n m e d i a t a . de c u a d r a d o integrable. derivable. TzCKA + |j. ((). de cuadrado integrable. / / Definición 4. Se sigue inmediatamente del teorema 4 .3. h. l £ = i j ^ n . medible Lebesgue. M„) es completo con la n o r m a asociada. X € C. Mn) adquiere e s t r u c t u r a de espacio lineal sobre C si se definen la s u m a y p r o d u c t o p o r escalares en la forma usual. en (a. Demostración. Además. es decir. es un producto escalar y el espacio H = L^(a. A.92 Manuel López Rodríguez (i) " K es lineal. M„). t € ( a . b) un intervalo abierto o cerrado.FXt))u = MF(t))ij. / / .G)= I Tt(G*(t)F(t))dt J. si cada u n a de las funciones (F(t))ij. b).—Sea (a. la función r (F. Teorema 4. 1 — i. etc. para todo p a r Demostración. ((F + GXt))ii = (F(t)>j + (G(t))u. B € M„.B) = Xií(A) -f [Í-K(B). derivable.. Mn) el conjunto de todas las funciones F : (a. 2 . b) en M„ se dice que es continua.4. -n. F. Una función F(t) de (a. (ii) T : ( A * B ) = 7:(B*A). respectivamente.

Pm. t o G ( a . d''Y dt" Las cuasi-derivadas Yí"} se Y{'^} = .Y = F. se necesita el siguiente teorema de existencia y unicidad p a r a sistemas de ecuaciones diferenciales matriciales ordinarias. definen formalmente como sigue: Y{°} = Y.. O — k — 2 m — 1 .. e Y es u n a función matricial n x n de t en (a. b ) tales que F~^..5..1) donde ^(Y) —>. tiene u n a solución única en este intervalo que satisface las condiciones iniciales YÍ^Kto) = U p a r a todo O — k — 2 m — 1 . . donde el superíndice (s) denota s derivaciones con respecto a t. localmente integrables en (a. Pi.... Y{"'} = Po- d"'Y dt" ¿m-ky dYÍ"'"'^"'} .. . F funciones matriciales n x n en (a.—Sean Po. YÍ^^-^l^Pk . m. y sean Ck. X es un n ú m e r o complejo y f{Y) está definido p o r (4. . matrices constantes arbitrarias..Teoría de los operadores lineales en espacios de Hilbert 93 Para poder definir operadores diferenciales matriciales en H..2) €(Y)= / (-l)MPm-s(t)YW(t)}W. k = l . b).. b). df"-'^ clt k = l . Pi. .. Pm. F son medibles Lebesgue. Teorema 4. b ) . m — 1 . Entonces la ecuación diferencial (4.

—La solución general la forma Y(t) de (4.j)p.94 Manuel López Rodríguez Definición 4..3).4) YVKU) = U¡^. y el conjunto Zkij. 0 ^ j ^ 2 m —1. matrices (E.. . se pone (4.. j — — n.. las soluciones de la ecuación diferencial matricial (4. O ^ k — 2m — 1.. + Y2™-i(t)C2m-i..q^n.. 1 ^ i.—Sean Yk.3) puede escribirse en Y(t) = Yo(t)C„ + .3)..3) se llama el sistema fundamental en to de la ecuación diferencial (4. b). es el sistema fundamental en to de (4..5) Eij.. donde Yo. t».—Sean (4.6.8.6) ZKij(t) = Yu(t)E«.3) (^(Y) —XY = 0. es decir.9.. O —k — 2 m — 1 . XeC.3) y la definición anterior. Teorema 4. donde I es la matriz identidad n x n y Sjk la delta de Kronecker.—El conjunto de todas las soluciones de (4... O ^ k ^ 2 m — 1 .3) es una variedad lineal de dimensión 2mrf sobre C.. nxn con elementos Si Yk(t). . es una de sus bases. El siguiente teorema se sigue inmediatamente de la linearidad de (4. Teorema 4. U € (a. dadas por que satisfacen las condiciones iniciales en (4.Y2in-i es el sistema fundamental en to de (4.C2in-i son matrices n x n constantes. Sy = O si i¥= ]• El conjunto Yo. l^p.7. Definición 4. 1 — i. j — n.3) y Co. Yzm-i de estas soluciones de (4. Sdi = 1. = SipSj.

se les supondrá también hermitianos.4.(t)a / k-0 // 1.—Denotaremos = L^(a. b..ü d ) ! Y{M(a) = Y{M(b) = 0.8) { Y e . Si Ck = (ck. (Identidad de Lagrange). es absolutamente continuo y Y{^°} pertenece a H. Teorema 4. en [a. Mn) definido por (4.y).7 y la definición 4.—Sean Y y Z dos funciones matriciales n x n en 'T)(T): Entonces se tiene . entonces del teorema 4.. para todo k = O. .. Denotaremos por L la restricción de T al conjunto (4. 2m— 1. 2in— 1. 1 ^ i. y la representación es claramente única.11.ij =z 0=^fcÉ2in—1 ZkljCk. b ] . 0 ^ k ^ 2 m — 1 } .. "©(T) es el conjunto de todos los Y en H tales que Yí''}. Y(t) = /_ V k=0 [t)a = Y. Definición 4. . cuyo dominio "©(T) es el conjunto de todas las funciones Y en H para las cuales ¿'(Y) está definido y pertenece a H. es decir. j ^ n.Teoría de los operadores lineales en espacios de Hilbert 95 Demostración.8 se sigue que si Y(t) es una solución de (4. k = O.1=1 Yk(t)EijCk.10.3).7) por T el operador lineal en H = TY = ^(Y) = Y{'""}.. b ] representará un intervalo finito y los coeficientes además de satisfacer las condiciones dadas en el teorema 4. con Po positivo.dj.// En lo sucesivo [a..

= P-^YÍ"}.10) [Y. Demostración. .. . se tiene. k = 1.. .„_KH-i —Z{=="'-'=^^}*)Y{'^-'}- • Z{'-M*(P„_k+iY{'=-M — Y í ' . = Pm-k+xYÍ"-'} —Yí'"-''*'}.Z] = V " dt k=l {(Z{'=-n*P.. = Yí"}. d [Y. dY{ =""-''} dt dYÍ"-'} dt dY{"-'} dt Por tanto..9) Z* ^(Y) — (f(Z)* Y = dt donde Manuel López Rodríguez [Y.. m — 1 ." " ' / )} + + /^_ k=l {Z{="»-''}*Y{''} —Z{''}*Y{''"-''}} + + Zí^l^P-'YÍ""} —Z{'"}*P-'Y{'"} = o o 2{0}*Y{2m}_z{2„}*Y{«} = Z* ^ ( Y ) — í^(Z)*Y. m. Z ] .96 d (4. De la definición de cuasi-derivadas. (4. Z] = / {ZÍ'^-'^PYC-M—Z{'^-'}*Y{'"'-4}... k = 1.

. 2m — 1 . es una base de ¿A( . . Se deduce inmediatamente de las definiciones de del producto escalar en H. k = 0. .Teoría de los operadores lineales en espacios de Hilbert ya que ^(Y) = Yí""}.—Sean Y y Z funciones en 'D(T)... 97 El siguiente corolario se puede considerar como la forma integral de la identidad de Lagrange. Teorema 4. . Z ] ( b ) . O —k —2m — 1. Y2m-i el sistema fundamental en b de ^(Y) — XY = 0. Por el teorema 4. Zwj) = O para todos los posibles valores de los subíndices.—Sea F € H. La ecuación (4. X€C. Sea ciones iniciales (4.// 7t y Los dos teoremas siguientes son necesarios para establecer una importante relación entre los operadores L y T.TZ) = Ti[Y.. Por tanto.13) Y(t) la solución de (4.[ Y .. F € IA(-^ si y sólo si (F..9 se tiene que ZMJ. tiene una solución Y(t) en "©(L) si y sólo si F es ortogonal al subespacio ¿A( de soluciones de la ecuación homogénea <f(Y)—^XY=0. 1—i.12) definida por las condi- Y{''}(a) = 0. j —n.Z]'>= [ Y . (4.l (TY.12.12) AY) —XY = F.11) donde se define [Y. Corolario 4. y de (4.Z]'' a Demostración. Demostración. Sea Yo. Z ] ( a ) . Entonces.Z) —(Y. .9).13.

q .. m ^ k ^ 2m — 1. .5 . . TT[Y.. Denotando p o r (Y{^'""^'M(b))pq el elemento en la fila p y columna de la matriz Y{^'"''^M(b).Y{»-M(b) — Ss. -(Y{"^''-'}(b))ij para 0^k=^m—1.98 •••. j — n.j para m:^k^2m—1. O — k — 2m — 1.EflY{^"-'}(b)} = .10).7:[Y. = . López Rpdríguez La identidad de Lagrange (4. teniendo en cuenta que TZMJ = O Por (4.2n.Z«..Z.]''. ' Manuel. TI y__ SK-. para todo 1 — i.ij](b). .TZwj) + 7t[Y.y 71 / {Ss. O ^ k ^ m — 1.ZMJ) Zkij da-j = (Y. y (4.E„Y{-^}(b) = (E„Y{=""—^}(b)).11) aplicada a Y y a (F..: ^ --.= (TY.-.13).2m-sEj. se tiene ' Ti[Y.ZBI)-. s-iEjiY{^"--}(b) = ^(EjiY{^-"-''-M(b)).ZMj](b) = Tz /__ {ZP"-}*(b)Y{''-'}(b)- — Z{-M*(b)Y{'""}(b)} = =. . Zwj](b) = (Y{'-"-"-'}(b))._..

..15) n = %(L) + ÍK Teorema 4.Zuij)= lo que demuestra el t e o r e m a . m^k^2m—1. j .6) y sea F u n a función en tisfaciendo ( -(B2„. ¿N.-k-i)ij (4.„j) = ( (Bzm-k-Oij .14) (F.Z. / / El teorema 4. k = O. son matrices constantes arbitrarias... Zkij) = / ttrpsíZrps.17) (F... q ^ n.. saYC'Kb) = B. (4.ZMJ)= -{Y{^--'<-M(b)).». Zklj) . Entonces. O^k^m—1.)) = aij. ..j (Y{^-"-'^-'}(b))ij . ( F . (F.. Por tanto. Bzm-i. a GlrpB^rps.16) p a r a todo YC'Ka) = A. p. 1 ^ p . 2m — 1..14.. Demostración. i. O ^ k ^ m —1. . . m^k^2m—1. . Esta función existe y puede obtenerse como sigue: Pongamos r ^ / r. .Teoría de los operadores lineales en espacios de Hilbert '99 y a q u e (Eji(a. p a r a cada k.—Si Ao.13 puede también enunciarse simbólicamente en la forma (4. existe u n a función Y € 'D(T) satisfaciendo las condiciones de c o n t o m o (4. Sea Zkij como en (4. A:m-i y Bo.

(i) Sea G €'D(L)'^.20) implican que la función pertenece a 'D(T) y satisface (4.19) y (4. Y) = (G. Y) = O p a r a todo Y G l ' ( L ) . p o r la identidad de Lagrange. Y ] " = O a y p o r tanto (Z.. . (iii) Demostración. (4.. .12). (ii) L* = T.15.. se tiene que a (TZ. U{''}(b) = 0. Y) — (Z.19) V{''}(b) = Bk. Y) = 0.100 Manuel López Rodríguez y el sistema lineal -(B2m-k_x). s(Zrps.12) tal que Del mismo modo. m^k^2m—1. . y sea Z una solución de fiZ) = G. Z]*" = O. de (4. Entonces. Zklj) (Bsm-k-Oij . j ^ n.j / ar . (4. U de (4. Y = U + V Entonces..—(i) El dominio "©(L) es denso en H.18) V{''}(a) = 0. p a r a todo 1 ^ i. 2 m — 1 .16). es decir.. L = L**. LY) = (TZ.. es decir (G.20) U{''}(a) = Au. O^k^m—1..18). (4. 2m — 1 . k = O.14). puesto que el determinante de los coeficientes es el determinante de Gram de la base {Ztij}.18) se tiene que (4. tiene solución única. k = 0. .. (4. 2 m — 1 .12) que satisface las condiciones iniciales (4. LY) = u [ Z . Entonces. y recordando que L es la restricción de T a 'D(L) y que -K^Y. hay una solución (4. L es cerrado.// Teorema 4.. k = 0. Sea V la solución de (4.17) y (4.

Sea U una soluv^ión particular de ^(Y) = G. (T*Y. Z) = (Y. TU = G. Para probar que L* c T. se tiene en general (4.15). para todo Z G ©(T). Entonces. Entonces. De (ii) y (4.23) L c L** c L*. Z) — (Y. Z) = (TU. pues TiCU.Teoría de los operadores lineales en espacios de Hilbert Así Z e %JiL)^ y. sea YeiD(L*) ción. es decir.Z) = (L*Y. (ii) Es claro que T c L*. Z]" = O a para todo Z € "©(L). G = 0. LZ) = i:[Y. T* a L. Así. (iii) Al ser L simétrico. Y — U G 'R (L)-^ = ^ x ^ '^C^) y ^^^'^ también tiene que Y G 'D(T) y por tanto L*Y = G = TU = TY. Z G IA( . n VZ € I ^ L ) . En efecto.Z]" = 0. TZ).23) se tiene que T* = L** c L* = T. Z) = (U. .22) (G.LZ) para todo Z G 'D(L). se tiene (4. por consiguiente. Por defini- (G. y de (4. por la identidad (TY. por (ii). L* c T. que Sea Y G '=D(T*). U G 'D(T) se Queda pues por demostrar que L** <z L o. si de Lagrange se tiene Y G 'D(T). es decir.21) y (4.Z) = (Y. (4.22) se sigue que (Y —U. por (4.LZ) = 0. LZ) = 0.21) y G = L*Y. Pero entonces 101 LZ = O y.

L*Y = TY y Manuel López Rodríguez (L*Y. para todo Z € "©(T).17. .16. . L son (2mn''. haremos uso de la siguiente caracterización general.. Z) = (Y.—Los índices de deficiencia del operador 2mn'). Z]" = 0. 2m— 1.// Teorema 4. es decir.// Para obtener las extensiones autoadjuntas del operador diferencial matricial simétrico L. el número de soluciones linealmente independientes de e{Z) — iL = 0.9 se deduce que este número es 2mn''. a VZ € "©(T).24) (LY.Z) = (TY.102 Por tanto Y € T)(L*). Demostración. y en consecuencia Y € 'D(L) y L**Y = x*Y = TY = LY. La identidad de Lagrange implica así que -n:[Y. para todo k = O.TZ).14 se sigue que YÍ^Ka) = YC'Kb) = O.Z) = (Y.. L*Z). Análogamente se prueba que el segundo índice de deficiencia es 2mn^. Teorema 4. Del teorema 4.—Sea L un operador lineal simétrico en un espacio de Hilbert H.. Una extensión L' de L es autoadjunta si y sólo si es simétrica y toda función Z en 'D{L*) que satisface (4. Por el teorema 4. El primer índice de deficiencia de L es el número de vectores linealmente independientes de H tales que (L* — i I ) Z = : 0 .

—Una extensión L' de un operador diferencial matricial simétrico L es autoadjunta si y sólo si se cumplen las dos condiciones siguientes: (i) Para todo Y.24) es evidentemente satisfecha. pertenece a l^iV). pertenece a 'D(L'). Por tanto. Z en '=D(L'). L' es simétrico si y sólo si se cumple (i). Entonces. L c L' c L'* c L*.// . Z) = (Y.26) Z en '©(L*) que satisface -KIY. L*Z). entonces es simétrico y la condición (4.24). Si L' es autoadjunto.24) equivale a (4.26).24) se tiene que 'DÍL'*) c 'D(L'). Demostración.// Z 6 T>(L'). por (4. a (4. ZT» = 0 a para todo Y € "©(L'). L'*Z) = (Y. Queda por demostrar que '©(L'*) c "©(L'). Tr[Y. Demostración.Teoría dé los operadores lineales en espacios de Hilbert 103 para todo Y € 'D(L').18. En- (L'Y. y por consiguiente Por medio de la identidad de Lagrange el teorema anterior puede aplicarse a operadores diferenciales matriciales simétricos en la forma siguiente: Teorema 4. para todo Y € T)(L'). Recíprocamente. También (4. Z]" = 0. tonces Z 6 1)(L*) y así.25) (ii) Toda función (4. sea L' una extensión simétrica de L que satisface (4. Sea Z € 1)(L'*).

—Una extensión L' de u n operador diferencial matricial simétrico L en H es a u t o a d j u n t a si y sólo si se cumplen las condiciones siguientes: (i) Existen matrices n x n constantes Am.2m-k-l.28) T._k-lBik BjkBi. Ai. 1 Í— . Teorema 4. p a r a todo (ii) 1 — i.19. j — 2mn^. es de- 2in-l / [+i1í / (AikYC^Ka) + BikY{M(b)) = O . O — k — 2m — 1. / _ k^O (A. > k=0 (Aj.2m-k-l). la ecuación 2mn2 son linealmente independientes en "©(L*).2n. ^ 2mn^.kY{4(a) + BikY{M(b)) = O para 1 — i — 2mn^ cir.2m-k-lA*'l= — AjkA* i.27) Tí / k=0 (Bj. Las condiciones de contorno (4. Bi. satisfaciendo Blk.2in-k-l.lim-k-l ) = (4.104 Manuel López Rodríguez El siguiente teorema caracteriza las extensiones autoadj u n t a s del o p e r a d o r diferencial matricial simétrico L.

Teoría de los operadores lineales en espacios de Hilbert

105

p a r a todo (iii)

Y € '©(L*)

implica

[Xi = ... = M . 2 m n 2 = 0.

(4.29) ' D ( L ' ) = { Y e ' D ( L * ) ' r. /

(AikY{''}(a)+BikY{''}(b))=0,

l^i^lmn'}.

Demostración. Supongamos que L' es autoadjunto. Existen entonces funciones matriciales Wi, ..., W2mi.= en 'D(L') tales que todo elemento Y' en 'D(L') puede escribirse de m a n e r a única como
2nni'

Y' = Y +

/

ajWj,

donde Y € ' © ( L ) y ai, ..., a2nm-- son n ú m e r o s complejos. La condición (4.25) implica que (4.30) •n[Wi,Wj]'> = 0,
a

para todo 1 ^ i, j ^ 2mn^ y la condición (4.26) que p a r a todo Y'G'D(L'), (4.31) < Y ' , W j r = 0.
a

para todo

1 ^ j ^ 2mn^.

Pongamos Aik = W{''"-''-'}*(a)
1

A,,2„_„_i = -W{'^}*(a)
i

(4.32) Bm = -W{'"'-''-M*(b)
i

B,,2m-k-i=

W{'^}*(b)
i

para

l^i^2mrf

y

O^k^m—1.

106

Manuel López

Rodríguez

Utilizando (4.10) y (4.32), la condición (4.30) se puede escribir

(W{''"-''-M*(b)W{"}(b) — W{M*(b)W{=""-''-M(b))
¿=0

.z
y p o r tanto,
~

(W{2m-k-i}*(a)w{'=}(a)—W{4*(a)WP'"-''-M(a)),

_ J>
¿_

(A
^ j,2m-l!-l

A* — A A*
ik jk

)

i,2m-k-l'

- /
~ /_

(B
J.2m-k-l

B* — B B*
ik jk

),

1.2m-k-l''

p a r a todo

1 ^ i, j ^ 2mn^.

Supongamos que las condiciones de contorno (4.28) no son linealm e n t e independientes con respecto a "©(L*). Existen entonces n ú m e ros [Jk, ..., |ji2nin2, no todos cero, tales que
2mn2 2m-l

y
1=1

IXiTt /
k=0

(A,kY{4(a) + B,kY{M(b)) = O,

p a r a todo

Y € "©(L*).

Teniendo en cuenta (4.32) se obtiene

Teoría de los operadores lineales en espacios de Hilbert
2mn"

107

^[Y,

/
i=l

^.W,]" = 0.

p a r a todo Y G ©(L*), y utilizando el mismo a r g u m e n t o q u e en la demostración del teorema 4.15, p a r t e (iii), se sigue que
2mn^

y

IJiiWi G 'D(L).

Se tiene p o r tanto una contradicción puesto que, por hipótesis, los Wi, 1 ^ i ^ 2mn^ son linealmente independientes respecto a "©(L). Las condiciones de contorno (4.28) son p o r tanto linealmente independientes en 'DCL*). Para p r o b a r (iii) observemos que

\ T)iL') c { YG'CKL*) I Tt /
k=0

(AikYÍ^Ka) + BmY{'=}(b)) = O, l ^ i ^ 2 m n = } :

= {Y € 'DÍL*) I lífY, Wi]»" = 0, 1 ^ i ^ 2 m n ' } = S,
a

pues p o r ser

L' simétrico se tiene que O = (L'Y W,) — ( Y , L ' W i ) = •KlY,^NiY
a

p a r a todo i = 1, ..., 2mn^. Por otra parte, sea Y € ©(L*) Z € 1>(L) elemento se tiene también Y' € "©(L')

tal que
a

Tt[Y, Wi]" = 0.
a

Para todo

itCY, Z]** = 0.

Por t a n t o , puesto que todo

puede escribirse como

Y' = Z + /

, tAiWi,

(ii). si hubieran n ú m e r o s p-u •••.32).2mn2. .14 existen funciones Wi. /__ y p o r consiguiente 2mu^ u. p a r a todo Y' e 'D(L'). a. Recíprocamente.]^ = O.W. se sigue q u e Y € 'D{L'). lJi. Y ' ] " = ii[Y. Wi]" = 0. p a r a todo Y G 1)(L*).. tales que 2mn> i=i entonces. .. Z ] " + > / ^ [ Y .. 2nin' ^[Y. W2mn'i e n IJÍL*) definidas p o r la ecuación (4. Por el teorema 4. De (ii) se sigue que son linealmente independientes respecto a T){L). (ii) y (iii).Wi]" = O a txi TiLY. Z + V ~ ^ aiWi]" = = -n[Y.108 Manuel López Rodríguez se deduce que 2mn" Tí[Y. y por t a n t o S c 'D(L').18. E n efecto. sea L' u n a extensión de L que satisface (i). Del teorema 4. no todos cero.

Pero en este caso las condiciones (i).Teoría de los operadores lineales en espacios de Hilbert 109 Teniendo en cuenta (4. Así. pertenece a 'D(L') y. Z € «©(L)} e "©(L') y como ambos conjuntos tienen la misma dimensión. 2IIU1* {Y G "©(L*) I Y = Z + / i=l uiiWi. coinciden.// .32) esta ecuación puede escribirse como 2mn2 2ni-l / ( X iT I/ k=o (AikYC^Ka) + B. esta contradicción prueba que Wi. (ii) del teorema 4.. es decir. . también se tiene que "©(L) c 'D(L'). W 2 m n = son linealmente independientes respecto a "©(L). 1 ^ i ^ 2mn^.. Z € 'D(L)}.27) y (iii) se sigue que Wi.kY{*}(b)) = 0..18 se satisfacen y por consiguiente L' es au toad junto. De (4. T>(L') = {Y € 'DÍL*) I Y = Z + / unW. evidentemente.. Por la independencia lineal en "DÍL*).

N . N. NAIMARK. I. N. H. Springer-Verlag. T. 2. Y. 1968. 1968... Y. 3. Linear Operators. Publishers. Ungar. I. Ungar. vols. 1968. Interscience vol. Theory Space. L.. ROYDEN. y GLAZMAN... Y.... of Linear Operators in Hilbert DuNFORD. Real Analysis. Parts I. II. J. N. 4. Linear Differential YosiDA. 1961. y SCHWARTZ. A. M. AKHIEZER. N. Y. Functional Analysis.lio Manuel López Rodríguez BIBLIOGRAFÍA 1. N. K. N. II. II. 5.. 1964. I.. M .. Operators. Y. Macmillan. ..