You are on page 1of 8

APENDICE

A LOS ESPACIOS DE KREIN.


INTRODUCCION

Una forma de generalizar el concepto de producto escalar viene motivada


por el siguiente ejemplo.
1. Ejemplo. En el espacio K = `2 se define el producto
[x, y] =

xm ym

xm ym ,

m6A

mA

para cualesquiera x = (xn )nN , y = (yn )nN K, donde A es cualquier


subconjunto (fijo) de N.
(1) El producto [, ] es una forma sesquilineal hermtica en K pero no necesariamente un producto escalar.
P
EnPefecto, de la desigualdad de Holder se deduce que las series mA xm ym
y m6A xm ym son absolutamente convergentes. Esto permite sumarlas termino a termino y multiplicarlas por constantes arbitrarias; es decir:
[x + y, z] =

(xm + ym ) zm

X
mA

(xm + ym ) zm

m6A

mA

xm zm +

y m zm

xm zm

m6A

mA

y m zm

m6A

= [x, z] + [y, z];


X
X
X
X
[x, y] =
xm ym
xm ym =
xm ym
xm ym = [y, x].
mA

m6A

mA

327

m6A

Para ver que no es un producto escalar, observamos que


X
X
[x, x] =
|xm |2
|xm |2 ,
m6A

mA

de modo que, si elegimos la


P sucesion 2x = (xn )nN K, con xn = 0 para
n A, entonces [x, x] = m6A |xm | < 0.
(2) El producto anterior es no-degenerado, es decir se verifica
[x, y] = 0, y K = x = 0.

(3) El producto anterior, restringido a los espacios K + = {x K : sop(x)


A} y K = {x K : sop(x) N \ A} s da lugar a espacios de Hilbert. Mas
concretamente:
i) K = K + K .
(
xm
=
0

si m A,
En efecto, si x K es arbitrario, llamamos ym
y
si m 6 A,
(
0
si m A,
zm =
con lo que y = (ym )m K + , z = (zm )m K
xm si m 6 A,
y ademas x = y + z.
Ademas la descomposicion es u
nica pues, si x K + K , entonces
c
sop(x) A A = , es decir x = 0.
ii) [x+ , x ] = 0, x+ K + , x K .
En efecto, si x+ K + , x K , entonces
X
X

[x+ , x ] =
x+
x+
m xm
m xm = 0
m6A

mA

+
c
pues x
m = 0, m A y xm = 0, m A .

iii) (K + , [, ]) y (K , [, ]) son espacios de Hilbert.


P
Es evidente que x K + , [x, x] = mA |xm |2 0 y si [x, x] = 0,
entonces xm = 0, m A. Como ademas sop(x) A, entonces xm =
0, m Ac , es decir x = 0.
Lo anterior prueba que (K + , [, ]) es pre-Hilbert.
Analogamente se prueba que (K , [, ]) es tambien pre-Hilbert.
Como los productos de K + y K son los inducidos por el producto
usual de `2 , para ver que K + y K son completos, basta comprobar
que son cerrados en `2 . Veamos el caso de K + (que es analogo al caso
de K ):
328

Si x K + , existe una sucesion (x(n) )nN K + tal que x(n) x,


P (n)
es decir kx(n) xk2 0. Esto implica que
|xm xm |2 0, de
mN
(n)

(n)

donde |xm xm | 0, m N. Como xm = 0 si m 6 A, tambien


xm = 0, m 6 A, es decir sop(x) A, de modo que x K + .
El ejemplo anterior da sentido a la siguiente definicion.
2. Definici
on. Un espacio vectorial K en el que se define una forma sesquilineal hermtica [, ] es un espacio de Krein si existen dos subespacios K + y
K con las propiedades i), ii) y iii).
3. Observaciones. a) Todo espacio de Hilbert puede considerarse como un
espacio de Krein, con la descomposicion trivial H = H 0.
b) El apartado ii) de la definicion permite decir que K + y K son ortogonales
de modo que la descomposicion i) es una suma directa ortogonal, llamada
descomposicion fundamental de K.
4. Proposici
on. Si P + : K K + y P : K K son las proyecciones ortogonales asociadas a la descomposici
on K = K + K , entonces el
+

operador J = P P , llamada simetra fundamental, verifica que


[Jx, y] = [x, Jy], x, y K;
adem
as J es invertible y J 1 = J.
Demostraci
on. Sean x = x+ + x K, y = y + + y K arbitrarios.
Entonces
[Jx, y] = [x+ x , y + +y ] = [x+ , y + ][x , y ] = [x+ +x , y + y ] = [x, Jy].
Por otra parte, si Jx = 0, entonces x+ x = 0 y, por la unicidad de la
descomposicion K = K + K , se deduce que x+ = x = 0, de modo que
J es invertible.
Por u
ltimo, como J(x+ x ) = x+ + x , deducimos que J 1 = J.
5. Proposici
on. Si definimos hx, yiJ = [Jx, y], x, y K, entonces (K, h, iJ )
es un espacio de Hilbert en el cual J es un operador autoadjunto e involutivo. Recprocamente, si (H, h, i) es un espacio de Hilbert y G L(H) un
operador autoadjunto tal que G2 = I, entonces (H, [, ]) es un espacio de
Krein con el producto [x, y] = hGx, yi, x, y H.
Demostraci
on. a) Es evidente que el producto h, iJ es lineal en la primera
componente. Ademas, de la proposicion anterior, resulta:
hy, xiJ = [Jy, x] = [x, Jy] = [Jx, y] = hx, yiJ .
329

Por ser (K + , [, ]) y (K , [, ]) pre-Hilbert, deducimos que


hx, xiJ = [Jx, x] = [x+ x , x+ + x ] = [x+ , x+ ] [x , x ] 0,
y, si hx, xiJ = 0, entonces [x+ , x+ ] = 0, [x , x ] = 0 de donde x+ = 0, x =
0, es decir x = 0.
Veamos que K es completo con dicho producto:
Sea (xn )nN K de Cauchy, es decir kxn xm kJ 0. Esto implica que
[J(xn xm ), xn xm ] 0, de donde
+

+
+

[x+
n xm xn + xm , xn xm + xn xm ] 0
+
+
+

= [x+
n xm , xn xm ] [xn xm , xn xm ] 0,
+

lo que implica que (x+


n )nN es de Cauchy en K y (xn )nN es de Cauchy en
+

K . As pues, existen x+ K + , x K tales que x+


n x y xn x .
+

Si llamamos x = x + x , entonces
+ +
+

hxn x, xn xiJ = [J(xn x), xn x] = [x+


n x , xn x ][xn x , xn x ] 0

lo que implica que xn x.


Como J es simetrico respecto a [, ], entonces
hJx, yiJ = [J 2 x, y] = [Jx, Jy] = hx, JyiJ .
Ademas, de J = J 1 resulta que JJ = JJ 1 = J 2 = I, es decir J es
involutivo.
Para probar el recproco, veamos los siguientes apartados:
) [, ] es una forma sesquilineal hermtica.
[x + y, z] = hG(x + y), zi = hGx + Gy, zi
= hGx, zi + hGy, zi = [x, z] + [y, z];
[y, x] =

hGy, xi = hx, Gyi = hGx, yi = [x, y].

) K + , K tales que K = K + K .
Definimos para ello K + = N (I G), K = N (I + G) y escribimos la
descomposicion h = 12 (h + Gh) + 12 (h Gh), h H. Veamos que:
1
1
h+ = (h + Gh) K + : (I G)h+ = (h + Gh Gh G2 h) = 0;
2
2
1
1
h = (h Gh) K : (I + G)h = (h Gh + Gh G2 h) = 0;
2
2
K + K = {0} : h K + K = (I G)h = (I + G)h = 0
= h = Gh = Gh = h = 0.
330

) [x+ , x ] = 0, x+ K + , x K .
()

x+ K + = (I G)x+ = 0 = x+ = Gx+ ,

()

x K = (I + G)x = 0 = x = Gx .

Por tanto,
[x+ , x ] = hGx+ , x i = hx+ , Gx i = hx+ , x i
= hGx+ , x i = [x+ , x ] = [x+ , x ] = 0.
) (K + , [, ]) y (K , [, ]) son espacios de Hilbert.
Para ello, solo falta comprobar que
[x+ , x+ ] 0 y [x+ , x+ ] = 0 = x+ = 0,
[x , x ] 0 y [x , x ] = 0 = x = 0
(al ser K + y K subespacios cerrados de H, que es de Hilbert, ya son
completos).
Aplicando las igualdades () y (), obtenemos en efecto:
[x+ , x ] = hGx+ , x i = hx+ , x+ i 0,
[x+ , x+ ] = 0 = hx+ , x+ i = 0 = x+ = 0;
[x , x ] = hGx , x i = hx , x i 0,
[x , x ] = 0 = hx , x i = 0 = x = 0.
Como en K + coinciden los productos [, ] y h, i y (K + , h, i) es subespacio
cerrado de H, K + es de Hilbert (analogamente se argumenta con K ).

6. Teorema. Sea (H, h, i) un espacio de Hilbert en el que se define una


forma sesquilineal hermtica [, ] : H H C tal que
> 0 : |[x, y]| hx, xi1/2 hy, yi1/2 , x, y H.
Entonces existe un operador autoadjunto G L(H) tal que [x, y] = hGx, yi,
x, y H y kGk .
Dicho operador G se llama operador de Gram de h, i con respecto a [, ]
y lo dicho anteriormente sugiere que (K, h, i) es de Krein si y solo si G es
invertible.
Demostraci
on. Se define el operador G : H H por hGx, yi = [x, y], x, y
H. Se cumple as:
331

) G es lineal:
hG(ax1 + bx2 ), yi

[ax1 + bx2 , y] = a[x1 , y] + b[x2 , y]

ahGx1 , yi + bhGx2 , yi = haGx1 + bGx2 , yi, y H

= G(ax1 + bx2 ) = aGx1 + bGx2 .


) G es acotado:
|hGx, Gxi|

|[x, Gx]| hx, xi1/2 hGx, Gxi1/2

= kGxk2 kxk kGxk = kGxk kxk = kGk .


) G es autoadjunto:
hGx, yi = [x, y] = [y, x] = hGy, xi = hx, Gyi.

7. Teorema. Sean K = K1+ K1 , K = K2+ K2 dos descomposiciones


fundamentales del espacio de Krein (K, [, ]) con simetras fundamentales
J1 y J2 , respectivamente. Entonces:
i) dim K1+ = dim K2+ , dim K1 = dim K2 .
ii) Las normas k kJ1 y k kJ2 asociadas a los productos internos h, iJ1 y
h, iJ2 , respectivamente, son equivalentes.
8. Definici
on. Un subespacio L de un espacio de Krein (K, [, ]) es ortocomplementado si L admite un subespacio complementario ortogonal, es
decir si K = L L , donde L = {y K : [x, y] = 0, x L}.
9. Observaci
on. Es conocido el hecho que en espacios de Hilbert todo subespacio cerrado es ortocomplementado. En espacios de Krein esta propiedad
no siempre es cierta, como muestran los siguientes ejemplos.
P
j
10. Ejemplos. a) Sea K = `2 y [x, y] =
j=1 (1) xj yj , donde x = (xj )jN ,
y = (yj )jN son elementos arbitrarios de K. Como vimos en el ejemplo 1,
(K, [, ]) es un espacio
P de KreinPpues basta tomar A = {2n : n N}, de
modo que [x, y] = jA xj yj j6A xj yj .
Si definimos

