Академический Документы
Профессиональный Документы
Культура Документы
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
AP
ENDICE 1
INTRODUCCI
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
.
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
, [, ]) es tambien pre-Hilbert.
Como los productos de K
+
y 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
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
, entonces el
operador J = P
+
P
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
, 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
, x
] 0 y [x
, x
] = 0 = x
= 0
(al ser K
+
y K
] = 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
).
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
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