Resumen Espacios de Hilbert

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

Espacios de Hilbert

Definici
on (Producto Escalar). Sea H un e.v.. Un producto escalar h, i es una forma bilineal
(es decir, una funcion lineal en ambas variables) en H H a valores en R que verifica
hx, yi = hy, xi para todo x, y H,
hx, xi 0 para todo x H y
hx, xi =
6 0 para todo x 6= 0.
Proposici
on (Desigualdad de Cauchy-Schwarz). Si H es un e.v. y h, i es un producto escalar en
H, se tiene
hx, yi2 hx, xihy, yi x, y H.
Demostracion. Si y = 0 es trivial por la bilinealidad de h, i. Supongamos y 6= 0. Sea
hx, yi
.
z = x
y.
hy, yi
As,
hz, yi =
Luego, como x =

hx,yi
y
hy,yi

hx, yi
y, y
x
hy, yi

= hx, yi

hx, yi
hy, yi = 0.
hy, yi

+ z,



hx, yi
hx, yi
hx, xi =
y + z,
y+z
hy, yi
hy, yi
hx, yi
hx, yi2
hy, yi + 2
hy, zi + hz, zi
=
2
hy, yi
hy, yi
hx, yi2
hx, yi2
hx, yi2
hy,
yi
+
hz,
zi
=
+
hz,
zi

,
=
hy, yi2
hy, yi
hy, yi
ya que hz, zi 0. Mutliplicando por hy, yi, que es no negativo, se concluye la desigualdad.
Definici
on (Espacio de Hilbert). Un espacio de Banach H dotado de un producto escalar que
ademas verifica kxk2 = hx, xi para todo x H se dice espacio de Hilbert.
1

Observaci
on. Es importante destacar que en la definicion el espacio debe ser de Banach. Un
e.v.n. no completo que verifica las demas propiedades se conoce como espacio pre-Hilbert.
Observaci
on. La desigualdad de Cauchy-Schwarz en un espacio de Hilbert H se escribe
hx, yi2 kxkkyk x, y H.
Proposici
on (Ley del Paralelogramo). En un espacio de Hilbert H se tiene la siguiente igualdad
kx + yk2 + kx yk2 = 2(kxk2 + kyk2 ).
Demostracion.
kx + yk2 + kx yk2 = hx + y, x + yi + hx y, x yi
= hx, xi + 2hx, yi + hy, yi + hx, xi 2hx, yi + hy, yi
= 2hx, xi + 2hy, yi = 2(kxk2 + kyk2).

La siguiente figura ilustra la intuicion geometrica detras de esta igualdad:

y
b

x+y

xy

Figura 1: Ley del Paralelogramo: La suma de los cuadrados de los largos de las diagonales de un
paralelogramo es igual a la suma de los cuadrados de los largos de los lados de este.
Teorema (de la Proyeccion). Sea C H convexo y cerrado. Para todo x H existe un u
nico
y C tal que
kx yk = mn kx zk = d(x, C).
zC

Mas a
un, y es el u
nico elemento de C que verifica
hx y, z yi 0 z C.
Llamamos a y la proyecci
on de x en C y lo denotamos PC (x).
Demostracion.
Existencia: Sea (yn ) una sucesion minimizante, es decir, una sucesion en C que verifica
.
.
dn = kx yn k d(x, C) = d.
Veamos que (yn ) es de Cauchy. Aplicando la ley del paralelogramo a x yi y x yj y
dividiendo por 4, obtenemos:

2
2




x yi yj + yi yj = 1 (d2 + d2 ).
j



2
2
2 i
Como

yi +yj
2


C, se tiene que x

yi +yj 2
2

d2 . Luego,



yi yj 2 1 2
2
2


2 2 (di + dj ) d .

Como di d, dj d, se concluye que (yn ) es de Cauchy. Obtenemos que existe y H tal


que yn y, por lo que existe y C (ya que C es cerrado) que verifica kx yk = d.
Caracterizacion: Si kx yk = d y z C, definamos w = (1 )y + z C para todo
(0, 1]. Entonces,
kx yk kx wk = kx [(1 )y + z]k = k(x y) (z y)k
= kx yk2 kx yk2 2hx y, z yi + 2 kz yk2
= 2hx y, z yi kz yk2 .
Como esto se cumple para todo , tomamos 0 para concluir que hx y, z yi 0. Por
otro lado, y C verifica hx y, z yi 0 para todo z C, entonces
kx yk2 kx zk2 = hx y, x yi hx z, x zi
= hx y, 2(z y) 2(z y) + x yi hx z, x zi
= 2hx y, z yi + hx y, x + y 2zi hx z, x zi
= 2hx y, z yi + h(x z) + (y z), x yi hx z, x zi
= 2hx y, z yi + hx z, z yi hz y, x yi
= 2hx y, z yi kz yk2 0
para todo z C, lo que implica que kx yk kx zk para todo z C
3

