Clases de operadores I

I SABEL M ARRERO
Departamento de Análisis Matemático
Universidad de La Laguna
imarrero@ull.es

Índice
1. Introducción 1
1.1. Clases de operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2. Preliminares 3

3. Operadores isométricos 5

4. Operadores unitarios 6

5. Operadores autoadjuntos 7

6. Operadores normales 8

7. Operadores positivos 9
7.1. Operadores positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
7.2. Raíces cuadradas de operadores positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
7.3. Forma polar de un operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

T EORÍA DE O PERADORES OCW-ULL 2011/12

C LASES DE OPERADORES I 1/18

1. Introducción

En lo que sigue, y salvo indicación expresa en contra, H denotará un espacio de Hilbert no trivial. Nuestro

objetivo será estudiar diversos tipos de operadores lineales continuos de H en sí mismo. En particular, I repre-

sentará el operador identidad, O el operador nulo, y λ I un operador escalar. Continuaremos denotando por T ∗

el adjunto del operador lineal continuo T .

1.1. Clases de operadores

Algunos tipos especiales de operadores objeto de este capítulo se definen usando el adjunto mediante las

condiciones siguientes:

operador isométrico: T ∗ T = I.

operador unitario: T ∗ T = T T ∗ = I.

operador autoadjunto: T ∗ = T .

operador normal: T ∗ T = T T ∗ .

proyector, operador proyección o, simplemente, proyección: T ∗ = T y T 2 = T .

Consideraremos también otros tipos de operadores: positivos, de rango finito, compactos, de Hilbert-

Schmidt y traza.

La Figura 1 muestra las relaciones de inclusión entre todos ellos.

Figura 1. Relaciones de inclusión entre las clases de operadores consideradas.

En el tema actual nos ocuparemos de los operadores isométricos, unitarios, autoadjuntos, normales y posi-

tivos. El resto de clases será abordado en el siguiente tema.

T EORÍA DE O PERADORES OCW-ULL 2011/12

2/18 I. M ARRERO

Los términos «autoadjunta», «unitaria», «normal» se usan también en referencia a matrices. Comenzamos

explicando la razón para ello y mencionando algunas relaciones importantes.

1.2. Matrices

Consideramos Cn (n ∈ N) con el producto interior definido mediante

hx, yi = x> y (1)

donde x, y se escriben como vectores columna y > denota transposición, de modo que x> = (ξ1 , . . . , ξn ), y la

multiplicación es la usual de matrices.

Sea T : Cn → Cn un operador lineal (que automáticamente estará acotado). Dada una base de Cn , podemos

representar T y su adjunto T ∗ mediante dos matrices cuadradas de orden n, digamos A y B, respectivamente.

Usando (1) y la regla habitual para la transposición del producto de matrices, obtenemos

hT x, yi = (Ax)> y = x> A> y,

hx, T ∗ yi = x> By.

La definición de adjunto muestra que los segundos miembros de las expresiones anteriores coinciden cuales-

quiera sean x, y ∈ Cn , por lo que debemos tener A> = B. Hemos probado:

Dada una base de Cn y un operador lineal sobre Cn , representado por una cierta matriz, su adjunto viene

representado por la compleja conjugada transpuesta de esa matriz.

Consecuentemente, las matrices representantes son:

unitarias si T es unitario,

hermitianas si T es autoadjunto (hermitiano),

normal si T es normal.

Similarmente, una matriz representante de un operador lineal T : Rn → Rn es:

ortogonal si T es unitario,

real simétrica si T es autoadjunto.

Recordemos la terminología para matrices: una matriz cuadrada A = (α jk ) se dice:

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 3/18

>
unitaria si A = A−1 ,

>
hermitiana si A = A (esto es, α k j = α jk ),

>
anti-hermitiana si A = −A (esto es, α k j = −α jk ),

> >
normal si AA = A A.

Una matriz cuadrada real A = (α jk ) se dice:

ortogonal si A> = A−1 ,

real simétrica si A> = A (esto es, αk j = α jk ),

real anti-simétrica si A> = −A (esto es, αk j = −α jk ).

Por tanto, una matriz real unitaria es una matriz ortogonal; una matriz hermitiana real es una matriz real

simétrica; y una matriz real anti-hermitiana es una matriz real anti-simétrica.

2. Preliminares

El siguiente resultado es bien conocido.

Proposición 2.1 El núcleo N (T ) de un operador lineal continuo T es un subespacio cerrado de H.

Proposición 2.2 Si M es un subconjunto total de H y S, T son operadores lineales continuos tales que Sx = T x

para todo x ∈ M, entonces S = T .

D EMOSTRACIÓN . Sea N = N (S − T ). Por hipótesis, M ⊂ N. Como M es total, también lo es N, de donde

N ⊥ = {0}. Entonces N = N ⊥⊥ = {0}⊥ = H; esto es, S − T = O. 

