Operadores y funcionales lineales

ISABEL MARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es
ndice
1. Introduccin 1
2. Funcionales lineales 1
3. Aplicaciones bilineales 2
4. Aplicaciones sesquilineales 3
4.1. Aplicaciones sesquilineales acotadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.2. Formas sesquilineales acotadas en espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . 6
5. Operadores adjuntos 7
TEORA DE OPERADORES OCW-ULL 2011/12
OPERADORES Y FUNCIONALES LINEALES 1/9
1. Introduccin
Recordemos que una aplicacin T entre dos espacios normados (E, | |
E
) y (F, | |
F
) sobre el mismo
cuerpo escalar K se denomina operador. En el caso particular de que F sea el cuerpo K con la norma del
mdulo o valor absoluto, se dice que T es una forma o funcional. El operador T es lineal si T(x +y) =
Tx+Ty para cualesquiera escalares , K y vectores x, y E, y es una isometra si |Tx|
F
= |x|
E
para
todo x E. Un operador lineal T se dice acotado si |T| es nita, donde
|T| = sup|Tx|
F
: x E, |x|
E
1. (1)
En lo sucesivo, por simplicidad, denotaremos de igual modo la norma en E y en F sin que ello induzca a
confusin, ya que el contexto dejar claro de qu norma se trata en cada caso.
Se comprueba fcilmente que un operador lineal T : E F es continuo (en cualquier punto de E) si, y slo
si, lo es en el origen de E y que, a su vez, esto equivale a que T sea acotado. Un isomorsmo es un operador
lineal, biyectivo y bicontinuo (continuo con inverso continuo).
Dado un operador T : E F, denotamos por N (T) =x E : Tx = 0 el ncleo de T y por R(T) =T(E)
su rango o recorrido.
Proposicin 1.1 Sea T : E F un operador lineal acotado. Se cumple:
|T| = sup|Tx| : |x| < 1
= sup|Tx| : |x| = 1
= sup

|Tx|
|x|
: x ,= 0

