sesion 9

axe500rony

September 2022

0.1. Espacios Uniformemente Convexos

Nuestra
intuicion geometrica nos dice claramente que la bola
unitaria cerrada

del espacio euclidiano
R2 , ∥ · ∥2 es redonda, encuanto que los dos espacios R2 , ∥ · ∥1 y R2 , ∥ · ∥∞ no son nada redondas,
en verdad son cuadradas. Esos dos ultimos ejemplos son extremos, pues sus esferas unitarias contienen
segmentos de rectas.
Para evitar que la esfera cerrada SE = {x ∈ E : ∥x∥ = 1} de un espacio E contenga segmentos de
recta, basta pedir que si x, y ∈ BE , entonces el punto medio del segmento que une x e y debe estar en
el interior de la bola, esto es,

x + y
2 < 1 siempre que ∥x∥ ≤ 1 y ∥y∥ ≤ 1.

Pero la esfera unitaria de R2 , ∥ · ∥2 , o sea, la circunferencia, satisface una propiedad aun mas fuerte
de que simplemente no contener segmentos de recta. Fije una distancia ε > 0 y tome dos puntos x e
y cualesquiera en la circunferencia que disten por lo menos ε entre si. Apelando nuevamente para la
intuicion geometrica, percibimos que, independientemente de donde se localizan los puntos x e y en
la circunferencia, el punto medio del segmento que los une permanece dentro de la circunferencia y,
mas importante, a una distancia segura de la circunferencia. O sea, podemos variar los puntos x e y
en la circunferencia, apenas manteniendolos una distancia ε, y no hay riesgo que el punto medio del
intervalo que los une se aproxime peligrosamente a la circunferencia. Estudiaremos en esta seccion los
espacios normados que comparten con los espacios euclideanos ese comportamiento uniforme de los
puntos de la bola unitaria.

Definición 1 Decimos que un espacio normado E es uniformemente convexo o, mas precisamente,

que su norma es uniformemente convexa si, para cada ε > 0 existe δ = δ(ε) > 0 tal que

x + y
∀x, y ∈ BE y ∥x − y∥ ≥ ε −→
≤ 1 − δ sempre que
2

Como dos puntos de BE distan 2 a lo maximo entre si, es suficiente mostrar la condicion de arriba
para 0 < ε ≤ 2.
algunos libros mas recientes emplean el termino espacio uniformemente redondo (uniformly rotund
space), que de hecho traduce mejor la idea geometrica subyacente.

1
Ejemplo 1 Todo espacio de Hilbert H es uniformemente convexo. En efecto, dados x, y ∈ BH y
0 < ε ≤ 2, teniendo en cuenta que en todo espacio de Hilbert se cumple la ley del paralelogramo,
resulta que si ∥x − y∥ ≥ ε entonces
x + y 2 ∥x + y∥2 ∥x∥2 ∥y∥2 ∥x − y∥2 ε2

1
2 =
= (2∥x∥2 + 2∥y∥2 − ∥x − y∥2 ) = + − ≤1− .
4 4 2 2 4 4
asi vemos que
x + y 2 ε2

2 ≤1− 4

por lo que sacando raiz

 1
2 2
x + y
≤ 1− ε
2 4
esto es equivalente a
"  1 #
2 2
x + y ε
2 ≤1− 1− 1− 4

1
basta entonces tomar δ = 1 − 1 − ε2 /4 2 > 0

Ejemplo 2 Los espacios R2 , ∥ · ∥∞ y R2 , ∥ · ∥1 no son uniformemente convexos. De hecho, dado
0 < ε < 1, basta tomar dos vectores que estan en el mismo segmento de la recta de la esferea unitaria
y distan ε uno del otro. Completando con cero en las demas coordenadas, transformamos esos pares
ordenados en sucesiones, lo que prueba que los espacios c0 , ℓ1 y ℓ∞ no son uniformemente convexos.

Observación 1 Como R2 , ∥ · ∥2 es Hilbert, los ejemplos de arriba muestran, en particular, que un
espacio isomorfo a un espacio uniformemente convergente no siempre es uniformemente convexo.

Trabajaremos ahora en el sentido de probar que espacios uniformemente convexos son reflexivos, lo
que, por un lado garantiza una buena propiedad a los espacios uniformemente convexos y, por otrolado,
nos da muchos ejemplos de espacios que no son uniformemente convexos.
Sea (I, ≤) un conjunto dirigido. En I ×I consideramos la direccion natural dada por (α1 , α2 ) ≤ (β1 , β2 )
si y solamente si α1 ≤ β1 y α2 ≤ β2

Lema 1

Teorema 1

∞
Proposición 1 Sea E un espacio de Banach uniformemente convexo y (xn )n=1 una secuencia en E.
w
Si xn −→ x y ∥xn ∥ −→ ∥x∥, entonces xn −→ x.
Demostración No hay nada que hacer en el caso en que x = 0. Supongamos entonces x ̸= 0.
En este caso, siendo ∥x∥ > 0 y por la convergencia ∥xn ∥ −→ ∥x∥ podemos tomar n0 ∈ N tal que
∥xn ∥ > 0, ∀ n ≥ n0 . Llamemos
x xn
y= e yn = , ∀n ≥ n0
∥x∥ ∥xn ∥
w
Por hipotesis tenemos que xn −→ x y de eso es facil ver que
w
yn −→ y

2
por la linealidad de los funcionales y por ∥xn ∥ −→ ∥x∥.
Como y ̸= 0, por el teorema de Hahn-Banach en la forma del corolario tenemos que existe φ ∈ E ′ con
∥φ∥ = 1 y φ(y) = ∥y∥ = 1.
Entonces para todos n, m ≥ n0
    
≤ ∥yn ∥ + ∥ym ∥ .
 φ (yn ) φ (ym )   yn + ym  yn + ym
 2 +
  = φ
 ≤
2  2  2 2 2

asi teniendo  
 φ (yn ) φ (ym )  yn + ym ∥yn ∥ ∥ym ∥
 2 +
  ≤ ≤ +
2  2 2 2
pasando limite cuando m, n van al infinito tenemos que (sabiendo que φ (yn ) −→ φ(y) = 1 y claramente
∥yn ∥ = 1)
yn + ym
lı́m =1
m,n 2

∞
y por el lema 6.6.5 nos dice que la secuencia (yn )n=1 es de cauchy, luego convergente en la topologia
de la norma (claramente por la completitud de E)

yn −→ z

, y por consiguiente en la topologia debil, para un cierto z.

w w
Entonces tendriamos que yn −→ y y yn −→ z siendo la topologia debil un espacio de hausdorff tenemos
que z = y.
y finalmente demostraremos que xn −→ x, acotando de la siguiente manera

∥xn − x∥ = ∥∥xn ∥yn −∥ x∥y∥ ≤ ∥∥xn ∥yn −∥ xn ∥y∥ + ∥∥xn ∥y − ∥x∥y∥

= ∥xn ∥ · ∥yn − y∥ + | ∥xn ∥ − ∥x∥∥ · ∥y∥

asi tenemos que

∥xn − x∥ ≤ ∥xn ∥ · ∥yn − y∥ + | ∥xn ∥ − ∥x∥∥ · ∥y∥
pasando limite y del hecho que

∥xn ∥ es limitado
yn −→ y convergente
∥xn ∥ −→ ∥x∥ tenemos que

lı́m ∥xn − x∥ = 0
asi concluyendo que xn −→ x □