Proposición 2.3 Si S, T son operadores lineales que verifican hSx, xi = hT x, xi (x ∈ H), entonces S = T .

D EMOSTRACIÓN . Consideremos las formas sesquilineales ϕ y ψ definidas por las fórmulas ϕ(x, y) = hSx, yi,

ψ(x, y) = hT x, yi (x, y ∈ H). Por hipótesis, ϕ(x, x) = ψ(x, x) (x ∈ H), de donde ϕ = ψ. Consecuentemente,

hSx, yi = hT x, yi (x, y ∈ H), obligando a que Sx = T x (x ∈ H). 

El resultado siguiente constituye una fuente muy útil de ejemplos de operadores. El operador que en él se

define recibe el nombre de operador multiplicación.

T EORÍA DE O PERADORES OCW-ULL 2011/12

4/18 I. M ARRERO

Supongamos que H es un espacio de Hilbert clásico (esto es, que la dimensión ortogonal de H es numera-
∞
ble), y sea {xk }∞
k=1 una base ortonormal de H. Así, todo x ∈ H admite una representación única x = ∑k=1 λk xk ,

donde λk = hx, xk i (k ∈ N), con ∑∞ 2

k=1 |λk | < ∞.

Proposición 2.4 En las condiciones anteriores, sea {µk }∞

k=1 una sucesión acotada de números complejos, y

sea C = sup{|µk | : k ∈ N}. Existe un único operador lineal continuo T sobre H tal que

(i) T xk = µk xk (k ∈ N).

Además:

(ii) T (∑∞ ∞
k=1 λk xk ) = ∑k=1 λk µk xk .

(iii) kT k = C.

(iv) T ∗ xk = µ k xk (k ∈ N).

(v) T ∗ (∑∞ ∞
k=1 λk xk ) = ∑k=1 µ k λk xk .

(vi) T ∗ T = T T ∗ (es decir, T es normal).

D EMOSTRACIÓN . Dado x ∈ H, x = ∑∞
k=1 λk xk , el problema estriba en definir T x. Ya que

∞ ∞
∑ |λk µk |2 ≤ C2 ∑ |λk |2 = C2 kxk2 ,
k=1 k=1

el teorema de Riesz-Fischer permite escribir T x = ∑∞

k=1 λk µk xk . La linealidad del operador T así definido

resulta aparente. Como kT xk2 ≤ C2 kxk2 (x ∈ H), T es continuo, con kT k ≤ C . Evidentemente, T xk = µk xk

(k ∈ N); puesto que kxk k = 1, kT k ≥ kT xk k = kµk xk k = |µk | (k ∈ N), de donde kT k ≥ C. Esto establece

(i)-(iii).

Para probar (iv)-(v), supongamos que x = ∑∞ ∗ ∞

k=1 λk xk , y que T x = ∑k=1 νk xk ; la cuestión ahora es mostrar

que νk = µ k λk . Pero νk = hT ∗ x, xk i = hx, T xk i = hx, µk xk i = µ k hx, xk i = µ k λk (k ∈ N).

Claramente, T ∗ T xk = |µk |2 xk = T T ∗ xk (k ∈ N); como el conjunto {xk }∞

k=1 es total, se desprende de la

Proposición 2.2 que T ∗ T = T T ∗ . Esto demuestra (vi).

Por último, para probar la unicidad, sea S cualquier operador lineal acotado sobre H verificando Sxk = µk xk

(k ∈ N). Entonces Sxk = T xk (k ∈ N). Apelando de nuevo al carácter total del conjunto {xk }∞
k=1 y a la Propo-

sición 2.2, se concluye que S = T . 

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 5/18

3. Operadores isométricos

Recordemos la definición de esta clase de operadores.

Definición 3.1 Se dice que el operador lineal T : H → H es isométrico, o que es una isometría, cuando

kT xk = kxk (x ∈ H).

Si T es isométrico, de la relación kT x − Tyk = kx − yk (x, y ∈ H) se infiere que T es inyectivo.

También es claro que toda isometría T es continua, con kT k = 1.

Proposición 3.2 Dado un operador lineal acotado T , son equivalentes:

(i) T es isométrico.

(ii) T ∗ T = I.

(iii) hT x, Tyi = hx, yi (x, y ∈ H).

D EMOSTRACIÓN . Como kT xk = kxk (x ∈ H), encontramos que

hT ∗ T x, xi = hT x, T xi = kT xk2 = kxk2 = hx, xi = hIx, xi (x ∈ H).

En virtud de la Proposición 2.3, (i) implica (ii).

Que (ii) implica (iii) es inmediato: hT x, Tyi = hT ∗ T x, yi = hIx, yi = hx, yi (x, y ∈ H).

Finalmente, (iii) implica (i), ya que kT xk2 = hT x, T xi = hx, xi = kxk2 (x ∈ H). 

