Professional Documents
Culture Documents
xm ym
xm ym ,
m6A
mA
(xm + ym ) zm
X
mA
(xm + ym ) zm
m6A
mA
xm zm +
y m zm
xm zm
m6A
mA
y m zm
m6A
m6A
mA
327
m6A
mA
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 .
(n)
+
+
[x+
n xm xn + xm , xn xm + xn xm ] 0
+
+
+
= [x+
n xm , xn xm ] [xn xm , xn xm ] 0,
+
Si llamamos x = x + x , entonces
+ +
+
) 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 ).
) G es lineal:
hG(ax1 + bx2 ), yi
2j
x2j1 , j N ,
2j 1
2j
2j1
(n)
x2j1 ,
2j
2j1
xj , j N. Como
x2j1 , es decir x L.
jN
jN
X 4j 1
X 2j
=
1 |x2j1 |2 =
|x2j1 |2 0
2j 1
(2j 1)2
jN
jN
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
Observaci
on. Dos referencias basicas correspondientes a este tema son [An]
y [Bog].
334