L = x K : x2j =


2j
x2j1 , j N ,
2j 1

se puede probar lo siguiente:


) L es cerrado pues, si x L, existe (x(n) )nN L tal que x(n) x.
(n)

Es evidente (analogamente al ejemplo 1) que xj


(n)
x2j

2j
2j1

(n)
x2j1 ,

tomando lmites, x2j =


332

2j
2j1

xj , j N. Como

x2j1 , es decir x L.

) L es definido positivo pues, si x L,


X
X
X
[x, x] =
(1)j |xj |2 =
|x2j |2
|x2j1 |2
jN

jN

jN


X 4j 1
X  2j 
=
1 |x2j1 |2 =
|x2j1 |2 0
2j 1
(2j 1)2
jN

jN

y [x, x] = 0 = x2j1 = 0, j = x2j = 0, j.


) L = {y K : y2j = 2j1
2ji y2j1 , j} pues, si [x, y] = 0, x L, en
h
2j
2j
particular e2j1 + 2j1
e2j , y = 0 = y2j1 + 2j1
y2j = 0 = y2j =
2j1
2j y2j1 ,

j.

Recprocamente, si y2j =
[x, y] =

jN

jN

2j1
2j y2j1 ,

x2j y2j

j = [x, y] = 0, x L pues

x2j1 y2j1