Proposición 3.3 El recorrido R(T ) de un operador isométrico T es un subespacio cerrado de H.

D EMOSTRACIÓN . Como T es lineal, R(T ) es un subespacio. Supongamos que y ∈ R(T ), y probemos que

y ∈ R(T ). A tal fin, sea {yn }∞

n=1 una sucesión convergente a y en H, donde yn = T xn y xn ∈ H (n ∈ N). Como

kxn − xm k = kT xn − T xm k = kyn − ym k → 0 para n, m → ∞, {xn }∞

n=1 es una sucesión de Cauchy en H. Al ser

H completo, {xn }∞
n=1 converge a algún x ∈ H. La continuidad de T y la unicidad del límite permiten concluir

que y = lı́mn→∞ yn = lı́mn→∞ T xn = T x. 

Ejemplo 3.4 Sea H un espacio de Hilbert clásico, y sea {xk }∞

k=1 una base ortonormal de H. Existe un único

operador lineal continuo T tal que T xk = xk+1 (k ∈ N). En efecto, todo x ∈ H admite una única representación

T EORÍA DE O PERADORES OCW-ULL 2011/12

6/18 I. M ARRERO

en la forma x = ∑∞ ∞ 2
k=1 λk xk , y basta definir T x = ∑k=1 λk xk+1 . Evidentemente T es lineal, y la igualdad kT xk =
2 2
∑∞
k=1 |λk | = kxk muestra que T es isométrico. Nos referiremos a T como el operador desplazamiento a la

derecha.

El operador adjunto T ∗ actúa de la forma siguiente: T ∗ x1 = 0, y T ∗ xk = xk−1 (k ∈ N, k ≥ 2). En efecto,

hT ∗ x1 , x j i = hx1 , T x j i = hx1 , x j+1 i = 0 = h0, x j i ( j ∈ N). Similarmente, si k ≥ 2, hT ∗ xk , x j i = hxk , x j+1 i = 1

cuando j = k − 1, mientras que hT ∗ xk , x j i = hxk , x j+1 i = 0 en otro caso; por lo tanto, hT ∗ xk , x j i = hxk−1 , x j i

( j ∈ N). Nos referiremos a T ∗ como el operador desplazamiento a la izquierda.

4. Operadores unitarios

Definición 4.1 Se dice que un operador lineal acotado T : H → H es unitario si T ∗ T = T T ∗ = I.

Proposición 4.2 Las siguientes condiciones relativas a un operador lineal acotado T son equivalentes:

(i) T es unitario.

(ii) T ∗ es unitario.

(iii) T y T ∗ son isométricos.

(iv) T es isométrico y T ∗ es inyectivo.

(v) T es isométrico y suprayectivo.

(vi) T es biyectivo, y T −1 = T ∗ .

D EMOSTRACIÓN . La equivalencia entre (i), (ii) y (iii) es evidente en virtud de las definiciones, la Proposición

3.2 y la relación T ∗∗ = T .

Los operadores isométricos son inyectivos; por tanto, (iii) implica (iv).

Además, (iv) implica (v). En efecto, al ser T isométrico, R(T ) es un subespacio cerrado de H (Proposición

3.3), y como T ∗ es inyectivo encontramos que H = {0}⊥ = N (T ∗ )⊥ = R(T ) = R(T ).

Para ver que (v) implica (vi), observamos en primer lugar que, por hipótesis, T es biyectivo. Sea S = T −1 ;

entonces ST = T S = I. Ahora, por la Proposición 3.2, T ∗ = T ∗ I = T ∗ (T S) = (T ∗ T )S = IS = S.

Finalmente, es claro que (vi) implica (i). 

Observación 4.3 La Proposición 4.2 permanece válida si la condición «ser isométrico» se reemplaza por

«preservar el producto escalar».

OCW-ULL 2011/12 T EORÍA DE O PERADORES

 C LASES DE OPERADORES I 7/18

Ejemplo 4.4 Sea H un espacio de Hilbert clásico, y sea {xk }∞

k=1 una base ortonormal de H. Definamos

yk = x2k+1 (k ∈ N0 ), y−k = x2k (k ∈ N). Entonces {yk }k∈Z es también una base ortonormal. Todo vector x ∈ H

admite una única representación en la forma x = ∑∞

k=−∞ λk yk , y existe un único operador lineal continuo
∗


U tal que Uyk = yk+1 (k ∈ Z), a saber, Ux = U ∑∞ ∞
k=−∞ λk yk = ∑k=−∞ λk yk+1 . Se sigue que U yk = yk−1

(k ∈ Z). Como U ∗Uyk = UU ∗ yk = yk = Iyk (k ∈ Z), U es unitario. Nos referiremos a U como el operador

desplazamiento bilateral.

5. Operadores autoadjuntos

Definición 5.1 Se dice que un operador lineal acotado T : H → H es autoadjunto (también, hermitiano o

hermítico) si T ∗ = T .

