Andrs Merino Anlisis Funcional

Teorema 1. Sean E un espacio de Banach uniformemente convexo, A E un conjunto cerrado,

convexo, no vaco. Entonces existe x A tal que x y para todo y A.
Lema 1. Sea E un espacio de Banach uniformemente convexo. Entonces, para todo M > 0 y para
todo > 0 existe > 0 tal que

x + y
2

1
2
x
2
+
1
2
y
2
,
para todo x, y E con x M, y M y x y > .
Demostracin del Teorema. Sean E un espacio de Banach uniformemente convexo, A E un conjunto
cerrado, convexo, no vaco. Por el absurdo, supongamos que para todo x A existe y A tal que
y < x. Tomemos d = nf
xA
x. Para n = 1, existe y
1
A tal que y
1
d + 1; ahora, por
induccin, para n N, existe y
n
A tal que
y
n
d +
1
n
y y
n
< y
n+1
.
n-1 Por lo tanto obtenemos la sucesin (y
n
) en A tal que y
n
d cuando n +y y
n
< y
n+1
.
Tenemos que la sucesin (y
n
) es de Cauchy, pues de no ser as, existira > 0 tal que para todo N N
existen n, m N tales que
n > m > N y y
n
y
m
> .
Dado que la sucesin (y
n
) es convergente, est acotada, por lo tanto existe M > 0 tal que
y
n
M para todo n N. Podramos aplicar el lema para M y , y obtendramos que existe > 0
tal que

x + y
2

1
2
x
2
+
1
2
y
2
,
para todo x, y E con x M, y M y x y > .
Tomando N
0
N tal que
N
0
> max

,
4d

,
para este N
0
existiran n, m N tales que
n > m > N
0
y y
n
y
m
> ,
y dado que y
n
M, y
m
M y y
n
y
m
> obtendramos

y
n
+ y
m
2

1
2
y
n

2
+
1
2
y
m

2
. (1)
Por otro parte tenemos que
y
n
d +
1
N
0
y y
m
d +
1
N
0
,
por lo tanto
1
2
y
n

2
+
1
2
y
m

2
d
2
+ 2
d
N
0
+
1
N
2
0
;
reemplazando esto ltimo en (1) obtendramos

y
n
+ y
m
2

2
d
2
+ 2
d
N
0
+
1
N
2
0
.
1
Por la forma que se tom N
0
, se tiene que 2
d
N
0
+
1
N
2
0
< 0, por lo tanto, tendramos

y
n
+ y
m
2

2
< d
2
,
de donde obtendramos

y
n
+ y
m
2

< d,
pero al ser A convexo,
y
n
+y
m
2
A, y por la denicin de d,

y
n
+ y
m
2

d,
lo cual no puede darse. Por lo tanto (y
n
) necesariamente debe ser de Cauchy y, al ser E de Banach,
existe y E tal que y
n
y y por la continuidad de la norma obtenemos y = d, lo cual implica que
y / A pues de estarlo, existira y A tal que y < d lo cual contradice la denicin de d, por lo tanto
hemos obtenido una sucesin (y
n
) en A que converge a un elemento que no est en A, por lo tanto A
no es cerrado, lo que contradice la hiptesis. Quedando as demostrado el teorema.
Demostracin del Lema. Por el absurdo, supongamos que existen M > 0 y > 0 tal que para todo
> 0 existen x, y E tal que
x M, y M, x y >
y

x + y
2

2
>
1
2
x
2
+
1
2
y
2
.
Por lo tanto, se pueden formar sucesiones (x
n
) y (y
n
) tales que
x
n
M, y
n
M, x
n
y
n
>
y

x
n
+ y
n
2

2
>
1
2
x
n

2
+
1
2
y
n

1
n
. (2)
Puesto que las sucesiones (x
n
) y (y
n
) son acotadas, tienes subsucesiones convergentes. Por sim-
plicidad, a estas subsucesiones las renombramos (x
n
) y (y
n
), y sean a y b sus lmites respectivos,
aplicando desigualdad triangular a (2) obtenemos

x
n
+y
n

2
>
1
2
x
n

2
+
1
2
y
n

1
n
.
Aplicando el lmite cuando n + se obtiene
1
2
a
2
+
1
2
b
2

a+b
2

2
, de donde, desarrollando, se
obtiene (a b)
2
0 y por lo tanto a = b.
Tomemos b
n
= max{x
n
, y
n
} se tiene que b
n
= 0 pues x
n
y
n
> y adems b
n
a cuando
n +, ahora tomemos
x

n
=
x
n
b
n
y y

n
=
y
n
b
n
se tiene que x

n
1, y

n
1 y, puesto que x
n
y
n
> , x

n
y

n
>

b
n
; al ser el espacio
uniformemente convexo, existe
0
> 0 tal que

n
+ y

n
2

1
0
,
por lo tanto

x
n
+ y
n
2

2
(1
0
)
2
b
2
n
.
De este ltimo y de (2) obtenemos
1
2
x
n

2
+
1
2
y
n

1
n
< (1
0
)
2
b
2
n
,
tomando lmite cuando n + se obtiene a
2
(1
0
)
2
a
2
, lo cual es absurdo, pues 0 < 1
quedando as demostrado el lema.
2