w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
AP

ENDICE 1
INTRODUCCI

ON A LOS ESPACIOS DE KREIN.

Una forma de generalizar el concepto de producto escalar viene motivada
por el siguiente ejemplo.
1. Ejemplo. En el espacio K =
2
se dene el producto
[x, y] =

mA
x
m
y
m

mA
x
m
y
m
,
para cualesquiera x = (x
n
)
nN
, y = (y
n
)
nN
K, donde A es cualquier
subconjunto (jo) de N.
(1) El producto [, ] es una forma sesquilineal hermtica en K pero no nece-
sariamente un producto escalar.
En efecto, de la desigualdad de Holder se deduce que las series

mA
x
m
y
m
y

mA
x
m
y
m
son absolutamente convergentes. Esto permite sumarlas termi-
no a termino y multiplicarlas por constantes arbitrarias; es decir:
[x +y, z] =

mA
(x
m
+y
m
) z
m

mA
(x
m
+y
m
) z
m
=

mA
x
m
z
m
+

mA
y
m
z
m

mA
x
m
z
m

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

mA
x
m
y
m

mA
x
m
y
m
=

mA
x
m
y
m

mA
x
m
y
m
= [y, x].
327
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Para ver que no es un producto escalar, observamos que
[x, x] =

mA
[x
m
[
2

mA
[x
m
[
2
,
de modo que, si elegimos la sucesion x = (x
n
)
nN
K, con x
n
= 0 para
n A, entonces [x, x] =

mA
[x
m
[
2
< 0.
(2) El producto anterior es no-degenerado, es decir se verica
[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

.
En efecto, si x K es arbitrario, llamamos y
m
=
_
x
m
si m A,
0 si m , A,
y
z
m
=
_
0 si m A,
x
m
si m , A,
con lo que y = (y
m
)
m
K
+
, z = (z
m
)
m
K

y ademas x = y +z.
Ademas la descomposicion es unica pues, si x K
+
K

, entonces
sop(x) A A
c
= , es decir x = 0.
ii) [x
+
, x

] = 0, x
+
K
+
, x

.
En efecto, si x
+
K
+
, x

, entonces
[x
+
, x

] =

mA
x
+
m
x

mA
x
+
m
x

m
= 0
pues x

m
= 0, m A y x
+
m
= 0, m A
c
.
iii) (K
+
, [, ]) y (K

, [, ]) son espacios de Hilbert.

Es evidente que x K
+
, [x, x] =

mA
[x
m
[
2
0 y si [x, x] = 0,
entonces x
m
= 0, m A. Como ademas sop(x) A, entonces x
m
=
0, m A
c
, 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
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Si x K
+
, existe una sucesion (x
(n)
)
nN
K
+
tal que x
(n)
x,
es decir |x
(n)
x|
2
0. Esto implica que

mN
[x
(n)
m
x
m
[
2
0, de
donde [x
(n)
m
x
m
[ 0, m N. Como x
(n)
m
= 0 si m , A, tambien
x
m
= 0, m , A, es decir sop(x) A, de modo que x K
+
.
El ejemplo anterior da sentido a la siguiente denicion.
2. Denicion. Un espacio vectorial K en el que se dene una forma sesqui-
lineal 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 denicion 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. Proposicion. Si P
+
: K K
+
y P

: K K

son las proyeccio-

nes ortogonales asociadas a la descomposicion K = K
+
K

, entonces el
operador J = P
+
P

, llamada simetra fundamental, verica que

[Jx, y] = [x, Jy], x, y K;
ademas J es invertible y J
1
= J.
Demostracion. 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 ultimo, como J(x
+
x

) = x
+
+x

, deducimos que J
1
= J.

5. Proposicion. Si denimos x, y)
J
= [Jx, y], x, y K, entonces (K, , )
J
)
es un espacio de Hilbert en el cual J es un operador autoadjunto e involu-
tivo. Recprocamente, si (H, , )) es un espacio de Hilbert y G L(H) un
operador autoadjunto tal que G
2
= I, entonces (H, [, ]) es un espacio de
Krein con el producto [x, y] = Gx, y), x, y H.
Demostracion. a) Es evidente que el producto , )
J
es lineal en la primera
componente. Ademas, de la proposicion anterior, resulta:
y, x)
J
= [Jy, x] = [x, Jy] = [Jx, y] = x, y)
J
.
329
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Por ser (K
+
, [, ]) y (K

, [, ]) pre-Hilbert, deducimos que

x, x)
J
= [Jx, x] = [x
+
x

, x
+
+x

] = [x
+
, x
+
] [x

, x

] 0,
y, si x, x)
J
= 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 (x
n
)
nN
K de Cauchy, es decir |x
n
x
m
|
J
0. Esto implica que
[J(x
n
x
m
), x
n
x
m
] 0, de donde
[x
+
n
x
+
m
x

n
+x

m
, x
+
n
x
+
m
+x

n
x

m
] 0
= [x
+
n
x
+
m
, x
+
n
x
+
m
] [x

n
x

m
, x

n
x

m
] 0,
lo que implica que (x
+
n
)
nN
es de Cauchy en K
+
y (x

n
)
nN
es de Cauchy en
K

. As pues, existen x
+
K
+
, x

tales que x
+
n
x
+
y x

n
x

.
Si llamamos x = x
+
+x

, entonces
x
n
x, x
n
x)
J
= [J(x
n
x), x
n
x] = [x
+
n
x
+
, x
+
n
x
+
][x

n
x

, x

n
x

] 0
lo que implica que x
n
x.
Como J es simetrico respecto a [, ], entonces
Jx, y)
J
= [J
2
x, y] = [Jx, Jy] = x, Jy)
J
.
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] = G(x +y), z) = Gx +Gy, z)
= Gx, z) +Gy, z) = [x, z] +[y, z];
[y, x] = Gy, x) = x, Gy) = Gx, y) = [x, y].
) K
+
, K