Proposición 5.2 Los siguientes enunciados relativos a un operador lineal acotado T son equivalentes:

(i) T es autoadjunto.

(ii) hT x, yi = hx, Tyi (x, y ∈ H).

(iii) hT x, xi = hx, T xi (x ∈ H).

(iv) hT x, xi (x ∈ H) es real.

D EMOSTRACIÓN . Para ver que (i) implica (ii), basta escribir hT x, yi = hx, T ∗ yi = hx, Tyi (x, y ∈ H).

Que (ii) implica (iii) es trivial.

Por otra parte, si vale (iii) entonces hT x, xi = hx, T xi = hT x, xi (x ∈ H), de modo que se verifica (iv).

Finalmente, (iv) entraña hT x, xi = hT x, xi = hx, T xi = hT ∗ x, xi (x ∈ H), y la Proposición 2.3 conduce a (i).

Esto completa la demostración. 

El siguiente resultado se deduce inmediatamente de las propiedades de los adjuntos.

Proposición 5.3 Sean S, T operadores lineales continuos.

(i) Si S y T son autoadjuntos, también lo es S + T .

(ii) Si T es autoadjunto y α es real, entonces αT es autoadjunto.

(iii) Los operadores T ∗ T y T + T ∗ son autoadjuntos.

(iv) Suponiendo S, T autoadjuntos, se tiene que ST es autoadjunto si, y sólo si, ST = T S.

T EORÍA DE O PERADORES OCW-ULL 2011/12

8/18 I. M ARRERO

La descomposición de un número complejo λ en la forma λ = α + iβ , con α, β ∈ R, admite una genera-

lización a operadores:

Proposición 5.4 (Forma cartesiana) Dado cualquier operador lineal acotado T , existen operadores autoad-

juntos A y B tales que T = A + iB. Necesariamente,

1 1
A = (T + T ∗ ), B= (T − T ∗ ).
2 2i

D EMOSTRACIÓN . Definiendo A y B por las expresiones anteriores, es evidente que ambos operadores son au-

toadjuntos y que T = A + iB. Supongamos que también se tiene T = C + iD, con C, D autoadjuntos. Entonces

T ∗ = C∗ − iD∗ = C − iD, de donde T + T ∗ = 2C y T − T ∗ = 2iD; por tanto, C = A y D = B. 

Proposición 5.5 Si T es un operador autoadjunto,

kT k = sup{|hT x, xi| : kxk ≤ 1}.

D EMOSTRACIÓN . Pongamos ϕ(x, y) = hT x, yi (x, y ∈ H). Nótese que ϕ es una forma sesquilineal acotada,

con kϕk = kT k. Puesto que ϕ(y, x) = hTy, xi = hy, T xi = hT x, yi = ϕ(x, y) (x, y ∈ H) encontramos que ϕ es

también hermítica, así que

kT k = kϕk = sup {|ϕ(x, x)| : kxk ≤ 1} = sup {|hT x, xi| : kxk ≤ 1} ,

como se afirmaba. 

6. Operadores normales

Definición 6.1 Un operador lineal acotado T : H → H se llama normal cuando T ∗ T = T T ∗ .

Todo operador unitario es normal. Similarmente, todo operador autoadjunto es normal. Un operador iso-

métrico es normal si, y sólo si, es unitario.

Proposición 6.2 Las siguientes condiciones relativas a un operador lineal acotado T son equivalentes:

(i) T es normal.

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 9/18

(ii) T ∗ es normal.

(iii) kT ∗ xk = kT xk (x ∈ H).

D EMOSTRACIÓN . La equivalencia entre (i) y (ii) resulta de ser T ∗∗ = T .

Para ver que (i) implica (iii), suponiendo que T es normal, escribimos: kT ∗ xk2 = hT ∗ x, T ∗ xi = hT T ∗ x, xi =

hT ∗ T x, xi = hT x, T xi = kT xk2 (x ∈ H).

Finalmente, si se verifica (iii) entonces hT ∗ T x, xi = kT xk2 = kT ∗ xk2 = hT T ∗ x, xi (x ∈ H), y la Proposición

2.3 muestra que se cumple (i). 

Proposición 6.3 Sea T un operador normal. Se verifica:

(i) N (T ) = N (T ∗ ).

(ii) R(T ) es denso en H si, y sólo si, T es inyectivo.

D EMOSTRACIÓN . El aserto (i) es consecuencia inmediata de la igualdad kT ∗ xk = kT xk, válida para todo

x ∈ H (Proposición 6.2). Puesto que R(T )⊥ = N (T ∗ ), (i) implica (ii). 

Proposición 6.4 Sea T = A + iB la forma cartesiana del operador lineal acotado T . Entonces T es normal si,

y sólo si, AB = BA.

