Está en la página 1de 88

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.

Demostración. Ver [5] pag. 42.0

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.

Demostración. Ver [5] pag. 48.0

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.
Demostración. Ver [5] pag. 201.0

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.
Demostración. Ver [5] pag. 24.0

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.

Demostración. Ver [6] pag. 13.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
Demostración. Ver [6] pag. 157.0

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:
(i) T es incondicionalmente convergente.
(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
(i) T es incondicionalmente convergente.
(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