tales que K = K
+
K

.
Denimos para ello K
+
= N(I G), K

= N(I + G) y escribimos la
descomposicion h =
1
2
(h +Gh) +
1
2
(h Gh), h H. Veamos que:
h
+
=
1
2
(h +Gh) K
+
: (I G)h
+
=
1
2
(h +Gh Gh G
2
h) = 0;
h

=
1
2
(h Gh) K

: (I +G)h

=
1
2
(h Gh +Gh G
2
h) = 0;
K
+
K

= 0 : h K
+
K

= (I G)h = (I +G)h = 0
= h = Gh = Gh = h = 0.
330
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
) [x
+
, x

] = 0, x
+
K
+
, x

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

= (I +G)x

= 0 = x

= Gx

.
Por tanto,
[x
+
, x

] = Gx
+
, x

) = x
+
, Gx

) = x
+
, x

)
= Gx
+
, x

) = [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

] = Gx
+
, x

) = x
+
, x
+
) 0,
[x
+
, x
+
] = 0 = x
+
, x
+
) = 0 = x
+
= 0;
[x

, x

] = Gx

, x

) = x

, x

) 0,
[x

, x

] = 0 = x

, x

) = 0 = x

= 0.
Como en K
+
coinciden los productos [, ] y , ) y (K
+
, , )) es subespacio
cerrado de H, K
+
es de Hilbert (analogamente se argumenta con K

).

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

forma sesquilineal hermtica [, ] : H H C tal que
> 0 : [[x, y][ x, x)
1/2
y, y)
1/2
, x, y H.
Entonces existe un operador autoadjunto G L(H) tal que [x, y] = Gx, y),
x, y H y |G| .
Dicho operador G se llama operador de Gram de , ) con respecto a [, ]
y lo dicho anteriormente sugiere que (K, , )) es de Krein si y solo si G es
invertible.
Demostracion. Se dene el operador G : H H por Gx, y) = [x, y], x, y
H. Se cumple as:
331
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
) G es lineal:
G(ax
1
+bx
2
), y) = [ax
1
+bx
2
, y] = a[x
1
, y] +b[x
2
, y]
= aGx
1
, y) +bGx
2
, y) = aGx
1
+bGx
2
, y), y H
= G(ax
1
+bx
2
) = aGx
1
+bGx
2
.
) G es acotado:
[Gx, Gx)[ = [[x, Gx][ x, x)
1/2
Gx, Gx)
1/2
= |Gx|
2
|x| |Gx| = |Gx| |x| = |G| .
) G es autoadjunto:
Gx, y) = [x, y] = [y, x] = Gy, x) = x, Gy).