D EMOSTRACIÓN . Suponiendo que T es normal, de las fórmulas de la Proposición 5.4 se deduce inmediata-

mente que AB = BA.

Recíprocamente, si AB = BA entonces, como T ∗ = A − iB, encontramos que T ∗ T = T T ∗ = AA + BB. 

7. Operadores positivos

Si T es autoadjunto, hT x, xi es real para cada x ∈ H (Proposición 5.2). Por tanto, en la clase de todos los

operadores autoadjuntos sobre H podemos introducir un orden parcial «≤» de la siguiente manera: S ≤ T

siempre que hSx, xi ≤ hT x, xi (x ∈ H). En vez de S ≤ T también escribiremos T ≥ S.

Un caso particular importante es el siguiente.

Definición 7.1 Un operador autoadjunto se dirá positivo (simbólicamente: T ≥ O, o bien O ≤ T ), si hT x, xi ≥ 0

(x ∈ H).

T EORÍA DE O PERADORES OCW-ULL 2011/12

10/18 I. M ARRERO

Observación 7.2 Nótese que:

(i) S ≤ T si, y sólo si, O ≤ T − S.

(ii) Para cualquier operador lineal acotado T se tiene que T ∗ T ≥ O, pues hT ∗ T x, xi = hT x, T xi = kT xk2 ≥ 0

(x ∈ H). Similarmente, T T ∗ ≥ O. En particular, si T es autoadjunto entonces T 2 ≥ O.

Dedicaremos las dos siguientes subsecciones al estudio de los operadores positivos y sus raíces cuadradas,

respectivamente.

7.1. Operadores positivos

De la definición es obvio que la suma de operadores positivos es positiva. Ya sabemos que el producto de

operadores autoadjuntos es autoadjunto si, y sólo si, los factores conmutan (Proposición 5.3). Veremos ahora

que en caso de que, además, ambos factores sean positivos, el producto también lo es.

Teorema 7.3 Si dos operadores S, T son positivos y conmutan (ST = T S), entonces su producto ST es posi-

tivo.

D EMOSTRACIÓN . Debemos probar que hST x, xi ≥ 0 (x ∈ H). Cuando S = O, esto se verifica trivialmente.

Supongamos S 6= O y consideremos

1
S1 = S, Sn+1 = Sn − Sn2 (n ∈ N). (2)
kSk

Vamos a demostrar por inducción que

O ≤ Sn ≤ I. (3)

Para n = 1 se verifica (3). En efecto, la hipótesis O ≤ S implica O ≤ S1 , y aplicando la desigualdad de Cauchy-

Schwarz y la definición de kSk encontramos que

1 1
hS1 x, xi = hSx, xi ≤ kSxkkxk ≤ kxk2 = hIx, xi (x ∈ H).
kSk kSk

Supongamos cierto (3) para n = k, esto es, O ≤ Sk ≤ I, de modo que O ≤ I −Sk ≤ I. Como Sk es autoadjunto

(Proposición 5.3), para cada x ∈ H e y = Sk x obtenemos

hSk2 (I − Sk )x, xi = h(I − Sk )Sk x, Sk xi = h(I − Sk )y, yi ≥ 0.

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 11/18

Por definición, esto muestra que

Sk2 (I − Sk ) ≥ O.

Similarmente,

Sk (I − Sk )2 ≥ O.

Sumando y simplificando,

O ≤ Sk2 (I − Sk ) + Sk (I − Sk )2 = Sk − Sk2 = Sk+1 .

Por tanto, O ≤ Sk+1 . Ahora, Sk+1 ≤ I sigue de Sk2 ≥ O e I − Sk ≥ O, por adición:

O ≤ I − Sk + Sk2 = I − Sk+1 .

Queda así completo el proceso de inducción que prueba (3).

A continuación estableceremos que hST x, xi ≥ 0 (x ∈ H). En efecto, a partir de (2) obtenemos sucesiva-

mente

S1 = S12 + S2

= S12 + S22 + S3

= ...

= S12 + S22 + . . . + Sn2 + Sn+1 .

Como Sn+1 ≥ O, esto implica

S12 + . . . + Sn2 = S1 − Sn+1 ≤ S1 . (4)

Sea x ∈ H. Por definición de «≤» y puesto que S j ( j ∈ N) es autoadjunto, resulta

n n n
∑ kS j xk2 = ∑ hS j x, S j xi = ∑ hS2j x, xi ≤ hS1 x, xi (n ∈ N).
j=1 j=1 j=1

La arbitrariedad de n asegura la convergencia de la serie ∑∞j=1 kS j xk2 . De aquí, lı́mn→∞ kSn xk = 0 y lı́mn→∞ Sn x =

0. Por (4), !
n
lı́m ∑ S2j x = lı́m (S1 − Sn+1 ) x = S1 x. (5)
n→∞ n→∞
j=1

T EORÍA DE O PERADORES OCW-ULL 2011/12

