Resumen Espacios de Hilbert
Resumen Espacios de Hilbert
Resumen 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).
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 .
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
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
kxk=1
,
k
xk