7. Teorema. Sean K = K
+
1
K

1
, K = K
+
2
K

2
dos descomposiciones
fundamentales del espacio de Krein (K, [, ]) con simetras fundamentales
J
1
y J
2
, respectivamente. Entonces:
i) dimK
+
1
= dimK
+
2
, dimK

1
= dimK

2
.
ii) Las normas | |
J
1
y | |
J
2
asociadas a los productos internos , )
J
1
y
, )
J
2
, respectivamente, son equivalentes.
8. Denicion. Un subespacio L de un espacio de Krein (K, [, ]) es or-
tocomplementado si L admite un subespacio complementario ortogonal, es
decir si K = L L

, donde L

= y K : [x, y] = 0, x L.
9. Observacion. Es conocido el hecho que en espacios de Hilbert todo sub-
espacio cerrado es ortocomplementado. En espacios de Krein esta propiedad
no siempre es cierta, como muestran los siguientes ejemplos.
10. Ejemplos. a) Sea K =
2
y [x, y] =

j=1
(1)
j
x
j
y
j
, donde x = (x
j
)
jN
,
y = (y
j
)
jN
son elementos arbitrarios de K. Como vimos en el ejemplo 1,
(K, [, ]) es un espacio de Krein pues basta tomar A = 2n : n N, de
modo que [x, y] =

jA
x
j
y
j

jA
x
j
y
j
.
Si denimos
L =
_
x K : x
2j
=
2j
2j 1
x
2j1
, j N
_
,
se puede probar lo siguiente:
) L es cerrado pues, si x L, existe (x
(n)
)
nN
L tal que x
(n)
x.
Es evidente (analogamente al ejemplo 1) que x
(n)
j
x
j
, j N. Como
x
(n)
2j
=
2j
2j1
x
(n)
2j1
, tomando lmites, x
2j
=
2j
2j1
x
2j1
, es decir x L.
332
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
) L es denido positivo pues, si x L,
[x, x] =

jN
(1)
j
[x
j
[
2
=

jN
[x
2j
[
2

jN
[x
2j1
[
2
=

jN
_
_
2j
2j 1
_
1
_
[x
2j1
[
2
=

jN
4j 1
(2j 1)
2
[x
2j1
[
2
0
y [x, x] = 0 = x
2j1
= 0, j = x
2j
= 0, j.
) L

= y K : y
2j
=
2j1
2j
y
2j1
, j pues, si [x, y] = 0, x L, en
particular
_
e
2j1
+
2j
2j1
e
2j
, y
_
= 0 = y
2j1
+
2j
2j1
y
2j
= 0 = y
2j
=
2j1
2j
y
2j1
, j.
Recprocamente, si y
2j
=
2j1
2j
y
2j1
, j = [x, y] = 0, x L pues
[x, y] =

jN
x
2j
y
2j

jN
x
2j1
y
2j1
=

jN
2j
2j 1
x
2j1

2j 1
2j
y
2j1

jN
x
2j1
y
2j1
= 0.
) Veamos por ultimo que L no es ortocomplementado, es decir LL

,= K.
Para ello consideramos x K de la forma x
2j1
= 0, x
2j
= 1/(2j) y
supongamos que existen y L, z L

tales que x = y +z. Entonces

x
2j1
=y
2j1
+z
2j1
= 0 = y
2j1
= z
2j1
x
2j
= y
2j
+z
2j
=
1
2j
=
1
2j
=
2j
2j 1
y
2j1
+
2j 1
2j
z
2j1
=
1
2j
=
_
2j
2j1

2j1
2j
_
y
2j1
=
4j
2
(2j1)
2
2j(2j 1)
y
2j1
= y
2j1
=
2j 1
4j 1
, j.
Sin embargo, la sucesion y = (y
2j1
)
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 enton-
ces:
- 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
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Observacion. Dos referencias basicas correspondientes a este tema son [An]
y [Bog].
334