Professional Documents
Culture Documents
Observacion:
El conjunto de las proyecciones podra ser vaco.
Las proyecciones pueden no ser unicas. Es por ello, que en general no se puede hablar de la proyeccion.
Teorema: (Existencia de proyeccion sobre compactos) Sea C X un conjunto compacto, entonces para todo x X, el
conjunto de sus proyecciones sera no vaco.
Demostracion: Sea x X. Consideremos el mapeo kx k : C R, que es continuo, por ser composicion de funcio-
nes continuas. Dado que esta definida sobre un compacto, se tiene que alcanza su mnimo sobre un punto p C y se
tendra por tanto que dC (x) = kx pk
El resultado anterior es valido para cualquier espacio vectorial normado. Ahora, supondremos que X es un espacio de
Hilbert y veamos que las hipotesis para el conjunto C se pueden relajar.
b+c
Lema: Sea H un espacio de Hilbert y C un conjunto convexo. Sean a, b, c C y m = 2 . Entonces
2 2 2 1 2
ka bk + ka ck = 2ka mk + kb ck
2
Demostracion: Auxiliar #1.
Teorema: Sea H un espacio de Hilbert y C H un conjunto convexo cerrado no vaco. Entonces, todo a X, tiene
una unica proyeccion u sobre C, vale decir
ka uk = nf ka ck (1)
cC
ha u, x ui 0 x C (2)
Demostracion: Dado que la distancia dC (a), esta definida como un nfimo sobre elementos de C. Debe existir una
sucesion (xk )kN C infimizante, vale decir, que satisface
dC (a) = lm kxk ak
k
El espritu es probar que (xk ) converge, pues si xk x, por ser C un conjunto cerrado, se tendra que x C y por
la continuidad del mapeo ka k, se tendra que dC (a) = kx ak. Dado que estamos trabajando en un espacio de
Hilbert, para probar la convergencia de una sucesion, hace falta probar que es de Cauchy. Del lema anterior, tomando
b = xi , c = xj , se tiene
2 2 2
kxi xj k = 2ka xj k + 2ka xi k 4ka mk
2 2
2ka xj k + 2ka xi k 4d2C (a)
Dado que la sucesion (xk ) era infimizante, se tiene que
2
> 0, n0 N, n n0 : 2ka xk k 2d2C (a) /2
De esto se sigue que tomando i, j n0 , se tendra que kxi xj k , con lo que se concluye que la sucesion converge a
un punto x C, que corresponde a una proyeccion de a sobre C.
Hasta aqu hemos probado la existencia de la proyeccion. Antes de probar la unicidad, mostremos la equivalencia entre
(1) y (2). Para ello, probemos la doble implicancia.
v = (1 )u + w C [0, 1]
Por lo tanto,
2 2 2
ka uk ka uk 2ha u, w ui + 2 kw uk
Lo que implica que
2
2ha u, w ui kw uk (0, 1]
Tomado lmite 0, se obtiene lo pedido.
(=) Sea u que satisface (2). Se tiene que
2 2
ka xk = ka u (x u)k
2 2
= ka uk 2ha u, x ui + kx uk
| {z } | {z }
0 0
Ahora procedamos con la unicidad. Sean u1 , u2 proyecciones, lo que equivale a que ambas satisfagan (2), es decir
ha u1 , v u1 i 0 v K
ha u2 , v u2 i 0 v K
2
Eligiendo v = u2 en la primera desigualdad, v = u1 en la segunda y sumando, se obtiene que ku1 u2 k 0. De lo que
se concluye que u1 = u2
Corolario: Sea M H un s.e.v cerrado. Sea a H, luego la proyeccion u, de a sobre M , esta caracterizada por
ha u, vi = 0 v M
Proposicion: Sea K H un convexo cerrado no vaco. Entonces, la aplicacion pK : H K que a cada punto le asigna
su proyeccion es Lipschitz de constante 1, es decir,
ha u1 , v pK (x)i 0 v K
ha u2 , v pK (y)i 0 v K
2
Teorema: (Representacion de Riesz-Frechet) Sea H un espacio de Hilbert y : H R lineal continua. Entonces, existe
un unico u H tal que
(x) = hu, xi x H
Demostracion: Si es la funcion nula, la proposicion es cierta con u = 0. Suponiendo que esto es cierto para un u 6= 0,
2
basta con evaluar en u y se tiene que (u) = kuk = 0, lo que es una contradiccion.
Supongamos que es no nula. Dado que es lineal y continua, se tendra que M = Ker = {x H | (x) = 0} es un
hiperplano cerrado. Sea a1 H \ M y a2 = pM (a1 ) (notar que esta proyeccion existe y es unica, dado que M es convexo
y cerrado), luego definimos
a1 a2
g=
ka1 a2 k
Se puede comprobar que kgk = 1 y hg, vi = 0 v M (esto se tiene por el corolario visto antes). Sea x H, definimos
(x)
v =x g
(g)
Notemos que v esta bien definido, y mas aun v M (por que?). Dado que v M , se tiene que hg, vi = 0, por lo tanto,
de la definicion de v, se tiene que
(x)
hg, vi = hg, xi hg, gi
(g) | {z }
=1
= (x) = (g)hg, xi
= (x) = h(g)g, xi
Por lo tanto, hemos probado la existencia de un representante para , que corresponde a u = (g)g. Veamos la
unicidad, sean u1 , u2 dos representantes para . Entonces: