2.1.

Introduccin o

El estudio de la geometr de los espacios de Banach est relacionado con la bola a a unitaria BE . Las primeras consideraciones sobre los espacios estrictamente convexos (EC), tambin llamados espacios rotundos (R) se deben a A. J. Clarkson y M. G. Krein quienes e las introdujeron de forma independiente, dando algunas propiedades interesantes de esta clase de espacios de Banach. Para darnos una idea geomtrica de este tipo de espacios, imaginemos la bola unitaria e cerrada en los espacios (2 ,
2)

(f ig1), (1 ,

2)

(f ig2) y ( ,
.c om

2)

(f ig3)

at ic

a1

( ,
2)

2)

(2 ,

2)

em
ww w.

(1 ,

Figura 1

M
Figura 2

at

Figura 3

Ntese que ninguno de las bolas unitarias de las dos ultimas guras mencionadas son o redondas en el sentido usual de la palabra, ya que sus fronteras; las cuales se llaman esferas, estn formadas por cuatro segmentos de linea recta, como tambin no son lisos debido a a e que dichas guras tienen cuatro esquinas. Es evidente que esto no ocurre con la gura 1

referente al espacio (2 ,

2 ).

Todo lo antes mencionado se conoce como la propiedad de

rotundidad o redondez de los espacios de Banach estrictamente convexos. El propsito de este cap o tulo es dar la denicin de espacios estrictamente convexos o (EC) introducida por J.A. Clarkson en 1936 [12], en su art culo sobre los espacios uniformemente convexos (U C). En dicho art culo Clarkson la dene como una propiedad muy especial de los espacios normados cuyas bolas unitarias son redondas, en el sentido de que la esfera unitaria no posee segmentos rectil neos.

2.2.

Espacios Estrictamente Convexos

de Banach (E, . ), con se dice que es estrictamente x = y.

Denicin 2.1. Un espacio o

convexo, (EC), si para todo x, y SE segmentos lineales.

x+y =2

se tiene que

Geomtricamente, sta denicin nos dice que la esfera unitaria del espacio no contiene e e o

A continuacin damos algunos ejemplos de espacios de Banach que son estrictamente o

x+y

= 2, con

= y
ww

at

Sean x, y IRn , x = (x1 , . . . , xn ), y = (y1 , . . . , yn ). Supongamos que para x, y SE

2

em
= 1.

at

Ejemplo 2.1. (IRn ,

2)

es EC.

ic

a1
n 2 1/2

convexos.

w.

.c o

x+y Veamos que x = y.

=
i=1

(xi + yi )

4 =

x+y
n

2 2

=
i=1 n

|xi + yi |2
n

=
i=1

2 |x2 + 2xi yi + yi | i

i=1

|xi |2 + 2

i=1

|xi yi | +

i=1

|yi |2
n

4 2+2
n

i=1

|xi yi |

i=1

|xi yi |

Entonces i = 1, . . . , n

xi = yi

i = 1, . . . , n

ya que si suponemos

x i = yi

para algn u

xi xi = yi xi
n n

i = 1, . . . , n

x2 = i
i=1 i=1

xi yi

1 = 1 Luego, x = y.

()

Teorema 2.1. Todo espacio con producto interno es E.C. Demostracin. o x = y = 1 y Sea H un espacio con producto interno y sean x, y H con

x+y de lo anterior tenemos que: xy As

em

at
2

ic

Puesto que todo espacio con producto interno satisface la ley del paralelogramo, tenemos + xy
w.

a1

.c o

x + y = 2.

2( x

m
2

+ y 2)

(2.1)

ww

M
2

at
+ y 2) x + y

2( x

(2.2)

xy = luego; x=y

Evidentemente de lo anterior se tiene que todo espacio de Hilbert es EC. Ejemplo 2.2. (IR2 ,
2 ),

(2 ,

2 ),

(L2 ,

2)

son espacios estrictamente convexos

ya que cada uno de ellos es un espacio de Hilbert.

Seguidamente daremos ejemplos de espacios de Banach que no son estrictamente convexos. Ejemplo 2.3. (IRn , Prueba.Sean x, y IRn con x = e1 y = e2 entonces; x+y entonces x+y 2 Por lo tanto (IRn ,
1) 1)

no es EC.

= =

(1, 0, 0, . . . , 0) (0, 1, 0, . . . , 0)

x
1

= y

=1 ;

adems a
1

(1, 0, 0, . . . , 0) + (0, 1, 0, . . . , 0)

(1, 1, 0, . . . , 0)

Ejemplo 2.4. (IRn , Prueba Consideremos

no es EC.

ww

w.

entonces, x pero por denicin x = y. o

= y

at

Del ejemplo anterior se tiene que en particular, para n=2, (IR2 ,

em

at

no es EC.

ic

a1

.c o

pero

x=y

1)

no es EC.

x = e1 + e2 y = e1 e2

=1

x+y =2

Otros ejemplos de espacios que no son EC. 1.- (C0 , 2.- ( ,

) )

Existen otros ejemplos clsicos de espacios estrictamente convexos, entre los cuales a podemos indicar: 1.- (p , 2.- (Lp ,
p ), p ), p ),

1 < p < . 1 < p < . 1 < p < .

3.- (C[a,b] ,

La prueba de los anteriores ejemplos ser dada en los prximos cap a o tulos una vez que veamos algunas caracterizaciones de los espacios estrictamente convexos.

A.J. Clarkson [12], en su trabajo, mostr un conjunto de desigualdades las cuales son o
.c o m

de utilidad para estudiar las propiedades geomtricas de los espacios Lp y p . e Lema 2.1. Si

Si

son cero, entonces la desigualdad es trivial. Ahora sin perdida de

generalidad podemos asumir que ninguno de los dos es cero. Es obvio que a2 1 a2 + b2 as dado que p/2 1 , bp p/2 ap p/2 + 2 = a2 + b2 a + b2 a2 a2 + b2 y b2 1 a2 + b2
p/2

ww

Demostracin. o

w.

) (a2 + b2 ) 2 2

at

p2 2

(ap + bp ).

em

) ap + bp (a2 + b2 ) 2

at

ic

2p<

a, b R,

a0

a1

b 0, entonces

b2 a2 + b2

p/2

b2 a2 + 2 a2 + b2 a + b2

= 1.

Luego, ap + bp (a2 + b2 )p/2 p > 2, consideremos p = p/2 > 1

) y

Ntese que si p = 2 la desigualdad es trivial. Si o q =

p (p 1)

p (p2) ,

luego 1 1 + =1 p q

y utilizando la desigualdad de Hlder para sumas nitas, tenemos o a2 + b2 ((a2 )p + (b2 )p )1/p

= (ap + bp )2/p (2p2/2 )

y de ac se tiene, a a2 + b2 2p2/2 (ap + bp )

Teorema 2.2. (Desigualdades de Clarkson)[12]

em
p p

p q

p q q

at

(i.)

f +g 2 f +g 2

f g 2

1 f 2

p p

1 g 2

ic
p p

Demostracin. Una prueba detallada de este teorema la podemos encontrar en [20] y o [46].

ww

w.

(ii.)

f g + 2 q

1 f 2

at

1 + g 2

a1
,
p p

sean f, g Lp () y

p, q exponentes conjugados, entonces: si p 2.

1 p1

.c o

si 1 < p < 2.