Unicidad: Si y1 , y2 C satisfacen la caracterizacion, entonces


hx y1 , z y1 i 0 z C
hx y2 , w y2 i 0 w C.
Tomando z = y2 y w = y1 , obtenemos
hx y1 , y1 y2 i 0
hx y2 , y1 y2 i 0.
Sumando estas desigualdades concluimos que hy1 y2 , y1 y2 i = ky1 y2 k2 0, por lo que
y1 = y2 .

Observaci
on. Un caso particular importante es cuando el conjunto convexo cerrado es un sub-e.v.
cerrado F de H. En este caso, si x H tenemos que la proyeccion y F de x sobre F verifica
hx y, z yi 0 z F.
Podemos pensar en zy como un elemento arbitrario de F , ya que es un sub-e.v.. Luego, obtenemos
hx y, zi 0 z F.
Ademas, esto tambien debe cumplirse para z, porque es un elemento arbitrario de F . As,
hx y, zi 0 z F.
Concluimos que la caracterizacion de la proyeccion sobre un sub-e.v. cerrado se escribe
hx y, zi = 0 z F
o equivalentemente
hx, zi = hx, yi z F.
Teorema (Representacion de Riesz). Dado x H , existe un u
nico x H tal que hx , xi = h
x, xi
para todo x H. Ademas, k
xkH = kx kH . Esto muestra que H y H son isomorfos isometricos.
Demostracion.
Existencia: Sea F = Ker x . Se sabe que F es un sub-e.v. cerrado de H. Si F = H, tendramos
que x = 0 y el resultado es trivial. Supongamos que F H.
Encontraremos y H de norma 1 y tal que hy, zi = 0 para todo z F . En efecto, sea
y0 H \ F . Sea
. y0 PF (y0 )
y=
ky0 PF (y0 )k
4

que verifica lo pedido, ya que




1
y0 PF (y0 )
,z =
hy0 PF (y0 ), zi = 0
hz, yi =
ky0 PF (y0 )k
ky0 PF (y0 )k
para todo z F , por la caracterizacion de la proyeccion. Es claro que kyk = 1.
Dado x H, sea z = x y con =

hx ,xi
hx ,yi

(como y
/ F se tiene que hx , yi =
6 0). Entonces,

hx , zi = hx , xi hx , yi = 0,
por lo que z F . Obtenemos que hy, zi = 0, o sea
hy, zi = hy, x yi = hy, xi hy, yi = 0
lo que muestra que
hy, xi = hy, yi =

hx , xi
hx , xi
hy,
yi
=
.
hx , yi
hx , yi

Tomando x = hx , yiy, se concluye que h


x, xi = hx , xi para todo x H.
Unicidad: Si hx , xi = hx1 , xi = hx2 , xi para todo x H, obtenemos que hx1 x2 , xi = 0
para todo x H. Tomando x = x1 x2 concluimos que kx1 x2 k2 = 0, es decir, que x1 = x2 .
Isometra: Si hx , xi = h
x, xi para todo x H,
x, xi k
xk
kx kH = sup hx , xi = sup h
kxk=1

kxk=1

por la desigualdad de Cauchy-Schwarz. Ademas, el supremo se alcanza tomando x =


x kH .
por lo que kx kH = k

,
k
xk

Corolario. Todo espacio de Hilbert es reflexivo.


Demostracion. Sea H un espacio de Hilbert. Consideremos : H H la isometra de Riesz.
Podemos dotar en H una estructura de espacio de Hilbert con el producto interno
hx , y i = h1 (x ), 1 (y )i.
Sea : H H la isometra de Riesz entre H y H . Dado x H , existira entonces x H
tal que x = ((x)). As, si x H :
hx , x i = h ((x)), x i = h(x), x i = hx , xi
por lo que x = J(x) y se tiene que H es reflexivo. Ademas, = J.

También podría gustarte