12/18 I. M ARRERO

Todos los S j ( j ∈ N) conmutan con T , puesto que son sumas y productos de S1 = kSk−1 S y S, T conmutan.

Usando que S = kSkS1 , la fórmula (5), la continuidad del producto interior y el hecho de que T ≥ O, para cada

x ∈ H e y j = S j x ( j ∈ N), obtenemos

n n
hST x, xi = kSkhT S1 x, xi = kSk lı́m
n→∞
∑ hT S2j x, xi = kSk lı́m
n→∞
∑ hTy j , y j i ≥ 0,
j=1 j=1

así que hST x, xi ≥ 0, como pretendíamos probar. 

Definición 7.4 Una sucesión monótona {Tn }∞

n=1 de operadores autoadjuntos es una sucesión {Tn }n=1 que es
∞

monótona creciente, es decir:

T1 ≤ T2 ≤ T3 ≤ . . . ≤ Tn ≤ . . .

o monótona decreciente, es decir:

T1 ≥ T2 ≥ T3 ≥ . . . ≥ Tn ≥ . . .

Toda sucesión monótona creciente posee la siguiente propiedad notable:

Teorema 7.5 (Sucesiones monótonas) Sea {Tn }∞

n=1 una sucesión de operadores autoadjuntos tales que

T1 ≤ T2 ≤ T3 ≤ . . . ≤ Tn ≤ . . . ≤ K, (6)

donde K es un operador autoadjunto. Supongamos que cada T j conmuta con K y con cualquier otro Tm

( j, m ∈ N). Entonces {Tn }∞

n=1 converge puntualmente a un operador autoadjunto T que satisface T ≤ K.

D EMOSTRACIÓN . Sea Sn = K −Tn (n ∈ N). Probaremos, en primer lugar, que la sucesión {hSn2 x, xi}∞
n=1 (x ∈ H)

converge, para seguidamente establecer, apoyándonos en este resultado, que {Tn x}∞
n=1 converge a T x (x ∈ H),

donde T : H → H es un operador autoadjunto.

Procedamos con la primera cuestión. Claramente, Sn (n ∈ N) es autoadjunto (Proposición 5.3). Además,

2
Sm − Sn Sm = (Sm − Sn )Sm = (Tn − Tm )(K − Tm ) (m, n ∈ N).

Sean m, n ∈ N, m < n. Entonces Tn −Tm y K −Tm son positivos, por (6). Puesto que estos operadores conmutan,
2 − S S ≥ O, esto es, S2 ≥ S S . Similarmente,
su producto es positivo (Teorema 7.3). En consecuencia, Sm n m m n m

Sn Sm − Sn2 = Sn (Sm − Sn ) = (K − Tn )(Tn − Tm ) ≥ O,

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 13/18

así que Sn Sm ≥ Sn2 . En síntesis:

2
Sm ≥ Sn Sm ≥ Sn2 (m, n ∈ N, m < n).

Aprovechando el carácter autoadjunto de Sn (n ∈ N) encontramos, por definición, que

2
hSm x, xi ≥ hSn Sm x, xi ≥ hSn2 x, xi = hSn x, Sn xi = kSn xk2 ≥ 0 (x ∈ H; m, n ∈ N, m < n). (7)

Esto demuestra que, para cada x ∈ H, la sucesión de números no negativos {hSn2 x, xi}∞
n=1 es monótona decre-

ciente, y por lo tanto converge.

Ahora aplicaremos este resultado para probar que {Tn x}∞

n=1 (x ∈ H) converge. Por hipótesis, cada Tn con-

muta con cualquier Tm (m, n ∈ N) y con K. Consiguientemente, todos los S j ( j ∈ N) conmutan. Y estos

operadores son autoadjuntos.

Fijemos x ∈ H. Ya que, por (7),

−2hSm Sn x, xi ≤ −2hSn2 x, xi (m, n ∈ N, m < n),

podemos escribir

kSm x − Sn xk2 = h(Sm − Sn )x, (Sm − Sn )xi

= h(Sm − Sn )2 x, xi
2
= hSm x, xi − 2hSm Sn x, xi + hSn2 x, xi
2
≤ hSm x, xi − hSn2 x, xi.

De aquí y del resultado establecido anteriormente se sigue que {Sn x}∞

n=1 es de Cauchy y, puesto que H es

completo, esta sucesión converge. Como Tn = K − Sn (n ∈ N), también converge la sucesión {Tn x}∞
n=1 .

Pongamos T x = lı́mn→∞ Tn x (x ∈ H). El operador T : H → H así definido es evidentemente lineal. Como

cada Tn (n ∈ N) es autoadjunto y el producto interior es continuo, T es también autoadjunto. Al ser convergen-

te, {Tn x}∞

n=1 (x ∈ H) está acotada, y el principio de acotación uniforme permite concluir que T está acotado.