.
2. Funcionales lineales
Denicin 2.1 El espacio E
/
de todos los funcionales lineales continuos sobre un espacio normado E se
denomina espacio dual de E.
La norma (1) (con F =K y | |
F
= [ [) provee efectivamente a E
/
de estructura de espacio normado.
Acontinuacin nos ocuparemos de caracterizar los funcionales lineales continuos en espacios con producto
interior.
Si X es un espacio prehilbertiano cualquiera, todo vector y X determina un funcional lineal continuo y
/
sobre X mediante y
/
(x) =x, y (x X). Esto da lugar a la aplicacin y y
/
de X en X
/
, que es lineal conjugada
TEORA DE OPERADORES OCW-ULL 2011/12
2/9 I. MARRERO
e isomtrica. Comenzamos estableciendo que en espacios de Hilbert es tambin suprayectiva, resultado que
constituye el ncleo central de este tema.
Teorema 2.2 (Teorema de representacin de Frchet-Riesz) Si f es un funcional lineal continuo en un es-
pacio de Hilbert H entonces existe un nico vector y H que representa a f , en el sentido de que f (x) =x, y
(x H).
DEMOSTRACIN. Sea f H
/
y sea N = N ( f ) el ncleo de f , que es un subespacio vectorial cerrado de
H. Si N = H, entonces f = 0 y se toma y = 0. Si N ,= H, por el teorema de la proyeccin ortogonal existe
z N

tal que f (z) = 1. Ahora, para cada x H se tiene x f (x)z N; y como z N

, necesariamente
0 = x f (x)z, z = x, z f (x)|z|
2
, as que f (x) = |z|
2
x, z = x, y, donde y = |z|
2
z es independiente
de x. Esto prueba la armacin de existencia.
Para establecer la unicidad, basta observar que si x, y = x, w para todo x H en particular ser yw
y w, con lo que y = w.
3. Aplicaciones bilineales
Denicin 3.1 Si E, F, G son espacios vectoriales sobre el mismo cuerpo escalar K, una aplicacin :
E F G se llama bilineal si es lineal en cada variable (el prejo bi signica dos veces). En el caso
particular de que G=K, tal aplicacin se llama forma o funcional bilineal. Si E, F, G son espacios normados,
una aplicacin bilineal : E F G es acotada si existe una constante M tal que |(x, y)| M|x||y|
(x E, y F). Si, adems, G =K, se dice una forma bilineal acotada. La norma de una aplicacin bilineal
acotada : E F G es el nmero
|| = sup|(x, y)| : |x| 1, |y| 1.
Proposicin 3.2 Sea : E F G una aplicacin bilineal acotada. Se cumple:
|| = sup|(x, y)| : |x| < 1, |y| < 1
= sup|(x, y)| : |x| = 1, |y| = 1
= sup

|(x, y)|
|x||y|
: x ,= 0, y ,= 0

.
OCW-ULL 2011/12 TEORA DE OPERADORES
OPERADORES Y FUNCIONALES LINEALES 3/9
4. Aplicaciones sesquilineales
Denicin 4.1 Si E, F, G son espacios vectoriales sobre el mismo cuerpo escalar K, una aplicacin :
E F G se llama sesquilineal si es lineal en la primera variable y semilineal, o lineal conjugada, en la
segunda (el prejo sesqui indica una vez y media, y el prejo semi, media vez). En el caso particular
de que G = K, tal aplicacin se llama forma o funcional sesquilineal. Si E, F, G son espacios normados,
una aplicacin sesquilineal : E F G es acotada si existe una constante M tal que |(x, y)| M|x||y|
(x E, y F). Si, adems, G =K, se dice una forma sesquilineal acotada.
Denicin 4.2 Dado un espacio vectorial E, llamamos complejo conjugado de E al espacio vectorial E

obtenido de la forma siguiente: el conjunto E

es el mismo que E; la suma en E

se dene igual que

en E E; y el producto por escalares en KE

, que denotaremos , se dene como x = x, donde el

producto por escalares del segundo miembro es el denido en KE.
Es fcil comprobar que jada una estructura de espacio vectorial en el conjunto E, la de E

constituye la
nica estructura de espacio vectorial que se puede denir sobre E de manera que la identidad I : E E

sea
semilineal.
Si E es un espacio normado, E

tambin lo es con la norma denida de igual modo que en E. En el caso

de que (X, ) sea un espacio prehilbertiano, el espacio vectorial X

es tambin un espacio prehilbertiano con

el producto escalar [x, y] = y, x. Por tanto, X

adquiere una norma mediante este producto escalar, y otra a

travs de la norma de X; ambas normas coinciden. Adems, X es un espacio de Hilbert si, y slo si, X

lo es.
La razn para introducir el espacio E

se encuentra en el siguiente resultado:

Proposicin 4.3 Sean E, F, G espacios vectoriales sobre el mismo cuerpo escalar K. Una aplicacin :
E F G es sesquilineal si, y slo si, : E F

G es bilineal.
La identidad de polarizacin se puede generalizar a aplicaciones sesquilineales:
Proposicin 4.4 (Identidad de polarizacin) Si E, F son espacios vectoriales y : E E F es sesquili-
neal, entonces
(x, y) =
1
4
(x +y, x +y) (x y, x y) +i [(x +iy, x +iy) (x iy, x iy)] (x, y E).
DEMOSTRACIN. Fijados x, y E, se tiene
(x +y, x +y) =(x, x) +(x, y) +(y, x) +(y, y).
TEORA DE OPERADORES OCW-ULL 2011/12
4/9 I. MARRERO
Sustituyendo y en esta expresin sucesivamente por y, iy, iy encontramos que
(x y, x y) =(x, x) (x, y) (y, x) +(y, y),
(x +iy, x +iy) =(x, x) i(x, y) +i(y, x) +(y, y),
(x iy, x iy) =(x, x) +i(x, y) i(y, x) +(y, y).
Por tanto:
(x +y, x +y) (x y, x y) = 2(x, y) +2(y, x), (2)
(x +iy, x +iy) (x iy, x iy) = 2i(x, y) +2i(y, x),
i[(x +iy, x +iy) (x iy, x iy)] = 2(x, y) 2(y, x). (3)
La identidad buscada resulta de la combinacin de (2) y (3).
Consecuencia inmediata de este resultado es el siguiente:
Proposicin 4.5 Si : EE F y : EE F son aplicaciones sesquilineales tales que (x, x) =(x, x)
(x E), entonces (x, y) =(x, y) (x, y E).
Denicin 4.6 Sea E un espacio vectorial sobre el cuerpo K. Una forma sesquilineal : E E K se dice
hermtica si (y, x) =(x, y) (x, y E).
Proposicin 4.7 Una forma sesquilineal : E E K es hermtica si, y slo si, (x, x) es real para todo
x E.
DEMOSTRACIN. Si es hermtica, para cada x E se tiene (x, x) =(x, x), por lo que (x, x) es real.
Recprocamente, supongamos que (x, x) es real para todo x E. Denimos (x, y) = (y, x) (x, y E);
entonces es una forma sesquilineal en E E, y, por hiptesis, (x, x) =(x, x) (x E). La Proposicin 4.5
prueba ahora que = y, con ello, que es hermtica.
Denicin 4.8 Sea E un espacio vectorial sobre el cuerpo K. Una forma sesquilineal : E E K se dice
positiva si (x, x) 0 para todo x E.
En particular, toda forma sesquilineal positiva es hermtica. Las formas sesquilineales positivas satisfacen
la desigualdad de Cauchy-Schwarz.
OCW-ULL 2011/12 TEORA DE OPERADORES
OPERADORES Y FUNCIONALES LINEALES 5/9
Proposicin 4.9 (Desigualdad de Cauchy-Schwarz) Si : E E K es una forma sesquilineal positiva,
entonces
[(x, y)[
2
(x, x)(y, y) (x, y E).
DEMOSTRACIN. Sean x, y E. Si (x, x) > 0 o bien (y, y) > 0, basta proceder como en la demostracin de
la desigualdad de Cauchy-Schwarz genuina.
Supongamos, por tanto, que (x, x) =(y, y) = 0. Para todo escalar , tenemos que
0 (x +y, x +y) =(x, x) +(x, y) +(y, x) +[[
2
(y, y) =(x, y) +(y, x).
En particular, para = (x, y) se obtiene 0 2[(x, y)[
2
; luego, (x, y) = 0.
4.1. Aplicaciones sesquilineales acotadas
Denicin 4.10 Si E, F, G son espacios normados, una aplicacin sesquilineal : E F G es acotada si
existe una constante M tal que |(x, y)| M|x||y| (x E, y F). Si, adems, G =K, se dice una forma
sesquilineal acotada en E F.
En otras palabras, es una aplicacin sesquilineal acotada de E F en G si, y slo si, es una aplicacin
bilineal acotada de E F

en G (cf. Denicin 4.2).

Denicin 4.11 Se llama norma de la aplicacin sesquilineal acotada : E F G al nmero
|| = sup|(x, y)| : |x| 1, |y| 1.
Proposicin 4.12 Sea : E F G una aplicacin sesquilineal acotada. Se cumple:
|| = sup|(x, y)| : |x| < 1, |y| < 1
= sup|(x, y)| : |x| = 1, |y| = 1
= sup

|(x, y)|
|x||y|
: x ,= 0, y ,= 0

.
Proposicin 4.13 Si X es un espacio prehilbertiano, la norma de una forma sesquilineal acotada hermtica
TEORA DE OPERADORES OCW-ULL 2011/12
6/9 I. MARRERO
: X X K viene dada por la frmula
|| = sup[(x, x)[ : |x| 1. (4)
DEMOSTRACIN. Si |x| 1, por denicin de || es [(x, x)[ ||; luego, el supremo en (4) es un nmero
real nito s ||. Evidentemente, [(x, x)[ s|x|
2
para cada x X.
Recprocamente, jemos x, y X, con |x| 1, |y| 1. Pretendemos demostrar que [(x, y)[ s.
Supongamos, en primer lugar, que (x, y) es un nmero real. Ya que satisface la identidad de polarizacin
(Proposicin 4.4) y (z, z) es real para cada z X (Proposicin 4.7), necesariamente
(x, y) =
1
4
(x +y, x +y) (x y, x y).
Ahora, la ley del paralelogramo entraa que
[(x, y)[
1
4
[(x +y, x +y)[ +[(x y, x y)[
s
4

|x +y|
2
+|x y|
2

= 2
s
4
|x|
2
+|y|
2
s.
En general, si (x, y) es un nmero complejo se puede escribir [(x, y)[ = (x, y), donde es un n-
mero complejo adecuado, de mdulo 1. Entonces (x, y) =(x, y) = [(x, y)[ es real. Puesto que |x| =
[[|x| = |x| 1, la desigualdad buscada vale para (x, y), y concluimos que [(x, y)[ s, como se preten-
da.
4.2. Formas sesquilineales acotadas en espacios de Hilbert
Teorema 4.14 (Teorema de representacin de Riesz) Si H y K son espacios de Hilbert y T : H K es un
operador lineal continuo, la frmula
T
(x, y) =Tx, y dene una forma sesquilineal acotada
T
en HK, tal
que |
T
| =|T|. Recprocamente, dada una forma sesquilineal acotada en HK, existe un nico operador
lineal continuo T : H K tal que =
T
; adems, || = |
T
| = |T|.
DEMOSTRACIN. Para probar la primera parte, comenzamos observando que
T
es trivialmente sesquilineal.
Sean x, y X con |x| 1, |y| 1. Entonces [Tx, y[ |Tx||y| |T||x||y| |T|. Por tanto,
s = sup[Tx, y[ : |x| 1, |y| 1 |T|.
Inversamente, sean x, y H con |x| 1, |y| 1. Entonces [y, Tx[ = [Tx, y[ s. Fijado x, z z, Tx es
OCW-ULL 2011/12 TEORA DE OPERADORES
OPERADORES Y FUNCIONALES LINEALES 7/9
un funcional lineal continuo sobre H, de norma |Tx|. Por tanto, tomando supremos en y encontramos que
|Tx| s. Tomando ahora supremos en x concluimos que |T| s, y con ello que |T| = s.
Recprocamente, dado x H el problema consiste en denir Tx K tal que
T
=. A tal n, consideremos
el funcional lineal f
x
denido sobre K mediante f
x
(y) = (x, y) (y K). Este f
x
es continuo, con | f
x
|
|||x|. El teorema de representacin de Frchet-Riesz proporciona un nico z K tal que f
x
(y) = y, z
(y K) y |f
x
| =|z|. Deniendo Tx =z se cumple que y, Tx = f
x
(y) =(x, y) (y K) o, equivalentemente,
Tx, y =(x, y) (y K).
La aplicacin T : H K as denida es lineal, ya que para u, v H y , K se verica
T(u+v), y = (u+v, y) =(u, y) +(v, y)
= Tu, y +Tv, y = Tu+Tv, y (y K).
Adems, |Tx| = |z| = | f
x
| |||x|, de modo que T es continua y su norma no excede ||. Puesto que
=
T
, se inere de la primera parte que || = |
T
| = |T|.
Para establecer la unicidad de T, supongamos que S : H K es otra aplicacin satisfaciendo Sx, y =
(x, y) =Tx, y (x H, y K). Entonces SxTx, y =0 (x H, y K), y particularizando y =SxTx K
(x H) se concluye que S = T.
5. Operadores adjuntos
En toda esta seccin, H, K y L designarn espacios de Hilbert.
Teorema 5.1 (Operador adjunto) Si T : H K es un operador lineal continuo, existe un nico operador
lineal continuo T

: K H tal que Tx, y = x, T

y (x H, y K). Adems, |T

| = |T|.
DEMOSTRACIN. Basta aplicar el teorema de representacin de Riesz a la forma sesquilineal acotada (y, x) =
y, Tx (x H, y K), con || = |T|.
Denicin 5.2 En la notacin del Teorema 5.1, el operador T

se llama adjunto de T.
El resto de esta seccin est dedicado a establecer algunas propiedades de los operadores adjuntos que
sern de gran utilidad en lo sucesivo.
TEORA DE OPERADORES OCW-ULL 2011/12
8/9 I. MARRERO
Proposicin 5.3 Si S : H K, T : H K son operadores lineales continuos y es un escalar, se verica:
(i) T

y, x = y, Tx (x H, y K);
(ii) (T)

=T

;
(iii) (S+T)

= S

+T

;
(iv) T

= T;
(v) |T

T| = |TT

| = |T|
2
;
(vi) T

T = 0 si, y slo si, T = 0.

DEMOSTRACIN. Las propiedades (i)-(iv) son consecuencias inmediatas de la denicin, del mismo modo
que (vi) se deduce inmediatamente de (v).
Para probar (v), obsrvese que estn denidas las composiciones T

T : H H y TT

: K K. Si x H,
|x| 1, se tiene |Tx|
2
= Tx, Tx = T

Tx, x |T

Tx||x| |T

Tx| |T

T|; tomando supremos en

x encontramos que |T|
2
|T

T|. Inversamente, es claro que |T

T| |T

||T| = |T|
2
. Por ltimo, la
validez de la igualdad |TT

| = |T|
2
sigue sin ms que intercambiar los papeles de T

y T.
Proposicin 5.4 Si T : H K, S : K L son operadores lineales continuos, entonces (ST)

= T

.
DEMOSTRACIN. De nuevo, es consecuencia inmediata de la denicin.
Proposicin 5.5 Sea T : H K un operador lineal continuo. Si M H, N K y T(M) N, entonces
T

(N

) M

. En particular, si M y N son subespacios cerrados entonces T(M) N si, y slo si, T

(N

)
M

.
DEMOSTRACIN. Probemos la primera armacin. Dado z K con z N, el problema consiste en demostrar
que T

z M. Ahora bien, si x M entonces Tx N, de donde 0 = z, Tx = T

z, x.
Si M y N son subespacios cerrados, basta observar que T

(N

) M

implica T

(M

) N

, con
T

= T, M

= M y N

= N.
Teorema 5.6 Sea T : H K un operador lineal continuo. Se verica:
(i) N (T) =R(T

;
OCW-ULL 2011/12 TEORA DE OPERADORES
OPERADORES Y FUNCIONALES LINEALES 9/9
(ii) N (T)

=R(T

);
(iii) N (T

) =R(T)

;
(iv) N (T

=R(T).
DEMOSTRACIN. Slo probaremos la primera igualdad, ya que la segunda se deduce inmediatamente de sta
y las dos ltimas se obtienen de las dos primeras sin ms que intercambiar en ellas los papeles de T y T

.
Aunque (i) se puede establecer probando directamente la doble inclusin, daremos una demostracin que
se apoya en la Proposicin 5.5.
Sean M =N (T) y N =N (T

). Como T(M) 0, la Proposicin 5.5 establece que T

(K) =T

(0

)
M

, esto es,
R(T

) N (T)

. (5)
Por otra parte, trivialmente T(H) R(T), as que T

(R(T)

) H

= 0 implica T

(R(T)

) = 0 o, lo
que es igual,
R(T)

N (T

). (6)
Aplicando (6) a T

en sustitucin de T,
R(T

N (T). (7)
De (5),
N (T) =N (T)

R(T

. (8)
Finalmente, (7) y (8) conducen a (i).
TEORA DE OPERADORES OCW-ULL 2011/12