jN

X
2j 1
2j
x2j1
y2j1
x2j1 y2j1 = 0.
2j 1
2j
jN

) Veamos por u
ltimo que L no es ortocomplementado, es decir LL 6= K.
Para ello consideramos x K de la forma x2j1 = 0, x2j = 1/(2j) y
supongamos que existen y L, z L tales que x = y + z. Entonces
x2j1 = y2j1 + z2j1 = 0 = y2j1 = z2j1
1
1
2j
2j 1
x2j = y2j + z2j =
=
=
y2j1 +
z2j1
2j
2j
2j 1
2j
h 2j
1
2j 1 i
4j 2 (2j 1)2
=
=

y2j1 =
y2j1
2j
2j 1
2j
2j(2j 1)
2j 1
= y2j1 =
, j.
4j 1
Sin embargo, la sucesion y = (y2j1 )jN no esta en `2 porque
.

jN

2j1
4j1

2

b) Sea K un espacio de Krein y x, y K tales que [x, x] > 0, [y, y] < 0.


Consideramos el subespacio L = {x + y : , C}. Se prueba entonces:
- L es cerrado.
- Si L fuera ortocomplementado, sera no degenerado.
- L es degenerado (sugerencia: considerar las races de la ecuacion [x +
y, x + y] con R).
333

Observaci
on. Dos referencias basicas correspondientes a este tema son [An]
y [Bog].

334

You might also like