Por último, T ≤ K porque Tn ≤ K (n ∈ N). 

T EORÍA DE O PERADORES OCW-ULL 2011/12

14/18 I. M ARRERO

7.2. Raíces cuadradas de operadores positivos

Ya hemos visto que si T es autoadjunto entonces T 2 es positivo. Consideramos ahora el problema inverso:

dado un operador T ≥ O, encontrar un operador autoadjunto A tal que A2 = T .

Definición 7.6 Sea T : H → H un operador positivo. Un operador autoadjunto A es una raíz cuadrada de T

si A2 = T . En caso de que, además, A ≥ O, se dice que A es una raíz cuadrada positiva de T , y se escribe

A = T 1/2 .

Teorema 7.7 Todo operador T ≥ O en H tiene una única raíz cuadrada A ≥ O. El operador A conmuta con

cualquier operador lineal acotado en H que conmute con T .

D EMOSTRACIÓN . Procederemos en tres etapas. En primer lugar, probaremos que si la tesis se cumple bajo la

hipótesis adicional de que T ≤ I, entonces también se verifica sin esa hipótesis. En segundo lugar, mostraremos

la existencia del operador A = T 1/2 como el límite puntual de la sucesión {An }∞

n=0 , donde A0 = O y

1
An+1 = An + (T − A2n ) (n ∈ N0 ), (8)
2

y estableceremos la afirmación de conmutatividad. Finalmente, probaremos la unicidad de la raíz cuadrada

positiva A.

Si T = O, podemos tomar A = T 1/2 = O. Sea T 6= O. Por la desigualdad de Cauchy-Schwarz,

hT x, xi ≤ kT xkkxk ≤ kT kkxk2 (x ∈ H).

Dividiendo por kT k 6= 0 y poniendo Q = kT k−1 T , obtenemos

hQx, xi ≤ kxk2 = hIx, xi (x ∈ H);

esto es, Q ≤ I. Suponiendo que Q tiene una única raíz cuadrada positiva B = Q1/2 , resulta B2 = Q y vemos

que kT k1/2 B es una raíz cuadrada de T = kT kQ, por cuanto

(kT k1/2 B)2 = kT kB2 = kT kQ = T.

Igualmente, no es difícil advertir que la unicidad de Q1/2 implica la unicidad de la raíz cuadrada positiva de T .

Por tanto, será suficiente establecer el resultado bajo la hipótesis adicional de que T ≤ I.

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 15/18

En primer lugar, abordaremos las afirmaciones de existencia y conmutatividad. Consideremos la sucesión

{An }∞
n=0 definida mediante (8). Puesto que A0 = O, tenemos:

1 1
A1 = T, A2 = T − T 2 , ...
2 8

Cada An (n ∈ N) es un polinomio en T con coeficientes reales. Por tanto, los operadores An (n ∈ N) son auto-

adjuntos y conmutan entre sí, y también conmutan con cualquier operador con el que conmute T . Probaremos

a continuación:

An ≤ I (n ∈ N0 ); (9)

An ≤ An+1 (n ∈ N0 ); (10)

lı́m An x = Ax, A = T 1/2 ; (11)

n→∞

ST = T S implica AS = SA, (12)

donde S es cualquier operador lineal acotado en H.

Para demostrar (9), observemos que A0 ≤ I. Puesto que I − An−1 es autoadjunto, (I − An−1 )2 ≥ O (n ∈ N).

Además, T ≤ I implica I − T ≥ O. De aquí y de (8) deducimos (9):

1 1 1
O ≤ (I − An−1 )2 + (I − T ) = I − An−1 − (T − A2n−1 ) = I − An (n ∈ N).
2 2 2

Obtendremos (10) por inducción. De (8) sigue que

1
A0 = O ≤ T = A1 .
2

Sea n ∈ N. Suponiendo cierto que An−1 ≤ An , probaremos que An ≤ An+1 . Usando (8) computamos directa-

mente

 
1 2 1 2 1
An+1 − An = An + (T − An ) − An−1 − (T − An−1 ) = (An − An−1 ) I − (An + An−1 ) ,
2 2 2

donde An − An−1 ≥ O por hipótesis, mientras que

1
I − (An + An−1 ) ≥ O
2

T EORÍA DE O PERADORES OCW-ULL 2011/12

16/18 I. M ARRERO

por (9). Consiguientemente, An+1 − An ≥ O.

Ahora probaremos (11). Ya que {An }∞

n=0 es monótona, por (10), y An ≤ I (n ∈ N0 ), por (9), el Teorema

7.5 proporciona un operador autoadjunto A tal que lı́mn→∞ An x = Ax (x ∈ H). Puesto que {An x}∞
n=0 (x ∈ H)

converge, (8) entraña que

1
lı́m (An+1 x − An x) = (T x − A2n x) = 0 (x ∈ H).
n→∞ 2

