Friz Luis 0078M PDF

UNIVERSIDAD DE CONCEPCION
ESCUELA DE GRADUADOS
SOBRE SUCESIONES, SERIES Y OPERADORES

LINEALES EN ESPACIOS DE BANACH
TESIS PARA OPTAR AL GRADO DE

MAGISTER EN CIENCIAS CON
MENCION EN MATEMATICA
LUIS ALBERTO FRIZ ROA

1995
TITULO DE TESIS
SOBRE SUCESIONES, SERIES Y OPERADORES LINEALES

EN ESPACIOS DE BANACH
AUTOR: LUIS ALBERTO FRIZ ROA
PROFESOR GULA: Dr. JOSE SÁNCHEZ 1-IENRIQUEZ
JEFE DE PROGRAMA: Dra. MYRNA WALLACE COLLAO
COMISION CALIFICADORA
Firma:
Firms
Miembro de la Comisión
Universidad de Santiago
Firma:
Prof. Dr. Jcé Sánchez
Universla41de Concepción
Fecha Examen de Grado: 15T 1ic- g/W.yZE
CALIFICACION: .SS ( SO qZsi ¿i 6N 1E)
CONCEPCLON - DICIEMBRE 1995

A MI FAMILIA
AGRADECIMIENTOS
Deseo expresar mis agradecimientos a todas las personas que colaboraron de
una u otra forma lara la culminación de este trabajo.
Al profesor Dr. José Sánchez H. por dirigir este trabajo, por sus sugerencias y
por el constante apoyo en el desarrollo de esté.
A mi familia por su comprensión y constante estímulo durante todo este
tiempo.
A la Universidad de Concepción y en especial a la Facultad de Ciencias Físicas
y Matemáticas por las facilidades prestadas para la realización de mis estudios.
A mis compañeros y amigos del programa de Magister e Ingeniería en
Matemática (le la Universidad de Concepción por su amistad y estímulo durante el
desarrollo de este trabajo.
Un reconocimiento especial a la Comisión Nacional de Investigación Cientifica
y Tecnológica, CONICYT, por financiar mis estudios durante el año 1995 gracias a
una beca otorgada por dicha institución.

INTRODUCCIÓN
En 1962 A. Pelczynski en su artículo Banach spaces on which every
it ncondit.ionall y con.verging operator is weakly cornpact, estudió los espacios de
Banach en donde el conjunto (le los operadores incondicionalmente convergentes con
dominio dicho espacio, coincide con el de ios operadores débilmente compactos. En
este trabajo demuestra que esta propiedad, que él llamó propiedad V, es equivalente
a otra, en donde sólo intervienen el espacio y su dual, a saber, en donde
deternnnados conjuntos del dual del espacio coinciden con los relativamente
(lébilmente compactos. Inspirado en esta definición equivalente, el autor define la
propiedad V, la cual se verifica cuando ciertos conjuntos del dual coinciden con los
relativa mente débilmente compactos.
Más tarde, en 1990, F. Bombal en su artículo On (V*) sets and Pelczynski's
property (V*) centra su atención en los conjuntos que intervienen en la definición de
la propiedad V, a los que define como conjuntos V, obteniendo interesantes
propiedades (le éstos y permitiendo enfrentar la propiedad V* con nuevas
herramientas.
Finalmente, en 1992 J. Sánchez en el artículo Tite V 0 property in Banach
lattices, basándose en los trabajos anteriores, abordó el estudio de los retículos de
Banach en donde los operadores orden incondicionalmente convergentes y con
dominio dicho retículo son los operadores orden débilmente compactos.
El propósito de esta tesis es reunir los resultados más importantes relacionados
con las propiedades V, V y V 0 . Asimismo, establecer un paralelo entre las
propie(la(les y y V.
Este trabajo ha sido divi(lido en cinco capítulos.
En el capítulo 1 se dan definiciones y resultados que son necesarios en el
desarrollo de este trabajo. Además, gracias a, entre otros, el teorema de selección de
Bessaga - Pelczynski, teorema de Rosenthal etcétera, se pone en evidencia la íntima
relación que existe entre las propiedades de sucesiones y series en un determinado
espacio y las propiedades del mismo.
En el capítulo II se estudian las medidas vectoriales de modo de establecer
relaciones entre las propiedades de los operadores cuyo dominio es C(íl), para algún
compacto y Hausdorff, y propiedades de estas. Es preciso agregar que, además de
los resultados necesarios para el fin ya citado, se enuncian resultados que son
importantes emi sí mismos, como por ejemplo el lema de Rosenthal, teorema de
Egoroff, (le representación de Riesz etcétera.
El capítulo III está dedicado al estudio de los principales resultados y conceptos
relacionados con retículos de Banach. Este capítulo basa su importancia en el hecho
que a la mayoría de los espacios de sucesiones clásicos se les puede dar la estructura
de retículo de Banacli.
En el capítulo IV se consideran algunas interesantes clases de series y
operadores, al mismo tiempo que se estudian sus propiedades, de modo de obtener
propiedades del espacio a partir de las propiedades de éstos.
Finalmente, en el capítulo V se estudian las propiedades V, V y V 0 . Es
interesante dar algunos detalles de este capítulo. Todas estas propiedades se
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
donde se ve la relación de estas propiedades con la contención o no contención de
algunos espacios, a saber c 0 y 1 1 , así como con reflexividad. Además se establecen
condiciones suficientes para tener alguna de estas propiedades y se (lan algunos
ejemplos de espacios con la propiedad V o V.

ABSTRACT
In 1962 A. Pelczynski iii lis paper Banach spaces on which every
uncon.ditionally converginfi operator is weakly compact, defined the so called
property V hy the coincideuce of the class of all unconditionally converging
operators, which domaiii is the considered space, with the class of all weakly
compact operators. Besides this, Pelczynski stablished a cquivalent staternent to
property V, given a new definition of this property. In this new definition he
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
sets of considered space. Foliowing these ideas, he introduced the concept of
V* - set and (lefined the property V.
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
results to the property V case.
The inain purpose of this thesis is to join the inost important results about
properties V, V and V 0 . Wc have obtained an useful characterization of property
V* l)y using operator (see theorem 5.11).

ÍNDICE
CAPÍTULO 1: PRELIMINARES 1
CAPÍTULO II: MEDIDAS VECTORIALES 11
CAPÍTULO III : RETÍCULOS DE BANACH 28
CAPÍTULO IV: SUCESIONES Y SERIES 41
CAPÍTULo V : PROPIEDAD V y PROPIEDAD V ...........56
APÉNDICE 75
BIBLIOGRAFÍA 76
CAPITULO 1
PRELIMINARES
En lo que sigue X denotará un espacio de Banach y X denotará su dual

topológico (X** será el dual cte X, etc.). Recordemos que un elemento x E X es
una función lineal de X en el cuerpo K. La evaluación (le x en un elemento
cualquiera x E X se indicará de la siguiente manera
x *( x ) =
Un subconj unto A c X se dirá acotado si existe 1K E R de modo que

1 x 11 <1K para cada x E A.
Definición 1.1. Sea X un espacio cte Banach. Se llama topología débil de X a la

topología in(llici(la por la. familia (le seminorma.s donde
E x
X*) a esta topología.
p*(x) = 1 <x.x> 1 para cada, x E X. Denotaremos por (X,
Se llamará topología débil* de X* a la topología inducida SOl)re X* por la
fa.inilia de seminormnas (px)x < x,x > 1 para cada x X*.

E x donde px(x*) E
Denotaremos a esta. topología, por
Sea E c X, recordemos que E es débilmente acotado si es acotado en la topología

débil, esto es, E es débilmente acotado si y sólo si <x, E> es acotado para cada
X EA
Es fácil ver que en X* la topología a(X*,X**) y la topología o.(X*,X) no son en

genera.l coincidentes. En X ocurre algo similar con las topología o.(X,X*) y la.
topología inducida por la norma cte X, sin embargo en el caso de sucesiones se tiene
el siguiente resultado.
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
Un par de resultados interesantes acerca de la topología o(X,X) son los

siguientes
1) Sea E C X, un conjunto convexo. Entonces W
don(Ie P, W denota la clausura
(le E en la topología débil (le X y FE es la cla.usura, en la, topología fuerte (norma) de
X.
2) Sea (x11)11 E N una sucesión a(X, X*) - convergente a. x en X. Entonces existe una
sucesión (n) ENC X tal que
(i) Yiii es una, coinbina.cióii convexa. ic (x1)1
E N'
(u) (y)11 E N es convergente en norma a x.
Siniilarmente tenernos dos importantes resultados relativos a la topología

(X* . X) . El segundo (Teorema (le Alaoglu), un teorema, (te compacidad, es uno de
los niás importantes resultados acerca de la topología dhul*.

1) (Teorema (le Goldstine). Sea X un espacio vectorial normna(lo, entonces Bx es
(Y (X**,X*) —densa en Bx
2) (Teorema (le Alaogln). Sea X un espacio vectorial normado, entonces Bx* es

o.(X*,X) —compacto, por tant.o, todo subconjunto E ç X, a(X,X) —cerrado y
acotado, es (X*, X) - compacto.
vi
Las demostraciones (le estos resultados pueden verse en [5].
Otro resultado muy útil respecto a compacidad débil es el teorema de
Eberlien - Smnulian, el cual nos permite definir los compactos de la topología débil
mcdi ante sucesiones.
Teorema 1.3 (Eberlien - Smulian). Sea X un espacio de Banach y A un subconj unto
de X. Entonces A es débilmente relativamente compacto si y sólo si A es
(lébilinente relativamente secuencialmente compacto. En particular A es débilmente
compacto si y sólo si A es débilmente secuencialmente compacto.
Demostración. Ver [5] pag. 18.0
Para avanzar más en el tratamiento de los esl)acios de Banacli mediante
sucesiones y series es necesario (la.r las siguientes definiciones.
Definición 1.4. (a) Se dice que (x11)11 E N es una base (le Schauder para X si para cada
x E X, existe una sucesión (fl)fl E N de escalares tal que

11
x=limn
k1
(b) Se (lice ( IUC (xn)ii E N es una sucesión básica en X, si ella es una base de
Schauder para span {x : n E N } (span significa combinaciones lineales finitas del
conjunto en cuestión).
Bessaga y Pciczynski en 1958 dieron un útil principio de selección para
sucesiones básicas en espacios (le Banach.
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
pOSCC una subsucesión btsica.
El siguiente es tainbiéii un resultado de Bessaga y Pelczynski.
Teorema 1.6. Sea X un espacio de Banach. Son equivalentes
(i) X contiene un subespacio isomorfo a cç,.
(ii) X contiene un suiespacio complementado isomorfo a 1.
Sean X e Y espacios de flanach y (xit)11 E N e (Y11) 11 E N sucesiones básicas de X
e Y respectivamente. Diremos que (x11) E N es equivalente con (yn)ii N Y sólo si

c
existe un isomorfismo de X sobre Y, cjue lleva x 11 en y11 para cada n E N.
Observemos que si dos sucesiones básicas son equivalentes, entonces existen
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
De (*) se obtiene que (xn)n E N es equivalente a la base canónica de 1 si y sólo
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
An.logainente obtenemos que (x11)11

E N es equivalente a la base canónica de c 0
si y sólo si existen constantes positivas a, b tales que para cada n E N y para cada
c 1 , c2 , ..., c1 , escalares se tiene que
11
c.I < cxjp <bniac IcI.
1<iui - i=1 1<1<11
Una sucesión (xn )ui E N eii un espacio de Banach X es débilmente de Cauchy si

para cada. x E X* la sucesión escalar ( <x*,xuu> )E N es convergente.
Un subconjunto K (le X se dice que es débilmente condicionalmente compacto

si dada titia. sucesión (x1)11
c N K, existe una sul)sucesión ( xnk)k E N cine es
(lél)ilindnte (le Cauchy.
¡1
Teorema 1.7 (Roshental). Sea. X un espacio (le Banach. Entonces X no contiene a.
si y sólo si cada sucesión (xn)ii EN

acotada de X, posee tina subsucesión débilmente
de Ca.uchy.
El enunciado (tel teorema de Roshental puede ser mejorado por el siguiente; si

(zn)n E N es una sucesión acotada que no es débilmente de cauchy, entonces
(xn) n E N admite una subsucesión EN

que es la base de vectores unitarios de l
(aquí que (xuik)k EN

sea la base de vectores unitarios de 11 significa que como
sucesiones básicas son equivalentes).
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.
Otro resultado interesante, que utilizaremos en demostraciones posteriores, es

el teorermia de Orlicz - Pettis.
F, x 1 una serie cuyos términos pertenecen a un

Teorema 1.8 (Orlicz - Pettis). Sea
n=1
espacio de Banacli X. Supongamos que para cada sucesión creciente (k11)11 E N (le
enteros positivos
n
lun
n-oo
existe cii la topología débil (le X. Entonces para cada sucesión creciente (k11)11 E N de
euiteros positivos
n
hin x
j=1 j
existe en la topología de la norma.
Sea. X un espacio (le Bana.ch y K c X. Un subconjunto E ç K es un

snbcolljunto extrenial de K si E es no vacío y cuando x, yE K y O < t < 1 implica
tx + (1 - t)y E E, entonces x, y están en E. Un punto extrema! (o punto extremo) de
K es tui subeonjunto extremal consistente de un punto.
Teorema 1.9 (Krein_Milman). Sea K un subconjunto compacto no vacío de X.

Entonces K tiene al menos un punto extremal y además, K está contenido en la
envoltura convexa cerrada (le sus puntos extremos.
6
Demostración. Ver [16] pag. 1861]
Lo que resta de este capítulo se dedicará al estudio de dos de los más

importantes conjuntos de operadores; compactos y débilmente compactos.
Definición 1.10. Sean X e Y espacios (le Banacli y T tina aplicación lineal de X en

Y, entonces diremos que T es uzia aplicación lineal compacta si y sólo si T(Bx) es
relativamente compacta en Y.
A continuación daremos un par de teoremas en donde se resumen algunas de

las más importantes propiedades de los operadores compactos.
Teorema 1.11. Sean X e Y espacios de Banach. T X -+ Y una aplicación lineal.
(a) T es compacto si y sólo si para cada sucesión acota(la (x11) E N en X, (Tx) E N

posee una subsucesión que converge en Y.
(h) Si T es compacto, entonces T llevafl cada sucesión débilmente convergente en X a
una sucesión convergente en Y. El recíproco es válido si X es reflexivo.
Demostración. Ver [10].o
Antes (le dar el próximo teorema necesitamos definir el concepto de adjunto de

un operador.
Sea T una aplicación lineal y continua de X en Y, definamos la aplicación

T* : Y*_.X* , donde < T*y*, x> = <y *,Tx>, para cada y* E para cada x E X.
T* recibe e1 nombre de operador adj unto (le T.
El adjunto de T, T*, posee, entre otras, las siguientes propiedades
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].
Teorema 1.12. Sean X, Y, U y Z espacios de Banach.
(a') El espacio de las aplicaciones lineales compactas (le X en Y es un subespacio

cerrado del espacio BL(X,Y).
(b) Sea RE BL(Y,U), 5 E BL(X,Z). Si T E BL(X,Y) es una aplicación compacta
entonces R. o T y T o S son tainbiéii aplicaciones compactas.
(c) TE BL(X,Y) es compacta. si y sólo si T* E BL(Y*,X*) es compacta.
(cl) Si T E BL(X, Y) es compacta entonces T lleva sucesiones

(7(Y*,Y) - convergentes (le Y* en sucesiones convergentes en norma en X.
Demostración. Ver [10] y [16].11
La parte (c) (lel teorema anterior se conoce como teorema de Schauder.
Definición 1.13. Sea T X Y , una aplicación lineal entre espacios de Banach,

entonces T es débilmente compacta si y sólo si T( Bx) es relativamente débilmente
compacto en Y.
En ci próximo teorema veremos algunas definiciones equivalentes para operador
8
(lilnlnlente compacto.
Teorema 1.14. Sean X e Y espacios (le Banach y T una aplicación lineal y continua
(le X en Y. Entonces son equivalentes
(i) T es (ld)ilnlentc compacto.
(ji) T**(X**) g Y.
(iii) T* es (y*,y)_ a(X*,X**)_ co1i t,i nuo ,
(iv) Para cada sucesión (X)1 E N C X acotada, (Txn)n E N l)O5CC una subsucesión
17(yy*)
- convergente.
Demostración. Se encuentra en [71.0
Corolario 1.15. Un espacio de Banach X es reflexivo si y sólo si la identidad de X es
dhilnieimte conipacta.
Demostración. Se deduce fácilmente del teorema anterior.0
Este resultado puede alternativamente ser enunciado de la siguiente manera : X
es refexivo si y sólo si Bx es relativamente débilmente comp acta.
A continuación claremos un par de teoremas en donde se pueden apreciar
propic(la(Ies análogas a las de los operadores compactos.
Teorema 1.16 (Gantmacher). Sean X e Y espacios de Banach y sea T : X - Y una
aplicación lineal.
Entomices T es débilmente compacto si y sólo si T* es débilmente compacto.
Demostradón. Ver [101.0
9
Teorema 1.17. (i) Seaii X e Y espacios (le Banach. El conjunto de la aplicaciones
lineales débilineiitc conipactas (le X en Y es un suhespacio cerrado de BL(X, Y).

(ji) Seaii X, Y, U y Z espacios de Banach, sean S en BL(Z, X) y R en BL(Y, U).
Sea T uiia aplicación lineal débilmente compacta de X en Y, entonces R. o T o S es
una aplicación débilmente compacta de Z en U.
Demostración. Se encuentra en [10] o en [16].11
10
CAPÍTULO II
MEDIDAS VECTORIALES
En lo que sigue U será un conjunto no vacío Á será un álgebra de subconjuntos

de U, E iiiia a - álgebra de subconjuntos de U, X un espacio de Banach y X su dual
topológico.
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:
(1) II ni II(A) = sup{ II E En m(A11 ) II }

A n E ir
donde el supremo está tomado sobre toda partición ir de A en un número finito de
elementos (hsjuntos dos a dos de .Á y toda. colección (en)11 E N satisfaciendo
IfnI 5 1.
(2) S11l){ IImn(B)lI: BcA, BE.ÁJ < llimili(A) <4 sup{ IImmi(B)II: BçA, BE..A}.
(3) lliri II(A) =O I' f(A) = O . m(B) = O , V B ç A, B E A.
Demostración. La demostración (le (1) y (2) puede ser vista en [6]. (3) es
consecuencia inmediata de las definiciones y resultados anteriores.O
En vista de la proposición 2.2 (c) una medida vectorial de semivariación
acotada se llamará medida vectorial acotada.
Una medida vectorial ni : .A X se dice fuertemente aditiva si dada una
sucesión (A11)11
EN .Á, de elementos (lisjuntos (los a dos la serie FO0, m(A11 )
n=1
onverge en nonna.
Una familia (mn) T de medidas fuertemente aditivas es uniformemente
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
Fácilmente se ve que si A es una a - álgebra, entonces cualquier medida
a - aditiva es fuertemente aditiva.
Sea mn : A X una medida vectorial, p : A [0 , oc) una medida escalar.
12
Diremos que ni es li - continua, y lo denotaremos por m si se tiene que
hm ru(A) = O
p (A) —O
es decir, si para todo E> O, existe t > O tal que
1(A) < 6 => 11 ni(A) II < e.
Proposición 2.3. Sea (iii) E T una familia de medidas a valores en X. Entonces

son equivalentes
(i) (mr)
E
T es uniformemente fuertemente aditiva
(u) {x o m7- : i- E T,x E X , 11 x < 1 } es uniformemente fuertemente aditiva.
(iii) Si (A11)11 E N .Á es sucesión de elementos (lisjuntos dos a dos entonces
lini 11 m(A 11 ) = O uniforineniente en r E T.

11—'oo
(iv) Si (A11)11 EN
es una sucesión (le elementos disjuntos dos a dos entonces
hm II rn- II(A11) = O uniformemente en rE T.

fl—+)
(y) {1x oiii r E T , x E X*, x <1 } es uniformemente fuertemente
aditiva.
Demostración. Ver [61 pag. 8.0
Uiia medida vectorial m : .Á X se dice que es fuertemente acotada si dada

una sucesión (A11)11 .Á disjunta dos a dos, entonces hm m(A 11) = 0.
ENC n—oo
El próximo resultado es, en realidad, un corolario de la proposición anterior.
13
Proposición 2.4. Sea m : .A - X tina medida vectorial. Son equivalentes
(i) ni es fuertemente aditiva.
(u) { x o in : x* E X'', 11 x < 1 } es uniformemente fuertemente aditiva.
(iii) ni es fuertemente acotada.
(iv) mn 11 es fuertemente acotada.
(y) { 1 x ohm x E X*, II x < 1 } es uniformemente fuertemente aditiva.
A continuación daremos una condición necesaria, que utilizaremos más
adelante, para que una familia (le medidas sea uniformemente fuertemente aditiva.
Proposición 2.5. Supongamos que {mr : r E T} es una farimilia de medidas acotadas,

uniformemente fuertemente aditiva a valores en X, definida en una o• - álgebra E. Si
/: E 10 , oo) es ima medida o- - aditiva y m 7- es p, - continua para cada r E T
entonces
lihii StlJ){ II ni r (E) II: TE T} = 0.
ALGUNAS NOTACIONES
ba(.Á,X) (lenota el espacio de las niedidas vectoriales de .Á sobre X de
serni - variación acotada.
bva(.Á,X) demiota el espacio de las medidas vectoriales de .Á sobre X de
14
variación acotada.
S(.A,X) denotará al espacio de las funciones simples de í sobre X, esto es, el
espacio de las funciones de Á en X de la forma f = Xi'A , donde x E X, A €

i=1
on i = 1. 2, " y x4. es la función característica de A. Al espacio S(.Á,X) lo
(lotamos (le la norma. II fil = sup 11 f(x)
- XEÇ
La completación (le S(Á,X) respecto de la norma lo denotaremos por
B(.A,X) , a.sí f : X pertenece a B(Á,X) si y sólo si es límite uniforme de
funciones simples de S(..A,X). Si X es ci cuerpo, entonces:
S(.Á,X) = S(J) y n(J,X) =
Sean fE S(J) y m E ba(Á,X) , se define la aplicación:
T111 : S( t) - X , donde T 111 (f) = m( A) con f = o A•

i=1 i=1 1
Se tiene entonces que T In es un operador lineal y acotado que verifica lo
siguiente:
II T 111 (f) II < II f ll 00 II 1

1 T 111 11 = liii' II ()
Luego T se extiende con la misma norma a
Para f E n(Á) escribirenios
T1-1 (f) = Jf dni.
Notemos (le esta manera que si Á = P() , entonces 13(Á) 1°°.
15
Se tiene entonces la siguiente proposición.
Proposición 2.6. La aplicación rn -* T, establece un isomorfismo isométrico (le
ba(J,X) Col' BL(B(Á),X).
Demostración. Ver [6].(]
Observación 2.7. De la proposición anterior se deduce que ba(Á,X) es un espacio de
Banacli si sólo si X es un espacio (le Banach.
Corolario 2.8. Con X = K en la proposición anterior tenemos que si A = P(N)

(to)* ba.(.Á) , es decir el dual de 10 es ba(P()).
Demostración. Sigue de la proposición 2.6 y Observación 2.7.0
Las demostraciones de ios siguientes resultados pue(len ser vistas en [6]
Proposición 2.9. Si mn : - X es tina medida vectorial (le variación acotada,
entonces ni es fuertemente aditiva.
Teorema 2.10 (Acotamiento de Nyk(dim - Grothendieck). Si (rn) E ¡ es una

familia, de elementos (le ba.() que verifica. K(A) = sup { 1 m i (A) 1 : i E 1 } < oo
para cada A E
Entonces se tiene que:
sup{ Imn(A)I : iEI, AeEJ<oo.
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
elegir de manera tal que
m.I( U . Aflk)<f
k~j
para, todo j E N.
Teorema 2.12 (Diestel - Faircs). Sea ni : Á -* X una medida vectorial acotada. Si
iii no es fuertemente aditiva, entonces existe T : c 0 X , isomorfismo topológico

y existe una sucesión disjunta (A11) EN
, ta,l (IUC T(c) = m(A) , para cada
fl E N.
Si .A es iiiia o• - álgebra, entonces se puede sustituir c 0 por l
Un importante teorema sobre convergencia, de funciones es el teorema de Egoroff.
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
medible A, de medida finita, entonces para cada f> O , existe un suhconjunto
A. c A tal que:
m(Af ) < e y hmf(x) = f(x) uniformemente sobre A - A.

i1—oo
17
Teorema 2.14. Sea T : Ji(,Á) -* X uiia aplicación lineal continua y sea ni su medida
vectorial asociada
Entonces son equivalentes:
(a) T es (lbilinente compacta.
(1)) ni CS fuertemente aditiva.
Denotanios por cabv(J,X) al espacio de to(las las medidas vectoriales (le .Á en
X a - aditivas y de variación acotada, y sea ca(s) = cahv(E,K) , entonces se tiene
el siguiente teorema.
Teorema 2.15. Sca ni E ba(.Á,X), iiixa medida acotada, entonces soii equivalentes:
(a.) T111 es (kl)ilmente compacto.
(1)) m( A) ('s (lbilmente relativamente compacto.
(c) ni es fuertemente aditiva.
(d) Existe p E ca(A), ,i > O tal que ni < ji.
La. demostración (le este teorema., así como la del anterior, se pueden ver en [6].
En lo que sigue 51 será un espacio topológico, A un álgebra sobre 51, E una
a - álgebra sobre fI y ni : A -+ X una medida vectorial sobre el espacio de Bíiach
X.
Diremos que mu es una medida regular si para cada A E A y para cada € > O se
18
cuniplen las siguientes condiciones:
existen 1K E .Á con i A , 1K relativamente compacto y G E .Á con
A c mt(0) tales que:
IniII(G — K) <•
Vamos a decir que m es una lne(lida débilmente regular si, x* o mn es regular
para cada. X* E X.
A continuación veremos algunos resultados importantes sobre medidas
regulares, cuyas demostraciones no serán (ladas.
Teorema 2.16 ( Alexandroff ). Si ni : .Á K es una medida regular y acotada
entonces mu es a - aditiva.
Corolario 2.17. Si mn : E X es una nieclida regular y acotada, entonces m es
a - aditiva.
Demostra(;ión. Notemos que para, cada x E X* , x orn : E 1K es una medida
escala.r regular y acotada, así por teorema anterior x o ni es a - aditiva , luego
por teoreiiia 1.8 mn es una medida a— aditiva.D
Teorema 2.18. Si m : E - X es una medida a - aditiva y débilmente regular,
entonces m es una medida regular.
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 )
(lefinidas solre E. Entonces las siguientes afirmaciones son equivalentes
(i) lini rn r(G ii ) = O uniformemente en r E T, para cada sucesión (lisjunta (G11) E N
de abiertos.
(u) I' flh 1 m 1 (G e ) = O uniforineiiient.e en r E T, para cada sucesión disjunta (le

abiertos (G11)11 E
(iii) Si G es abierto y e > O , entonces existe un compacto K C O tal que
Sup{ ImrI(G — KrET } < e.
(iv) Si A e E ye>O entonces existe un compacto K c A tal que
Sup{ lm r I (A—K):rT }
(y) (mr) r T es uniformemente regular, es decir, si A e E y e > O, existe un
abierto O, A O y un compacto K c A tales que Sup{ 1 ni- 1 (O - K): T E T} < e.
(vi) (mr) T es uniformemente a - aditiva.

E
Es sabido que existe lina isoinctría entre BL(B(J),X) y ba(.Á,X) , de modo
CjtIC si T E BL( 13(Á),X) , existe m E ba(J,X) tal que:
T(f) = / f din, lara cada f E 13(Á). Diremos que ni es la medida representativa de
T.
Lema 2.20. Sea T E BL(B(.Á),X) donde X es un espacio de Banach. Si T no es
débilmente compacto, entonces existe F un subespacio (le B(A) tal que:
(i) F es isométrico a c 0 .
(u) TIF es un isomorfismo.
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
S(c11 ) = m(A) para cada. n E N.

QQ
Sea F = { fE B(A) f =afl4 , ( a11)11 E NE e0 } , así F es isomorfo a c 0 .
n1
Por otro lado sea (a.1) E N E co , entonces
00
S((a.n)ii E N)
> a11in(A11)
11=1
= 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.
Corolario 2.22. (i) Si X 110 contiene a c 0 , entonces cada aplicación en BL(B(.Á),X)

es (lél)illllCflte compacta..
(ji) Si X no contiene a ¡QQ
, entonces cada aplicación en BL(B(E),X) es débilmente
compacta.
A continuación estudiaremos la representación de operadores en el espacio

C(), donde 51 es un espacio topológico Hausdorff compacto.
21
Teorema 2.23 ( Representación de Ricsz). Si SI es un espacio topológico Hausdorff
compacto, entonces existe un isoniorfisrno isoIntric() entre C(í)* y M(í) el
espacio (le las medidas escalares, regulares, u - aditivas y definidas sobre la
u - .lgrbra. de Borel B 0(!), ta.1 que para cada x E y para cada. tt E M() se
tiene la siguiente ideflti(la(l

<x * , f > =ffdit , VfC().
Demostración. Puede ser vista en
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
variación, j1jill = 1 1 (a).
Lema 2.24. La aplicación f , desde R(13 0 (11)) en M()*, definido por:
(1 1 1 ,V ILE M()
es una, isoinetría, que permite identificar B(B 0 (fl) con un subespacio de

= M(fl*
Demostración. Recordemos que B() =S(íl) y M(í)*
Es claro que A f E M(l)* y además 1 II fil II It II, así 11 \f 11 II

Sea f = L akA utia función simple en B(B 0(í)) y supongamos que
k=1 k
f __ = a
Sea t E A y consideremos la medida de Dirac 5t ( donde <t , f> = f(t) ),
entonces II bt II = 1 y además
It)I = IaI = IIfL VtEA.

Por lo tanto para cada fE S(B 0 ())
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
Sea T : Y , una, aplicación lineal y continua, entonces
es una aplicación lineal, continua y JIT* * 11 =JITII.
Consideremos
TI' = T** IJ(B , la restricción del hiadjunto (le T a. R(B 0(!)) en
1 puesto (iC
BL(fl(130(9)), y**) ha(B0(fl), y*)
existe una, medida vectorial m e ha(B 0(fl), Y**) asociada a. TI'.
Teorcma 2.25 (Dinculcanu - Singer). Sea X un espacio de Banach.
Si T C(!) X es un operador lineal y continuo, entonces existe una

**
medi(la vectorial ni : B 0 ( Ç) X acotada. tal (I 1 IC
(a) V x* e X , x*o m E M(i) donde x X c X* .
(h) La aplicación x X*o nl es o.(X*,X) - a(M(!),C(l)) - continua..
(c) T(f) ¡f (liii , para cada fe C(íl).

(d) 11 T II II m 11 (fI).
Recíprocamente, si m B 0 (f 1) -+ X es tina medida vectorial acotada que
verifica (a) y (b), entonces la fórmula (c) define un operador T : C(!I) X que
verifica la. condición (d).
DemoBtración. Ver [6] pag. 152.0
23
Teorema 2.26 ( Bartie - Dunford - Schwartz). Sea T C(fl) X un operador lineal
y continuo, y in su medida representante. Son equivalentes

(i) T es débilmente compacto.
(u) in toma sus valores en X.
(iii) ni es regular.
(iv) ni es a - aditiva.
(y) iii es fuertemente aditiva.
1)emostración. (i) (u) Si T es débilmente compacto, T**(C()**) c X. En
particular t = T toma sus valores en X y por tanto,
ni(A) = T( EX, V A E B0(1).
(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.
(iv) (y) Es evidemite.

(y) (i) Como ni es también la medida representante (le T B(B 0(9)) X, (y)
garantiza que T, y por lo taiit.o, es débilmente compacto por el teorema 2.14.0
Corolario 2.27. Un operador débilmente compacto de C() en X transforma

sucesiones débilmente de Cauchy en sucesiones convergentes en norma. En
particular, transforma conjuntos débilmente compactos en compactos en norma.
Demostración. La segunda parte es consecuencia de la primera y del teorema 1.3
Sea entonces (f11)

EN C(f) débilmente de Cauchy. Entonces, corno 6t E M(Q),
para cada t E íl, (fn(t))n E N es cte Cauchy, y por tanto existe f 0(t) =nifn(t).
Como además (fn) 1 1 E N es acotada en norma, resulta que f 0 E
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
<Sil!) { ifn (t)—fo(t)I: tE—A 0 } IIiniI() + 2KIIrnII(A 0 )
<f+SUJ) { Ifn(t)-fo(t)I:tE-A o } <2
para n suficientemente grande. Esto prueba que (T(f11))11 E N converge en norrna.O
Teorema 2.28 ( Pelczynski ). Sea T C(Q) -* X un operador lineal y continuo no
(lél)ilnientC conipacto. Entonces C(Q) coiitiene un subespacio isométrico a e 0 sobre

el cual T actúa como un isomorfismo. Por tanto, si X no contiene a c0 , todo
operador lineal continuo de C(!) en X es débilmente compacto.
Demostración. Supongamos que T : C(f) - X no es débilmente compacto.

Entonces por el teorema 2.26 su medida representante mu no es a - aditiva luego
{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
Ix 0ml(A11)>e Y 14 oini( U Ak) < VnEN.

k~ 11
25
construyamos entonces una sucesión (f11)11 E N C C(f) tal que
(a) 11f1111 = 1.
(b) So1) f11 ç Al,
(c)4 T(f11) = f fi1 d(x 1 orn) > i.
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
,
< x T(f) > 1 = 1

J f (1 (4k oiii)l = 1an
JAl,f11d(x 1 o ni)
+J
UAk
f (1(x 1 o in)
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
Sea X, Y espacios cte Ba.uiacli. Una serie E x 11 , en X, se dice que es débilmente

n=1
incondicionalmente (le Cauchy si la serie E t xn converge para cada (tn)n E N E C0
,
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
con más detalles en el capítulo 4).
26
Corolario 2.29. Sea T C(f 1) - X linea,l y continuo. Son equivalentes
(i) T es incondicionalmente convergente.

(ji) T es (léhilinente compacto.
(iii) T transforma sucesiones débilmente de Cauchy en sucesiones convergentes en
norma.
(iv) T transforma sucesiones débilmente convergentes en sucesiones convergentes en
norma.
(y) Si (f11)11 EN
es una sucesión acotada en C() tal que f . m = O para n qÉ m,
entonces 1ioo
lun T(fn ) = O.
Deinotración. (i) => (u) Si T no es débilmente compacto, por rl teorema anterior T
actúa como un isomorfismo sol)re un espacio Y (le C(tl) isométrico a c 0 . Pero en c o
( y por tanto en Y ) existe la serie r,
00 e11 , donde (e)11 E N es la base usual de c 0 ,
n= 1
itle es débilmente incondicionalmente (le Cauchy pero no es incondicionalmente
convergente.
(u) (i) Es cierto en general (ver capítulo 4). (ji) => (iii) Es el corolario 2.27. (iii)
(iv) Es trivial.
(iv)=>(y) Si (f) e N verifica las hipótesis de (y), entonces (f) EN
converge
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
Definición 3.1. Un espacio de Banach X parcialmente ordenado sobre los reales se
llama un retículo cte Ba.iiacli si
(i) x<y implica x+z<y+z para.cadax, y, ZEX.
(u) \x > O para cada x > O en X y cada real \ no negativo.
(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
definido por 1 x = XV ( - x).
Scan x, y E X, X retículo de Banadi. Si ponemos x + = x y O y x - = (- x) yO
entonces x + se dice que es la parte positiva de x y x la parte negativa cte x. Si
x 1 A 1 y 1 = O, diremos que x e y son disjuntos.
En los próximos tres teoremas se enuncian la mayoría de las propiedades
generales de retículos cte Banach que utilizaremos en este trabajo.
Teorema 3.2. Sea X un retículo de Baiiacli y x, y, z, w elementos de X y a E R.
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
elementos positivos y disj tintos.
(4) lxi =x +x.
(5) (ax)v(ay)=a(xvy) y ( ax)A(ay)=a(xAy) (a>0).
(6) laxI = ial lxi.
(7) lx+yl < lxi + lyl.
(8) lixI - llI ix—Yl.
(9) lxi A ll =0 siysólosi lxiv Ii = lxi + iyi.
(10)x<ysiysó1osixy yx>y.
(11) x v y =( x _ y )++ y y xAy=y—(x—y).
(12) Ix—yI = lxvz—yvzi + lxAz—yAzi.
(13) Si x, y, z>0 ,entonces (x+y)vz<xvz+yvz
y (x+y)Az<xAz+yAz.
(14)(x—z)A(y—z)=Osiysólosi z=xAy.
(15) lxi =0 si y sólo si x = 0.
Si (x) E ¡ y (y) E SOil (los familias (le elementos en X tales que sup x y
Ji iEI
sup y. existen (o bien mf x y mf y. existen).

JEJ lEÍ JEJ
(16) sup x+ sup y• = sup (x+y.).

iEI jEJ 3 iEl,jEJ
(17) x+sup xj =sup (x+x).

iE! iE!
(18) Si a>0, sup (ax) = a sup x.

iEl iEl
Todos los resultados anteriores son válidos si ponemos mf en lugar de sup.
29
(19) x A sup x = sup (x A xi ).
iEI iEI
Demostración. Ver [9].1]
Al igual que en I, en cualquier retículo de Banach X podernos definir el

c.oiicepto (le intervalo de la siguiente manera
[y, z]={xX:y<x<z} dondcz,ysonelementosdeX.
En ci caso de elementos (lisjuntos se dan algunas propiedades muy interesantes,

corno las que se enuncian en el siguiente teorema.
Teorema 3.3. Sean x, y elementos disjuntos de X, X retículo (le Banach. Entonces

se verifica que
(1) x+yi = lx-yi.

(2) Ix+yl = lxi + lyl.
(3) ( x + y )+ =x +
(4) (x--y) =x +y.
Demostración. Si IXI A jyj = O entonces fácilmente se ol)tiene que
x + A y + =x Ay =x Ay =x Ay+ =0.
De esto y del teorema anterior, parte 13, se deduce que

( x + + y +)A( x _ + y)=O. Por otro lado, x + y =( x + + y +)_( x +y), así por
teorema anterior se verifica (3) y (4). (1) y (2) se deducen de (3) y (4).O
A continuación enunciamos un teorema de apariencia elemental, pero de gran

utilidad.
Teorema 3.4 (Propiedad de descomposición). Sean x, y, Y2 EX, X retículo de
Banacli, tales que x, Yi' Y2 >0 y x < Yi +Y2. Entonces existe X 1 , X2 EX, O <x 1 :5
0<x2 <y2 yx=x 1 +x2 .
Demostración. x1 =xAy 1 , x2 =x—x 1
x =xA(y +y2) <(xAy 1 )+(xAy 2 )
- x 1 + x A Y2 <x 1 + Y2
de (loIl(le se deduce que x 2 = x - x 1 < Y2• 13
Uii subretículo Y de un retículo de Banach X es un subespacio de X tal que

x y y (por tanto x A y) pertenece a Y cuando x, y E Y. Un Ideal en X es un
subespacio lineal Y para el cual yE Y cuando 1 y 1 x 1 para algún x E Y. Un ideal
Y en un retículo de Banach X se dice que es una Banda si, para cada subconjunto
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
para todo x, yE X. T es Positivo si

Tx > O
Iara todo x > O en X.
Es iniportante destacar que cada operador lineal positivo es continuo.
Definición 3.5. Un retículo de Banach X se dice es condicionalmente orden completo
(o - orden completo) o completo si cada conjunto (sucesión) aCOta(lO en X posee

SUpreImiO.
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
<x *A y * ,X> =inf{<x*,v><y*,x_v> :O<v<x}.
Resnita claro que X es un retículo orden completo (para mayores detalles se

puede ver [11]).
Sea X un retículo da Banach. La topología débil absoluta en X, que

(lenotaremOs por 1 a (X,X*), es la topología en X generada por la familia de
seininorinas (P*)* donde P(x) = < 1 x , x 1 > para cada x E X. Puede
E x
dernostrarse fácilniente que o.(X,X*) c 1 a 1 (X,X*).
La topología 1 a- 1 (X, X) en X será la topología generada por la fainila de
seminortna.s (px)x X (101ide px(x*) =< 1 x x 1 > para cada x E X. Se tiene
E
quc a(X*,X) c Ial (X*,X).
Teorema 3.6. Un retículo (le Ba.nach X, que no es a - completo contiene una

sucesión de elementos mutuamente (lisj untos equivalentes a la base de vectores
unitarios (le co.
Demostración. Revisar en [111.0
En el teorema anterior po(lemos agregar que, la base (zk)k de elementos

EN
equivalentes a c0 que se encuentra en caso de cumplirse las hipótesis, es acotada en
orden, es decir, existe uii x E X de modo que
Zk <x para cada k E N.
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
(sucesión) (x (.) C I E X con A x = O entonces luna 11 x 11 = 0.

QEI
Proposición 3.8. Un retículo de Banacli X, que no es a - orden continuo contiene un
suiespacio isomorfo a 1. Ms aiin, los vectores unitarios de 1 00 , bajo este
isomorfismo, a elementos mutuamente disjuntos de X.
Demostración. Ver [111.0
A continuación damos algunas definiciones alternativas para retículos con
norma orden continua.
Teorema 3.9. Sea X Un retículo de Banach son equivalentes
(i) X tiene norma orden continua.
(u) O < x <x . ( xi1) E N disjunta imx1 = O.
(iii) Cada intervalo es a(X,X*) - compacto.
(iv) X es un idea,l en X.
(y) X es a - completo y no contiene un subretículo isomorfo a 100.
(vi) Cada sucesión disjunta y acota.(la en norma de X es a(X*,X) - convergente a
cero.
(vii) O <x <x , lim Xn = O en la topología a(X,X*) m XI1 = O en la topología de

n—w
la norma.
Gracias al próximo teorema podemos concentrar toda nuestra atención en los
espacios con norma orden continua, y dejar de lado a los espacios a - orden
33
contiiiuos.
Proposición 3.10. Sea X un retículo de Banach. Soii equivalentes
(i) X es a — completo y a—orden continuo.
(ji) Cada sucesión orden acotada y creciente en X converge en la topología de la
norma en X.
(iii) X cs orden continuo.
(iv) X PS conipleto y orden continuo.
Establecemos ahora un resultado referente a completitud débil en retículos de
Banacli.
Teorema 3.11. Las siguientes condiciones son equivalentes para cualquier retículo de
Banach
(i) X es débilmente secuencialinente conipleto.
(u) Ningún simbespacio de X es isomorfo a c 0 .
(iii) Ningún subretículo de X es isomorfo (como retículo de Banach) a c 0 .
(iv) Cada sucesión creciente y acotada en norma en X converge en la topología de la
imormna.
(y) Bajo evaluación, X es isomorfo a una banda (le X.
(vi) Cada función linca.l positiva de c 0 en X es débilniente compacta.
Las condiciones (i) y ( u) siguen siendo equivalentes en el caso que X sea un
subcspacio cerrado de un retículo de Banacli con norma o - continua.
34
La.s demostraciones (le los resultados anteriores se encuentran en [11] y [151.
Sea X un retículo de Banach u - completo, a cada x > O asociamos una

proyección Px (IC la siguiente inanera. Para z > O en X POflCO5
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.
Proposición 3.12. Cualquier retículo de Banach orden continuo X puede ser

descompuesto en una suma directa incondicional de una familia de ideales
mutuamente (lisjuntos (X) E JI cada X tiene una unidad débil x > 0. Más
precisaniente, cada yE X tiene tina representación única de la forma y = E y con
EA
yE X, sólo un número contable de y O, y la serie converge
incondicionalmente. Más aún, si Z es un suhespacio separable de X entonces uno de
los índices a, (ligamos ao, se puede elegir de modo que Z ç X 0.
Demostración. Ver Eh] pag. 9.0
Dado un retículo de Banach orden contini.mo X con unidad débil, existe un
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)
con inclusiones continuas ( ver [11], 1.b.14 ).
Proposición 3.13. Sea X un retículo orden continuo con unidad. Con la flotación
previa, un subconjunto acotado K C X es condicionalmente débilmente compacto si y
sólo si
(*) lhii "I { 1 <X \f> 1: fEK } =0
para cada x E X.
Demostración. El espacio dual X se identifica con ci espacio de todas las funciones
ji - niedibles g tales que j fg djt <00 para cada f e X, por medio de la
correspondencia g _*x * , x'(f) = jfg djt ([111, 11.14). Con esta identificación, para
cada. g E X, el operador T g X - L 1 (jt) definida por T g(f) = fg es continua.
Eiit.onccs, si K es condicionalmente débilmente compacto, T g (K) es
condicionalmente débilmente compacto en L 1 (p.), y asi uniformemente integrable
(ver [61 pa.gs. 74-76) Luego (*) se satisface.
Recíprocamente, supongamos que K C X es acotado y satisface (*). Como
L°°(ji) = Ll(p,)* es (identificado) suhespacio de X, tomando x = 1 en (*) tenemos
hm 1
t(A)—O A f
f d1 1 = O , uniformemente en f e K
y así K es uniformemente integrable. Sea (f) E N ç K. Pasando a una subsucesión
de ser necesario, podemos suponer que (fn) n e N converge débilmente en L 1 (1). Sea
g E X*, A l, = {w E h 1 g(w) n} y 911 = Claramente (g) N converge a g

en la topología (X*,X) de X', XA11 Dado E > 0, sea > O tal que ji(A) <
iniplica que
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
1 112 —Ar (fn -.f111)g d/1 J - 1 f(fn —f 111 )g djt

J (fn - f1 )g (1111
< 2e+ 121(fn _fm )gr ( 1 11, 1

gr define una. forma lineal continua, en L 1 (p). Luego, existe un n 0 tal que n,
111 > 110, dfltOIl(CS 1 J (fn - f)g (1/1 1 <e, y así
1 f(fn — fm )g (l/L 1 <3

lo cual prueba, que (f11)11 EN
es (kbilmeflte (le Cauchy en X.fl
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.
(iii) X no contiene un suhespacio isomorfo a V.

Demostración. (i) (u) Se deduce del teorema 3.11 y teorema 1.6. (iii) => (u) Es
claro.
(i) = (iii) Sea X un suhespacio cerrado (le un retículo de Banach orden continuo E.
Para probar que un conjunto acotado K c X es condicionalmente débilmente
compacto, podemos suponer que K es numerable, luego existe una banda E. con
unidad débil tal que Eo es orden isométrico a un subreticulo de E* y así, es
débilmente secuencialmente completo. Es suficiente probar que K es
condicionainiente débilmente compacto en E 0 .
Sabemos que existe un espacio de probabilidad (í , E , ji) tal que E. es un
37
ideal (orden) de L 1 (jt) y
L(t) c E0 c L 1 (p)
con inclusiones continuas.

Sea K c E0 un conjunto acotado. Por proposición anterior K es
condiciona.lnieiite (kbilrnente compacto si sólo si
(*) lini sup { 1 <x, A f> : fEK } =0
*
Vx E E0 .
Supongamos que existe K 0 EO acotado y z E EO tales que (*) no se

verifica.
Definimos la siguiente familia de medidas (mf)f K como
mA) = < Z, A> V fE K0 , e A E E. (Iflf)f E i es una familia de medidas
- a(litivas y acotadas.
Por Proposición 2.5(mf) f no es uniformemente fuertemente aditiva. De
este modo, por proposición 2.3 existe una sucesión de elementos disjuntos de E,
(A)11 EN 1 tal que
hm 1 mf(A 11 ) no es cero uniformemente en (ni ffEK
) 0 . Es decir
fl—oo
lirnsup{I <Z* , A > fEK0 }noescero.
11-00
Luego pasando a una subsucesión de ser necesario podemos suponer que existe € > O
(le 1110(10 que
sup {I <z , XAf> 1: fEK0 } > f Y UEN.

*
Si (lefillillioS (x*11 ) E N ç E0 por
f> = XA f> entonces x es (1.i.c. y hm IIx
fl—*oo
n=1
no es cero. Esto es una contradicción con la iiipótcsis.0
38
Definición 3.15. Un espacio de Banach X tiene la propedacl (u) si, para cada
sucesión débil Cauchy (x 11 ), existe una serie y1,

A'
d.i.c. tal que
(xn N coverge
n clél)ilmvIlte a cero. =
k lYk)n
Proposición 3.16. Sea X un retículo dr Ba.nach. X tiene norma o - contillua si y sólo
si X es a - completo y tiene la. )ropie(la.l (u).
Proposición 3.17. Cada subespacio cerrado de un espacio (le Banach que posee la
propiedad (u) tiene la propiedad (u).
Cuando trabajamos con duales (le retículos (le Banach observarnos que muchos
propiedades son coincidentes.
Teorema 3.18. Sea X un retículo de Banach. Son equivalentes
(i) X es (lébilmnente secuencia.lrnente completo.
(ji) X* tiene norma orden continua.
(iii) X tiene la. propieda.(l (u).
(iv) X no contiene un subespacio isomorfo a c 0 .
(y) X no contiene un subespa.cio complementado isomorfo a V.
(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].
Un subconjunto A de X ( X retículo de Banach ) se llama orden equicontinuo
en X si (lada una sucesión (x11)

EN
creciente y acotada en el orden de X entonces
(x11)11
EN
es A - de Cauchy, donde P A se define p°
39
<X, X > L x E A}
PA(x) = sl1p { 1
Proposición 3.19. Sean X un retículo de Bana.ch, A c X. Son equivalentes
(i) A es orden eciuicontinuo en X.
(u) V x E X + y V e > O, existe y > O en el ideal geflera(lO p or A tal que

(Ix*t y*)+()< VX*EA.
(iii) A es 1 (X,X) - acotado y cada sucesión disjunta en S(A) es
1 1 (XX) - convergente a. celo.
(iv) A es 1 a 1 (X*,X) - acotado y 1PA(xI1) = O para toda sucesión disjunta y
acotada en el orden (x11)11

E N X.
Demostración. Ver [11 pag. 135.0
Direiiios que un retículo (le Banach E es un espacio AM (espacio AL 1 ) si para
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).
Teorema 3.20. (i) Un espacio AL 1 es orden isométrico a un espacio L 1 (1i) sobre
algún espacio de medida (ft E, ; i). Si X tiene unidad débil entonces p puede
elegirse como medida finita.
(ji) Un espacio AM es orden isométrico a un subretíciilo de un espacio C(K), para
algún espacio compacto Hausdorff K. Si, adeniás, X tiene unidad fuerte entonces X
es orden isométrico a un esj)acio C(K).
Demostración. Revisar en [11].0
Sea. E un retículo (le Baiiach. Si x E E, x > O, E x denotará el ideal generado por
40
x en E, esto es
Ex={yE:R>O,iyI<x}
para Y E E, definirnos II y lix = inf{Á > O 1 y 1 <x}, entonces (E x , II II ) es un
espacio AM con unidad fuerte x, y x, x] es la hola unitaria de E (mayores
detalles se encuentran en [151).
41
CAPÍTULO IV
SUCESIONES Y SERIES
Definición 4.1. x1 1 (le un espacio de Baiiach se dice débilmente

Una serie
n=1
incondicionalmente (le Cauchy (d.i.c.) si, dada una permutación ir de los números
naturales, (E x E N es una. SUCCSiÓII (lél)iluIlClltC de Cauchy.
k=1
Esta definición no es la única que podemos encontrar. El siguiente teorema nos

proporciona algima.s otras, entre las cuales podenios destacar la (y).
Teorema 4.2. Si X es un espacio de Banacli y ( x11)11 E N

es una sucesión en X
entonces son equivalentes
00
(i) x11 es (l.i.c.
(u) Sup{ ±X : o- C N, o- finito} es (norma) acotado.

kEo- -
(iii) Sup{ 1 <X, Xn> 1: Il x*Il < 1} =M <cc.

II =1
n
(iv) Existe C > O tal (III(' 11 E tX1 II (tk)k II c0 para cada u E N,
EN
k=1
(tn)n E N E Co.
(y) t11x11 converge para cada (tn)n E N E C0 .

u= 1
Demostración. Ver [161 pag. 409 - 410.0
42
Como un resultado inmediato del teorema anterior, tenernos el siguiente lema.
Lema 4.3. Si X es un espacio de Banach y x11 es una serie d.i.c. , emitonces

00
ri=1
T((t11)11 N) =E t 1 x11 define un operador lineal y continuo T : c0 - X.
u= 1
Definición 4.4. La serie x11 es incondicionalmente convergente (j.c.) si para cada

mi=1
00
permutacion 7r de los nurneros naturales, la serie x , converge.
k=1
Definición 4.5. La serie xtl es subserie convergente si para toda subsucesión

n=1
( x flk)k E N la subsericxflk converge.
A la luz de esta definición, el teorema (le Orlicz - Pettis se puede enunciar
como Toda serie, en un espacio de Banach X, que es subserie convergente en la
topologhi débil, es subserie convergente en la topología de la norma.
Al igual que el caso de las series d.i.c., para las series j.c. existen definiciones
alternativas.
Teorema 4.6. Sea E x1 una serie en X. Son equivalentes

00
n=1
(i) Xn es i.c.
u=1
(ji) La red { x : q C N, o, finito} es convergente.

kEu
(iii) lini1 < x, x > = O uniformemente para II x < 1.

N—oo n=N
(iv) t11x11 es convergente para cada (t " ) Il E N

n=1
00
(y) x es subscrie convergente.
u=1
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.
Lema 4.7. Si una sucesión básica (x)fl

E
N (le un espacio de Banach X satisface las
condiciones
(a) inf{ II xii II: u E N} > O.
0O
(b) F x11 es d.i.c.
n= 1
entonces la sucesión básica (X)11
E
N es equivalente a la base canónica (le c 0 .
Demostración. Se sigue de (a) que si la serie E t11x11 es convergente entonces
ii=1
(t11)11 E N E c 0 . De esto y (lel teorema 4.3 se tiene que los conjuntos { ( tiJil E N
t 11x11 converge } y { ( t1)1 E N : t 11e11 converge, donde (e11 )n EN
es la base (le
ii=1 n=1
c0 } son iguales. Por lo tanto las bases son equivalentes.0
Teorema 4.8. Sea X un espacio de Banadi. Las siguientes afirmaciones son

equivalentes
(i) Existe en ci espacio X una serie d.i.c. que no es j.c.
(u) Existe en el espacio X una serie x d.i.c. tal que mf 11 x 1 > O.
11=1 nEN
(iii) X contiene un sul)espacio isomorfo a c 0 .
Demostración. (i) => (u)
Si la serie L w x 1 no es j.c., entonces para alguna
n=1 00
permutación ir de los números naturales la serie E x no es convergente. Luego
n=1
existe timia sucesión creciente (le índices (n) E N tales que
1 n+1
inf{ xk. II: uEN }>O
i=q11 +1
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
A continuación enuiiciamos un resultado que se deduce del teorema anterior.
Teorema 4.9 (Orlicz). Si el espacio de Banach X es débilmente completo, entonces

cada serie (l.i.c. en X es j.c.
Demostración. Sigue inmediatamente del hecho que cada slibespacio de un espacio
débilmente completo es también débilmente completo pero c 0 no lo es.D
Los tres resultados anteriores fueron presentados en [4].
Proposición 4.10. Sca X un espacio (le Banach, (x)11

EN
una sucesión en X. X11
n=1
es (débil) subserie convergente si y sólo si { x a C N, a finito} es (débil)
kEa
relativamente compacto.
Demostración. Sea A = { E x a C N, a finito}.
QQ kEa
Si x11 es subserie convergente entonces por teorema 4.6 A es una red
11=1
convergente, por lo tanto, A es relativamente compacto.
Si x11 es débilmente subserie convergente entonces por Teorema 1.8 todo lo
anterior es v.1ido.
Supongamos ahora que A es débilmente relativamente compacto, luego A es
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
Definición 4.11. Sean X e Y espacios de Banach. Un operador lineal T : X - Y se

dice que es incondicionalmente convergente si lleva series d.i.c. en X series j.c. en Y.
Esta (lefinición fue dada por primera vez en [13].
Sea T : X Y un operador débilmente compacto doiide X e Y son espacios de

00 . . 00
Bauach y sea x una serie d.i.c.. Conio la serie E
x11 es d.i.c. el conjunto
n=1 n=1
{ o N, a finito) es norma acotado, así ci conjunto { Tx : o• C N, o•
kea kEo
finito) es débilmente relativamente compacto, luego por Proposición 4.10 la serie
Tx11 es subserie convergente. Por teorema 1.8 la serie Tx11 es subserie
n=1
convergente y, por tanto, incondicionalmente convergente.
Coii el proposito de hacer más manejable el concepto de operador

incondicionalmente convergente, damos la siguiente proposición.
Proposición 4.12. Sean X, Y espacios de Banach. T : X - Y operador lineal y

acotado. Son equivalentes:
(u) Para cada serie d.i.c.x11 en X la sucesión (Tx11)11 € N converge a cero en Y.
n=1
Demostración. (i) => (u) Es claro. (u) => (i) Supongamos que T satisface (u) y no es
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
La mayoría (le lOS resultados y definiciones dados a continuación están dados en

[14].
Definición 4.13. Sea E un retículo de Banach y X un espacio de Banacli. Un

operador T: E X es llamado operador orden dél)ilmente compacto (o - débilmente
compacto) si T lleva conjuntos acotados en orden de E en conjuntos relativamente
débilmente compactos de X.
La siguiente proposición caracteriza los operadores o - débilmente compacto en

térimnos de sucesiones disjuntas.
Proposición 4.14. Sea E un retículo de Banach y X un espacio de Banach. Entonces
un operador lineal y continuo T E X es o - débilmente compacto si y sólo si T

lleva sucesiones disjuntas, acotadas en el orden en sucesiones convergentes en norma.
Demostración. Sea x E E, x > O. Definimos
Ex = { yeE: 30E fi, CY> O, fyl < ctx}

para yE Ex definimos uy lix = inf{\ > O : 1 y 1 < \x}, entonces sabernos que
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
sucesión en E disjunta y acotada en orden. Por ser acotada en orden existe x E E,

x > O tal (lite
(xn) I1 ENC[_x, x) cEx.

Ahora, como T : E . X es o — débilmente compacto se tiene que la restricción
de T a E, Í1 : E X, es débilmente coinpacta. Dado que E x es orden isométrico
a C(K), para algún K compacto y Hausdorff, se sigue de Corolario 2.29 que
lirit Í(x11 ) = lini T(x11 ) = 0.
n—*oo fl—oo
La demostración del recíproco es similar a la anterior.O
El próximo teorema relaciona la propiedad de ser o - débilmente compacto con

una propiedad del adjunto (lel operador en cuestión.
Teorema 4.15. Sea E un retículo (le Banach, X un espacio (le Banach y T E -+ X
un operador lineal y continuo. Entonces T es orden débilmente compacto si y sólo si

T* transforma suhconjuntos acotados (le X en subconjunt.os o - equicontinuos (le E
1*
en r4
Demostración. Supongamos que T es o - débilmente compacto. Sea (x) E N tina

sucesión disjunta y acotada en orden. Por lema anterior se tiene que
lun 11 Tx,1
n—oc 0, pero
Tx11 sup{ 1 <x, Tx 11 > 1: x E Bx*} = sup{ 1 <T*x*, x> 1: X E Bx*}
así ¿imsup{ 1 < T*x* , x> : x E Bx*} =o (*).

Por otro lado T * (B x* ) es norma acotado y por tanto 1 a 1 (E, E) acotado, de
48
esto y (le (*) se concluye que T*(B) es o — equicont.inuo.
El recíproco es análogo.fl
El siguiente lema considera operadores lineales definidos en retículos de

Banach.
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
{yE F: 11 y < 11 es a(F*,F) - relativamente secuencialmente compacto es

débilmente compacto.
Demostración. Claramente (i) (u) y ( iv) => (i).
(ji) => (iii) Sea (x EN
una. sucesión en E* tal que 1imx = O en la. topología
1 a (E, E). Puesto que el operador T E co definido por T(x) = (1 4 1 (x)) EN
es positivo, es débilmente compacto. Por teorema 1.16 su adjunto T* : 1 1 E es
débilmente compacto, entonces {e 11: n E N} es la base usual de 1, el conjunto de E* ,
{ T* eij : u E N} es a(E*,E**) - relativamente compacto, así tenemos que, del hecho

que T*exi = 4 , im 4 = O en la. topología. a(E*,E**). Luego 1l1irn x1 = O en
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.
Sea(y )€ N una. sucesión positiva en BF*, puesto que (y ) EN tiene una
.suh.sncesion a(F ,F) - convergente, podernos asumir que la sticesion (T Yn ) ii E N es
1o, 1 (E,E) - convergente, entonces, por hipótesis, la sucesión (T*yr )EN es
(léhilmente convergente. Luego T*(BF*) es (léhilmente relativamente compacto
puesto que T(BF*flF ) lo es. Así T* es débilmente compacto, por tanto T
también lo es.O
Definición 4.17. Sea E un retículo de Banach y X un espacio de Banach, un
operador lineal y continuo T : E - X es llamado orden incondicionalmente
convergente (o.i.c.) si lleva series d.i.c. de elementos positivos (le E a series j.c. en X.
Nicolescu, en [12], obtiene una caracterización para los operadores orden
incondicionalmente convergente.
Teorema 4.18. Sea E un retículo de Banach, X un espacio de Banach y T E -* X
opera(lor lineal y acotado. Entonces las siguientes afirmaciones son equivalentes
(i) T es o.i.c.
(u) O <x orden creciente, 11 x <K en E implica (Txn)ii e N es convergente en
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).
Consideremos (xnk)k una subsucesión (le (x11)11 e N Para cada número m en

EN
ni
los naturales definimos Yiii =Xnk (ym)1 N es una. sucesión creciente, aCOta(la
CII norma. Y (lite satisface O Por (u) hm Ty 1 =
para todo in E N. Tx 1
111-00
k=1
existe. Como (xflk)k es una subsucesión cualquiera de (xn) n E N se tiene que la
EN
serie Tx 1 es subserie convergente y por lo tanto incondicionalmente convergente.
ui=1
(iii) (u) Supongamos que existe una sucesión (x11)11
EN
en E que satisface O < x il
para to(lo n E N, es orden creciente y acotada en norma pero (Tx)11

EN
no converge.
Sea x e E** tal que (xn)ui ( x ** corresponde al límite débil de la

EN
sucesióii (x)11
EN
considerada en X*) satisfaciendo las mismas condiciones que en
rf la restricción
E (orden creciente, norma, acotada y mayor o igual que cero). Sea
(le T a claramente (Tx11)11

eN no converge. Como es isomorfo a algún
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
tal que (Ty11)11

e N no converge al nulo. Ahora, en E la sttcesión (Yn)n E N
es
acotada en orden, positiva y disjunta (los a (los, por tanto es d.i.c. en E.
Resumiendo, (yii)n e N es una sucesión d.i.c. (le elementos positivos y disjuntos dos a
dos en E tal que los siguientes límites hm 11 ty 11 hm 11 Ty 1 11 no son cero.

Ii—oc 11—oc
(iii) => (y) Supongamos que existe tun subretículo F de E, orden isométrico a c 0 , tal
que T restringido a F es un isomorfismo.
Como la restricción de T a F es un isomorfismo existen constantes c 1 y c 2 en
+ 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
converge a.! nulo.

(y) => (iii) Supongamos que existe una sucesión (X)11
E N (l.i.C. de elementos
disjuntos (los a dos y positivos en E tal que
(**) 11Txi1I1 > VflEN.
De (*) se deduce que

inf{ 11 X11 II: u E N} > O.
Del Teorema 1.5 existe tilia subsucesión (xiIk)k E N de (x11)11 E N que es base.
Por Lema 4.7 (xIlk)k E N es equivalente a la base (le c 0 , { e11 : n E N}.
De (**) T es isomorfismo sobre F, subespacio que corresl)onde a la clausura (le
los elementos generados (como base (le Scha.uder) por (xIlk)k E N' que es un
subretículo orden isométrico a c 0 .11
4.19 Ejemplos. A continuación mostraremos algunos ejemplos en donde las

propiedades de operadores en ciertos espacios (así como propiedades del espacio) y
las l)ropiedad('s de las sucesiones y series de dichos espacios están muy relacionadas.
1) Operadores en c 0 . Los operadores lineales y acotados de c 0 a un espacio de
Banacli X corresponden precisamente a las series d.i.c. en X.

(i) Un operador lineal acotado T c 0 -. X es débilmente compacto si y sólo si la
serie Ten es una serie débilmente stmbserie convergente.
n=1
(ji) Un operador lineal y acotado T : c 0 X es compacto si y sólo si la serie E Te11
n=1
es subserie convergente.
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
entonces x= E t 11x11 . Como T es acotado, se tiene:

n=1
hm T( - t bxl )= límt 1,Te
Tx= I1- fl-400 -
Así, la serie t11Te11 es convergente V (t11)11 E N E c0

n=1
Ten es (i.i.C.
n=1
(i) () Supongamos que T : c 0 X es débilmente compacto. Así, { Tek:o C N,o
kEa
fiiiito) es (lébilmnente relativamente compacto. Luego, por lema 4.10 Te11 es débil
n=1
subserie convergente.
() Supongamos que Te11 es débil subserie convergente. Por lema 4.10
n=1
{ Te: a Ç N, a finito} es débilmente relativamente compacto. Así, por teorema
kEa
1.9 el conjunto:
absco{E Tek : a C N , a finito) es débilmente compacto.
ka
La demostración sigue del hecho que:
T(BÇ ) c absco{ Te : aCN , a finito).
kEa
(u) Análogo a (i).0
2) Operadores a 0. Los operadores lineales y acotados de Ufl espacio de

Banach X a 1' corresponden precisamente a las sticesiones (x )eN X* para las
cuales <x1 ,x> 1 <oc para cada x E X, es decir, las series débilmente
n= 1
incon(liciollalmente de Cauchy en X*.
(i) Un operador T : X ¡1
es débilniente compacto si y sólo si la serie Ex
W es
n=1
débilmente subserie convergente en X.
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
Debemos probar que T es lineal y acotado.

* *
Sea u E N, definimos T11 : X - 1 1 por Tx = ( <x 1 , x> ,...., <x , x>, O , O ,
Claramente T 11 es lineal y acotado V n E N y además lírn Tx=Tx V x E X.
Así, por teorema de Ba.nach-Steinhauss T es acotado.
Recíprocamente sea T : X 11 un operador lineal y acotado. Sea i11 : 11 K
defmicla por iIl((xk)k E N = X. Claramente i n es continua y lineal. Definirnos
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
3) Operadores en ¡. Los operadores lineales y a.cotados de 11 a un espacio de Banach
X corresponden precisamente a las sucesiones acotadas en X.

(u) Un operador lineal y acotado T X es débilmente compacto si y
sólo si el conjunto {Te n : n E N } es débilmente relativamente compacto.
(u) Un operador lineal y acotado T : P X es compacto si y sólo si ci conjunto
{ 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.
Sea n E N, definirnos T11 : ¡1 -. X por T11((tk)k E

N)=kltkxk T es lineal y
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
x11=Te obtenemos la solución buscada.

Para (i) y ( u) observar que T(13 1 1) c ahsco{ Te11 : n E N} y se procede como en
los ejercicios a.nteriores.0
4) Operadores a c0 . Los operadores lineales y acotados de un espacio de Banach X a
c0 corresponden precisamente a las 51ICCSIOflCS (lel)1l - nulas en X*

(i) Un operador lineal acotado T : X c0 es dél)iltnente compacto si y sólo si la
sucesión (T*ei )11 E N es débilmente nula en X.
(u) Un operador lineal acotado T : X c0 es compacto si y sólo si la sucesión
(T*c )n es norma, nula en X.
E N
Demostración: La afirmación anterior a (i) y ( u) se demuestra de manera similar a

lo hecho en el ejeniplo (2).
Ahora, para (i) y ( u) observemos que tanto X como c 0 son espacios de Banach.
Así, T es (débilmente) compacto si y sólo si T* es (débilmente) compacto. Tenemos
que T*:P - X y que (e )mi E N es débil* - nula.
Si T es compacto entonces, teorema 1.12, T* lleva sucesiones acotadas
(lébilmen te * convergentes a sucesiones norma convergentes. De lo anterior, si T es
compacto entonces la sucesión f Te : n E N} es norma nula.
Si T es débilmente compacto entonces, por teorema 1.14 T* es continua con
respecto a las topologías déhil* y débil en ¡1 y X respectivamente. De lo anterior, si

T es conipacta entonces la sucesión { Te : n E N} es débilmente nula.
55
Por otro lado, si { TP1' : u E N} es (débilmente) nula entonces también es
relativamente (débilmente) compacta. Así, por ejercicio anterior, T* es (débilmente)
conipa.c to.L1
5) Conjimtoi relativamente compactos en e 0 . Son equivalentes:
(i) K c c0 es relativamente compacto.
(ji) 3 x E Co tal que
1k 11 H1x11 1,VkEKytodonEN.
(iii) K es acotado en norma y V e > O , 3 N E N, tal que
n>N f => JknI <e , Vk€K.
Demostrai6n : ( u) (iii) Evidente.
(i) => (iii) Si K es relativamente compacto, por [5] (teorema 5, pag. 3) y por [6]
(teorema 12, pag. 51), existe una sucesión (x11)11

e N q e0
, sucesión convergente cmi
norma a la sucesión nula, tal que K está incluido en la envoltura convexa de
e N. Luego, podemos suponer que K=(k)11 E N sucesión convergente eii norma

a la sucesión nula.
ni
Como » rnI 1 k 1c0 =O ; V € > O , 3 N E N tal que ni N f 1l 1
III
Vn E N. V m 2 N f se tiene J k 1
Asi, <e. Consideremos el conjunto
* * mu
A={1,...,N f - 1} , podemos escoger N EN tal que n N f ¡kn 1 <e, V mE A.
* * In
Resumiendo, V e>O , 3 N f EN talque n>N => 1k 11 1 <e, V mEN.
(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
6) Conjuntos relativamente compactos en l (1 <p <co). Para cualquier p,
1 < p < oo, un subconjunto acotado K de IP es relativamente compacto si y sólo si
liiii1k. 1 1) =o
n—~oo• 1
uiiifornienieiite para k E K.
Demostración. Similar a la ant.erior.O
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.
Definición 5.1. Uit subconjunto A de un espacio (le Bana.ch X es un conjunto V si
para cada. serie (l.i.c. $1 en X*, se vcrifica lo siguiente

n=1
lun < $1 , x> x e A } = O.
Iloo Sil!) {
Es obvio que un conjunto V es acotado. También, cada conjunto

relativa.niente débilmente compacto es un conjunto V* (corolario 5.3).
Las siguientes propiedades (le los conjuntos V se establecen fci!inente.

(a) Subconjuntos, coinhmaciones lineales y envolturas convexas cerradas de
conjuntos V* son conjuntos V.
(1)) Si A es uit conjunto V en X y T : X Y uit operador lineal y acotado entonces
T(A) es un conjunto V* en Y.
(c) Si cada conjunto numerable de A es un conjunto V* entonces A es un conjunto
v *.
58
El resultado dacio a continuación caracteriza los conjuntos V*
Proposición 5.2. Para un subcoujunto acotado A de un espacio de Banacli X, son

equivalentes.
(a) A PS liii conjunto V.
(b) Cada serie d.i.c. E x1 en X coiiverge absoluta y uniformemente en A, es
n=1
decir
oe
hm SUI) { 1 <x , x> 1: x e A } = O.
IflOO n=m
(c) Para cada operador T de X en l, T(A) es relativamente compacto.
(d) V e > O existe A. X conjunto V de modo que A C A + eBx.
Demostración. (a) => (b) Si (b) no se verifica, existe un e > O, uiia subsucesión
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)
pero entonces existe un suhconj unto o , de , . • . , qj } tal que

*
L... <Xn ,X> > 4e
flE(7
Siy = x , entonces y es d.i.c. en X y 1 <y , x.> > para

3 11E01 =1
cada j E N.
(h) => (a) Obvio.

La equivalencia entre (b) y (c) sigile (le la conocida caracterización cte los
subconjuntos relativamente compactos de ji (ver ejemplo 6) y series d.i.c. en
X, que a.socia a cada serie x11 en X el operador definido por
n=1
Tx = ( <x ,x > ) ij E N E 1 1 . ( ver ejemplo 2).
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
En algunos espacios, la clase de los conjuntos V coincide con alguna otra de

importancia. La ocurrencia de este evento es en realidad una propiedad del espacio.
Definiciones 5.4. (a) Un espacio de Danach X tiene la propiedad débil V si cada
conj unto V es condicionalmente débilmente compacto.

(h) Un espacio de Banacli tiene la propiedad V' si cada conjunto V* en X es
relativamente débilmente compacto.
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.
Proposición S.S. Si un espacio de Banach X tiene la 1)ropiedad V* entonces cada

1
suiwspacio cerrauo
1 1 1
(L A tiene ia propieaact
1
y
Demostración. Sea E Un sul)espacio cerrado de X y sea K C E un conjunto \T* en E,
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.
Proposición 5.6. Si X es un espacio de Banach que tiene la propiedad V entomices X
es secuencialmnente débilmente completo.
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
conc.humos que {( < x ,x111 > ) n E N : ni E N} es una. sucesión débilmente convergente

en 11, por teorema 1.2 es convergente y así
* *
hin 00 1 <x 11 ,x1 > ---Ui hm <x11, x111> 1 =0 y
Ifl—'0011 -400
1 00 *
1111lini
-400
< x11 , x1 > < oo. Esto nnphca que
*
hm sup{ <Xfl , x111 >: nl E N} = O . Cada sucesión débilmente de
fl-*00
Cauchy es un cofljtlflt() V. Puesto cine X tiene la propiedad V' cada sucesión

débilmente (le Cauchy en X contiene una subsucesión débilmente convergente a un
elemento de X. Así X es débilmente secuemicialmente completo.O
La siguiente proposición ((lada por Boinbal en [31) relaciona las propiedades

débil V y V
Proposición 5.7. Sea X un espacio (le Banach. X tiene la propiedad V* si y sólo si X
tiene la propiedad débil V y es secuencialmente débilmente completo.

Demostración. Si X tiene la propiedad V* entonces obviamente tiene la propiedad
débil V y por proposición 5.6 es secuencialinente débilmente completo.

Supongamos ahora que X tiene la propiedad débil V y es secitencia.lmente
débilmente completo. Sea A C X un conjunto V*, como X tiene la propiedad débil
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
(xflk)k es convergente en la topología débil y así, A es relativamente débilmente

EN
con lpac to.fl
En la siguiente definición nos hemos l)asado cii los conceptos de operador

compacto y débilmente compacto.
Definición 5.8. Sean X, Y espacios de Banacli. Un operador lineal T X -* Y es un
operador V si T(Bx) es un conjunto V*, donde Bx es la bola unitaria de X.

El conjunto de los operadores V de X en Y se denotará por V*(X,Y).
Teorema 5.9. Sean X e Y espacios de Banach. El conjunto V*(X, Y) es un

subespacio (le Ba.nach del espacio L(X, Y).
Demostración. V*(X, Y) es claramente un subespacio lineal, pues, combinaciones
lineales (le conjuntos V son conjuntos V* .

Sólo falta probar que V*(X, Y) es cerrado en L(X, Y). Sea T un elemento de
la clausura de V*(X , Y), y sea í > O un número real. Dado que T está en la clausura
(le V*(X, Y) existe L€, elemento de V*(X, Y) de modo que
IT—LE II <
así, para cada x E Bx 11 Tx - Lf x 11 <€, es decir, Tx - L f x E €B para cada
XE Bx. De esto se obtiene que Tx E Lc(Bx) + (BY.
Finalmente T(Bx) Le(Bx) + €B dado que Lf(Bx) es un conjunto V se
concluye cte proposición 5.2 que T(Bx) es un conjunto V* . O
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*
El próximo teorema está en la línea cte los teoremas de Schartder y

Gaiitmacher, es decir, relaciona una propiedad de uii operador con una propiedad del
adjunto de dicho operador.
Teorema 5.10. Sean X e Y espacios de Banach, T : X - Y operador lineal y

acotado. Son equivalentes
(i) T X Y es un operador V* .
(ji) T* Y* X es incondicionalmente convergente.
Demo8tración. Supongamos que T X Y es un operador V, es decir, T(Bx) es
un conjunto y
Seay00una serie d.i.c. en Y*. Dado que T(Bx) es un conjunto V se tiene
n=1
(I1LC
¿1imsul){ 1 <y , Tx> x E Bx} = O

o bien limsup{ 1 <Ty , x> x E Bx} O
luego hm 11 T*y II
dado que yn es una serie d.i.c. arbitraria se tiene que T* es incondicionalmente
11=1
convergente. El recíproco es similar.O
El resultado dado a continuación es uno de los más importantes del capítulo, en

él se piietc apreciar la íntima relación entre la propiedad V y los operadores del
64
niisiiio nombre.
Teorema 5.11. Sea X un espacio de Banach. Soii equivalentes

(i) X tiene 1a 1)ropiedad V* .
(u) Para Ca(la espacio de Banach Y, cada operador V, T : Y -, X, es débilmente
compacto.
Demostración. (i) => (u) es evidente. (ji) => (i) Sea A un suhconjunto V de X y sea
(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
lun Sup {IT* X (k)I kEN } =0.

fl -*00
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
De manera similar a la definición de los conjuntos V* en X, podemos definir

conjuntos en X, que llamaremos conjuntos V.
65
Definición 5.12. Sea X un espacio de Ba.nach. Diremos que un suhconjunto K de X
es un conjunto V si satisface la COn(liCiófl
liiii sup{ 1 < x', x n > : x E K} = O

fl—*Qo
00
para cada serie d.i.c. X II en X.
n= 1
A continuación tui resultado que nos da definiciones alternativas para los
cøfljiiiitøs V.
Proposición 5.13. Sea X un espacio cte Banach y K C X un subconjunto acotado.
Entonces son equivalentes
(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.
(d) Para cada í > O existe K f X conjunto V tal que K c K f +
Demotración. (b) (c) Sea T c 0 en X

X entonces existe una serie d.i.c.
00
n=1
tal que T((t11)11 E N) = tx1 y T(e) = x 11 (ver ejemplos) donde (e) E N es la
n=1
base usual de co.
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
hm sup{ 1 <Tx, e11 > : E K} = O

1i-(X) nm
00
o hm sup{ <x, Te11 > 1 : x E K} = O
fl0O n=m 1
00
luego hm sup{ 2 1 <xi, X11> : x E K} = O
fl-00 nn
como se quería demostrar.

Las demostraciones (le (a) <=> (b) , (a) <=> (d) son similares a las de la proposición
5.2.0
Corolario 5.14. Sea X un espacio de Banach. Cada sul)conjunto condicionalmente

(lébilnieilte compacto de X es un conjunto V.
Demostración. Similar a la del corolario 5.3.0
Aniogamnente a lo hecho anteriormente, definiremos la propiedad V y débil V.
Definiciones 5.15. (a) Un espacio de Banach X tiene la propiedad débil V si cada
conjunto V es condicionalmente débilmente compacto en X* .

(b) Un espacio (le Baiiach X tiene la propieda(l V si cada conjunto V es
relativamente débilmente compacto en X*.
67
El siguiente resultado, que se debe a Pelczynski [13, relaciona la propiedad V
con la V .
Proposición 5.16. Si un espacio de Banach X tiene la propiedad V entonces X* tiene
la propieda(l V ; si X tiene la propiedad V entonces X tiene la propiedad V*.

Demostración. Consecuencia inmediata de las definiciones 5.4 y 5.15.0
Con las definiciones (Ia(las, estaiiios en condiciones de agregar una nueva

definición equivalente a la (le operador incondicionalmente convergente.
Teorema 5.17. Sean X, Y espacios de Banach. T X -* Y operador lineal y

acotado. Son equivalentes
(u) T*(B) es un conjunto V.
Demostración. (i) = ( u) Supongamos que T X -, Y es incondicionalmente
00
convergente. Sea E xn una sucesion d.i.c. en X. Como T es incondicionalmente
n=1
coiivergentc se tiene que
lun II Tx II = O
11-+00
ylC
así, hm sup{ 1 <y', Tx> 1: E =O
n—+oo
se sigue que lun sup{ 1 < T*y*, x 11 > :
n—oo y E B} = O
por tanto T*(B*) es un conjunto V.
(ji) (i) Es semejante a la anterior.0
El próximo teorema es semejante, e igualmente importante, al teorema 5.11.
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
consideremos la transformación lineal T : X B(K), con T x( x*) = <x * , x>, para

cualquier x E X y x E K. T es un operador incondicionalmente convergente, en
oc
efecto, supongamos por el contrario que existe una serie E x11 d.i.c. en X tal que
n=1
Tx 1 no es j.c. en Y; luego pasando a una subserie cte ser necesario, E Tx n no
n=1 11=1
converge en norma; así, existen sucesiones de números naturales (p ) E N Y (CIj )j E N
COl! <(I para cada j en N y E > O, ta.1 que
Pi
q
Tx1 11 ~ e para cada j E N
qj 11=1)i
ponemos z x , z11 es d.i.c. en X, luego como K es un conjunto V
J=
fl=Pj ii=1
litmi sup{ 1 < x, z > x* E K} = hm Tz = O, esta es una
n 'oo— n—oc
contradicción.
Así, por (a), T es débilmente compacto. Luego, por un teorema 1.16 el
operador adjunto T* es débilmente compacto. Sea (x EN una sucesión arbitraria

en K. Definamos F 1 ' f = f(x*) , para cada fE B(K) (n = 1, 2, . .). Entonces
1 Fl , 1 para mi = 1, 2 1(F1 )n E N cs tma sucesión acotada en [B(K)]*.

. . , y ,
Puesto que T*F1 = x (u = 1, 2, .) y T* es débilmente compacto podemos elegir

-
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
sucesión en K entonces posee tina subsucesión (xk)k que es (léhilinente de

EN
Cauchy y como X es débilmente secuencialmemite coimipleto entonces es débilmente
convergente. Por tanto K es débilmente relativamente compacto y X tiene la
propiedad V.O
Este resultado y la gran mayoría de los que siguen a continuación pueden

ser vistos en [13).
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
cada espacio cuociente de X tiene la propiedad V.
Corolario 5.20. Sean X, Y espacios de Banach. entonces el producto cartesiano XxY
tiene la propiedad V si y sólo si X e Y tienen la propiedad V.
Corolario 5.21. Cada espacio de Banach reflexivo tiene la propiedad V.
Proposición 5.22. Si X es un espacio de Banach que tiene la propiedad (u) y cada

conjunto acotado cte X tiene tina sucesión débilmente (le Cauchy, entonces X tiene la
propiedad V.
Demostración. Sea Y un espacio de Banach arbitrario y sea T: X - Y un operador
incondicionalmente convergente. Consideremos (x) EN

con X 1 (n = 1,2,. . )
tina sucesión arbitraria en X. Por hipótesis existe una subsucesión (xn ni)m E N la
cual es una sucesión débilmente de Cauchy. Puesto que X tiene la propiedad (u)
00 fl1
existe tina serie d.i.c. un tal que la sucesión ( xnm - U) E N converge
n=1 k=1
débilmente a O. Así, recordando que T es un operador incondicionalmente
EN
converge débilmente al elemento E Tu11 de Y. Luego T es un
n=1
operador débilnicnte coinpacto.0
Corolario 5.23. Si X es un espacio de Banach en que cada subconjunto acotado tiene
una sucesión débilmente de Cauchy y si X es isomorfo a un espacio cerrado de un

retículo de Banach orden continuo entonces X tiene la propiedad V.
Demostración. Este corolario se sigile ininediat amente de la proposición anterior y
del hecho que cada subespacio (le un retículo cte Banach orden continuo tiene la
propiedad (u) .0
71
A esta altura cabe preguntarse qué tipo (le espacios poseen ambas propiedades,
V y V. La, siguiente proposición responde a esta inquietud.
Proposición 5.24. Un espacio de Banach X es reflexivo si y sólo si tiene ambas
prol)iedades y y V.
Dcmostra.ción. Si X es reflexivo entonces, por Corolario 1.15, cada conjunto acotado
en X o X* es secuencialmente débilmente compacto. Luego X tiene ambas
propiedades V y V. Recíprocamente, supongamos que X tiene ambas propiedades
V y V, entonces X es débilmente secuencialinente completo. Luego, por teorema
4.9, cada serie (l.i.c. es j.c. en X. Así cada conjunto acotado en X es un conjunto
V. Por tanto, dado que X tiene la propiedad V, cada conjunto acotado en X es
relativamente débilmente compacto. Y usando nuevamente el Corolario 1.15
obtenemos que X es reflexivo.O
Proposición 5.25. (a) Sea X un espacio de Banach que tiene la propiedad V.
Entonces X es reflexivo si y sólo si ningún subespacio complementado de X es
isomorfo al espacio V.
(b) Sea X un espacio (le Banach que tiene la propiedad V. Entonces X es reflexivo
si y sólo si ningún subespacio se X es isomorfo a c 0 .
Demostración. (a) Supongamos que ningún subespacio complementado de X es

isomorfo al espacio V. Entonces, por teorema 1.6 , ningún subespacio de X es
isomorfo a c0 . Luego, por teorema 4.8, cada serie d.i.c. es j.c. en X*. Procediendo
como en la demostración de la proposición anterior se puede establecer que cada
conjunto acota(lo en X es relativamente débilmente compacto. Así X es reflexivo.
El recíproco es trivial. La demostración (le! caso (b) es aná!oga.O
72
Bomba! (la en [3) el próximo resultado.
Teorema 5.26. Cada subespacio cerrado de un retículo de Banach o - continuo tiene
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
En el caso de subespacios cerrados de retículos de Banach o - continuos, existe

una estrecha relación entre tener la propiedad V (o V*) y contener un subespacio
isomorfo a l (o co ) como veremos en la siguiente proposición.
Proposición 5.27. Sea X un subespacio cerrado de un retículo de Banach

o - continuo. Entonces:
(i) X tiene la propiedad Y si y sólo si ningún subespacio de X es isomorfo al espacio
11 .
(ji) X tiene la. propiedad V* si y sólo si ningún subespacio de X es isomorfo a c 0 .

Demostración. (i) () Se sigile del corolario 5.23 y del teorema 1.7.
73
(=) Si X tiene la propiedad V entonces, por Teorema 5.18 (c), X* es
secuencialmente débilmente completo, así por Teorema 3.14 X no contiene un

subespacio isomorfo a V.
(u) (e.) Si X tiene la propiedad V* entonces, por proposición 5.6, es secuencialmente
débilmente completo, luego por teorema 3.11 X no posee ningún subespacio cerrado
isomorfo a c0 .
(=) Si X no contiene un subespacio isomorfo a c 0 entonces, por teorema 3.11, X es

secuencialmente débilmente completo. Por otro lado, por teorema anterior X tiene
la propiedad débil V. Así, por Proposición 5.7, X tiene la propiedad V* . O
En lo que sigue E será un retículo de Banach. Inspirándonos en los resultados

obtenidos en el estudio de las propiedades V y V', definiremos una propiedad del
misnl() estilo de las anteriores, para el caso retículo de Banach, vía operadores.
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.
A diferencia del caso de la propiedad V (o V*), en donde sólo intervenía el

espacio en la definición original, aquí definimos primero la propiedad a través de
operadores, sin embargo el teorema dado a continuación nos permite definir la
propiedad V0 de un modo semejante a las otras (V y V*).
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
Algunas condiciones suficientes para que un retículo de Banach tenga la

propiedad V0 son dadas a continuación.
Teorema 5.30. (i) Cada retículo de Banach perfecto tiene la propiedad V 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
1 4 1 < 1 Ty 1 para cada n E N. Puesto que T * (B x* ) es un conjunto de E* orden

equicontinno en E y ( 4 ) EN
está incluido en la envoltura sólida de T(Bx*),
entonces por prooición 3.19 se verifica que lim 1 4 0 en la topología débil*
por hipótesis hm O en la topología 1 1 (E* , E**) . Puesto que x es
fl CO
n=1
d.i.c., hm < j z ,x> = O y esto implica qtie <Yi , Txii = O que es
contrario a imuestra suposición.O
76
APÉNDICE
Sea X un espacio vectorial normado, entonces
BX={XEX: IIxI 1 }.
co(X) : cápsula convexa de X.
absco(X) cápsula absolutamente convexa de X.
Sean X e Y espacios vectoriales normados, entonces
L(X,Y) : conjunto de las aplicaciones lineales (le X en Y.
BL(X,Y) : conjunto de las aplicaciones lineales continuas de X en Y.
77
BIBLIOGRAFÍA
[11 Aliprantis Ch., Burkinshaw O. : Locally solid Riesz spaces, Academic Press,
New York, (1978).
[2] Aliprantis Ch., Burkinshaw O., Duhoux M. : Compactness properties of abstract

kernel operators, Pacific Journal of Math., 1 - 22, Vol. 100, N ° 1, (1982).
[3] Bombal F. On (y*) sets and Pdczynski's property (V*), Glasgow Math. J.,
109-120, 32, (1990).
4] Bcssaga C., Pelczynski A. : On bases and unconditional convergence of series in

Banach spaccs, Studia Mathematica, 152— 163, T. XVII, (1958).
[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.,
New York, (1957).
[8] Grothendieck A. Sur ¡es applications ¡incairca faibiement compactes d'espaces
du type C"K), Canad. J. Math. 5 (1953), pag. 129 - 173.
[9] Lacey H. : The isometric theortj of classical Banach spaces, Springer - Verlag,
Berlin - Heildelherg - New York, (1979).
[10] Limaye B.V. Functional analysis, John Wiley & Sons, Inc., New York, (1981).
[11] Lindenstrauss J., Tzafriri L. : Classical Banach spaccs II, Springer—Verlag,
Berlin - Heildelberg - New York, (1977).
[12] Nicolescu C. Order o - continuous operators on Banach Lattices, Lecture
Notes iii Math. 991, 188-201, (1981).
78
1131 Pelczynski A. : Banach spaces on which every uncondiiionaily converging
operator is weakly coinpoci, Bu!!. Acad. Polon. Sci. 10, 614-648, (1962).
[14] Sánchez J. : The V0 properiy in Banach Lattices, Cubo 8, 31 —35, (1992).
[15) Schaeffer H. : Banach lattices and positive operators, Springer - Verlag,

Berlin - Heilde!berg - New York, (1974).
[16] Swartz C. An introduction to functional analysis, Marce! Dekker, Inc., New
York - Base! - Hong Kong, (1992).
79

Friz Luis 0078M PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Friz Luis 0078M PDF

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD DE CONCEPCION

SOBRE SUCESIONES, SERIES Y OPERADORES

TESIS PARA OPTAR AL GRADO DE

LUIS ALBERTO FRIZ ROA

SOBRE SUCESIONES, SERIES Y OPERADORES LINEALES

AUTOR: LUIS ALBERTO FRIZ ROA

PROFESOR GULA: Dr. JOSE SÁNCHEZ 1-IENRIQUEZ

JEFE DE PROGRAMA: Dra. MYRNA WALLACE COLLAO

Fecha Examen de Grado: 15T 1ic- g/W.yZE

CALIFICACION: .SS ( SO qZsi ¿i 6N 1E)

CONCEPCLON - DICIEMBRE 1995

Deseo expresar mis agradecimientos a todas las personas que colaboraron de

una u otra forma lara la culminación de este trabajo.

por el constante apoyo en el desarrollo de esté.

A mi familia por su comprensión y constante estímulo durante todo este

A la Universidad de Concepción y en especial a la Facultad de Ciencias Físicas

y Matemáticas por las facilidades prestadas para la realización de mis estudios.

A mis compañeros y amigos del programa de Magister e Ingeniería en

Matemática (le la Universidad de Concepción por su amistad y estímulo durante el

desarrollo de este trabajo.

Un reconocimiento especial a la Comisión Nacional de Investigación Cientifica

una beca otorgada por dicha institución.

En 1962 A. Pelczynski en su artículo Banach spaces on which every

it ncondit.ionall y con.verging operator is weakly cornpact, estudió los espacios de

Banach en donde el conjunto (le los operadores incondicionalmente convergentes con

dominio dicho espacio, coincide con el de ios operadores débilmente compactos. En

a otra, en donde sólo intervienen el espacio y su dual, a saber, en donde

(lébilmente compactos. Inspirado en esta definición equivalente, el autor define la

relativa mente débilmente compactos.

Más tarde, en 1990, F. Bombal en su artículo On (V*) sets and Pelczynski's

property (V*) centra su atención en los conjuntos que intervienen en la definición de

la propiedad V, a los que define como conjuntos V, obteniendo interesantes

propiedades (le éstos y permitiendo enfrentar la propiedad V* con nuevas

Finalmente, en 1992 J. Sánchez en el artículo Tite V 0 property in Banach

lattices, basándose en los trabajos anteriores, abordó el estudio de los retículos de

Banach en donde los operadores orden incondicionalmente convergentes y con

dominio dicho retículo son los operadores orden débilmente compactos.

El propósito de esta tesis es reunir los resultados más importantes relacionados

con las propiedades V, V y V 0 . Asimismo, establecer un paralelo entre las

En el capítulo 1 se dan definiciones y resultados que son necesarios en el

desarrollo de este trabajo. Además, gracias a, entre otros, el teorema de selección de

Bessaga - Pelczynski, teorema de Rosenthal etcétera, se pone en evidencia la íntima

relación que existe entre las propiedades de sucesiones y series en un determinado

espacio y las propiedades del mismo.

En el capítulo II se estudian las medidas vectoriales de modo de establecer

compacto y Hausdorff, y propiedades de estas. Es preciso agregar que, además de

importantes emi sí mismos, como por ejemplo el lema de Rosenthal, teorema de

Egoroff, (le representación de Riesz etcétera.

El capítulo III está dedicado al estudio de los principales resultados y conceptos

relacionados con retículos de Banach. Este capítulo basa su importancia en el hecho

En el capítulo IV se consideran algunas interesantes clases de series y

operadores, al mismo tiempo que se estudian sus propiedades, de modo de obtener

propiedades del espacio a partir de las propiedades de éstos.

Finalmente, en el capítulo V se estudian las propiedades V, V y V 0 . Es

interesante dar algunos detalles de este capítulo. Todas estas propiedades se

donde se ve la relación de estas propiedades con la contención o no contención de

algunos espacios, a saber c 0 y 1 1 , así como con reflexividad. Además se establecen

condiciones suficientes para tener alguna de estas propiedades y se (lan algunos

ejemplos de espacios con la propiedad V o V.

In 1962 A. Pelczynski iii lis paper Banach spaces on which every

uncon.ditionally converginfi operator is weakly compact, defined the so called

property V hy the coincideuce of the class of all unconditionally converging

compact operators. Besides this, Pelczynski stablished a cquivalent staternent to