Módulo de Convexividad

Sofı́a Jijón Albán

7 de octubre de 2010

1. Motivación
Vamos a remitirnos al texto de D. Bárcenas y L. Sánchez [1] titulado “Al-
gunas Notas sobre el Módulo de Convexidad” publicado en el año 1998.
En este texto se define justamente el Módulo de Convexidad de un espacio
de Banach, concepto desarrollado por M. Day al rededor de 1944, después de
que Clarkson haya introducido a los espacios uniformemente convexos y los es-
pacios estrictamente convexos; por lo que veremos además algunos resultados
que relacionan estas propiedades.

2. Notaciones
A lo largo de la presentación, se denotará:

- E un espacio de Banach,
- BE a la bola unitaria cerrada,
- SE a la esfera unitaria,

3. Definiciones
Definición 1. (Convexidad Uniforme) Un espacio de Banach E se dice
uniformemente convexo si para cada ε > 0 existe un δ > 0 de manera que:



x, y ∈ BE , kx − yk ≥ ε ⇒ kx + yk ≤ 2(1 − δ)

Definición 2. (Convexidad Estricta) Un espacio normado E se dice que es

estrictamente convexo si verifica cualquiera de las condiciones equivalentes:
i) Si x, y ∈ E, y kx + yk = kxk + kyk con y 6= 0, entonces existe t ≥ 0 tal que
x = ty.

i) si x, y ∈ SE y x 6= y, entonces kx + yk < 2.

1
Definición 3. (Módulo de Convexidad) La función δ : [0, 2] → [0, 1] defini-
da mediante
 kx + yk
δ(ε) = ı́nf 1 − : x, y ∈ SE , kx − yk = ε
2
se llama Módulo de Convexividad del espacio normado E.
Con esta definición, se tiene que E es estrictamente convexo si y sólo si
δ(2) = 1.

Por otro lado, definiendo:

n o
δ2 (ε) = ı́nf 1 − kx+yk
2 : x, y ∈ SE , kx − yk ≥ ε
n o
kx+yk
δ3 (ε) = ı́nf 1 − 2 : x ∈ SE , y ∈ BE , kx − yk = ε
n o
kx+yk
δ4 (ε) = ı́nf 1 − 2 : x ∈ SE , y ∈ BE , kx − yk ≥ ε
n o
kx+yk
δ5 (ε) = ı́nf 1 − 2 : x, y ∈ BE , kx − yk = ε
n o
kx+yk
δ6 (ε) = ı́nf 1 − 2 : x, y ∈ BE , kx − yk ≥ ε ,

Day desarrolló la siguiente propiedad:

δε = δ2 ε = δ3 ε = δ4 ε = δ5 ε = δ6 ε.

Definición 4. (Caracterı́stica de convexidad) Goebel define la caracterı́sti-

ca de convexividad de un espacio de Banach E como el número real:

ε0 = sup{ε : δ(ε) = 0}.

Con esta definición, se tiene que E es uniformemente convexo si y sólo si

ε0 = 0.
Definición 5. (Uniformemente No-Cuadrado) Un espacio de Banach en
uniformemente no-cuadrado si y sólo si ε0 < 2.

Definición 6. (Super-reflexivo) Un espacio de Banach es super-reflexivo si

y sólo si admite una norma equivalente con la cual resulta ser uniformemente
no-cuadrado.

4. Resultados
Teorema 1. (James-Enflo) Un espacio de Banach es super-reflexivo si y sólo
si admite una norma equivalente uniformemente convexa.

2
Teorema 2. Todo espacio de Banach admite una norma equivalente bajo la
cual, para 0 < ε1 < ε2 ≤ 2, se tiene:
ε2 − ε1

δ(ε2 ) − δ(ε1 ) ≤ δ(2) ;
2 − ε1

siendo δ(2) la mejor constante posible.

δ(ε)
Teorema 3. (Figiel) ε es monótona creciente para 0 < ε < 2.
Teorema 4. (Ullán)
ε0
lı́m δ(ε) = 1 −
ε→2− 2
Con este resultado, se puede demostrar la siguiente:
ε(2−ε0 )
Proposición 1. i) Si 0 < ε < 2, entonces δ(ε) ≤ 4 .
(2−ε0 )
ii) δ(2) ≥ 2 , alcanzándose la igualdad si y sólo si δ es continua en ε = 2.

Proposición 2. La igualdad en δ(ε) ≤ 2ε es posible sólo si ε = 0 o si ε = 2.

Esto último ocurre sólo si el espacio es uniformemente convexo.
Proposición 3. Si E es uniformemente convexo o de dimensión finita, entonces
δ(ε) es continua en ε = 2.
Este resultado nos ayuda a demostrar la siguiente:

Proposición 4. i) E es uniformemente convexo si y sólo si E es estrictamente

convexo y δ es continua en 2.
ii) Sea E de dimensión finita. Entonces E es uniformemente no-cuadrado si y
sólo si δ(2) > 0.

iii) E es super-reflexivo si y sólo si admite una norma equivalente con la cual

δ es continua y no idénticamente nula.

5. Nota
Con este último resultado se tiene como consecuencia que en espacios de
dimensión finita, la convexidad uniforme y la estricta coinciden.

Referencias
[1] D. Bárcenas y L. Sánchez: “Algunas Notas sobre el Módulo de Convexidad”,
Divulgaciones Matemáticas, Vol. 6, No. 1 (1998), 21-29.