Consecuentemente T x − A2 x = 0 (x ∈ H), esto es, T = A2 . Además, A ≥ O porque, por (10), O = A0 ≤ An

(n ∈ N), es decir, hAn x, xi ≥ 0 (x ∈ H, n ∈ N0 ), y basta aplicar aquí la continuidad del producto interior.

Por último, sabemos que ST = T S implica An S = SAn (n ∈ N0 ), o bien An Sx = SAn x (x ∈ H, n ∈ N0 ).

Haciendo n → ∞ resulta (12).

Ya sólo resta establecer la afirmación de unicidad. A tal fin, supongamos que A, B son raíces cuadradas

positivas de T , de modo que A2 = B2 = T . Además, BT = BB2 = B2 B = T B implica AB = BA, por (12). Sea

x ∈ H arbitrario, y sea y = (A − B)x. Entonces hAy, yi ≥ 0 y hBy, yi ≥ 0, puesto que A ≥ O y B ≥ O. Usando

que AB = BA y A2 = B2 , obtenemos

hAy, yi + hBy, yi = h(A + B)y, yi = h(A2 − B2 )x, yi = 0.

Consiguientemente, hAy, yi = hBy, yi = 0. Como A ≥ O, A admite una raíz cuadrada positiva C, así que C2 = A

y C es autoadjunta. Luego

0 = hAy, yi = hC2 y, yi = hCy,Cyi = kCyk2 ,

de donde Cy = 0. Sigue que Ay = C2 y = C(Cy) = 0. Similarmente, By = 0. Por tanto, (A − B)y = 0. De la

igualdad y = (A − B)x inferimos

kAx − Bxk2 = h(A − B)2 x, xi = h(A − B)y, xi = 0,

probando que Ax − Bx = 0. Al ser x ∈ H arbitrario, se concluye que A = B. 

7.3. Forma polar de un operador

Definición 7.8 Se define el módulo |T | de un operador lineal acotado T como la raíz cuadrada positiva de

T ∗T .

OCW-ULL 2011/12 T EORÍA DE O PERADORES

C LASES DE OPERADORES I 17/18

La Definición 7.8 es consistente en virtud de la Observación 7.2 y el Teorema 7.7.

Definición 7.9 Un operador lineal acotado W es una isometría parcial si su restricción a N (W )⊥ es una

isometría. El espacio N (W )⊥ se llama espacio inicial de W , mientras que R(W ) es su espacio final.

Teorema 7.10 (Forma polar) Dado un operador lineal acotado T , existe una isometría parcial W tal que

T = W |T |. El espacio inicial de W es N (W )⊥ = N (T )⊥ , y su espacio final es R(W ) = R(T ). Además, si

T = U|T |, donde U es una isometría parcial con N (U) = N (T ), entonces U = W .

D EMOSTRACIÓN . Definimos W : R(|T |) → R(T ) por W (|T |x) = T x (x ∈ H). Como |T | es autoadjunto

(Teorema 7.7), necesariamente

k|T |xk2 = h|T |x, |T |xi = h|T |2 x, xi = hT ∗ T x, xi = hT x, T xi = kT xk2 (x ∈ H). (13)

En particular, W está bien definido, esto es, x, y ∈ H y |T |x = |T |y implica T x = Ty. Además, W es isométrico,

y como tal se extiende a una isometría de R(|T |) = N (|T |)⊥ en R(T ). Definimos W en todo H haciéndolo

cero fuera de N (|T |)⊥ . Por (13), |T |x = 0 si, y sólo si, T x = 0 (x ∈ H), así que N (|T |) = N (T ) = N (W ).

En cuanto a la unicidad, observemos que si U es como en el enunciado y x ∈ H entonces W |T |x = T x =

U|T |x; esto es, U y W coinciden en R(|T |), que es denso en el espacio inicial común a ambos. Se concluye

que U = W . 

Corolario 7.11 Si T es un operador lineal acotado y T = W |T | es su descomposición polar, se tiene:

W ∗W |T | = |T |, W ∗ T = |T | y WW ∗ T = T.

D EMOSTRACIÓN . La segunda y la tercera identidades se infieren de la primera y la segunda, respectivamente:

W ∗ T = W ∗W |T | = |T |, WW ∗ T = W |T | = T.

Para demostrar la primera, advertimos que, al ser W una isometría sobre R(|T |), se cumple

hW ∗W z, zi = hW z,W zi = kW zk2 = kzk2 = hz, zi (z ∈ R(|T |)).

Por tanto, W ∗W z = z (z ∈ R(|T |)). Cuando z = |T |x (x ∈ H) resulta, en particular, W ∗W |T |x = |T |x (x ∈ H),

como pretendíamos. 

T EORÍA DE O PERADORES OCW-ULL 2011/12

18/18 I. M ARRERO

OCW-ULL 2011/12 T EORÍA DE O PERADORES