Professional Documents
Culture Documents
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 ).
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.
x+y =2
se tiene que
Geomtricamente, sta denicin nos dice que la esfera unitaria del espacio no contiene e e o
x+y
= 2, con
= y
ww
at
em
= 1.
at
2)
es EC.
ic
a1
n 2 1/2
convexos.
w.
.c o
=
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
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)
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)
no es EC.
ww
w.
= y
at
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
Existen otros ejemplos clsicos de espacios estrictamente convexos, entre los cuales a podemos indicar: 1.- (p , 2.- (Lp ,
p ), p ), 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
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.
) y
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
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
.c o
si 1 < p < 2.