Documente Academic
Documente Profesional
Documente Cultură
ESCUELA DE GRADUADOS
COMISION CALIFICADORA
Firma:
Firms
Miembro de la Comisión
Universidad de Santiago
Firma:
Prof. Dr. Jcé Sánchez
Universla41de Concepción
Al profesor Dr. José Sánchez H. por dirigir este trabajo, por sus sugerencias y
tiempo.
y Tecnológica, CONICYT, por financiar mis estudios durante el año 1995 gracias a
este trabajo demuestra que esta propiedad, que él llamó propiedad V, es equivalente
deternnnados conjuntos del dual del espacio coinciden con los relativamente
propiedad V, la cual se verifica cuando ciertos conjuntos del dual coinciden con los
herramientas.
propie(la(les y y V.
Este trabajo ha sido divi(lido en cinco capítulos.
relaciones entre las propiedades de los operadores cuyo dominio es C(íl), para algún
los resultados necesarios para el fin ya citado, se enuncian resultados que son
que a la mayoría de los espacios de sucesiones clásicos se les puede dar la estructura
de retículo de Banacli.
caracterizan por poder obtenerse ya sea como una propiedad intrínsica del espacio o
por el estudio de algunas clases de operadores que actúan en ellos, en este trabajo se
exploran ambas posibilidades. También se estudian algunos espacios particulares, en
operators, which domaiii is the considered space, with the class of all weakly
mtroduccd the concept of V - sets, in fact, the property Y is now defined by the
coiiicidence of the class of al! V - sets with the class of all relatively weak!y compact
Later in 1990, F. Bombal iii the paper On (V*) sets and Pelczyn.ski's property
(V*) , clefineci and studiecl the V* - sets, obtaining interesting properties about the
property V i'.
Finaily, iii 1992 J. Sánchez iii his work The V 0 pro perty in Banach lattices
foliowing the Pelczynski's ideas defined the V 0 property aud stablished similar
The inain purpose of this thesis is to join the inost important results about
CAPÍTULO 1: PRELIMINARES 1
APÉNDICE 75
BIBLIOGRAFÍA 76
CAPITULO 1
PRELIMINARES
1
Teorerria 1.2 (Schur). Sea (x11)11 E N C l. Son equivalentes
(i) (x11)11
E N es convergente (en norma) en P.
(u) (x11)11
EN
PS o.(11,
100)
- convergente en 1 1 .
Demo8tración. Ver [16] pag. 216.13
vi
Las demostraciones (le estos resultados pueden verse en [5].
Eberlien - Smnulian, el cual nos permite definir los compactos de la topología débil
Definición 1.4. (a) Se dice que (x11)11 E N es una base (le Schauder para X si para cada
conjunto en cuestión).
3
Teorema 1.5 (Principio de Selección de Bessaga - Pelczynski). Sea (xn)n E N una
sucesión (l('4)ilmente nula tal que 11 x11 11 = 1 para cada fl E N. Entonces (x11)11 E N
constantes a, b >0 tales que para cada n EN, para cada conjunto c1,c2, ... ,c 11 de
escalares:
11 11 ml
(*) aIIcx j iI < ii cylI ~bII . cxI
i=1 i1 i=1
si existen constantes a y b positivas tales que para cada u E N y para cada c 1 ,c2, ...,c11
escalares
4
II 11 Ii
a IcI <II >cx jjI <l) IcI.
i=1 i=1 i=1
11
c.I < cxjp <bniac IcI.
1<iui - i=1 1<1<11
¡1
Teorema 1.7 (Roshental). Sea. X un espacio (le Banach. Entonces X no contiene a.
5
Rosliental demostró el teorema que lleva su nombre en 1974, para espacios de
Banacli reales. Más tarde, en 1975, Leonard Dor dio la prueba en ci caso de un
espacio (le Bamiach complejo.
6
Demostración. Ver [16] pag. 1861]
7
(a) 11 T = IT 11 , así T* E BL(Y*,X*)
(1)) T Jx = .J o T , donde T** es el operador adjunto de T* que recibe el
nombre (le biadjunto de T, Jx y •jy son las inyecciones canónicas de los espacios en
sus hiduales, además
II T II = IITII.
De la relación (h) se tiene que el biadjunto de T, T**, puede ser CHteii(lidO
corno una extensión de T en el bidual de X, X. Para mayores detalles ver [10].
8
(lilnlnlente compacto.
Teorema 1.14. Sean X e Y espacios (le Banach y T una aplicación lineal y continua
(ji) T**(X**) g Y.
(iv) Para cada sucesión (X)1 E N C X acotada, (Txn)n E N l)O5CC una subsucesión
17(yy*)
- convergente.
dhilnieimte conipacta.
aplicación lineal.
9
Teorema 1.17. (i) Seaii X e Y espacios (le Banach. El conjunto de la aplicaciones
10
CAPÍTULO II
MEDIDAS VECTORIALES
Definiciones 2.1. Una función rn definida de .Á con valores en X se dice que es una
medida vectorial finitamente a(litiva, o simplemente medida vectorial, si cuando A l
y A 2 son elementos disjuntos de .Á entonces in(A,+A 2 ) = m(A,) + ni(A 2 ).
Si además, in(A11 ) = m(A 11 en la topología de la norma de X para cada
)
n=1 n=1
familia. (A11)1, N numerable (le elementos disjnntos (los a (los de J tales que
Al , E .Á, ciitonccs ni se dice que es a - aditiva ( o numerablemente aditiva).
n=1
Nótese que en este caso la convergencia de la serie es incondicional.
Asociadas a una medida vectorial in se tienen las funciones reales definidas por:
(a.) 1 ni 1 (A) = sup II rn(E) II
EE ir
donde el supremo está tomado sobre todas las particiones ir (le A en un número
finito de elementos disjuntos (le Á. Esta función se llama la variación de m. Si
Ini 1 (U) <oo entonces ni se dice (le variación acotada.
(b) II n' II(A) = sup{ 1 x orn 1(A): x EX II 1}
donde Ix*0MI es la variación (le x o ni. Esta función ¡¡mil se llama la
semivariadón de m. Si ni 11(U) <oo se (hce que ni es de semivariación acotada.
Es fácil ver que para cada A EÁ ni II(A) < 1 m 1(A).
11
Proposición 2.2. Sea m : - X una medida vectorial entonces se tiene que:
IfnI 5 1.
(2) S11l){ IImn(B)lI: BcA, BE.ÁJ < llimili(A) <4 sup{ IImmi(B)II: BçA, BE..A}.
Demostración. La demostración (le (1) y (2) puede ser vista en [6]. (3) es
sucesión (A11)11
EN .Á, de elementos (lisjuntos (los a dos la serie FO0, m(A11 )
n=1
onverge en nonna.
fuertciiicnte aditiva si (lacia mimia sucesión (A11) EN disjunta dos a (los, entonces
00
lhii IIE ni iii ) = O tuiiforniemcnt.c en r E T.
n—+00 fl=fl r (A
12
Diremos que ni es li - continua, y lo denotaremos por m si se tiene que
hm ru(A) = O
p (A) —O
13
Proposición 2.4. Sea m : .A - X tina medida vectorial. Son equivalentes
(i) ni es fuertemente aditiva.
adelante, para que una familia (le medidas sea uniformemente fuertemente aditiva.
entonces
ALGUNAS NOTACIONES
14
variación acotada.
siguiente:
15
Se tiene entonces la siguiente proposición.
para cada A E
16
Lerna 211 (
Lema de Rosenthal ) .
Sea ( 111 11)11 E N una sticesión de medidas
uniformemente a('otadas definidas en .Á con valores escalares. Entonces, si (An)n E N
es una sucesión disjunta de elementos (le .Á y >O , existe una subsucesión
(A mm . )
N (le (A) E N tal que
Im.l( U A nk)< f
para tO(1O Stil)(OiijUIitO finito A (le N y para todo j E N.
Si además .Á es una. 7 - álgebra, entonces la subsucesión (Aa . )
E N se puede
m.I( U . Aflk)<f
k~j
para, todo j E N.
Teorema 2.13 (Egoroff). Sea (f1)11 E N una sucesión de funciones medibles sobre un
espacio de Banach X, tales que limf 1 = f casi en todo punto sobre un conjunto
A. c A tal que:
17
Teorema 2.14. Sea T : Ji(,Á) -* X uiia aplicación lineal continua y sea ni su medida
vectorial asociada
el siguiente teorema.
Teorema 2.15. Sca ni E ba(.Á,X), iiixa medida acotada, entonces soii equivalentes:
La. demostración (le este teorema., así como la del anterior, se pueden ver en [6].
X.
Diremos que mu es una medida regular si para cada A E A y para cada € > O se
18
cuniplen las siguientes condiciones:
IniII(G — K) <•
para cada. X* E X.
entonces mu es a - aditiva.
a - aditiva.
19
Teorema 2.19. Sca E la a - álgebra (le Borel (le un espacio compacto y Hausdorff 11,
y (mr) e T una familia (le medidas escalares y regulares ( y por tanto a - a(litivas )
de abiertos.
Sup{ lm r I (A—K):rT }
T.
(i) F es isométrico a c 0 .
20
Demostración. Si T no es dbilniente conipacta, entonces su medida asociada m no
es fuertemente aditiva, así por teorema 2.12 existe una aplicación lineal S : c 0 X
y una sucesión (hs)unta (A)11 E N ç .Á tal que S es un isomorfismo topológico y
= i afl\ dlii
Í 11=1 II
QQ
=T( an7A II)=T(f)
I11
lo que prueba que TIF es un isomorfisnio.D
Corolario 2.21. Sea E una o - álgebra. Sea T : B(E) - X una aplicación lineal
continua.
Si T no es débilnwnte compacto , entonces T fija una copia de l°° , es decir,
100
existe un suhespacio F de fl() tal que F es isomorfo a y TIF es un
isomorfismo.
21
Teorema 2.23 ( Representación de Ricsz). Si SI es un espacio topológico Hausdorff
u - .lgrbra. de Borel B 0(!), ta.1 que para cada x E y para cada. tt E M() se
Notemos que el teorema anterior nos muestra que el dual del espacio de las
funciones continuas sobre 51, (lenota(Io C(Q)*, es M() dotado por la norma de la
(1 1 1 ,V ILE M()
entonces II bt II = 1 y además
iLII = I1 f11 10
22
luego jxr criterios de densidad tenemos que
II Af II = II fil , V fe B(B(U))
lo que comnplet.a la demnostra.ción.O
Consideremos
1 puesto (iC
verifica (a) y (b), entonces la fórmula (c) define un operador T : C(!I) X que
23
Teorema 2.26 ( Bartie - Dunford - Schwartz). Sea T C(fl) X un operador lineal
(Ii) (iii) Corno m es débilmente regular por teorema 2.25, y acotada, el resultado
se deduce (le los teoremas 2.16 y 2.18.
(iii) (iv) Consecuencia inmediata. (le1 teorema, 2.16.
24
Supongamos 11 f11 Ii < K V n E N. Por ser T débilmente compacto, su medida
representante m es a - a(litiva, luego posee una nle(lida (le control t E M() ; sea
y elijamos 5 > O fa.l que II n' II(A) < si 1i(A) <é , A E B0 (í). Por el
tcorema 2.13, tomemos A 0 E B0(f) tal que t(A 0 ) <é y limfn = f uniformemente
en 9 - A0 . Entonces
T(f11 ) - T(f0) =
j (f - f0 ) dni < 11 J (f11 - f0) din +
f (f1
A0
- f0 )dm
{1 x o mn : 11 x <1 ,
x EX no es uniformemente nurnerahiernente aditiva.
Como las 1 0111 1 son medidas regulares, el teorema 2.19 pruel)a entonces que
existe una sucesión (An)n E N de abiertos disjuntos, un E > O y una sucesión
X* tales que I x orn (A 1 ) > E para todo u. Por
( ) E N en la hola unidad de
el lerna 2.11, existe una subsucesión, que seguiremos notando igual, de modo que
25
construyamos entonces una sucesión (f11)11 E N C C(f) tal que
(a) 11f1111 = 1.
para todo n.
Sea Y = {Ea 11f11 : a=(afl) I1E NEcO) } Si f= a11f11 EY , es claro que
n1 n=1
II fil = a luego Y es isométrico a c0. Además, l:)ara cualquiera n
,
kn
~ 1a11 1 C
- J
UAk
IfldIx 1 oInI
kyn
~ lanlí - XI) o ni 1 U Ak)IifIl ~ ll - IIil
lç u
ior tanto
T(f) II > sup{ 1 4 T(f) :11 E N} ~ II fil - II fil = II fi
y T es un isomorfismo sobre Y.fl
n=1
y si converge para cada (t11)11 E N E 1 entonces se dice que es incondicionalmente
convergente. Un operador T : X Y se (tice incondicionalmente convergente, si
transforma series débilmente incondionalmente de Cauchy en X en series
incondicionalmente convergentes en Y (este tipo de series y operadores se desarrollan
26
Corolario 2.29. Sea T C(f 1) - X linea,l y continuo. Son equivalentes
puntualmente a O.
El teorema (le Lehesgue prueba entonces que (f)11
EN
converge débilmente a
O, luego por (iv) i1irn T(f) = O.
(y) (u) Pues si T no es débilmente conipacto la demostración del teorema de
Pelczynski permite construir una sucesión (fn)n EN
C(fl) con f . f1n = O si n qÉ m
= 1 para todo n E N, y un e > O, tales que T(f11 11 > e para todo n
) E N.0
27
CAPÍTULO III
RETÍCULOS DE BANACH
(iii) Para. cada x, y E X existe un supremo, denotado por x vy, y un ínfimo, denotado
por xAy.
(iv) lix II < My cuando lxi li , donde el valor absoluto lxi de XEX es
Entonces se verifica:
(1) x—yAz+w=(x—y+w)v(x—z+w)
x-yVz+W=(X-y+W)A(X-Z+W).
(2) x+y=xvy+xAy.
28
(3) x x + - x - y ésta es la única representación de x como la diferencia de
(10)x<ysiysó1osixy yx>y.
y (x+y)Az<xAz+yAz.
(14)(x—z)A(y—z)=Osiysólosi z=xAy.
Si (x) E ¡ y (y) E SOil (los familias (le elementos en X tales que sup x y
Ji iEI
29
(19) x A sup x = sup (x A xi ).
iEI iEI
Demostración. Ver [9].1]
- x 1 + x A Y2 <x 1 + Y2
EA
de Y tal que sup{ y0 o E A) existe en X, entonces este elemento
pertenece a Y. Sea T : X Y un operador lineal, X e Y retículos ( es decir,
sa.tisfaccxi (i), ( u) y ( iii) (te Definición 3.1), diremos que T es un Homomorfismo de
retículos si verifica
T(xAy)=TxATy y T(xvy)=TxvTy
31
El dual X de un retículo de Banach X es también un retículo de Banach y sus
elementos positivos se definen por x > O si y sólo si <x, x> > O , para cada x > O
en X. Se verifica fácilmente que, para cada x, yE X y cada x > O en X, se tiene
y
32
Definición 3.7. Un retículo (le Banach X se dice que tiene norma orden continua
(norma. a - orden continua) o es orden continuo (a - orden continuo) si para cada red
(iv) X es un idea,l en X.
cero.
espacios con norma orden continua, y dejar de lado a los espacios a - orden
33
contiiiuos.
norma en X.
Banacli.
Teorema 3.11. Las siguientes condiciones son equivalentes para cualquier retículo de
Banach
imormna.
34
La.s demostraciones (le los resultados anteriores se encuentran en [11] y [151.
P(z)= V (nxAz)
ii=1
y para un y E X cualquiera ; y = y + - y -
P(y)= P(y)—P(y)
Es fácil verificar que, para cada x en e1 COflO positivo de X, P x es una
proyección lineal positiva con norma uno. Observar además, para cada x, y > O en
X, tenemos
XA(yPx(y)) =0
Un eleriieiito e E X (retículo (le Ba.nach) se dice que es una unidad débil de X si
e A x = O para x E X implica x = 0. En un retículo de Banach u - completo un
elemento e es unidad débil si y sólo si P(x) = x para cada x E X.
35
espacio (le prOl)aT)ili(lad ( i , , ji ) fa,! (lite X es un ideal (orden) de L 1 (p) y
L(jt) c X C L 1 (ji)
Proposición 3.13. Sea X un retículo orden continuo con unidad. Con la flotación
sólo si
para cada x E X.
correspondencia g _*x * , x'(f) = jfg djt ([111, 11.14). Con esta identificación, para
hm 1
t(A)—O A f
f d1 1 = O , uniformemente en f e K
de ser necesario, podemos suponer que (fn) n e N converge débilmente en L 1 (1). Sea
36
J A (111 1 <, para cada, f e K.
Elegimos r E N tal que t(l - Ar) <. Entonces, para cada ni, n e N tenemos
Teorema 3.14. Sea X un subespacio cerrado (le un retículo de Banach con norma
or(len continua E. Son equivalentes
(i) X es (lél)ilnlente secuenciaInieiite completo.
(u) X no contiene un subespacio complementado isomorfo a 11.
37
ideal (orden) de L 1 (jt) y
L(t) c E0 c L 1 (p)
Luego pasando a una subsucesión de ser necesario podemos suponer que existe € > O
(le 1110(10 que
38
Definición 3.15. Un espacio de Banach X tiene la propedacl (u) si, para cada
(xn N coverge
n clél)ilmvIlte a cero. =
k lYk)n
Proposición 3.17. Cada subespacio cerrado de un espacio (le Banach que posee la
Cuando trabajamos con duales (le retículos (le Banach observarnos que muchos
(vi) Cada sucesión disjunta y norma acotada (le X es a(X,X*) - convergente a cero.
Las demostraciones de los resultados anteriores pueden ser vistas en [11] y [15].
(x11)11
EN
es A - de Cauchy, donde P A se define p°
39
<X, X > L x E A}
PA(x) = sl1p { 1
cada par (le elementos di.sjuntos x e y (le E se tiene que 11 x + y 11 = max( 11 x , y II)
(respectivamente II x + y 11 = 11 x 11 + II y II).
algún espacio de medida (ft E, ; i). Si X tiene unidad débil entonces p puede
algún espacio compacto Hausdorff K. Si, adeniás, X tiene unidad fuerte entonces X
40
x en E, esto es
Ex={yE:R>O,iyI<x}
41
CAPÍTULO IV
SUCESIONES Y SERIES
(tn)n E N E Co.
42
Como un resultado inmediato del teorema anterior, tenernos el siguiente lema.
Al igual que el caso de las series d.i.c., para las series j.c. existen definiciones
alternativas.
43
Demostración. Revisar en [16], pag. 417-418.0
El próximo teorema caracteriza los espacios en donde las series d.i.c. y las j.c.
110 coinciden. Pero antes necesitamos el siguiente lema.
44
Así, la serie y ' donde Yn = X satisface la condición (u).
n1 i=(111-1-1 1
(iii) Sea x1 tilia serie (l.i.c. tal que inf XII 11: 11 E N} > O. Por ser (l.i.c. la
n= 1
sucesión (x11)11
EN
es débilmente convergente a O. Por teorema 1.5 existe una
sltl)S11CCSiH (x1)11)11
EN
que es una sucesión 1)ásica ; luego, satisface las condiciones
del Lema 4.7. Así, (x11)11
EN es isomorfo a c0 .
(iii) (i) En c 0 la base canónica (e11)11 EN
corno serie es d.i.c. pero no es i.c. .0
45
acotado. Por el teorema 4.2 E x11 es d.i.c. y por lo tanto débilmente subserie
n= 1
convergente.
Para el caso A relativamente compacta se usa nuevamente el Teorema 1.8.0
incondicionalmente convergente.
-- 00
Sea x11 una serie d.i.c. tal que Tx11 rio es i.c. . Asi, existe una
ii=1 ii=1
46
perniutación 7r (le los naturales (le modo que no es convergente. Se
n=1 Txiri)
sigue (lije existe tina, sucesión creciente de índices (q11)1 E N tal que
(lji+1
inf{lI Tx I1 : 11 EN}> 0
i=q11 +1
00
definamos y = X y,, es (l.i.(. en X y es ta.l (lite (Ty11)11 € N no
i=q11+1 n=1
converge a cero.O
47
(E ' , II II ) es un espacio AM con unidad fuerte x y [ - x, x] es el (liSCO unitario en
E. Por Teorema 3.20 existe un compacto K tal que E x es orden isométrico a C(K).
Supongamos que T : E X es o - débilmente compacto. Sea (xn)n E N tina
48
esto y (le (*) se concluye que T*(B) es o — equicont.inuo.
El recíproco es análogo.fl
Lcma 4.16. Sea. E un retículo (le Banach. Las siguientes afirmaciones son
equivalentes
(i) Cada, operador positivo T de E en un retículo de Banach separable es débilmente
compacto.
(u) Cada, operador positivo T de E en c 0 es débilmente compacto.
(iii) Cada sucesión 1 o- 1 (E,E) - convergente es a(E*,E**) - convergente.
(iv) Cada operador I)ositivo T de E en un retículo de Banacli F tal que el conjunto
la topologia a(E * ,E ** ).
(iii) => (iv) Sea F un retículo de Banach tal que el conjunto {x* E F* : 11 x < 1} es
a(F*,F) - relativamente secuencialmente compacto y T : E - F un operador
49
pOSitiVo.
también lo es.O
convergente (o.i.c.) si lleva series d.i.c. de elementos positivos (le E a series j.c. en X.
incondicionalmente convergente.
(i) T es o.i.c.
norma en X.
(iii) Si x11 es una serie d.i.c. de elementos de E disjuntos dos a dos y positivos
u= 1
emitonces li1n 11 Tx = O.
n-oo
(iv) Si x11 es una serie d.i.c. de elementos positivos (le E entonces se verifica que
ni=1
hm 11 Tx11 = O.
Ii—+oo
(y) No existe un subretículo F de E orden isomorfo a c 0 tal que T restringido a F es
un isomorfismo.
50
Demostración. Claramente (iv) => (iii) y (i) => (iv).
00
(u) xn una serie d.i.c. en E que satisface O <x 11 para todo n E N y
(i) Sea,
n= 1
supongamos que T cumple COil la condición (u).
C(K), por lo anterior T no es débilmente compacto, así por Corolario 2.29 existe una
sucesión ()11 EN
de elementos positivos, disjuntos (los a dos y acotados en orden de
Resumiendo, (yii)n e N es una sucesión d.i.c. (le elementos positivos y disjuntos dos a
(iii) => (y) Supongamos que existe tun subretículo F de E, orden isométrico a c 0 , tal
+ tales que
51
(*) Ci IIX Tx 11 5 C2 II x 11 V X E X.
Así, considerando (e 11 : II E N} la base de Schauder usual en c 0 se tiene que es
(l.i.c., (hsjunta (los a (los y sus elementos son positivos pero, por (*) (Te11)11 E N 110
52
00
Demostracion : Si x11 es una serie d.j.c. podemos definir T : c 0 - X por
00
n=1
T((t11)11 e N))=n1 tx entonces T lineal y acotado por lema 4.3.
Reciprocamente sea T : c 0 X operador lineal y acotado. Si x=(t)11 E N E CO
53
oc *
(u) Un opera(lor T X 1 1 es compacto si y solo si la serie x1 es subserie
n=1
convergente en X.
Demostración : Sea (x ) NC X tal que J <x ,x> <oc V x EX.
n=1 * '
Definimos el operador T : X 1 1 (le la siguiente forma Tx( <x X »I1 E N
xii = i 1 o T, V n E N, (x )1i E N
resulta ser la sucesión buscada.
Para (i) Y (u) observar que T* : X , el adjunto de T, tiene la siguiente
*
propiedad T * e11=x . La demostracion se hace como en ejemplo (1).O
{ Tc 1 :n E N} es relativamente compacto.
Demostración Sea (xn) n € N una sucesión acotada. en X. Observemos que si
(t)11 1 1 entonces t11x es convergente, pues, es absolutamente convergente.
ENE
oc
Definimos T P X por T((t)11 E N) = E tiiXn , T está bien definida.
54
acotado V 11 EN y adem.s hin
floo
T 11x=Tx V x E X. Así, por teorema de
Banach - Steinhauss, T es acotado.
Por otro lado, si T : II X es un operador lineal y acotado entonces haciendo
55
Por otro lado, si { TP1' : u E N} es (débilmente) nula entonces también es
conipa.c to.L1
1k 11 H1x11 1,VkEKytodonEN.
(i) => (iii) Si K es relativamente compacto, por [5] (teorema 5, pag. 3) y por [6]
(iii) (i) Sea e > O. Por hipótesis existe N. E N tal que n > N f 1y n 1 <
VyEK. Luego, si y, z están en 1< entonces V n>N+1 se tiene IYn — ZnI <
Sea K*={ :3 y E K de nlO(lo (jue X1 = Yi,
(x1. .... , XN) E ,XN = YNJ K
es acotado, psi' tanto, relativamente compacto. De esta forma, existen z1 , -
56
E K* tales que K* c j B(z',f). Escogemos y', . E 1< (IC manera que
.
i=1
Y.i 1 = 1 Vi E {1,..,n} j E {1,...,N}. Se plw(le demostrar entonces que
K ç U B(y 1 ,(:).O
i=1
liiii1k. 1 1) =o
n—~oo• 1
uiiifornienieiite para k E K.
57
CAPÍTULO V
PROPIEDAD Y y PROPIEDAD V
Cran parte (le los conceptos que daremos a, continuación fueron da(lOs por
Pelczynski en [13]. Posteriormente Bomba.! en [3] agrega otros y define formalmente
algunos que no fueron (lebidamente considerados.
58
El resultado dacio a continuación caracteriza los conjuntos V*
Pi < q 1 < 1'2 < l2 < < P < qn < . . . de naturales y una sucesión (X)1 E N en A tal
pie
q
i1 i<4x>i>
ll=l)
59
(a) (d) Es claro. (d) (a) Sea 4 una serie d.i.c. en X. Por (d) existe
E > 0,
n=1
A f X un conjunto V* tal que A C Af + eBx. Así si x E A entonces existen k x e A€
y b x E f B X de modo que x = k + b.
De lo anterior podernos obtener, con ri E N
* * '1' *
1 <x 1 , X> 1=1 <X11 , k + b> 1 <X1 , k> 1 + 1 <X11 , h> 1
<sup {I <4 1: kEA f }-i-FC
x . De este modo
(Ioxl(le C es la constante que acota a las sumas parciales de
n= 1
sup { < 4,x> I:XEA }<sup{I <4,k> 1: keA}+€C , VDEN
de donde se concluye que
hin sup (1
Iioo <4 , x> 1: x E A } = 0.0
Corolario 5.3. Para cada espacio (le Banach X cada subconjunto condicionalmente
dél)ilmente compacto (le X es un conjunto V*,
Demostración. Sigue de la proposición anterior parte (c) y del hecho que los
subconj untos condicionalmente débilmente compactos y relativamente compactos
coincidemi en 11, por Teorema 1.211
60
La propiedad V* fue (lefinida por Pelczynski en [13]. Ms tarde Boinbal, en [3]
define los conjuntos V*, la propiedad débil V y obtiene interesantes propiedades,
algunas de las cuales ya han sido enunciadas en este trabajo. Pelczynski por su
parte, obtuvo también algunos resultados importantes que se veran ins adelante.
Como un primer resultado, obtenemos que la propie(lad V* es heredada a los
subespacios cerrados.
es decir
(*) Hm sup{l<x,x>I : xK}()
para cada serie d.i.c. xen E* . En particular K satisface (*) para cada una de
n=1
las series (l.i.c. en E* que son restricción a E* de una serie d.i.c. en X. Luego, K
consi(lerado como un subconjunto de X es un conjunto V. Puesto que X tiene la
propiedad V, K es relativamente débilmente compacto en X. Así, K es
relativamente débilmente compacto en cada subespacio cerrado de X en que él esté
contenido.D
Este resultado así como ci que sigue se pueden ver en [13]. Una propiedad
importante que se desprende del hecho de tener la V es la que se (la en la siguiente
proposición.
61
00 x*
Dcmostracion. Sea 11 una serie d.i.c. arl)itrarla en X *
Por teorema 4.2 parte
00
n=1
(y) la serie E t 11x es d.i.c. en X para cada t = (t1)11 E N E 100 y si definimos
n=1
t <x1 , x> entonces por este mismo teorema se deduce que x
n=1
está bien (lefimdo y es acotado para cada t = (tn)n E N E 100 . Si (xm)m E N es timia
sucesión déinimente (le Cauchy en X entonces existe el límite
* 00 * 100
1ifl1 < X ,x 1 > =Iflijimi t i! < x11 x111 > para cada t = (t)11 EN E
De esto
111-00 —*oo
62
V* para cada sucesión (x11)11 NC A existe una subsucesión (xflk)k de ésta, que
EN
es débilmente de Cauchy. Dado que X es secuencialmente débilmente de Cauchy
63
Scan X, Y, U, Z espacios (le Ba.nach. Sean T E V*(X,Y), S E BL(X,Z) y
R. E BL( Y, U), entonces se dedtice de las propiedades cte los conjuntos V que R o T y
T o S son también operadores V*
64
niisiiio nombre.
(x11)11
EN
una sucesión acotada de A. Definamos T X el operador definido por
T(e11 ) = x11 donde {e11 : u e N} denota la base usual (le 11, este operador resulta linea.l
y acotado.
Consideremos el operador adjunto de T , T* : X* y sea x una serie
n=1
d.i.c. en X, usando la Proposición 4.12, debemos demostrar que
hm 11 Tx 1 = 0 , lo que equivale a demostrar
fl00
Pero corno T *x11*(k) = <T * x11 * , ek> = < x11 * , xk>, se tiene
** *
sup{ IT x11 1 :k E N} = SttI ) { 1 < xn , X > k E N}.
00 *
Luego, corno A es un conjunto V * y Xn es una serie d.i.c. en X*
n=1
limsup{ <x1< , x> 1: k E N} = 0. De este modo se obtiene qi.me T* es
incondicionalmente convergente y por el teorema 5.10, T es un operador V, y así
por hipótesis, T es débilmente compacto y luego (x)11
E N es débilmente
relativamente compacto.O
65
Definición 5.12. Sea X un espacio de Ba.nach. Diremos que un suhconjunto K de X
cøfljiiiitøs V.
(a) K es un conjunto V.
00
(1)) Para cada serie xH d.i.c. en X se verifica que
n=1 00
litit sup{ E 1 <x",x 11 > I :x * E K} = O.
fl00 n=m
(c) Para cada operador lineal y continuo T c 0 X se tiene que T*(K) es
relativamente compacto.
Por (1,)
00
liiii sup{ 1 <x', x> : x E K} = O
n—oo=rn n
00
o bien lun sup{ 1 <x, Te11 > x*EK} =0
n-00 fl=fl
00
fiiialmente lirii sup{ < T'x, e11 > : x E K} = O
n-+00
66
(le (lon(le SC (lC(IUCC que T*( Bx*) es relativamente débilmente compacto.
(c) => (1)) Sea x 1 una serie (l.i.c. en X. Entonces ci operador T : c 0 -* X definido
n=1
por T((t11)11 E N) = E tx11 es lineal y continuo.
n=1
Por (c) T*(K) es relativamente débilmente compacto. Así, si (en)n E N es la
base usual (le c 0 se tiene que
67
El siguiente resultado, que se debe a Pelczynski [13, relaciona la propiedad V
con la V .
68
'rrcma 5.18. Sea X un espacio de Banach. Son equivalentes:
(a) X tiene la propiedad V.
(1)) Para cada espacio de Banach Y, cada operador incondicionalmente convergente
T:X Y es débilmente compacto.
(c) X tiene la propiedad débil V y X* es secuencialmente débilmente completo.
Demostración. (a) => (h) Se sigue del teorema anterior. (b) => (a) Sea K un conjunto
V en X*. K es acotado. Denotemos por B(K) el espacio de todas las funciones a
valores reales, acotadas en K con la norma II fil = sup{ 1 f( x *) 1 : x E K} y
69
una. subsucesióii (le (x1 )ii E N
que sea débilmente convergente. Luego, K es
débilmente compacto en X *
(a) => (c) Si X tiene la propiedad V entonces claramente tiene la propiedad débil V.
Por otro iado, si X tiene la propiedad V entonces X* tiene la V, así por Proposición
5.6 X* es débilmente secuencialmente completo.
(c) => (a) Supongamos que X tiene la propiedad débil V y X* es débilmente
secuencialmente completo. Sea K c X un conjunto V. Como X tiene la propiedad
débil V 1K es déhihnente condicionalmente compacto, así si (x1 )n EN
es una
El teorema anterior junto al corolario 2.29 nos dicen que C(K), para algún K
compacto, tiene la propiedad V, de esta forma, gracias a la proposición 2.16 y al
hecho que todo espacio AL 1 tiene como dual a algún C(K), todo espacio AL 1 tiene la
propiedad V.
Los próxinlos resultados nos dan condiciones suficientes para que U11 espacio
tenga la propiedad V.
70
Corolario 5.19. Si X es un espacio de Banach que tiene la propiedad V entonces
EN
converge débilmente al elemento E Tu11 de Y. Luego T es un
n=1
operador débilnicnte coinpacto.0
71
A esta altura cabe preguntarse qué tipo (le espacios poseen ambas propiedades,
prol)iedades y y V.
4.9, cada serie (l.i.c. es j.c. en X. Así cada conjunto acotado en X es un conjunto
isomorfo al espacio V.
(b) Sea X un espacio (le Banach que tiene la propiedad V. Entonces X es reflexivo
isomorfo a c0 . Luego, por teorema 4.8, cada serie d.i.c. es j.c. en X*. Procediendo
72
Bomba! (la en [3) el próximo resultado.
la propiedad débil V.
Demostración. Sea X un subespacio cerrado de un retículo de Banach o - continuo
E, y sea K un conjunto V. Para probar que K es incondicionalmente débilmente
compacto en X, podemos suponer que 1K es numerable y luego sin perdida de
generalidad que X es separable. Pero entonces existe una banda con unidad débil E 0
en E que contiene a X (Proposición 3.12). Es suficiente probar que K es
condicionalmente débilmente compacto en E 0. Con la notación de la proposición
anterior, cada gc-E o define un operador continuo T g : E0 - L 1 (t) por Tg(f) = fg.
Entonces T g(K) es un conjunto V en L 1 (i), y luego relativamente débilmente
compacto. En particular, Tg(K) = { fg : fE K } es uniformemente integrable, que es
la condición (*) en Proposición 3.13.0
73
(=) Si X tiene la propiedad V entonces, por Teorema 5.18 (c), X* es
Lo que resta del capítulo se debe a Sánchez, y puede ser visto en [14).
Definición 5.28. Se dice que un retículo (le Banach E tiene la propiedad V 0 si cada
operador orden débilmente compacto T : E X , X un espacio de Banach
arbitrario, es un operador orden incondicionalmente convergente.
74
Teorema 5.29. Sea E un retículo (le Banach. Entonces las siguientes afirmaciones
son equivalentes
(i) E tiene la propiedad y o.
(u) Para cada suhconjunto K de E* que es orden equicontinuo en E tenemos que
hm sup{ 1 <x* , x11
fl—*oo
> 1: x' E K} = O
para toda serie (l.i.c. E x 11 en E •
n=1
Demostración. (1) = ( u) Sea K un subconjunto de E* orden equicontinuo en E.
Entonces 1lim siip{ 1 <x, X> 1: x E K} = O para cada sucesión acotada disjunta
(lOS a dos (x11)11 E N en E. Pero por Proposición 4.14 el operador lineal y continuo
T:E l(K) defimdo por Tx = ( <x, x> )* K es un operador orden débilmente
E
compacto, entonces por (i) T es un operador o.i.c.
n_+oo 11 Txii
Six11 es tina serie d.i.c. en E , entonces hm II = O. Finalmente
n=1
tenemos que ¿ rn sup{ 1 <x, x> 1: x* E K} = O.
(u) => (i) Sea T : E X un operador orden débilmente compacto, entonces por
teorema 4.15, K = T*(B *) es orden equicontinuo en E. Sea x11 una serie d.i.c.
x n=1
en E , por condición (u) i1irn sup{ 1 <x i , x> 1: x* E K} = 0.
Puesto que sup{ 1 <x * , X n > 1: x E K} = stip{ 1 Txn > 1: y E Bx*},
n-+oo 11 Tx11
concluimos que hini 0.0
(u) Si E es un retículo de Banach que satisface las condiciones equivalentes del lema
4.16. Entonces E tiene la propiedad V 0 .
75
Demostración. (i) Sea E un retículo de Banach perfecto y T un operador orden
débilmente compacto de E en un espacio arbitrario X.
- n
Sea > x 11 una serie d.i.c. positiva en E. Entonces la sucesión Yn = x es
n=1 k=1
(norma) acotada y orden creciente en E. Puesto que E es un retículo de Banach
perfecto, existe un y e E tal que y = sup{y 11 n E N}. Claramente O < Y <y para
todo n. Consideremos el conjunto E, definido anteriormente, que es isomorfo a
algún C(K) y tal que BE y = y , y]. La restricción T de T a E es débilmente
compacta, pues T es orden débilmente compacto. Como Er es isomorfo a C(K) por
Corolario 2.29 ('ty11)
EN
es una sucesión convergente, pero TYn = TYn para cada
fl E N, luego (Tyii)n EN es convergente. De todo lo anterior FI Tx es convergente,
n=1
por tanto lim 11 Tx = O. La conclusión sigue (le! Teorema 4.18.
(Ii) Si E no tiene la propiedad V 0, entonces existe un espacio de Banach X y algún
operador orden débilmente compacto T E X que no es o.i.c. . Luego, existe un
e > O y tina serie d.i.c. E x cuyos elementos son positivos y disjuntos dos a dos en
n=1
E tal que IlTxII > e ,para cada n E N.
Sea)n E N r=Bx* tal que <y , Tx n > > e para todo fi E N, y sea (4 )n E N
(Yi
una sucesión en E* disjunta dOS a dos con <y: , Tx> = <Zn , XI> y
76
APÉNDICE
BX={XEX: IIxI 1 }.
co(X) : cápsula convexa de X.
77
BIBLIOGRAFÍA
[11 Aliprantis Ch., Burkinshaw O. : Locally solid Riesz spaces, Academic Press,
[3] Bombal F. On (y*) sets and Pdczynski's property (V*), Glasgow Math. J.,
[5) Diestel J. : Sequences and series in Banach spaces, Springer - Verlag, New York,
(1984).
[6] Diestel J. : Vector mcasures, Math. Surveys 15, Arner. Math. Soc., (1977).
[7] Dunford N., Schwartz J. Linear operators part 1, John Wiley & Sons, Inc.,
[9] Lacey H. : The isometric theortj of classical Banach spaces, Springer - Verlag,
[10] Limaye B.V. Functional analysis, John Wiley & Sons, Inc., New York, (1981).
78
1131 Pelczynski A. : Banach spaces on which every uncondiiionaily converging
operator is weakly coinpoci, Bu!!. Acad. Polon. Sci. 10, 614-648, (1962).
79