Академический Документы
Профессиональный Документы
Культура Документы
ESCUELA MATEMATICA
DE AMERICA
LATINA Y EL CARIBE
EMALCAVENEZUELA 2008
Teora de Ramsey
y Espacios de Banach
Carlos Augusto Di Prisco
Jordi Lopez Abad
MERIDA,
VENEZUELA, 3 AL 9 DE SEPTIEMBRE DE 2008
XXI ESCUELA VENEZOLANA DE MATEMATICAS
ESCUELA MATEMATICA
DE AMERICA
LATINA Y EL CARIBE
EMALCAVENEZUELA 2008
Teora de Ramsey
y espacios de Banach
Carlos Augusto Di Prisco
Instituto Venezolano de Investigaciones Cientficas
cdiprisc@ivic.ve
MERIDA,
VENEZUELA, 3 AL 9 DE SEPTIEMBRE DE 2008
ii
c
Ediciones
IVIC
Instituto Venezolano de Investigaciones Cientficas
Teora de Ramsey y espacios de Banach
Carlos Augusto Di Prisco y Jordi Lopez Abad
Dise
no y edici
on: Escuela Venezolana de Matematicas
Preprensa e impresi
on: Editorial Texto
Dep
osito legal If660200851022922
ISBN 978-980-261-101-0
Caracas, Venezuela
2008
iii
Prefacio
La teora de Ramsey, tanto en sus aspectos relativos a conjuntos infinitos como a conjuntos finitos, se ha convertido en una rama independiente de la combinatoria, y tiene muchas y variadas aplicaciones a otras
ramas de las matematicas. El origen de esta teora se puede situar en
varios teoremas demostrados entre el final de los a
nos 1920 e inicios de
los 1930, notablemente el teorema de Ramsey sobre particiones de la
coleccion de los subconjuntos de N con exactamente n elementos, y el
teorema de van der Waerden sobre sucesiones aritmeticas. Desarrollos
subsecuentes de la teora tomaron varias direcciones que han dado resultados profundos, tales como el desarrollo de la teora de particiones
iniciado por Erdos y Rado en los a
nos 50; la teora de Nash-Williams
sobre familias de conjuntos finitos de n
umeros naturales, de los a
nos
60, y su posterior desarrollo llevado a cabo por Galvin, Silver y Ellentuck sobre propiedades combinatorias de conjuntos de n
umeros reales. El
teorema de Hales-Jewett relativo a lneas combinatorias y el teorema de
Halpern-La
uchli sobre arboles, son tambien resultados emblematicos de
este campo de la teora combinatoria. Una buena introduccion a todos
los aspectos de la teora de Ramsey la constituye el texto [GRS], y una
muestra de la diversidad de desarrollos mas recientes se puede obtener
en [NR].
Las aplicaciones de la teora de Ramsey al estudio de sucesiones en espacios de Banach son cada vez mas frecuentes e interesantes. Una de las
primeras de estas aplicaciones fue el uso de la propiedad de Ramsey en
la demostracion de Rosenthal sobre `1 dada por Farahat (vease [Die]).
Mas recientemente, los trabajos de Gowers en dicotomas, o sobre las
funciones Lipschitz en la esfera unidad de c0 , son un buen ejemplo del
uso de ideas de la teora de Ramsey y la teora de conjuntos en el estudio
de espacios de Banach. Una amplia muestra de esta interaccion entre la
iv
teora combinatoria y los espacios de Banach se puede encontrar en [O].
La teora de barreras de Nash-Williams, originalmente concebida para
el estudio de buenos casi-ordenes de sucesiones transfinitas y de arboles, proporciona una base unificadora a varias ideas que han aparecido
dispersas en el estudio de sucesiones en espacios de Banach.
Los espacios de Banach, cuya definicion es de una gran simpleza, presentan, sin embargo, problemas de gran complejidad. El problema de
clasificar los espacios de Banach en clases de isomorfa esta muy lejos
de ser resuelto. Citaremos el problema de clasificacion isomorfa de los
espacios complementados de C[0, 1], donde es posible que el uso de la
teora de barreras en la caracterizacion de los espacios de funciones C()
con numerable sea de utilidad.
Los espacios de funciones, o de sucesiones, tienen una estructura que
ha sido bien estudiada (a saber, los espacios Lp o espacios c0 y `p ), y
una buena parte del desarrollo de la teora ha estado motivado por saber
cuando un espacio de Banach contiene un subespacio de este tipo. Fue un
problema abierto durante muchos a
nos saber si todo espacio de Banach,
de dimension infinita, tiene siempre una copia isomorfa de uno de los
espacios clasicos de sucesiones c0 o `p . Esto fue resuelto negativamente
por el ejemplo dado por Tsirelson, y que presentaremos y estudiaremos
haciendo uso de la teora de barreras.
En contraste con esto, vale la pena mencionar el resultado de Krivine
que dice que en todo espacio de Banach alguno de los espacios clasicos
c0 o `p se pueden representar finitamente.
Relajando un poco el problema anterior, es natural preguntarse si todo espacio contiene una sucesion basica incondicional. Mencionemos que
si un espacio de Banach es tal que su dual contiene una sucesion basica
incondicional entonces tiene un cociente separable infinito dimensional.
Es un problema abierto si todo espacio tiene un cociente separable infinito dimensional. Gowers y Maurey dieron el primer ejemplo de un espacio
de Banach sin sucesiones basicas incondicionales, descubriendo una nueva familia de espacios, los llamados hereditariamente indescomponibles,
que ha sido extensamente estudiada estos u
ltimos a
nos. Sin embargo se
ha descubierto que otras formas de incondicionalidad parcial s aparecen
en cada espacio de Banach, como por ejemplo la incondicionalidad de
Schreier o la incondicionalidad de Elton.
En general, estas notas pueden verse como un estudio de sucesiones en
v
varios tipos de espacios. Analizaremos sucesiones, o conjuntos infinitos,
de n
umeros naturales, o de sucesiones de conjuntos finitos de n
umeros
naturales (sucesiones bloque), presentando resultados concernientes a la
teora de barreras y frentes de Nash-Williams, y luego usaremos estos
conceptos y resultados para aplicarlos al estudio de sucesiones basicas
en espacios de Banach, especialmente en el estudio de sucesiones debilmente nulas. Uno de nuestros objetivos ha sido presentar demostraciones
de algunos teoremas sobre sucesiones en espacios de Banach utilizando
tecnicas y conceptos de la teora de Ramsey.
Una tecnica que resulta de gran utilidad es la demostracion por induccion transfinita, que es usado, por ejemplo, en el manejo de familias
uniformes de conjuntos finitos de n
umeros naturales, razon por la cual
hemos considerado apropiado incluir en el texto una introduccion detallada sobre ordinales, sus operaciones aritmeticas y sobre el principio de
induccion en ordinales.
Con la intencion de hacer este texto lo mas autocontenido posible,
hemos incluido secciones sobre nociones basicas de topologa de espacios metricos, de espacios normados. Presentamos los teoremas basicos
sobre espacios de Banach, as como el Teorema clasico de Ramsey y su
demostracion.
Hemos includo ejercicios en cada captulo, que ayudaran al lector
a apreciar algunos aspectos del material que de otra manera podran
pasar desapercibidos. Algunos requieren apenas la aplicaciones de las
definiciones, otros demandan un esfuerzo mayor.
Finalmente, deseamos dejar constancia de nuestro agradecimiento al
Comite Organizador de la XXI Escuela Venezolana de Matematicas y
EMALCA Venezuela 2008 por haber incluido este tema en la programacion de la escuela.
vi
Indice general
Prefacio
III
1
. 1
. 8
. 15
. 19
. 23
. 25
. 30
2. La propiedad de Ramsey
35
2.1. Propiedad de Ramsey para conjuntos de n
umeros reales . 35
2.2. Los borelianos son Ramsey . . . . . . . . . . . . . . . . . 37
3. Nociones b
asicas de espacios de Banach
3.1. Espacios vectoriales normados . . . . . . . . . . . . . . . .
3.1.1. Espacios vectoriales normados finito dimensionales
3.1.2. El teorema de Baire . . . . . . . . . . . . . . . . .
3.1.3. El principio de la acotacion uniforme . . . . . . . .
3.1.4. El teorema de la aplicacion abierta . . . . . . . . .
3.1.5. El teorema de la Grafica Cerrada de Banach . . .
3.1.6. El Teorema de Hahn-Banach . . . . . . . . . . . .
3.1.7. Espacio dual . . . . . . . . . . . . . . . . . . . . .
3.1.8. Topologas debil y debil* . . . . . . . . . . . . . .
3.1.9. Espacios universales . . . . . . . . . . . . . . . . .
vii
41
41
47
52
53
54
56
57
59
62
67
INDICE GENERAL
viii
71
71
81
84
92
98
104
106
115
115
121
128
134
137
141
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
models
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
193
. 193
. 198
. 202
. 204
INDICE GENERAL
ix
B. Ap
endice: Topologa de espacios m
etricos
207
B.1. Repaso de topologa . . . . . . . . . . . . . . . . . . . . . 207
B.2. El espacio de Baire . . . . . . . . . . . . . . . . . . . . . . 210
C. Ap
endice:El teorema de Ramsey
215
C.1. El Lema de Konig y el Teorema de Ramsey . . . . . . . . 215
Bibliografa
221
Captulo 1
Familias de subconjuntos
finitos de N
1.1.
Frentes y barreras
= {t : t s para alg
un s F}
= {t : t v s para alg
un s F}
Definici
on 1.1.1. Una familia F FIN es compacta si es un espacio
compacto bajo la topologa inducida. Decimos que F FIN es precomtop
pacta si su clausura topol
ogica, F , tomada en el espacio de Cantor
2N , contiene solamente conjuntos finitos de N.
Definici
on 1.1.2. Decimos que una familia F es hereditaria si F =
v
F , y decimos que es v-hereditaria si F = F .
Recordemos que dados conjuntos x, y N, escribimos
1. x < y si y solo si max(x) < mn(y).
2. x v y si y solo si x y y x < y \ x.
Una sucesion (si ) de conjuntos finitos de n
umeros naturales es una
sucesion bloque si si < sj para cada par i < j. Y se dice que es una
-sucesion si existe un conjunto finito s tal que s v si para todo i N
y (si \ s) es una sucesion bloque. El conjunto s se llama la raz de (si ).
Notese que si i s si y solo si cada subsucesion de (si ) tiene una
-subsucesion con raz s.
De aqu sigue que la clausura topologica F de una familia precompacta
v
F esta incluida tanto en su clausura F como en su clausura F .
Proposici
on 1.1.3. Una familia F de conjuntos finitos de n
umeros
naturales es precompacta si y s
olo si toda sucesi
on {si }i de elementos de
F tiene una -subsucesi
on.
Demostraci
on. Es claro que si toda sucesion de F contiene una subsucesion que es una -sucesion, entonces el lmite de una sucesion convergente de elementos de F es la raz de una -subsucesion, y por
lo tanto F es precompacta. Recprocamente, si F es precompacta, y
{si }i es una sucesion de elementos de F, con lmite s FIN, podemos encontrar una -subsucesion con raz s como sigue: Sea k0 tal que
sk0 ( max(s) + 1) = s. Supongamos que hemos definido kn , sea kn+1
tal que skn+1 ( max(skn ) + 1) = s. Tal kn+1 existe por que s es el lmite
de la sucesion {si }i . La subsucesion {ski }i es una -sucesion.
Proposici
on 1.1.4. Sea F FIN.
(a) F es precompacta si y solamente si F
si F es compacta.
es compacta si y solamente
(b) Si adem
as, F es hereditaria o v-hereditaria, entonces F es compacta si y solamente si es precompacta.
(c) Si F es hereditaria, entonces para cada subconjunto M de N,
F[M ] = F M .
Demostraci
on. Solo demostramos la parte (d). Sean s t F. Entonces
Definici
on 1.1.7. Dadas familias B y C de subconjuntos finitos de N,
definimos
B C = {s1 sn : s1 < < sn , si B, {mn(si ) : 1 i n} C}.
Estas operaciones ser
an utilizadas para construir familias de elementos de FIN con ciertas propiedades deseadas.
Ejercicio 1.1.8. Demuestre que si B y C son dos familias precompactas
de elementos de FIN entonces tanto B C como B C son tambien
precompactas.
Los siguientes conceptos, debidos a Nash-Williams, son centrales en
el desarrollo de la teora de Ramsey de dimensi
on infinita.
Definici
on 1.1.9. Dado un conjunto A N[] , una colecci
on B FIN
es un frente en A si
(i) B es una anticadena respecto al orden parcial dado por @ (extensi
on final), es decir, s 6@ t para cada par s, t de elementos distintos
de B, en este caso decimos que B es una familia fina , y
(ii) B A[] y cada B A[] tiene un segmento inicial en B.
Si reemplazamos el orden @ por la inclusi
on , entonces se dice que la
colecci
on B es una barrera en A. Obviamente, toda barrera es un frente.
Ejercicio 1.1.10. Demuestre que todo frente es una familia precompacta.
Observese que si B es un frente en A, todo B A[] tiene un u
nico
segmento inicial en B, que denotaremos por B (B).
Proposici
on 1.1.11. (i) Si F es un frente (o una barrera) en A,
entonces para todo B A[] la familia F B es un frente (o una
barrera) en B.
(ii) Dados frentes F y G en A, si F G, entonces F = G.
Demostraci
on. Para (ii), tomemos s G. EL conjunto s A/s tiene un
segmento inicial t tal que t F, pero por hipotesis, t G, y por lo tanto
t = s, lo que muestra que s F.
B0 B1 Bi {{i}}
i=0
N[i] {{i}},
i=0
B0 B1 Bi {{i}}.
i=0
B = {t : s B(t v s)}
con el orden dado por @ (extensi
on final).
La altura de un frente siempre es un ordinal numerable.
Como hemos visto, hay varias maneras de asociar un ordinal a una
familia precompacta F de conjuntos finitos de N, una muy natural es
asociarle el ndice de Cantor-Bendixson r(F), el menor ordinal tal
que la derivada iterada de Cantor-Bendixson (F) de la clausura de F
es vaca. Recordemos que la derivada de Cantor-Bendixson (F) es el
conjunto de puntos de acumulacion propios de F, y
(F) = < ( (F).
El ndice de Cantor-Bendixson de una familia precompacta esta bien
definido ya que F es numerable y por lo tanto es un compacto disperso
y la sucesion (F) de derivadas iteradas se anula. Observese que si
F M =F M .
En algunos casos tambien se tiene F M = F[M ], por ejemplo si
N \ M es infinito.
Ejercicio 1.1.19. Eliminar un segmento inicial. Dados un conjunto A
N[] y un frente B en A, sea r un conjunto finito de n
umeros naturales
que es un segmento inicial de alg
un elemento del frente. Demuestre que
la colecci
on Br = {s \ r : s B, r @ s} es un frente en T .
Observemos que si B es un frente en N, dada una funcion f : B N
en un conjunto N discreto, f se puede extender a una funcion continua
f : N[] N . Para ello basta definir f(X) = f (s) donde s es el u
nico
elemento de B tal que s @ X.
1.2.
Familias uniformes.
= 0 y F = {},
2.
3.
1.
{} es la u
nica familia 0-uniforme.
2.
3.
10
Demostraci
on. Tomando el conjunto de los elementos -minimales de
F, podemos suponer que F es una anticadena en el orden dado por .
Sea
v
F = {t : s F t v s}.
v
11
12
13
Teorema 1.2.18. Sea F FIN y M N[] . Las siguientes afirmaciones son equivalentes.
(a) Existe N M [] tal que F N es un frente en N ,
(b) Existe N M [] tal que F N es una barrera en N ,
(c) Existe N M [] tal que F N es uniforme en N ,
(d) Existe N M [] tal que F N es una barrera uniforme en N ,
Demostraci
on. (a) implica (b) sigue del Lema de Galvin 1.2.11 y de la
Proposicion 1.1.11 (ii). (b) implica (d) Sigue del Cololario 1.2.10. (d)
implica (c) es trivial, y (c) implica (a) es la Proposicion 1.2.5.
La proposicion siguiente conecta estos conceptos combinatorios con
algunos de los conceptos topologicos considerados anteriormente.
Proposici
on 1.2.19. Sea B FIN una barrera en M , entonces
1.
B = B = B y por lo tanto B
2.
Para cada N M , B N
3.
=B N
Demostraci
on. (1): Es claro que por ser B una barrera, B B B .
contrario, s v u, y entonces s B N .
(3): Fijemos un conjunto infinito N M tal que M \ N es tambien
v
infinito. Como B es una barrera en N , tenemos que B N = B N .
14
Si F es un frente entonces F = F .
15
2.
3.
4.
5.
6.
1.3.
16
1
2mn(st)
B P , y mn(
s \ t) t = (
s), obtenemos que mn(s \ t) (s) = t,
lo que es imposible. Ahora, sea N P tal que F N es vaco o es
una barrera uniforme en N . La primera opcion no es posible porque
(B N ) F N . Para terminar la demostracion basta entonces
17
18
19
para todo u (Bk )t . Usando el Lema 1.3.6 repetidas veces, para cada
hl,t con l nk y t {n0 , . . . , nk } hallamos Nk+1 Nk tal que para todo
s Bk ({n0 , . . . , nk } Nk+1 ) y todo l nk , se tiene l (s) Nk+1 = ,
como era deseado.
1.3.1.
(1.3)
20
(1.5)
(s) N = (s) y (
(s)) = (s) para todo s B N .
(1.6)
21
Definimos = $
. Afirmamos que tiene las propiedades deseadas.
Fijemos s B N . Entonces, por (1.5) y (1.6),
((s)) = ($(
(s))) = (
(s)) = (s) v (s),
y por lo tanto
((s)) (s) N = ($(
(s)) R) N
(s) N = (s) = ((s)),
como queramos.
Ahora pasamos al resultado dual al del corolario anterior.
Corolario 1.3.10 (Segundo lema de acoplamiento parcial). Supongamos que B es una barrera en M y que : B FIN es una aplicaci
on interna. Entonces existe un subconjunto infinito N de M y existe
: B N B tales que
N = (B N ) v .
En particular, para todo s B N existe t B tal que
(a) (s) v (t), y
(b) s t = (s).
Demostraci
on. Sea P M tal que es uniforme cuando se restringe a
B P (Proposicion 1.3.3). Sea G el conjunto de nodos v-maximales de
(B P ). Esta es obviamente una familia fina. Mas a
un, G Q 6=
para todo Q P : Sea s0 B Q, entonces si (s0 ) G no hay mas
que hacer. En caso contrario, existe t0 G, (s0 ) @ t0 . Sea s1 B P
tal que t0 = (
s1 ). Ponemos n0 = mn(t0 \ (s0 )). Hallamos s1 B P ,
s1 v (
s1 [0, n0 )) (Q [n0 , )). Por la maximalidad de los elementos
de B, s1 v s1 . Por la uniformidad de , mn(s1 \ s1 ) (s1 ), luego
(s0 ) @ (s1 ), y (s1 ) Q. Si (s1 ) G, hemos terminado; si no,
continuamos el proceso produciendo s1 , . . . , sk tales que (si1 ) @ (si )
y (si ) Q (1 i k). Debe haber alg
un k tal
S que sk G ya que de
lo contrario obtendramos un conjunto infinito
k (sk ) en la clausura
de B que esta incluida en B FIN, una contradiccion.
Tomamos Q P tal que C = G Q es a barrera en Q. Sea
D = {s u : s B Q, u C tal que (s) v u y s < (u \ (s))}.
22
(1.7)
Proposici
on 1.3.11. Supongamos que B es una barrera en M , : B
FIN es una aplicaci
on interna y supongamos que f : FIN X es una
aplicaci
on tal que para todo n M se tiene que
{f ((s)) : s B, mn (s) = n} es finito.
(1.9)
23
(1.10)
1.4.
Reducci
on de problemas sobre familias de
conjuntos finitos a problemas sobre barreras
24
(b) M [<] F .
Observese que si se cumple (a), entonces F[M ], la traza de F en M ,
es hereditaria. Adem
as, si F es precompacta, (a) debe ocurrir.
Corolario 1.4.2. Supongamos que F0 , F1 FIN son familias tales que
M [<] {s0 s1 : s0 F0 , s1 F1 }.
Entonces existe un conjunto infinito N M , y un i {0, 1} tales que
N [<] F i .
Demostraci
on. Notese primero que la aplicacion union de FIN FIN en
FIN dada por (s, t) 7 s t es continua. Entonces, si dos subfamilias F0
y F1 de FIN son tales que F0 [M ] y F1 [M ] son precompactas, la familia
{s0 s1 : si Fi [M ], i = {0, 1}} es tambien precompacta. Esto implica,
o N [<] F 1 .
Lema 1.4.3. Supongamos que F FIN es una familia precompacta
no vaca. Entonces, existe un conjunto infinito M tal que F[M ] es la
clausura de una barrera uniforme.
Demostraci
on. Analizaremos dos casos.
Caso 1. F es compacta y hereditaria. Sea = r(F), y sea B una familia
-uniforme arbitraria en N. Coloreamos cada s B con 0 si existe un t
F tal que s v t, y con 1 en caso contrario. Por la propiedad de Ramsey
de B, existe N infinito tal que B N es monocromatico. Observese que
el color constante tiene que ser 1, ya que de lo contrario B N F F
(ya que F es hereditaria), y por lo tanto = r(F) r(B N ) = + 1,
una contradiccion.
Definamos ahora : B N F escogiendo para cada s, un (s) en
F tal que (s) v s, y (s) es v-maximal con esa propiedad. Observese
que esta funcion esta bien definida ya que F es hereditaria y por tanto
F. Usamos el Corolario 1.3.4 para hallar M N tal que (B M )
es una barrera uniforme B 0 en M . Afirmamos que F[M ] = B 0 M . Sea
t F[M ], y sea s = B0 (t (M/t)). Como el color de s es 1, t v s, y por
maximalidad de (s), tenemos que t v (s). Por lo tanto t B 0 M .
La otra inclusion es trivial.
25
s G N , es decir, s
/ (F ) N . Como (F ) M es hereditaria,
tenemos que N
/ (F ) M , y por lo tanto, N
/ F[M ]. Ahora, aplicando
el Lema 1.4.3 encontramos N M tal que F[N ] es la clausura de una
barrera uniforme en N .
1.5.
Aplicaciones de barreras en c0
En esta seccion estudiamos una clase mas amplia de aplicaciones definidas en barreras restringiendo en menor grado la naturaleza de sus
imagenes. Trataremos el caso de funciones definidas en barreras que toman valores en el espacio c0 de sucesiones de n
umeros reales convergentes
26
(1.12)
(1.13)
(1.14)
(1.15)
(e) es interna si y s
olo si supp (s) s para cada s F.
(f ) es una L-aplicacion si y s
olo si es interna y Lipschitz.
(g) es una U-aplicacion si y s
olo si es interna y uniforme.
Nota 1.5.2. (a) Observe que las condiciones anteriores (1.12), (1.13),
v
(1.14), y (1.15) son significativas si t F .
(b) Las siguientes implicaciones siguen de las definiciones.
uniforme semi-uniforme semi-Lipschitz, y
uniforme Lipschitz semi-Lipschitz.
(c) Si : F c0 es una L-aplicaci
on, entonces podemos extenderla
v
naturalmente a la familia compacta F poniendo (t) = (s) t donde
27
s B es tal que t v s. N
otese que la extensi
on es continua, y por lo tanto,
v
si adem
as, F es pre-compacta, (F ) es un subconjunto debilmente
compacto de c00 .
Implicaciones recprocas de (b) se obtienen de este modo:
Proposici
on 1.5.3.
semi-Lipschitz : B
B N.
(b) Para toda barrera
c00 existe N M tal
Demostraci
on. (a): Basta hallar una sucesion de fusion (Mk ) de subconjuntos de M tal que para todo k se tiene que para todo t {m0 , . . . , mk },
v
t B la funcion
ft : Bt Mk+1 c00
u 7 ft (u) = (t u) t.
es constante. Observese que esto es posible porque el rango de ft es
finito y Bt es una barrera en M/t. Entonces, la fusion M de (Mk )
v
tiene la propiedad deseada. Fijemos t B M , y sea k el menor
entero tal que t {m0 , . . . , mk }. Por definicion de M , sabemos que
Bt M Bt Mk+1 , entonces para cada s, u B M , si t v s, u, se
tiene
(s) t = ft (s \ t) = ft (u \ t) = (u) t,
y esto demuestra que restringida a B M es Lipschitz.
(b): La demostracion es similar a la de (a), por lo que solo damos algunas indicaciones. Se halla una sucesion de fusion (Mk ) de subconjuntos
de M tal que para todo k se tiene que para todo t {m0 , . . . , mk },
v
t B la funcion
ft : Bt Mk+1 R
u 7 ft (u) = (s t)(mn t).
es constante. Entonces la fusion M tiene las propiedades deseadas.
28
Definici
on 1.5.4. Dada una sucesi
on ~ = (n )n c0 estrictamente
decreciente y n N, sea
In (~) = {k n : k Z}.
S
Observemos que el conjunto n In es denso en R. Definimos ~ : c0 c0
por ~((an )n ) = (ln n )n si y solamente si an = ln = 0 o si
ln an > 0 y |ln 1|n |an | < |ln |n .
As, ~((an )n ) es una discretizaci
on de (an )n . Diremos que una aplicaci
on : F c0 es (n )n -Lipschitz cuando la composici
on (n )n es
una aplicaci
on Lipschitz. Decimos que la aplicaci
on es casi-Lipschitz
si para cada (n )n y cada M , existe N M tal que es (n )n -Lipschitz
restringida a F N .
Nota 1.5.5.
29
30
Ejercicio 1.5.8. Supongamos que K c0 es precompacto (i.e. la clausura de K es compacta con la topologa producto de RN ), y sea > 0.
Demuestre que
supp K = {{n N : |an | } : (an )n K}
es un subconjunto precompacto de FIN.
Corolario 1.5.9. Para todo : B K con B una barrera uniforme en
M y K c0 debilmente precompacto y todo > 0, existe N M tal
que para todo s B N ,
X
|(s)(n)| .
nN \s
Demostraci
on. Se sigue de aplicar la Proposici
on 1.5.7 a una sucesion
P
(n )n c0 estrictamente decreciente y tal que n n < .
1.6.
El Lema de Pt
ak
31
(1.16)
k
[
i=1
supp i
k
[
ti A N N [k] B.
(1.17)
i=1
32
implica que s
tenemos que
1
(s) =(s N ) (s) = (i0 (s) + + k (s))
k
1
1
1
2
1 + i0 + + k1 < .
k
2
k
2
(1.18)
nX
0 +1
i=1
(si ) <
(n0 + 1) = .
n0 + 1
(1.19)
33
34
Captulo 2
La propiedad de Ramsey
2.1.
Definici
on 2.1.1. Un conjunto S N[] es Ramsey si existe A N[]
tal que A[] S o A[] S = . Si la segunda opci
on siempre ocurre,
decimos que S es Ramsey nulo.
Se dice que S es completamente Ramsey si para todo [s, A], existe
B A[] tal que [s, B] S o [s, B] S = . An
alogamente, si la
segunda opci
on ocurre siempre, se dice que S es completamente Ramsey
nulo.
Teorema 2.1.2 (Galvin-Prikry). Todo abierto de N[] es Ramsey.
Demostraci
on. Este resultado es equivalente al Lema de Galvin (Teorema 1.2.11). Dado S N[] abierto, existe una familia F FIN tal que
X S si y solamente si X tiene un segmento inicial en F. Esto se debe
a que cada abierto es union de vecindades basicas disjuntas dos a dos.
Usando el Lema de Galvin podemos encontrar A tal que F A es vaco
o contiene una barrera. En el primer caso, A[] S = ; en el segundo,
A[] S. En conclusion, S es Ramsey.
Ejercicio 2.1.3. Demostrar el Lema de Galvin a partir del Teorema
2.1.2.
Mas adelante veremos que todo boreliano es Ramsey.
35
36
37
2.2.
38
Dado cualquier A N[] , sea A el representante de su clase. El conjunto B = A\mn(A) pertenece a la misma clase de A, pero la diferencia
y en
simetrica AB
tiene un elemento mas que AA
si mn(A) A,
caso contrario un elemento menos. En cualquiera de los dos casos, el
n
umero de elementos de AA
es par si y solamente si el n
umero de ele
mentos de AB es impar. Por lo tanto a A si y solamente si B
/ A,
y en consecuencia A no es Ramsey.
Ejercicio 2.2.1. Dado un A N[] , sea
Ao = [0, A(0))
i=0
Ae =
i=0
39
Este resultado fue obtenido por Mathias, quien demostro que en el modelo de Solovay, donde vale el axioma de elecciones dependientes y donde
todo conjunto de n
umeros reales es medible Lebesgue, tambien se tiene
que todo subconjunto de N[] es Ramsey. (Ver [Je, Ma]). El modelo de
Solovay se obtiene a suponiendo la existencia de cardinales inaccesibles,
y no se sabe si esto es necesario para obtener un modelo de la teora de
conjuntos donde todo subconjunto de N[] es Ramsey.
Claramente todo conjunto completamente Ramsey es Ramsey, basta
tomar p = y M = .
Lema 2.2.2. El complemento de un conjunto completamente Ramsey
es completamente Ramsey.
Lema 2.2.3. Si para
S cada n N, An es un conjunto completamente
Ramsey , entonces n An es completamente Ramsey.
Demostraci
on. Sea p FIN y M N[] . Como A0 es completamente Ramsey, existe N0 M [] tal que [p, N0 ] A0 o [p, N0 ] A0 =
. Sea a0 N0 . Supongamos que hemos definido {a0 , a1 , . . . , an } y
N0 , N1 , . . . , Nn tales que a0 < a1 < . . . < an , y ai Ni para cada
i n, y supongamos que para cada i < n y cada subconjunto q de
{a0 , a1 , . . . , ai } , [p q, Ni ] Ai o [p q, Ni ] Ai = . Como An+1
es completamente Ramsey, usando esta propiedad un n
umero finito de
veces, podemos hallar Nn+1 Nn tal que para cada subconjunto q de
{a0 , a1 , . . . , an } , [p q, Nn+1 ] An+1 o [p q, Nn+1 ] An+1 = . Sea
an+1 Nn+1 tal que an < an+1 . De esta manera construimos inductivamente un conjunto infinito N = {a0 , a1 , . . . }.
Para cada n , el conjunto An es abierto en la topologa relativa de
[p, N ], es decir, An [p, N ] es abierto en [p, N ]. Esto es as ya que
A0 [p, N ] = o A0 [p, N ] = [p, N ],
y para i 1,
Ai [p, N ] = ({[p q] : q {a0 , . . . , ai1 }, [p q, Ni ] Ai }) [p, N ].
S
Por lo tanto, A = n An tambien es abierto en [p, N ], Es decir,
existe un abierto B tal que A [p, N ] = B [p, N ]. Como B es completamente Ramsey por el Lema 2.1.5, existe R N [] tal que [p, R] B
o [p, R] B = , y por lo tanto [p, R] A o [p, R] A = .
40
Captulo 3
Nociones b
asicas de
espacios de Banach
3.1.
kxk = 0 si y solamente si x = 0,
2.
3.
42
(3.1)
i=1
La norma p (p 1), es
kak`p
v
un1
uX
p
=t
|ai |p .
(3.2)
i=0
3.
(3.3)
An
alogamente, si a = (a0 , a1 , a2 , . . . ) es un vector de RN , se define
kak = sup{|ai | : i = 0, 1, 2 . . . }
43
v
u
uX
p
kakp = t
|ai |p
(3.4)
i=0
est
a definido, tenemos la norma p, y sea el espacio de Banach `p
definido por
`p = ({(an )n RN : k(an )n kp < }, k kp ).
5.
Sea c0 el subespacio cerrado de ` que consiste en todas las sucesiones (an )n convergentes a cero.
Sea c00 el subespacio de las sucesiones eventualmente nulas. Observemos que este espacio normado no es completo.
6.
7.
(3.5)
(3.6)
Dicha aplicaci
on se denomina operador acotado. Es f
acil ver que
la expresi
on (3.6) define una norma para T que es completa (Ejercicio 3.1.5)
Sea B(X) = B(X, X).
8.
44
45
Ejercicio 3.1.12. Demuestre que un operador T B(X, Y ) es estrictamente singular si y solamente si para todo subespacio cerrado infinito
dimensional Z de X y todo > 0 existe z SZ tal que kT (z)kY < .
Proposici
on 3.1.13. Supongamos que (V, k k) es un espacio vectorial
normado. Entonces existe un u
nico (salvo isometra lineal) espacio de
Banach (Vb , k k) y una isometra j : V Vb tal que j(V ) es denso en
Vb . Adem
as Vb tiene la propiedad de que si X es un espacio de Banach y
T : V X es un operador acotado, entonces existe un u
nico operador
b
b
b
acotado T : V X tal que T = T j.
El espacio de Banach (Vb , k k) se denomina la completacion de (V, k
k).
Demostraci
on. Sea C el conjunto de todas las sucesiones de Cauchy en V .
Definimos en C la relacion de equivalencia (xn )n (yn )n si y solamente
si
lm kxn yn k = 0.
n
^
Sea Vb = C/ y definimos, dada una clase de equivalencia (x
n )n ,
k[(xn )n ] k1 = lm kxn k.
n
nI
si X
6 Y.
=
46
Ejercicio 3.1.16. Sean X, Y y Z espacios isomorfos entre s. Demuestre que d(X, Z) d(X, Y )d(Y, Z).
Definici
on 3.1.17. Dados dos espacios normados X, Y se define la
suma directa X Y de X e Y como el espacio vectorial producto X Y ,
juntamente con la norma
k(x, y)k = kxkX + kykY .
Entonces X e Y son isometricos a X {0} y {0} Y , respectivamente.
Y si X e Y son dos espacios de Banach, entonces tambien lo es X Y .
Definici
on 3.1.18. Dado Y un subespacio cerrado de un espacio normado X, definimos el espacio cociente X/Y de manera est
andar como
el conjunto de las clases de equivalencia [x]Y = {x + y : y Y }. Se
define
k[x]Y kX/Y = inf{kx + ykX : y Y } = dist(x, Y ).
Entonces k kX/Y es una norma.
Ejercicio 3.1.19. Supongamos que X es un espacio de Banach y que
Y es un subespacio cerrado de X. Demuestre que X/Y es un espacio de
Banach.
Definici
on 3.1.20. Sea E un espacio de Banach. Un operador acotado
T : E E se llama una proyeccion si T es idempotente, i.e. T 2 =
T T = T.
Un subespacio F de E se dice complementado si existe una proyecci
on
P : E E tal que P (E) = F .
Definici
on 3.1.21. Sean F, H E dos subespacios cerrados de E.
Diremos que E es la suma directa cerrada de F y H si y solamente si,
E = F + H y d(SF , SH ) > 0.
Ejercicio 3.1.22. Supongamos que P : E E es una proyecci
on.
Entonces IdE P es tambien una proyecci
on.
Proposici
on 3.1.23. Sea E un espacio de Banach.
1.
47
Demostraci
on. 1.: Sea P : E E una proyeccion tal que P (E) = F .
Veamos primero que P F = IdF : Sea x F , y sea y E tal que
P (y) = x. Entonces x = P (y) = P (P (y)) = P (x).
Supongamos que (xn )n es una sucesion en F con lmite x. Tenemos
que demostrar que x F . Como cada xn F , se tiene que P (xn ) = xn .
Utilizando la continuidad de P ,
x = lm xn = lm P (xn ) = P (x),
n
3.1.1.
1
1
1
1
kP (x) P (y)k =
kP (x)k =
kxk =
.
kP k
kP k
kP k
kP k
Definici
on 3.1.24. Una base de Hamel de V es una base algebraica de
V , i.e. es un subconjunto B de V de vectores linealmente independientes y tal que todo vector de V es una combinaci
on lineal de elementos
de B. La dimensi
on de un espacio vectorial normado es su dimensi
on
algebraica, i.e. la cardinalidad de una base de V .
Dada una base de Hamel normalizada (ei )i<n de V , se define el biortogonal de (ei )i<n como la sucesi
on (ei )i<n de funcionales de V definida
linealmente por ei (ei ) = 1 y ei (ej ) = 0 para todo j 6= i.
Ejercicio 3.1.25. Sea V un espacio normado de dimensi
on finita. Demuestre que toda aplicaci
on lineal V K est
a acotada y por tanto es
continua.
48
Proposici
on 3.1.26. Dos espacios vectoriales normados de la misma
dimensi
on finita son isomorfos. Por lo tanto,
1.
2.
Demostraci
on. Sea V = (V, k k) un e. v. normado de dimension n, y
fijemos una base de Hamel (ei )ni=1 de V . Sin perdida de generalidad,
podemos suponer que (ei )ni=1 es normalizada, i.e. kei k = 1 para todo
1 i n. Vamos
kk y `n1 son isomorfos. Sea T : V `n1
Pna demostrar que
n
definida por T ( i=1 ai ei ) = (ai )i=1 . Esta claro que T es un isomorfismo
lineal. A partir de la desigualdad triangular uno tiene que
k
n
X
i=1
ai ei k
n
X
kai ei k =
i=1
n
X
n
X
|ai | = kT (
ai ei )k`n1 .
i=1
(3.7)
i=1
{(ai )ni=1
n
X
|ai | = 1}
i=1
(3.9)
49
zx
kz x vkz xkk
vk =
(3.10)
kz xk
kz xk
kz xk
50
(3.11)
(3.12)
i<n
Y por tanto, cada ei tiene norma 1. Por otro lado, D((ei )i<n ) 1,
y en particular, det(A((ei )i<n )) 6= 0, lo que implica que (ei )i<n son
linealmente independientes y por tanto forman una base de Hamel de
V . Para cada i < n, sea fi V definido por
fi (x) =
Esta claro que (fi )i<n es el biortogonal de (ei )i<n . Finalmente, a partir
de la igualdad (3.11) se tiene que |fi (x)| 1 para todo x BV y todo
i < n, y, por tanto, (fi )i<n esta normalizada.
Demostraci
on. Sea F E un subespacio finito dimensional de un espacio de Banach E. Sea (xi )i<n una base de Auerbach de F y sea (xi )i<n
su sucesion biortogonal. Definimos P : E E por
X
P (x) =
xi (x)xi .
(3.13)
i<n
i<n
i<n
j<n aj xj
X
X
X
X
P(
aj xj ) =
xi ((
aj xj ))xi =
aj xj
j<n
i<n
j<n
j<n
(3.15)
51
f es continua en 0.
2.
f es continua.
3.
Demostraci
on. 1. 2.: A partir de la linealidad de f . 2. 3.: Supongamos que no; entonces podemos encontrar una sucesion (xn )nN
normalizada en E tal que kf (xn )kV 23n para todo n. SeaPyn = xn /2n .
La sucesion (sn )nN de sumas parciales definida por sn = ni=0 yi es de
Cauchy y por tanto converge a un s E. Observemos que para todo
entero n,
kf (sn )kV =k
n
X
i=0
22n
n1
X
kf (xi )kV
(3.16)
i=1
n1
X
i=0
22i = 22n
22n 1
22n1 .
3
(3.17)
52
3.1.2.
El teorema de Baire
m
2
(3.18)
m
< m .
2
(3.19)
53
S
Demostraci
on. Fijemos la descomposicion M = nN Cn , con cada Cn
cerrado. Si la conclusion deseada es falsa, entonces cada complemento
Un = M \ Cn de Cn es un abierto
denso, y por tanto, a partir del
T
Teorema
de
Baire
se
tiene
que
U
n n 6= , lo cual es imposible ya que
T
S
n Un = X \ n Cn = .
3.1.3.
El principio de la acotaci
on uniforme
(3.20)
T F
Entonces F est
a acotada uniformemente, i.e. existe una constante C > 0
tal que
sup kT (x)k Ckxk para todo x X.
(3.21)
T T
(3.22)
T F
S
La condicion (3.20) implica que n1 Cn = X. Como cada T F es
continuo, se tiene que Cn es un conjunto cerrado. Podemos entonces
usar el Corolario 3.1.37 para encontrar n0 tal que Cn0 contiene una bola
abierta B(x0 , ). Demostremos que kT k 4n0 1 para todo T F: Sea
x X y T F. Entonces el vector
x
y = x0 +
B(x0 , )
(3.23)
2kxk
y por tanto, kT (y)k n0 . Utilizando que (3.23) implica
x=
2kxk
(y x0 ),
(3.24)
se tiene,
kT (x)k =
2kxk
2kxk
4n0
kT (y x0 )k
(kT (y)k + kT (x0 )k)
kxk.
(3.25)
54
3.1.4.
El teorema de la aplicaci
on abierta
Lema 3.1.39. Supongamos que E y F son espacios de Banach y supongamos que T : E F es un operador acotado exhaustivo. Entonces la
clausura de la imagen de una bola abierta de E tiene interior no vaco.
En particular, para todo > 0, 0 es un punto interior de T (B(0, )).
Demostraci
on. Fijemos una bola B = B(x, ) E, > 0. Como T es
exhaustiva, se tiene que
[
[
F = T (E) = T (
B(x, n)) =
T (B(x, n)).
(3.26)
nN
nN
A partir del Corolario 3.1.37, fijemos n tal que T (B(x, n)) contiene
una bola abierta B(z, ). Como la aplicacion y F 7 ny F es un
homeomorfismo, se tiene
B(z, ) Cn = T (B(x, n)) = nT (B(x, )),
(3.27)
(3.28)
55
P
i
Como cada xn esta en BX , la sucesi
P oni de sumas parciales ( i<n xi )n
es de Cauchy y por tanto la serie i xi converge a un cierto x. Observemos que
X
X
1
k
i xi k <
i =
,
(3.30)
1
i
(3.32)
con = (1 kx0 k)/2 > 0. Entonces, a partir del Lema 3.1.41 se tiene
que
B(y, /2) T (B(0, 1)),
(3.33)
y por tanto T (B(0, 1)) es un abierto.
56
3.1.5.
El teorema de la Gr
afica Cerrada de Banach
Definici
on 3.1.45. Dada una funci
on f : X Y entre dos conjuntos
X e Y se define la grafica de f Gr(f ) como
{(x, y) X Y : y = f (x)}.
Esta claro que si X e Y son espacios topologicos e Y es Hausdorff,
entonces la grafica de f es un conjunto cerrado de XY , con su topologa
producto. El teorema de la grafica cerrada dice que el recproco es cierto,
para espacios de Banach y funciones lineales.
Teorema 3.1.46 (Teorema de la Gr
afica Cerrada). Sean E y F dos
espacios de Banach, y sea T : E F una aplicaci
on lineal. Entonces T
es continua si y solamente si Gr(T ) E F es cerrada.
Demostraci
on. La implicacion directa esta clara. Probemos el recproco,
i.e. supongamos que Gr(T ) es un conjunto cerrado del producto E F .
Observemos que la topologa producto en E F viene dada, entre otras,
por la norma k(x, y)k = kxk+kyk. Por tanto, Gr(T ) es un subespacio cerrado de E F . Ahora, sea p : Gr(T ) E la proyeccion p(x, T (x)) = x.
El operador p es claramente acotado y es una biyeccion. Por el Corolario
3.1.42, el operador p es un isomorfismo, es decir, p1 : X Gr(T ) es
57
3.1.6.
El Teorema de Hahn-Banach
2.
58
y
y
f ( ) C p( x).
(3.34)
(3.35)
(3.36)
y
y
+ x) f ( )) = p(y + x).
59
El u
ltimo caso es cuando < 0. Entonces, utilizando (3.36) para y/
W se tiene
y
y
gC (y + x) =f (y) + C f (y) + (f ( ) p( x)) = p(y + x).
3.1.7.
Espacio dual
(3.37)
Definici
on 3.1.53. Sea E un espacio de Banach. La inmersion canonica
de E en E se define por (x) (E )
(x)(f ) = f (x).
El espacio E se denomina reflexivo si la inmersi
on can
onica es exhaustiva.
60
61
es u
nica (utilzese que x
/ F ). Esta claro que f0 es lineal. Demostremos
que f0 es un funcional acotado, de hecho de norma 1: Fijemos y F y
R. Entonces
y
|f0 (y + x)| = ||d ||
(3.38)
x ||
= kx + yk.
Sea f E una extension acotada de f0 dada por el Corolario 3.1.49 de
Hahn-Banach y tal que kf0 k = kf k. Entonces f es el funcional buscado.
Corolario 3.1.60. Supongamos que F es un subespacio propio cerrado
de un espacio de Banach E. Entonces existe f E de norma 1 tal que
f F = 0.
Demostraci
on. Inmediato a partir del Corolario 3.1.59.
En el proximo corolario utilizaremos el siguiente ejercicio.
Ejercicio 3.1.61. Sea (M, d) un espacio metrico. Un subconjunto X
D se dice separado si existe > 0 tal que d(x, y) para todo x 6= y
en X. Demuestre que M es separable si y solamente si M no tiene
subconjuntos separados no-numerables.
Corolario 3.1.62. Supongamos que E es un espacio de Banach tal que
E es separable. Entonces E es separable.
Demostraci
on. Supongamos que E es no-separable y demostremos que
62
3.1.8.
Topologas d
ebil y d
ebil*
63
Demostraci
on. Primeramente, Sea K = [1, 1]BE . Por el Teorema B.1.8
de Tychonoff, K es un espacio compacto. Sea : BE K la aplicacion definida para cada f BEj por (f ) = (f (x))xBE . Como para
cada f BE uno tiene que kf kE = supxBE |f (x)|, la aplicacion
esta bien definida. De hecho, es facil ver que : BE (BE ) es un
homeomorfismo. Vamos a demostrar que (BE ) es un subespacio cerrado de K, lo que terminara la demostracion. Para ello, supongamos que
~a = (ax )xBE es un punto de acumulacion de (BE ) y demostremos
que de hecho ~a (BE ). Sea f : E R definida por f (x) = kxkax/kxk
si x 6= 0 y f (0) = 0. Probemos que f E : Linealidad de f : Sean
, R, x, y E. Como f (BE ), podemos encontrar para cada
n N, un funcional g E tal que
max{|g(x) f (x)|, |g(y) f (y)|, |g(x + y) f (x + y)|,
1
|g(x + y) f (x + y)|} n .
2
Esta claro que la condicion anterior implica que f (x + y) = f (x) +
f (y). Demostremos que kf k 1. Sea x SX . Podemos encontrar, para
cada n N, un funcional g BE tal que
max{|g(x) f (x)|}
1
.
2n
(3.39)
X
|(f (xn ) g(xn )|
n=1
2n
64
(3.40)
65
(3.42)
66
Demostraci
on. Sea K E debilmente compacto. Consideremos la aplicacion : E B(E , R) definida por (x) : E R es el operador
evaluacion en x definido para f E por (f )(x) = f (x). Observese
que para todo f E , la restriccion f K : K R es continua, considerando K con la topologa debil. Por lo tanto, f (K) R esta acotado.
Esto quiere decir que (K) es una familia acotada puntualmente, y por
tanto, por el Teorema 3.1.38 de Banach-Steinhaus, (K) esta acotada
uniformemente. Esto quiere decir que existe C > 0 tal que para todo
f E se tiene que sup{|f (x)| : x K} Ckf k. En particular,
sup kxk = sup sup |f (x)| C.
xK
xK f SE
2.
3.
3.1.9.
67
Espacios universales
Proposici
on 3.1.86. Todo espacio de Banach separable tiene una copia
isometrica en ` .
Demostraci
on. Sea X un espacio de Banach separable, y sea A un conjunto denso de la la esfera unidad de E. Para cada elemento de x A,
escojamos fx SX tal que fx (x) = 1. Sea D = {fx : x A} y sea
{dn : n N} una enumeracion de D. Definimos T : X ` por
T (x) = (dn (x))n . Esta claro que la aplicacion T es lineal y acotada,
de norma kT k = 1. Demostremos que T es una isometra. Para ello es
suficiente demostrar que para todo x X se tiene que
kxk = sup{dn (x) : n N},
(3.43)
68
(3.46)
3.1.10.
Sucesiones d
ebilmente nulas y familias precompactas de conjuntos finitos
Definici
on 3.1.89. Sea (xn )nN una sucesi
on en un espacio de Banach
E, y sea > 0. Se define F(((xn )nN ), ) como la familia de todos los
conjuntos A N tales que existe un elemento x de la bola del dual BE
tal que |x (xn )| para todo n A.
Proposici
on 3.1.90. 1. La familia F((xn )nN , ) es siempre hereditaria, es decir si s t F((xn )nN , ), entonces s tambien
pertenece a F((xn )nN , ).
2.
Demostraci
on. 1. es consecuencia directa de la definicion de la familia
F((xn )nN , ). Demostremos 2. Supongamos que (xn )nN no es debilmente nula. Entonces existe un funcion x E normalizado, > 0 y
un conjunto infinito M N tal que |x (xn )| para todo n M .
Esta claro que en ese caso M esta en la clausura topologica de la familia F((xn )nN , ), y por tanto esta familia no es compacta. Supongamos
ahora que la familia F((xn )nN , ) no es compacta. Entonces existe una
sucesion (sn )nN de elementos de F((xn )nN , ) tal que sn @ sn+1 . Para
cada n N sea fn SE un funcional normalizado tal que |fn (xk )|
para todo k sn . Sea F = hxn inN . Por el Corolario 3.1.78 existe una
subsucesion (fn )nM tal que (fn F )nM converge
a f F en F , para
S
un cierto f BE . Entonces para todo k nN sn se tiene
|f (xk )| =
lm
n,nM
|fn (xk )| ,
(3.47)
69
ak xnk k .
Demostraci
on. Fijemos una sucesion (xn )nN debilmente nula, > 0 y
una subsucesion de (xn )n . Sin perdida de generalidad podemos suponer
que dicha subsucesion es la sucesion misma. A partir de la Proposicion
3.1.81 se tiene que
sup kxn k < .
(3.48)
nN
Sea C max{1, supnN kxn k}. La Proposicion 3.1.90 nos dice que la
familia F((xn )nN , /(2C)) es compacta y hereditaria. Por el Lema de
70
0
ai <
(3.49)
2C
is
P
para todo s F. Comprobemos que la combinacion nN an xn es la
buscada: Para cada f BE sean
s ={n N : |f (xn )| /2} F,
P ={n N : |f (xn )| < /2}.
Entonces,
X
X
X
X
|f (
an xn )| |f (
an xn )| + |f (
an xn )|
an |f (xn )|+
ns
nN
nP
ns
X
an
+
an |f (xn )| C
an +
2C
ns
nP
nP
C
+
.
2C
2C
X
(3.50)
Se sigue de (3.50) que si (ak )kN c00 (N) es una combinacion convexa
entonces
X
k
ak xnk k .
k
Captulo 4
Bases de Schauder
Pasamos a presentar las bases de Schauder, cuya existencia permite
identificar un espacio de Banach abstracto con un espacio de sucesiones
de escalares.
4.1.
Preliminares
Definici
on 4.1.1. Una sucesi
on (en ) en un espacio de Banach E de
dimensi
on infinita se llama una base de Schauder si paraP
todo x E
existe una u
nica sucesi
onPde escalares (an ) tal que x =
n an en . El
soporte de un vector x = n0 an en con respecto a (en )n se define por
supp x = {n N : an 6= 0}.
Una sucesion basica es una sucesi
on (en ) que es una base de Schauder
de hen in .
Ejercicio 4.1.2. Demuestre que si (en ) es una sucesi
on b
asica, entonces
{en : n N} es un conjunto de vectores linealmente independientes.
Ejercicio 4.1.3. Supongamos que E tiene una base de Schauder. Entonces E es separable, i.e. E tiene un conjunto denso numerable.
Proposici
on 4.1.4. Supongamos que (en ) es una base de Schauder de
E. Entonces para todo n N las proyecciones lineales Pn : E E
definidas por
X
X
Pn (
ai ei ) =
ai ei
(4.1)
i=0
in
71
72
(4.2)
X
in
i=0 ai ei k)n
es una
(4.3)
in
y por tanto,
lm k
Pn
ai ei k = k
ai ei k.
(4.4)
i=0
(4.5)
(4.6)
(k)
73
(4.9)
(4.10)
Por otro lado, esta claro que (4.8) nos da que kxn xk0 n 0, i.e. x es
el k k0 -lmite de (xn ).
Finalmente, consideremos la aplicacion T : (E, k k0 ) (E, k k),
T (x) = x. Se trata de un operador acotado entre dos espacios de Banach
que es ademas claramente una biyeccion. A partir del Teorema 3.1.40
de la aplicacion abierta, T es un isomorfismo, y en particular, para todo
x E,
sup kPn (x)k = kxk0 = kT 1 (x)k0 kT 1 kkxk.
(4.11)
n
Definici
on 4.1.5. Dada una sucesi
on b
asica (en ), la constante b
asica
de (en ) es
C((en )n ) = sup{kPn k : n N},
(4.12)
P
P
donde Pn : hei iiN hei iin es la proyecci
on Pn ( i ai ei ) = in ai ei .
Si la constante b
asica de (en ) es 1, entonces diremos que (en )n es una
base monotona.
Si en adici
oP
n se tiene que
umeros naturales el
Ppara todo intervalo I de n
operador PI ( n an en ) = nI an en tiene norma 1, entonces diremos
que la base (en )n es bimonotona.
Ejercicio 4.1.6. Demuestre que la constante b
asica de una sucesi
on
b
asica normalizada es siempre 1.
Proposici
on 4.1.7. Sea (xn )nN una sucesi
on en un espacio de Banach
E y K 1. Entonces (xn )n es una base de Schauder con constante b
asica
K si y solamente si
(i) xn 6= 0 para todo n.
74
im
im
in
in
(4.16)
im
para todo m, k, l.
Como la sucesion (xk ) es de Cauchy, (4.16) implica que para todo m
P
P
(k)
(m)
la sucesion ( im ai ei )k es convergente, con lmite xm = im bi ei ,
ya que hei ii<m es cerrado por ser finito dimensional. Utilizando otra vez
(ii) se tiene que si m m0 entonces
k
(k)
ai ei
im
Por tanto,
(m0 )
bi
ei k Kk
im0
im
(k)
im ai ei k
P
(m0 )
ei =
im bi
se tiene que
(k)
ai ei
im0
(m0 )
ei , es
im bi
P
(m)
im bi ei . Un
(m0 )
bi
ei k 0. (4.17)
k
75
(m0 )
(m)
im
Como
(l)
im ai ei m
bi ei x
(4.19)
y por tanto x X.
Como hen inN X y como X es cerrado, se tiene que
E = hen inN X.
(4.20)
P
Por tanto, cada x E se puede escribir de la forma x = PnN an en .
Demostremos que esta suma es u
nica: Supongamos que x = nN bn en
y supongamos que (bn )nN 6= (an )nN . Sea
n0 = mn{n N : an 6= bn }
(4.21)
in
in
(4.23)
imposible.
Corolario 4.1.8. Una sucesi
on (xn )n en un espacio de Banach E es
b
asica si y solamente si
(i) xn 6= 0 para todo n.
(ii) Existe una constante K tal que para todo m n y toda sucesi
on
de escalares (ai )in se tiene que
X
X
k
ai xi k Kk
ai xi k.
(4.24)
im
in
76
kn
Definici
on 4.1.10. En c00 (N), para cada n
umero natural n sea
(n)
un = (0, . . . , 0, 1 , 0, 0, . . . ).
La sucesi
on (un )n es una base de Hamel de c00 (N) (es decir una base
lineal) que llamaremos la base unitaria.
Ejemplo 4.1.11. Sea X = `p (p 1) o X = c0 . Entonces la sucesi
on
unitaria (un )n es una base de Schauder de constante 1, que denominaremos la base unitaria de `p o de c0 , respectivamente.
Ejemplo 4.1.12. El espacio C(2 ). Sea 2< el conjunto de todas las
funciones de la forma s : n 2 = {0, 1} para alg
un n . Para cada
s 2< , sea
hsi = {(an )n 2 : an = s(n) para todo n dom s}.
Observemos que hsi es un abierto-cerrado de 2 . Por tanto, su funci
on
caracterstica hsi es una funci
on continua.
Seguidamente, ordenamos 2< naturalmente por s t si y solamente
si dom s < dom t o si dom s = dom t entonces s <lex t (orden lexicogr
afico). Entonces (2< , ) es un buen orden, de tipo de orden . Sea
{sn }nN la enumeraci
on correspondiente. Observemos que s0 = . Definimos ahora (en )n como sigue: Sea e0 = hs0 i , y para cada n > 0, sea
en = hs2n1 i . Observemos que
{s2n1 : n N} = {s 2< : s(max s) = 0} = {s _ (0) : s 2< }.
(4.25)
Vamos a demostrar que (en )n es una base de Schauder mon
otona y
normalizada de C(2 ): Est
a claro que cada en tiene norma 1. Vamos
77
i<n
i<m
ik
P
Como x 2 era arbitrario, se tiene que k i<n ai ei k k i<m ai ei k.
Finalmente, demostremos que hei ii = C(2 ). No es difcil demostrar
utilizando (4.25) y por inducci
on sobre dom s que hsi hen in . Por lo
tanto, A = hen in = hhsi is< . Como A es cerrada por multiplicaci
on,
A es una sub
algebra de C(2 ), que adem
as contiene las funciones constantes y que claramente separa puntos. Por tanto, por el Teorema 3.1.74
de Stone-Weierstrass se tiene que hen in = A = C(2 ).
P
78
nm
nI
Ejercicio 4.1.16. Sea (en )n una base de Schauder de (E, k k). Sea X
el conjunto de todas las sucesiones (an )n de escalares tales que
X
k|(an )n k| = sup{k
an en k : m N}
(4.28)
nm
1.
2.
es un isomorfismo.
3.
79
Proposici
on 4.1.17. Sea (en )nN una base normalizada en un espacio
de Banach E y sea C su constante
asica. Para cada n N sea en :
P b
E R la funci
on definida por en ( kN ak ek ) = an . Entonces
1.
2.
3.
La sucesi
on (en )nN es b
asica con proyecciones can
onicas (Pn )n
globalmente definidas por Pn : E hei ii<n por
X
Pn (f ) =
f (ei )ei
i<n
(en )nN es C.
Demostraci
on. Esta claro el punto 1. y que cada en es lineal. Por otro
lado se tiene que para todo x E,
|en (x)| = k(Pn Pn1 )(x)k 2Ckxk.
Para demostrar que (en ) es una sucesion basica vamos a utilizar el Corolario 4.1.8: Esta claro que para cada n se tiene que en 6= 0. Ahora,
fijemos m n y escalares (ai )i<n . Sea x E de norma 1. Entonces
kPm (x)k C y
X
X
X
(
ai ei )(x) =(
ai ei )(Pm (x)) = (
ai ei )(Pm (x)) =
i<m
i<m
i<n
X
X
Pm (x)
=kPm (x)k(
ai ei )(
) kPm (x)kk
ai ei k
kPm (x)k
i<n
i<n
X
Ck
ai ei k.
i<n
80
Por tanto,
X
X
X
k
ai ei k = sup{(
ai ei )(x) : x SE } Ck
ai ei k.
i<m
i<m
(4.29)
i<n
Definici
on 4.1.18 (Biortogonal de una sucesi
on b
asica). La sucesi
on anterior (en ) asociada a la base (en ) se llama la sucesi
on biortogonal
a (en ).
Ejemplo 4.1.19. 1. Dado 1 < p < , la sucesi
on biortogonal a la
base unitaria de `p es la base unitaria de `q , siendo q el conjugado
de p (i.e. p1 + q 1 = 1)
2.
La sucesi
on biortogonal a la base unitaria de c0 es la base unitaria
de `1 y viceversa.
Definici
on 4.1.20. Una base de Schauder (en )n se denomina de Auerbach ( 1) si ken k = 1 y ken k para todo n N.
Ejercicio 4.1.21. Demuestre que una base de Schauder normalizada es
de -Auebach si y solamente si para toda sucesi
on de escalares (an )n se
tiene que
X
1
k
an en k k(an )n k .
n
Nota 4.1.22. No es cierto que la sucesi
on biortogonal de una base de
Schauder de E es una base de Schauder de E . Por ejemplo, el biortogonal de la base unitaria de `1 no genera todo el dual (`1 ) = ` . Sin
embargo, en terminos de la topologa debil se tiene lo siguiente.
Proposici
on 4.1.23. Sea (en )n una base de Schauder de E. Entonces
hen in es debil -denso en E . De hecho, para todo f E se tiene que
lm
(4.30)
nm
Demostraci
on. Demostremos (4.30): Sea x P
E y sea > 0. Sea m0
tal que para todo m m0 se tiene que k n>m en (x)en k kf k1 .
81
nm
=|f (x) f (
en (x)en )|
nm
kf k k
en (x)en k .
n>m
Definici
on 4.1.24. Dada una base de Schauder (en )n de E definimos
E como el conjunto de todas las sucesiones (an )n de escalares tales que
X
k|(an )n k| = sup{k
an k : m N} <
(4.31)
nm
4.2.
Existencia de bases
(4.32)
Demostraci
on. Sea {xi }i<n SE un conjunto -denso de SE , donde =
1 . Sean {xi }i<n SE funcionales normalizados tales que xi (xi ) = 1
para todo i < n. Finalmente, sea x SE tal que xi (x) = 0 para todo
i < n (si no fuese posible encontrar el tal x, entonces el operador x
E 7 (xi (x))i<n Rn sera un isomorfismo, y por tanto E sera finito
82
1
kxk.
n
(4.34)
n
X
ai xi k (
i=0
n
Y
i=m+1
1 X
)k
ai xi k
i
(4.35)
im
y por tanto,
k
X
im
ai xi k (
n
Y
i=m+1
i )k
X
in
ai xi k k
ai xi k.
(4.36)
in
Proposici
on 4.2.3 (Principio de selecci
on de Bessaga-Pelczy
nski).
Sea (xn )n una sucesi
on normalizada debilmente nula en un espacio de
Banach E. Entonces para todo > 1 existe una subsucesi
on (xm )mM
de (xn )n que es b
asica con constante b
asica .
83
Demostraci
on. La demostracion es bastante similar a la prueba del Teorema 4.2.2. Sea (xn )n sucesion normalizada debilmente nula en E, y
fijemos > 0. Sea (n )n estrictamente decreciente a 1 tal que
Y
n .
n
i<k
lo que, procediendo como en la prueba del Teorema 4.2.2, nos dara que
(xnk )k es una sucesion basica de constante . Justifiquemos la existencia de (nk )k . Supongamos definido (nk )k<p . Sea D SE finito tal
que para todo (ai )i<p se tiene que
k
ai xi k
i<p
p
p+1
X
max{f (
ai xi ) : f D}.
(4.38)
i<p
ip
i<p
i<p
i<p
84
X
ip
4.3.
ai xi k
X
p+1 p+1 1
1
=
k
ai xi k.
p
p
p
i<p
Equivalencia de sucesiones b
asicas y subsucesiones bloque
Definici
on 4.3.1. Sea (xn )n , (yn )n sucesiones b
asicas de E y F respectivamente. Sea K 1. Se dice que (xn )n es K-equivalente a (yn )n ,
y lo denotaremos por (xn )n K (yn )n , si la aplicaci
on lineal definida a
partir de xn 7 yn extiende a un isomorfismo exhaustivo T entre hxn in
y hyn in tal que kT kkT 1 k K.
La sucesiones (xn )n e (yn )n son equivalentes si son K-equivalentes
para un cierto K 1.
Ejercicio 4.3.2. Sea (xn )n , (yn )n sucesiones b
asicas de E = (E, kkE ) y
F = (F, kkF ) respectivamente. Demuestre que (xn )n son K-equivalentes
si y solamente si existen constantes K0 , K1 tales que K0 K1 K y tales
que para toda sucesi
on (ki )is tal que s FIN y ki Z para todo i s
se tiene que
X
X
1 X
k
ki xi kE k
ki yi kF K1 k
ki xi kE .
(4.40)
K0
is
is
is
85
Demostraci
on. Sea x X. Entonces
kT (x)k kxk + kT (x) xk kxk + kxk = (1 + )kxk
kT (x)k kxk kT (x) xk kxk kxk = (1 )kxk.
Proposici
on 4.3.6. Sea X un subespacio cerrado de Y y supongamos
que (xn )n es una base de Schauder de X. Supongamos que (yn )n es una
sucesi
on en Y tal que
X
=
kxn yn kkxn k < 1.
(4.41)
n
Entonces la aplicaci
on lineal T : X Y definida linealmente a partir
de T (xn ) = yn es una -inclusi
on.
Demostraci
on. Primeramente,Pdemostremos que T esta bien definida y
que es continua: Fijemos x = n an xn X. Entonces
X
X
X
k
an yn k k
an xn k + k
an (xn yn )k
n
kxk +
kxk +
|xn (x)|kxn yn k
|xn |kxkkxn
yn k = (1 + )kxk.
kxk +
Proposici
on 4.3.7. Sea X Y y sea T B(X, Y ) una -inclusi
on. Supongamos que (xn )n es una sucesi
on b
asica en X. Entonces la sucesi
on
(T (xn ))n es b
asica y (1 + )/(1 )-equivalente a (xn )n .
Demostraci
on. Se sigue directamente a partir de la Proposicion 4.3.5 y
el Ejercicio 4.3.3.
86
Definici
on 4.3.8. Sea (en )n una sucesi
on b
asica de X. Una sucesi
on
(xn ) de X se denomina una subsucesion bloque de (en ), y lo escribiremos por (xn )n (en )n cuando
1.
2.
Si en adici
on cada xn est
a normalizado, entonces escribiremos (xn )n 1
(en )n .
Ejercicio 4.3.9. Demuestre que una subsucesi
on bloque de una sucesi
on
b
asica de constante b
asica C es tambien una sucesi
on b
asica de constante
b
asica C.
Ejercicio 4.3.10. Demuestre que toda subsucesi
on bloque normalizada
de la base unitaria de c0 o `p (p 1) es 1-equivalente a la base correspondiente.
Teorema 4.3.11. Sea E un espacio de Banach con base de Schauder
(en )nN . Sea X un subespacio cerrado de E de dimensi
on infinita con
base de Schauder (xn )nN . Entonces para todo 0 < < 1 existe una
subsucesi
on bloque normalizada (zn )n de (en )nN y una -inclusi
on T :
hzn in E tal que
(T (zn ))n es una subsucesi
on bloque normalizada de (xn )n .
Demostraci
on. Sea C la constante basica de (en )n , y sea 0 < < 1
Vamos a encontrar una subsucesion bloque normalizada (yn )n de (xn )n
y otra subsucesion bloque normalizada (zn )n de (en )n tales que para
todo n N se tiene que
kzn yn k <
.
2n+2 C
(4.42)
87
kzk yk k k+2 .
(4.44)
2 C
Sean
r =maximo del soporte de zn con respecto a la base (ek )k
s =maximo del soporte de yn con respecto a la sucesion basica (xk )k .
Sean Pr : E hek ikr y Qs : hxk ik hxk iks las proyecciones basicas
correspondientes. Sea T : hxk ik hek ikr hxk iks definida por T (x) =
(Pr (x), Qs (x)). Esta claro que T , siendo de imagen finito-dimensional,
es un operador estrictamente singular. Por tanto, existe x hxk ik de
norma 1 tal que
kz zk <
.
n+3
62
C
Entonces
2
|1 kzk| =|kxk kzk| kx zk kx zk + kz zk
6 2n+3 C
= n+3
.
6 2n+3 C
2
C
88
(4.46)
Fijemos > 0. Sea > 0 tal que
C
1
,
C +
1+
(4.47)
y sea (yn )n 1 (xn )n tal que para todo (an )n se tiene que
X
X
k
an yn k (C )
|an |.
n
(4.48)
89
Por otro lado, sea (sn )n una sucesion bloque de conjuntos finitos de
n
umeros naturales y una sucesion de sucesiones de escalares ((ak )ksn )n
tales que para todo n N
X
X
|ak |.
(4.49)
ak yk k < (C + )
k
ksn
ksn
X
n
b n zn k
X
n
kbn zn k =
|bn |,
(4.50)
X
n
P
P
X
|ak |
ksn ak yk
k (C )
|bn | P ksn
bn zn k =k
bn P
k ksn ak yk k
k ksn ak yk k
n
n
X
1
C X
1 X
(C )
|bn |
=
|bn |
|bn |.
C
+
C
+
1
+
n
n
n
X
Corolario 4.3.16 (James). Supongamos que E es un espacio de Banach que tiene un subespacio isomorfo a c0 (o `1 ). Entonces, para todo
> 0, E contiene un subespacio 1 + -isomorfo a c0 (respectivamente
`1 ).
Demostraci
on. Supongamos que X es `1 o c0 y supongamos que T : X
E es un isomorfismo. Para cada n N, sea xn = T (un ). Entonces (xn )n
es una base de Schauder de T (X). Ahora se puede aplicar directamente
el Teorema 4.3.15 para finalizar la prueba.
En el caso de tener una sucesion debilmente nula se tiene la siguiente
mejora del Teorema 4.3.11.
90
Proposici
on 4.3.17. Supongamos que X es un espacio de Banach con
base (en )n , y sea (xn ) un sucesi
on debilmente nula y normalizada en X.
Entonces para todo 0 < < 1 existe una subsucesi
on bloque normalizada
(zn )n de (en )nN y una -inclusi
on T : hzn in E tal que
(T (zn ))n es una subsucesi
on de (xn )n .
Demostraci
on. Modificar la prueba del Teorema 4.3.11 de manera apropiada, utilizando ahora que si (xn )n es una sucesion debilmente nula
normalizada entonces para todo > 0 y n N, existe k N tal que
sup{kPn (xm )k : m k} .
Acabamos esta parte con una caracterizacion de operadores estrictamente singulares en espacios de Banach con base de Schauder.
Proposici
on 4.3.18. Sea X un espacio de Banach con base de Schauder
(en )n . Entonces un operador T B(X, Y ) es estrictamente singular si
y solamente si
91
.
C 2n+2
(4.51)
Supongamos que y0 < . . . < yk estan ya escogidos en hxn in tal que cada
xn (n k) tiene la propiedad (4.51). Sea m = max supp yk , donde el
soporte de yk esta tomado sobre (xn )n . Apliquemos (**) a (xn )n>m y
/(C 2k+3 ) para encontrar un vector normalizado yk+1 hxn in>m tal
que
kT (yk+1 )k <
.
C 2k+3
Demostremos que (yn )n tiene la propiedad buscada en (*): Sea x =
P
on bloque normalizada
n an yn de norma 1. Como (yn )n es una subsucesi
de (en )n que es una sucesion basica de constante basica C, la constante
basica de (yn )n es C. Por tanto, para todo n N, |an | 2C. Por
tanto, utilizando la continuidad de T , se tiene que
X
X
X
kT (
an yn )k
|an |kT (yn )k 2C
= .
C 2n+2
n
n
n
Supongamos ahora que se cumple (*) y por tanto (**). Sea Z un subespacio cerrado infinito dimensional de X, y sea > 0. Sea 0 < < 1 tal
que
(1 + kT k)
.
(4.52)
1
92
(4.54)
4.4.
Bases y Reflexividad
la serie correspondiente
n an en
es convergente.
Proposici
on 4.4.2. Sea (en )n una base de Schauder de E. Entonces
(en )n es retractiva si y solamente si para todo f E se tiene que
lm kf hem imn k = 0.
(4.55)
93
Demostraci
on. Supongamos que (en )n es una base de Schauder de E ,
y para
N sea Pn : E hem im<n la proyeccion basica
P cada n P
Pn ( m am em ) =
m<n am em . Entonces para cada f E se tiene
que
lm kf Pn (f )k = 0.
(4.56)
n
=|(
mn
bm f (em ) (
m<n
bm f (em ))| + |f (
m<n
bm em ))| .
mn
kf
an en k .
C
n<m
Como (xn )n es una subsucesion bloque de (en )n , la sucesion de n
umeros
naturales (mn(supp xn ))n es estrictamente creciente. Por tanto, para
todo k m se tiene que m supp xk = y por tanto, si k m, entonces
X
X
|f (xk )| |(f
an en )(xk )| + |(
an en )(xk )|
n<m
kf
X
n<m
an en kkxn k
n<m
+ |(
n<m
an en (xk ))| .
94
(4.57)
(4.58)
Ejercicio 4.4.4. Demuestre que una base de Schauder (en )n es retractiva si y solamente si sus subsucesiones bloques normalizadas son debilmente nulas.
Ejercicio 4.4.5. Demuestre que una base de Schauder (en )n es retractiva si y solamente para todo > 0 y toda subsucesi
on bloque normalizada
(xn )n de (en ) existe una combinaci
on convexa (an )n c00 tal que
k
an xn k .
Proposici
on 4.4.6. Supongamos que (en )n es una base de Schauder
retractiva de E. Como en el Ejercicio 4.1.16, sea X el espacio de Banach
de todas las sucesiones de escalares (an )n tales que
k|(an )n k| = sup{k
an en k : m N}
(4.59)
nm
equipado con la norma k| k| definida en (4.59). Sea T : E X definido para h E por T (h) = (h(en ))n . Entonces T es un isomorfismo
exhaustivo. Si en adici
on la base (en )n es mon
otona, entonces T es una
isometra exhaustiva.
95
Demostraci
on. Sea (e
n )n el biortogonal de (en ), (Pn )n sus proyecciones
basicas asociadas y sea C la constante basica de (en )n . Veamos primero
que T esta bien definida: Sea h E y sea f E de norma 1. Como
(en )n es retractiva, se tiene que
X
f (en )en .
f=
n
Por tanto,
X
X
X
f (en )en )|
h(en )f (en )| = |h(
h(en )en )| =|
|f (
nm
nm
nm
khkk
f (en )en k
Ckhk,
nm
donde en la u
ltima desigualdad utilizamos que la constante basica de
(en )n es C. Por tanto
X
sup k
h(en )en k Ckhk.
(4.60)
m
nm
nmk
96
n<m
n<m
khk kPm
k Ckhk,
(4.63)
(4.64)
97
P
como la base (en )n es acotadamente completa, la serie n h(en )en converge. Observemos que para todo m N se tiene que
X
X
T(
h(en )en )(em ) = em (
h(en )en ) = h(em ).
(4.65)
n
P
Por tanto, T ( n h(en )en ) = h.
Teorema 4.4.10 (James). Sea E un espacio de Banach E con base
de Schauder (en )n . Entonces E es reflexivo si y solamente si (en )n es
retractiva y acotadamente completa.
Demostraci
on. Supongamos primero que E es reflexivo. Demostremos
primero que (en )n es retractiva. Si no, hen in es un subespacio cerrado
propio de E . Por tanto, a partir del Teorema de Hahn-Banach (ver
Corolario 3.1.60) se tiene que existe h E de norma 1 tal que
h hen in = 0.
(4.66)
n<mk
Por tanto,
x=
X
n
en (x)en =
X
n
an en
98
P
lo que demuestra que la serie n an en es convergente.
Supongamos ahora que (en )n es retractiva y acotadamente completa.
Sea X el espacio de Banach de todas las sucesiones de escalares (an )n
tales que
X
an en k : m N}
(4.67)
k|(an )n k| = sup{k
nm
4.5.
n h(en )en .
Sucesiones b
asicas incondicionales
x
converge.
n
n
n=0
n=0
99
Proposici
on 4.5.3. Sea (xn )n una sucesi
on de vectores en un espacio
de Banach. Entonces las condiciones siguientes son equivalentes:
P
(i) La serie
n=0 xn es incondicionalmente convergente.
P
on estrictamente cre(ii) La serie
k=0 xnk converge para toda sucesi
ciente (nk )k de n
umeros naturales.
(iii) Para todo > 0 existe un nP N tal que para todo conjunto M N
con n < M se tiene que k kM xk k < .
P
on : N N.
(iv) La serie
n=0 x(n) converge para toda permutaci
Demostraci
on. (i) implica (ii): Sea (nk )k estrictamente creciente. Definamos la sucesion de signos (n )n por
1
si n {nk : k N}
n =
1 si no.
Entonces
X
k
X
1 X
xnk = (
xn +
n xn ).
2 n
n
(ii) implica (iii): Supongamos que (iii) es falso. Entonces existe > 0 y
una sucesion bloque (sn )n de conjuntos finitos de n
umeros naturales tal
que
X
k
xk k para todo n N.
(4.69)
ksn
S
Entonces si (nk )k P
es la enumeracion estrictamente creciente de n sn , se
tiene que la serie k xnk no es convergente ya que las sucesion de sumas
parciales no es de Cauchy.
(iii) implica (iv): Sea : N N una permutacion. Dado > 0 sea n N
dado por (iii). Sea m0 tal que para todo m m0 se tiene que (m) n.
Entonces se tiene que
X
k
x(m) k .
mm0
(iv)
P implica (i): Sea (n )n una sucesion de signos. Supongamos que
Pn n xn es divergente. SeaPA = {n N : n = 1}. Entonces o bien
erdida de genA xn es divergente, o P
nA
/ xn es divergente. Sin p
neralidad, supongamos que nA xn es divergente. Entonces podemos
100
a
x
es
incondicionalmente
convergente.
n
n
n=0
Proposici
on 4.5.7. Una sucesi
on (xn )n de vectores no nulos en un
espacio de Banach E. Las siguientes condiciones son equivalentes:
(i) (xn )n es una sucesi
on b
asica incondicional.
(ii) Existe una constante K 1 tal que para todo subconjunto M de
N toda sucesi
on de escalares (an )nM se tiene que
X
X
k
an xn k Kk
an xn k.
(4.70)
nM
nN
X
n=0
n an xn k Lk
X
n=0
an xn k.
(4.71)
101
Demostraci
on. Supongamos que (xn )n es una sucesion basica incondicional. Sea M N y sea PM : hen in hen inM definida por
X
X
an xn ) =
an xn ;
PM (
n
nM
nB
102
xn 6= 0 para todo n.
an xn k Kk
ns
an xn k.
(4.72)
nt
Definici
on 4.5.9. Sea (xn )n una sucesi
on b
asica incondicional. Se define la constante de incondicionalidad CI ((xn )n ) de ((xn )n ) como
CI ((xn )n ) =
sup
kM k,
{1,1}N
N
donde para = (n )n {1,
P 1} , M : hxn in hxn in es el operador
acotado definido para x = n an xn por
M (x) =
n an xn .
donde PM es la proyecci
on definida por
X
X
PM (
an xn ) =
an xn .
n
nM
(4.73)
103
(4.74)
Sea X la completaci
on de (c00 (N), k k).
1.
2.
Proposici
on 4.5.11. Sea (xn ) una sucesi
on b
asica incondicional con
constante de incondicionalidad K. Entonces para toda sucesi
on de reales
(an )n y toda sucesi
on (n )n ` (N) se tiene que
X
X
k
n an xn k Kk(n )n k k
an xn k.
(4.75)
n
P
Demostraci
on. Sea x SE tal que k n n an xn k = x ( n n an xn ).
Para cada n N, sea n = 1 si an x (xn ) 0 y n = 1 si no. Entonces
X
X
X
k
n an xn k =x (
n an xn )
|n ||an x (xn )|
P
k(n )n k
|an x (xn )| =
X
=k(n )n k x (
n an x (xn )) =
n
X
=k(n )n k x (M(n )n (
an xn ))
X
k(n )n k kM(n )n (
an xn )k
n
k(n )n k K k
an xn k.
Proposici
on 4.5.12. Sea (en )n una base K-incondicional de E = (E, k
k). Entonces existe un renormamiento E1 = (E, k k1 ) de E tal que
104
1.
La sucesi
on (en )n es una base 1-incondicional de E1 y ken k1 =
ken k para todo n.
2.
La sucesi
on (en )n dentro de E es K-equivalente a la sucesi
on (en )n
dentro de E1 .
P
Demostraci
on. Definimos la renorma k k1 en E para cada x = n an en
como
X
kxk1 =
|an |en
.
(4.76)
n
Como la sucesion (en )n es incondicional, la norma kxk1 esta bien definida. De hecho, tenemos que K 1 kxk kxk1 Kkxk y por tanto
k k1 es un renormamiento de E. Por otro lado, es facil ver que (en )n es
1-incondicional en (E, k k1 ).
4.5.1.
105
Demostraci
on. Supongamos que E tiene una copia isomorfa de c0 . Entonces, por el Corolario 4.3.13 podemos encontrar una subsucesion bloque (xn )n de (en )n K-equivalente a la base unitaria (un )n de cP
0 . Sea sn =
supp(xn ), y sea (ak )k una sucesion de escalares tal que xn = ksn ak ek
para todo n N. Definamos (bk )k por
(
S
ak si k n sn ,
bk =
(4.77)
0 en otro caso.
Demostremos que
supm k
bk ek k C K,
km
km
Por tanto,
X
bk ek k Ck
P
kN bk ek
xn k C K k
n
n
km
un k = C K.
n
n
es divergente, ya que
kbk ek k = kxn k
ksn
1
.
K
P
pero nN an en es divergente. Sea > 0 yP
(Ik )k una sucesion bloque
de intervalos de n
umeros naturales tal que k nIk an en k para todo
k N. Como (en )n es C-incondicional, la condicion (4.78) implica que
para todo k,
X
k
an en k K C.
nIk
106
P
Para cada k N, pongamos xk = nIk an en . Siendo (xn )n una subsucesion bloque de (en )n , la Proposicion 4.5.11 nos da que para todo
(bk )k ,
X
X
1
k(bk )k k k
bk xk k C k(bk )k k k
xk k C K k(bk )k k .
C
km
km
4.5.2.
La sucesi
on (sn )n se denomina la base sumante de c0 .
Proposici
on 4.5.17. La base sumante de c0 es una base de Schauder
normalizada de c0 , de constante b
asica 2 y sin subsucesiones incondicionales.
Demostraci
on. Esta claro que ksn k = 1 para todo n N. Veamos
que (sn )n es una sucesion basica. Para ello, sea n N, y sean (ai )i<n
escalares. Entonces
X
X X
X X
k
ai si k =k
ai (
uj )k = k
(
aj )ui k =
i<n
i<n
ji
i<n ij<n
X
= max{
aj : i < n}.
ij<n
107
P
P
Por tanto, si m n, y k i<m ai si k = | ij<m aj | para un cierto
i < m, entonces
X
X
X
X
X
aj | 2k
ai si k.
aj | + |
aj | |
k
ai si k = |
i<m
mj<n
ij<n
ij<m
i<n
Esto nos dice que (sn )n es basica con constante basica 2. Por otro
lado ks0 + s1 k = 2 y ks0 k = 1, lo que nos da que la constante basica es
exactamente 2.
Por otro lado, un = sn sn1 para todo n, y en consecuencia
hsn in = c0 .
Finalmente, demostremos que ninguna subsucesion de (sn )n es incondicional: Para ello, fijemos una subsucesion (skn )n , y fijemos n N.
Entonces
X
k
ski k = n
i<n
(1)i ski k = 1.
i<n
108
an xn kJ k(an )n k`2 :
(4.79)
n
(n)
n
Para cada n, sea (Ik )m
on bloque de intervalos tales que
k=0 una sucesi
mn
X
1
1 = kxk kJ = (
|SI (n) (xn )|2 ) 2 .
k=0
Jk
(n)
= Ik
109
(n)
n
en una sucesion bloque de intervalos de
Entonces (Jk Jn )m
k=0 es tambi
enteros y es facil ver que
1=(
mn
X
k=0
(n+1)
(n)
, se sigue que la concateComo para todo n uno tiene que Jmn < J0
(n)
mn
nacion de las sucesiones (Jk Jn )k=0 bloque de intervalos es tambien
una sucesion bloque de intervalos. Por tanto,
!2
k
an xn kJ
mn
XX
n k=0
|an |2
!2
X
=
an xn )
SJ (n) (
k
mn
X
k=0
|an |2 .
(4.80)
Sea X la completacion de (c00 (N), k k). Es facil ver que la base unitaria
(en )n de Hamel de c00 (N) es una base de X bimonotona. Sea x0 = e0 y
para cada n > 0, sea xn = en en1 . Observemos que hxn in = X. Por
otro lado, es facil ver que para toda sucesion de escalares (an )n se tiene
que
X
k
an xn kX = sup{|an am | : n > m}
n
y por tanto,
k(an )n k k
an xn kX 2k(an )n kX .
110
P
tales que n n < . Utilizando que el operador anterior T es estrictamente singular, a partir de la Proposicion 4.3.18, podemos encontrar
una subsucesion bloque normalizada (yn )n de (xn )n tal que para todo
n N, se tiene que
1
kT hym imn k (n ) 2 .
(4.81)
Demostremos que (yn )n es (1 + )-equivalente a la base unitaria de
`2P
. Fijemos (an )n . Sin perdida de generalidad, podemos
suponer que
P
k n an yn k = 1. Por un lado, tenemos k(an )k`2 k n an yn k = 1 (desigualdad (4.79)). Por otro lado, sea (Ik )m
on bloque de
k=0 una sucesi
intervalos de n
umeros enteros. Sea
A = {k m : existe n tal que Ik [mn supp yn , max supp yn ]}.
Para cada k A, sea nk el u
nico n
umero natural n tal que Ik
[mn supp yn , max supp yn ]. Para cada k B = [0, m] \ A sea
sk ={n N : supp xn Ik 6= }.
Observemos que (sk )k es una sucesion bloque de intervalos (algunos
posiblemente vacos). Como l a base unitaria es bimonotona, la sucesi
on (yn )n lo es tambi
P
P en. Por tanto, para todo k m se tiene que
k nsk an yn kJ k n an yn kJ = 1. Utilizando todo esto, la desigualdad (4.81),
m
X
k=0
X
X
X
X
X
(SIk (
an yn ))2 =
(SIk (
an yn ))2 +
(SIk (
an yn ))2 =
n
kA
X
kA
kB
(SIk (
a2nk +
kA
mn sk
an yn ))2
nsk
kB
a2n + .
(4.82)
kB
o lo que es lo mismo,
k
X
n
2
n an
P
an yn kJ
(1 + )
X
n
a2n .
111
espacio J es isometrico a J .
Demostraci
on. Demostremos que (un )n es una base acotadamente completa: Supongamos que (an )n es una sucesion de escalares tal que
K = sup{k
n
X
ak uk kJ : n N} < .
(4.83)
k=0
P
Razonando por reduccion al absurdo, supongamos que la serie k ak uk
diverge. Entonces sea > 0 y dos sucesiones {km }m y {lm }m estrictamente crecientes de n
umeros naturales tales que km < lm < km+1 para
todo m y
lm
X
ak uk k .
(4.84)
k
k=km
k=km
Pkm+1 1
Pkm+1 1
Para cada m N sea xm =
k=km ak uk /(k
k=km ak uk k), el
Pkm+1 1
normalizado de k=km ak uk . Entonces (xm )m es una sucesion bloque
112
n
X
km+1 1
m=0
2 21
ak uk kJ n + 1.
(4.86)
k=km
Utilizando otra vez que la base es bimonotona, se tiene que para todo
nN
kX
kn
n 1
X
ak uk kJ k
ak uk kJ n.
k
(4.87)
k=k0
k=0
Esta claro que (4.87) es contradictorio con (4.83). Por otro lado, la base
unitaria (un )n no puede ser retractiva ya que el espacio J no es reflexivo
(Teorema 4.5.22).
Pasemos a dar una base retractiva de J: Sea e0 = u0 y para cada n 1
sea en = un un1 . Es facil ver que para toda sucesion de escalares (an )n
se tiene que
!1
2
an en kJ = sup{
(ank amk )2
: m0 < n0 m1 < n1 }.
(4.88)
Observemos que ken kJ = 1 y que un hek ik para todo n. Utilizando esto
y la igualdad (4.88) se tiene que la sucesion (en )n es una base monotona
de J. Demostremos que la base (en )n es retractiva: Utilizando el Ejercicio
4.4.4 es suficiente demostrar que toda sucesion bloque normalizada (xn )n
de (en )n es debilmente nula. Para ello, observemos que la serie
X xn
n
es convergente en el espacio J:
nl
X xn
k:
n
n2k
113
(cnk cmk )2 =
XX
(cnk cmk )2
nl
nl kFn
X 2
kxn k2 .
n2
X xn
nl
kJ lm
X |x (xn )|
nl
nI
+ max{
r
X
i=0
mn I
X
nI
(h(en ) (h))en kJ = 0.
114
Sea
por S(en ) = 1 para todo n. Como
P S : J R definida linealmente
k n<m en kj = 1, se tiene que S J . Ademas S
/ J, ya que S(en ) =
1. Sea h J . Entonces
X
(h(en ) (h))en + (h) S.
h=
n
Por tanto,
J = h{en }n {S}i
y se sigue que dim(J /J) = 1. Sea T : J J definido para h J
por
X
T (h) = (h)e0 +
(h(en ) (h))en+1 .
n0
X es reflexivo.
2.
3.
Captulo 5
Barreras en espacios de
Banach
A continuacion vamos a dar una serie de aplicaciones a la teora de los
espacios de Banach de los resultados sobre funciones definidas en una
barrera y con valores en c0 (N).
5.1.
El espacio de Maurey-Rosenthal
(5.1)
116
nI
2.
Demuestre que la base unitaria (un )n de c00 es una base de Schauder mon
otona y normalizada de X . Dicha base la denominaremos
la base unitaria de X .
Ejercicio 5.1.3.
1.
2.
117
P
n an un
Definici
on 5.1.6. Sea F la clausura de una barrera
P uniforme en N.
+
Sea F : F R la funci
on definida por F (s) = ns un . El espacio
correspondiente XF se llama el espacio F-Schreier y lo denotaremos
por XF .
118
Proposici
on 5.1.7. El espacio F-Schreier XF tiene la propiedad que
P
para todo n an un XF se tiene que
X
X
X
k
an un k sup{
|an | : s F} 2k
an un k.
(5.4)
n
ns
nt
ns
nt
X
n
an un k |h
X
n
an un ,
X
nv
un i| =
X
nt
|an |
1X
|an |.
2 ns
119
una subsucesion (xkn )n de (xn )n y una subsucesion bloque normalizada (yn )n de (vn )n que son 2-equivalentes. Fijemos < (kT k1 )1 . Por
la Proposicion 5.1.5 podemos encontrar una combinacion convexa (an )n
con soporte en G tal que
X
an yn kXF .
k
(5.6)
n
(5.7)
=kT
kk
an yn kXF kT 1 k < 1,
mn((
mi 1/2 mj 1/2
) , ( ) ) .
mj
mi
(5.8)
(5.9)
tal que ((si )ni=0 ) > sn para todo (si ) FIN[<] Ahora sea BMR la
familia de uniones s0 s1 sn de conjuntos finitos tales que
120
(a) n = mn s0 y |s0 | = n + 1,
(b) (si )i<n FIN[<] , y
(c) |si | = (s0 , . . . , si1 ) (1 i n).
No es difcil verificar que BMR es una barrera 2 -uniforme en N.
Observese que por definici
on, cada s BMR tiene una descomposici
on
can
onica u
nica s = s0 sn que satisface las condiciones (a), (b) y
(c) anteriores. Ahora definamos la aplicaci
on : BMR c00 ,
(s) =
n
X
i=0
1
|si |
X
1
2
uk ).
(5.10)
ksi
n
X
xk k |h(s), (s)i| = n + 1.
(5.11)
k=0
n
X
(1)k xk k 1 + :
(5.12)
k=0
Como n = mn s puede ser arbitrariamente grande, se sigue que la sucesion (xn )nM no es incondicional.
121
t
|
|s
|
i
k+1
k+1
i
k+1
i
+
|h(t),
(1) xi i| (1)
1 + (1)
1
|sk+1 |
2 |si | 2
|s
|
i
i=0
ik
+
5.2.
|si tj |
1
2
2
i,j>k+1 |si | |tj |
1+
X |si | 12
1
2
i,j>k+1 |tj |
1 + .
122
123
Demostraci
on. Esta claro que cada en tiene norma 1. Probemos ahora
que (en )n es una sucesion basica monotona. Para ello, sea m < n y sea
(ak )k<n una sucesion de escalares. Sea t F. Sea
[
sk )
l = max(t
k[m+1,n1]
k<n
k<m
k<m
Finalmente, como {sn }nN es una base de abierto-cerrados de la topologa en F, se sigue que hen in es denso en C(F).
Demostremos ahora que (en )n es retractiva. Sea (xn )n una subsucesion
bloque normalizada de (en )n y sea P> 0. Tenemos que encontrar una
combinacion convexa (an )n tal que k n an xn k . Para ello definamos
: F FIN para s F por
(s) = {n N : xn (s) 6= 0}.
Observemos que xn (s) 6= 0 si y solamente si existe k supp xn tal que
sk v s y por tanto (s) es un conjunto finito. Veamos que es continua:
Sea n0 N, y s F. Tenemos que encontrar m N tal que para todo
tF
si t m = s m entonces (t) n0 = (s) n0 .
(5.14)
S
Sea m = max n<n0 supp xn + 1. Comprobemos que m tiene la propiedad deseada. Sea t F tal que s m = t m, y supongamos que t 6= s.
Entonces t = s (t \ m). Razonemos por reducci
on al absurdo. SuponS
gamos que n (t) n0 , y n
/ (s). Sea k n<n0 supp xn tal que
tk v t. Entonces tk 6v s, ya que entonces n (s). Esto quiere decir que
tk = s (tk \ s) con (tk \ s) 6= . Utilizando (5.13) se tiene que
k = 1 (tk ) m,
(5.15)
124
P
Veamos que (5.16) nos da que k n an xn k : Sea s F. Entonces
X
X
X
an | ,
an xn (s)| |
an xn )(s)| = |
|(
n
n(s)
n(s)
ya que (s) G.
Ejercicio 5.2.9. Sea F la clausura de una barrera uniforme en N. Demuestre que para todo s F se tiene que
s s\{max s} si s 6=
([s] ) =
(5.17)
si s = .
Concluya que para todo f F, la descomposici
on de f en la base (en )n
es
X
f = f ()e0 +
(f (sn ) f (sn \ {max sn })) en .
n>0
Proposici
on 5.2.10. Sea K un compacto numerable. Entonces el espacio dual C(K) es isometrico a `1 (N). De hecho la sucesi
on de funciones
Dirac (b )bK es una base de Schauder de C(K) que es 1-equivalente a
la base unitaria de `1 (N).
Demostraci
on. Sean {bi }i<n puntos de K. Vamos a ver que (bi )i<n es
1-equivalente a la base unitaria de `n1 : Sean (ai )i<n escalares. Aplicando
el Lema de Urysohn, se puede encontrar una funcion continua f : K
[1, 1] tal que f (bi ) = 1 si ai 0 y f (bi ) = 1 si bi < 0, para todo
i < n. Entonces
X
X
X
X
|ai | k
ai bi k f (
ai bi ) =
|ai |.
i<n
i<n
i<n
i<n
125
n y m max(
supp xk ) se tiene que kTm hxl il>n k < n+1 .
2
kn
(5.18)
126
n>n0
nn0
|an0 | + kTm (
an yn )k |an0 |+
n>n0
+ max |an |
n>n0
X
n>n0
2n+1
2k
an un k .
P
P
La otra desigualdad k n an un k 2k n an yn k se sigue del hecho que
(en )n , y por tanto (yn )n son monotonas.
Proposici
on 5.2.12. Sean K y L dos compactos numerables, con ndice
de Cantor-Bendixson , respectivamente. Entonces existe una isometra j : C(K) C(L).
Demostraci
on. Es suficiente demostrar el resultado suponiendo que K
y L son la clausura de barreras B y C que son y -uniformes, respectivamente. A partir del Ejercicio 1.2.6, podemos encontrar t FIN
tal que que Ct es una barrera -uniforme en M \ (max t + 1). Sea
T : C(Ct ) C(L) la isometra definida para f C(Ct ) por
f (s \ t) si t v s
T (f )(s) =
0
si no.
Finalmente, utilcese que Ct y K tienen el mismo rango de CantorBendixson para encontrar una isometra exhaustiva entre C(K) y
C(Ct ).
Demostraci
on del Teorema 5.2.3. Sin perdida de generalidad, vamos a
suponer que K = F es la clausura de una barrera -uniforme en N. Sea
(en )n la base nodica de C(F). Supongamos primero que = n < . Es
127
[tk ] kF = 2m + 1.
k2m
1
.
2k+1
1
,
2d+3
(5.20)
128
Pn ([s{ld }] ) hxk ikn . Sea z hxk ikn tal que kz xkF 2(d+3) . Y
sea finalmente yd = z/kzk. Entonces
kyd [s{ld }] kF kyd zkF + kz xkF + kx [s{ld }] kF
1
1
2
2
1
|kzk 1| + d+3 + d+3 d+3 + d+3 = d+1 .
2
2
2
2
2
5.3.
W -dominancia
nt
X
1
max{k
an xn k : I v supp (an )n }.
C
nI
Entonces la sucesi
on (xn )n es W -dominante si y solamente si
(xn )n es una sucesi
on b
asica de constante C.
(II) Dado C 1, sea
W ((an )n ) =
X
1
max{k
an xn k : s supp (an )n }.
C
ns
Entonces la sucesi
on (xn )n es W -dominante si y solamente si
(xn )n es una sucesi
on b
asica incondicional de constante C.
129
X
1
max{k
an xn k : s S (supp (an )n ) }.
C
ns
1 P
ns an un k`1
Ck
si supp (an )n S
si no.
Entonces la sucesi
on (xn )n es W -dominante si y solamente si
(xn )n es asintoticamente `1 con constante C.
El problema que queremos tratar es dado W : c00 R+ saber cuando
una sucesion normalizada (xn )n tiene una subsucesion C W -dominante
para cierta C 1.
Definici
on 5.3.3. Definimos
U (W, (xn )n ) ={M N [] : (xn )nM es W -dominante}
C(W, (xn )n ) = inf{C 1 : existe (xn )nM que es C 1 W -dominante}
w
Nota 5.3.4.
(a) Es f
acil mostrar que
C(W, (xn )n ) = inf{C 1 : U (C 1 W, (xn )n ) = }.
(5.22)
130
a(s)
n xn k <
1
W ((a(s)
n )n ).
C
Demostraci
on. Es trivial que (a) y (b) son equivalentes y que (c) implica
(b). Supongamos ahora que vale (b). Fijamos N N. Como U (C 1
W, (xn )nN ) = , entonces para todo subconjunto infinito M N existe
(M )
(an )n c00 (M ) tal que
k
X
n
)
a(M
n xn k <
1
)
W ((a(M
n )n ).
C
(5.23)
Definimos
)
[]
F = {supp ((a(M
}.
n )n ) : M N
La familia
G = F v mn = {s F : no hay t F tal que t @ s}
es Sperner, luego por el Teorema 1.2.18 existe un conjunto infinito M
N tal que G M es una barrera uniforme o vaco. Observese que la
segunda opcion no es posible ya que implica que F M = mientras
(M )
supp ((an )n ) M . Llamemos B = G M . Ahora, para todo s B
131
(M (s))
Demostraci
on. Se sigue del Corolario 1.5.9 aplicado a la aplicacion s
B 7 (kxs k1 xs (xn ))n K((xn )n ) c0 , donde
K((xn )) = {(x (xn ))n c0 : x BX }.
para todo n N .
132
X
nN
1
an xn k k(an )nM k
X
n
1
an xn k k(an )n k para todo (an )n c00 .
(5.25)
P
y tal que k nN an xn k 1 k(an )nN
P k . Sea Y = hxn in . Calculemos
133
k
a(s)
a(s)
n xn k = xs (
n xn ).
nf (s)
nf (s)
Sin perdida de generalidad, pasando a un subconjunto infinito si necesario, podemos suponer que:
(I) La funcion g es tal que para todo s, u B y todo t v s u se tiene
que
X
(C 1)
k
|xs (xn ) xt (xn )|k
(5.28)
nt
(a partir del Corolario 1.5.6).
(II) La aplicacion f es Lipschitz en B (Proposicion 1.3.3).
Fijemos ahora s B. Sea u Bf (s) (M/s). Se sigue que a partir de
(II) que f (s) v f (u). Entonces
X
X
X
(s)
1 =k
a(s)
x
k
|x
(
a
x
)|
=
|x
(
a(s)
n
n
n
u
n
u
n xn )|
ns
ns
nf (s)
(C 1)
k(a(s)
n )n k >
nf (s)
X
X
>Ck
a(s)
a(s)
n xn k (1 C)k
n xn k = 1
|xs (
a(s)
n xn )|
ns
ns
134
5.3.1.
Incondicionalidad de Schreier
nM
X
ns
a(s)
n xn k <
X
1
max{k
a(s)
n xn k : t S s }.
C
nt
(5.29)
(s)
W ((a(s)
a(s)
a(s)
n )n ) = k
n xn k = xs (
n xn ).
nts
nts
135
nM \s xs (n)k
para todo
(5.31)
i<l0
(5.32)
w0 w
1 = (w)
(5.33)
(5.34)
(5.35)
136
a(u)
n xn )| |xs (
a(u)
n xn )| |xs (
|xs (
a(u)
n xn )|
nu\s
n((us)\
v)
n(u\
v)
an(u) xn )| k(a(u)
n )n k =
n((us)\
v)
a(u)
=|xs (
n xn )|
nts
|xu (
k(a(u)
n )n k
(u)
a(u)
n xn )| 2k(an )n k >
ntu
>(C
2 X (u)
)k
a xn k.
nu n
(5.36)
a(u)
n xn k
nu
X
X
1
k
a(u)
an(u) xn )| >
n xn k |xs (
2
n(u\
v)
>
n(u\
v)
2
1
(C )k
a(u) xn k,
2
nu n
X
(5.37)
y por tanto
C < 2( +
1
).
(5.38)
N[k] ,
Proposici
on 5.3.10. Para toda sucesi
on debilmente nula normalizada
(xn )n en un espacio de Banach X, todo k N y todo > 0 existe una
subsucesi
on (xn )nM tal que
k
X
ns
an xn k (1 + )k
an xn k
nM
137
Demostraci
on. Fijemos k N. Sea W : c00 R+ definida por
X
an xn k : s supp (an )n , |s| k }.
W ((an )n ) = max{k
ns
Observemos que el resultado es equivalente a C(W, (xn )n ) = 1. Razonando por reduccion al absurdo, supongamos que C(W, (xn )n ) C > 1.
Procediendo como en la demostracion de la Proposicion 5.3.9 podemos
suponer que la sucesion (xn )n es -basica y -Auerbach, para > 1
fijado, y tambien podemos definir tres aplicaciones s B 7 ts
(s)
M [k] , (an )n c00 (M ), xs BX tales que
!
X
1 X (s)
(s)
k
an xn k < xs
an xn
(5.39)
C
ns
nt
s
1=k
a(u)
a(u)
a(u)
n xn k xs (
n xn ) = xs (
n xn ) =
nu
nu
=xs (
nus
a(u)
n xn ) xs (
nts
a(s)
n xn ) > C .
nts
5.3.2.
Incondicionalidad de Elton
No es cierto que toda sucesion debilmente nula tenga una subsucesion incondicional. Sin embargo, si existe subsucesiones con una cierta
incondicionalidad parcial.
138
Definici
on 5.3.11. Definimos la funci
on oscilacion Osc : c00 \ {0}
+
R para (an )n c00 \ {0} por
Osc((an )n ) =
max{|an | : n N}
.
mn{|an | : n N, an 6= 0}
(5.40)
nM
Demostraci
on. Sea (xn )n una sucesion debilmente nula en un espacio
de Banach X. Fijemos 1 < 3/2, y sea = 1. Podemos suponer
que (xn )n es basica con constante y -Auerbach. Sea L : (0, 1] N
definida por
1
L(a) = mn{n N : n < a}.
(5.42)
2
Ahora, para cada (an )n c00 \ {0} tal que 0 mnn an maxn an 1
sea
D((an )n ) = {{n N : L(an ) = i} : i N}.
En general, dado (an )n c00 \ {0} con k(an )n k 1, sea
D((an )n ) = D((an )ns ) D((an )ns
/ ),
donde s = {n N : an 0}. No es difcil ver que
(a) D((an )n ) es una particion del soporte de (an )n ,
(b) |D((an )n )| 2(log2 (Osc((an )n )) + 2) y
(c) para cada t D((an )n ) las funciones Sign {an : n t} y L {an :
n t} son ambas constantes.
Ahora, sea
R = {(an )n c00 : n supp (ak )k se tiene que 1 |an | >
Para cada (an )n c00 con k(an )n k 1, sea
p((an )n ) = {n : |an | > 2n1 }.
1
2n+1
}.
139
an xn k + 1.
(5.43)
np((an )n )
(5.44)
nt
X
17
(log2 (4 Osc((an )ns )))k
an xn k
2
nM
X
3 X
17
k
an xn k + (log2 (4 Osc((an )ns )))k
an xn k =
2
2
nM
nM
X
=10(log2 (4 Osc((an )ns )))k
an xn k.
an xn k 1 +
ns
nM
Probemos ahora que C(W, (xn )n ) = 4 razonando por reduccion al absurdo, y supongamos que C(W, (xn )n ) > C > 4. Utilicemos el test de
W -dominacion para encontrar una barrera B en un cierto M y una apli(s)
(s)
(s)
cacion s B 7 (an )n c00 (M ), k(an )n k = 1, supp (an ) = s y tal
que para todo s B se tiene que
k
X
ns
a(s)
n xn k <
X
1
(s)
max{k
a(s)
n xn k : t u D((an )n )}.
C
nt
(5.46)
140
tal que x (
cacion s B 7 xs S
a
x
)
=
k
n
n
X
s
nt
nts an xn k.
s
P
Podemos suponer que nM \s |xs (xn )| para todo s B. Finalmente, para cada s B, sea ws ts tal que xs (xm )xs (xn ) 0 para todo
n, m ws y tal que
xs (
nws
1 X (s)
a xn ).
a(s)
x
)
x (
n
n
2 s nt n
(5.47)
< |a(s)
n |
2n+1
1
2ls
(v
s)
k ntvs an xn k 1 2l1 . Por tanto, a partir de dicha Nota 1.3.12,
podemos encontrar s, u
B tales que, poniendo s = v s y u = v t se
tiene que
(I) ws v wu y s u = v ws .
(II) k
nts
(s)
an xn k 1 k
ntu
(u)
an xn k.
(5.48)
141
Por tanto, utilizando tambien que los signos de los coeficientes son constantes, y poniendo z = v \ {max v} (que es un segmento inicial de u), se
tiene que
k
X
nu
a(u)
n xn k k
a(u)
n xn k |xs (
a(u)
n xn )|
nu\z
nu\z
|xs (
(u)
a(u)
n xn )| k(an )n k =
n(su)\z
1 X (s)
a(u)
an xn )|
n xn )| |xs (
2
nws
nws
1 X (s)
1 X (u)
k
an xn k k
a xn k >
4 nt
4 nt n
s
u
X
X
1
> Ck
a(u)
a(u)
n xn k k
n xn k,
4
nu
nu
=|xs (
Por tanto,
0(
C
) <
4
(5.49)
5.4.
Sucesiones b
asicas spreading y spreading
models
Definici
on 5.4.1. Una sucesi
on (xn )n en un espacio de Banach E se
denomina K-spreading (K 1) si (xn )n es K-equivalente a todas sus
subsucesiones. La sucesi
on (xn )n es spreading si es K-spreading para un
cierto K 1.
Ejercicio 5.4.2. Demuestre que (xn )n es una sucesi
on K-spreading si
dadas dos sucesiones estrictamente crecientes (mi )i<k y (ni )i<k y se
tiene que para toda sucesi
on de escalares (ai )i<k
k
X
i<k
ai xmi k Kk
X
i<k
ai xni k.
142
k<n
143
Demostraci
on. Sea (n )n c0 estrictamente decreciente. Vamos a encontrar una subsucesion (xn )nM de (xn )n tal que para todo k N
k m0 < < mk1 y k n0 < < nk1 n
umeros naturales en M
y todo sucesion de escalares (ai )<k se tiene que
X
X
|k
ai xmi k k
ai xni k| k
(5.50)
i<k
i<k
i<k
144
Captulo 6
Teorema de Rosenthal
sobre `1
Recordemos que una sucesion (xn )nN de vectores en un espacio de
Banach con norma kk es equivalente a la base unitaria de `1 si existe una
constante K 1 tal que para todo n N y toda sucesion de escalares
(ai )i<n se tiene
X
X
1 X
|ai | k
ai xi k K
|ai |.
K
i<n
i<n
i<n
146
6.1.
Definici
on 6.1.1. Sea (xn )n una sucesi
on en un espacio de Banach
X. Definimos W 0 ((xn )n ) FIN como la familia de todos los conjuntos
finitos s FIN tales que
existe x BX tal que |x (xn )|
1
2mn s
para cada n s.
Proposici
on 6.1.2. (a) W 0 ((xn )nM ) = (W 0 ((xn )n ))[M ],
0
(b) W ((xn )n ) es hereditaria, luego W 0 ((xn )nM ) = (W 0 ((xn )n )) M .
(c) Una sucesi
on (xn )n es debilmente nula si y solamente si W 0 ((xn )n )
es pre-compacta.
Demostraci
on. Como (a) y (b) se obtienen sin dificultad, nos concentramos en (c). Sea Y = hxn in , entonces se puede suponer sin perdida de
generalidad que Y = X, ya que
1. (xn )n , como sucesion de X, es debilmente nula si y solo si (xn )n ,
como sucesion de Y , es debilmente nula (por el Teorema de HahnBanach Teorema 3.1.49), y
2. W 0 ((xn )n ) definido en X coincide con W 0 ((xn )n ) definido en Y ,
tambien por el Teorema de Hahn-Banach.
Supongamos que (xn )n no es debilmente nula. Entonces existe alg
un
x BX y > 0 tales que A = {n : |x (xn )| } es infinito. Entonces
{n A : n n0 } esta claramente en la clausura de W 0 ((xn )n ), para n0
tal que 2n0 1. Supongamos ahora que (xn )n es debilmente nula. Sea
A un elemento de la clausura de W 0 ((xn )n ). Fijemos (sn ) W 0 ((xn )n )
tal que sn A. Sea (xn )n BX tal que |xn (xm )| 2 mn sn para
todo m sn y todo n. Como sn A, podemos suponer que mn sn =
mn A = n0 para todo n. Como X es separable, la bola unidad del
dual BX es secuencialmente compacta (Corolario 3.1.77). Por tanto,
podemos suponer tambien que (xn )n es debil -convergente con lmite
x BX . Es facil ver que |x (xn )| 2n0 para cada n A, luego,
como (xn )n es debilmente nula, A debe ser finito.
Definici
on 6.1.3. Sea (N[2] )[] P(N[2] ) el conjunto de conjuntos
bloque de pares , i.e. el conjunto de los A P (N[2] ) tales que para todo
147
1
2mn A
para cada s A.
Definici
on 6.1.4. Una sucesi
on (xn )n en un espacio de Banach es
debilmente-Cauchy si y solamente si para todo x BX la correspondiente sucesi
on numerica (x (xn ))n es de Cauchy.
Ahora damos una caracterizacion de la propiedad de ser debilmente
Cauchy en terminos de la pre-compacidad de W c ((xn )n ).
Proposici
on 6.1.5. (a) W c ((xn )nM ) = W c ((xn )n )[M ].
(b) W c ((xn )n ) es hereditaria, por tanto, W c ((xn )nM ) = (W c ((xn )n ))
M.
(c) (xn )n es debilmente Cauchy si y solamente si W c ((xn )n ) es precompacto.
Demostraci
on. Solamente (c) requiere demostracion. Supongamos que
(xn )n no es debilmente Cauchy. Entonces existe A (N[2] )[] , x BX
148
y > 0 tales que |x (xs )| para cada s A. Sea n0 tal que 2n0 1.
Entonces {s A : mn s n0 } es infinito y esta en la clausura de
W c ((xn )n ). Supongamos ahora que (xn )n es debilmente Cauchy. Sea
A punto lmite de W c ((xn )n ). Fijemos (An )n W c ((xn )n ) y xn BX
tales que An A, y |xn (xs )| 2 mn An para cada s An y cada
n. Como An A, podemos suponer que mn A = mn An para cada n.
Suponemos tambien que (xn ) es debil -convergente con lmite x . Entonces |x (xs )| 2 mn A para cada s A. Como (xn )n es debilmente
Cauchy, A es finito.
La teora combinatoria de FIN2 es muy similar a la de FIN. Solo
presentamos aqu el siguiente analogo al Teorema 1.4.1.
Lema 6.1.6. Para cada U FIN2 existe M N infinito tal que o bien
(a) U[M ] es pre-compacto o,
(b) FIN2 M U .
Demostraci
on. Sea
[
G ={ A : A FIN2 \ U }.
En efecto, mostramos
que U [M ] es compacto: Sea A (M [2] )[] , y
S
pongamos N = A M . Como G M contiene una barrera, existe
S
/ U , porque B A y B
/U .
que U es tambien hereditaria, luego A
Supongamos ahora que G M = . Claramente, por definicion de G,
149
FIN2 N Ui .
Demostraci
on. La aplicacion FIN2 FIN2 FIN2 , (A, B) 7 A B es
continua, entonces el resultado sigue del Lema 6.1.6 como en la demostracion del Corolario 1.4.2.
6.2.
150
an xn kX
d1 d0
k(an )n k`1 .
2
(6.1)
151
Ahora calculamos:
X
X
X
an xn )
an xn ) + (x1 x0 )(
an xn ) = (x1 x0 )(
(x1 x0 )(
ns1
ns0
n
X
X
an (x1 x0 )(xn )
an (x1 x0 )(xn ) +
=
ns1
ns0
(d1 d0 )
an + (d0 d1 )
an =
ns1
ns0
=(d1 d0 )(
an
ns0
an ) =
ns1
152
Captulo 7
Copias de c0 o `p
Hasta aqu, todos los ejemplos presentados en este libro contienen una
copia isomorfa de c0 o de alg
un `p . Por tanto, es natural preguntarse si
todo espacio de Banach de dimension infinita tiene una copia isomorfa
de c0 o de alg
un `p . Vamos a presentar en la Seccion 7.17 el espacio
de Tsirelson, que es reflexivo y no tiene copias isomorfas ni de c0 ni de
ning
un `p .
Comenzamos con una caracterizacion de las bases unitarias de c0 o `p
debida a Zippin.
7.1.
Teorema de Zippin
154
ai xin k : n N}.
(7.2)
i=0
(7.3)
ik
(b) para todo k < k 0 y todo i Ek , i0 Ek0 se tiene que xink < xink0 .
La condicion (b) dice que x = (xink )iEk ,kN ordenada primero por k
y luego dentro de cada Ek es una subsucesion bloque normalizada de
(en )nN . La condici
dice que Tx no es acotado, ya que para cada
P on (a)
i
k, Tx (Ek y) = iEk ai xnk y kEk yk 2C.
Sea K la constante que acota la norma de todos los operadores Tx .
Observemos que la base (en )n es K-incondicional: Esto se sigue del hecho
de que (en )n es K-equivalente a (n en )n para toda sucesion de signos
(n )n {1, 1}N . Definimos la siguiente renorma:
k|
X
i=0
ai ei k| = sup{k
X
i=0
(7.4)
155
Propiedades de la sucesion (n )n :
1. (n )n es creciente (se sigue de la monotona de la base) y n 2n .
2. K 1 n m n+m Kn m : Para cada k < 2m , sea Sk =
[2n k, 2n (k + 1)). Entonces
S se tiene que (Sk )k es unan sucesion blon+m
que tal que [0, 2
) = k<2P
para todo k.
m Sk y tal que |Sk | = 2
P
P
Para cada k < 2m sea xk = iSk ei /k| iSk ei k| = iSk ei /n ,
ya que la sucesion (en )n es 1-spreading. Entonces
X
X X
X X
n+m =k|
ei k| = k|
ei k| = k|
k|
ei k|xk k| =
i<2n+m
=n k|
X
k<2m
k<2m iSk
xk k| Kn k|
k<2m
iSk
ek k| = Kn m ,
k<2m
m
n
(7.8)
156
o lo que es lo mismo,
log(m ) log(n )
log K
log K
+
.
m
n
n
m
(7.9)
+
.
m
n
n
m
(7.10)
c
.
(7.11)
m
m
Haciendo la exponenciacion correspondiente en (7.11) se tiene
K 1 (2c )m m K(2c )m .
(7.12)
2m .
is
i<2m
(7.14)
157
is
(7.15)
is
Fijemos entonces dicha sucesion (ki )is . Como c > 0, se tiene que (m )m
es una sucesion creciente no acotada. Para cada i s, sea mi N tal
que
mi ki mi +1 ,
y sea m tal que
2m
2mi 2m+1 .
is
(K2
i
i
K2
is
X
1
1
1+ 1
m p
K(2 ) k
ki vi k`p 2 p K(2m ) p ,
(7.16)
(7.17)
is
X
is
ki ei k| k|
mi +1 ei k| Kk|
is
=Kk|
X
is
mi +1 xi k| =
is
P
mi +1
kFi ek
mi +1
k| = Kk|
k
is
ek k|.
Fi
(7.18)
158
is
1
p
Fi
1
p
=(K2 )2 (2 )m ,
lo que demuestra la segunda desigualdad en (7.16). Pasemos a demostrar
la primera desigualdad en (7.16): Sea (Gi )is una sucesion bloque de
mi para todo i s. Para todo
conjuntos Gi FIN tales
i| = 2
P que |GP
P
i s, pongamos yi = kGi ei /k| kGi ei k| = kGi ei /mi . Entonces
k|
X
is
ki ei k| k|
mi ei k|
is
1 X
k|
mi yi k|
K
is
1 X
m
(2m ) p
1 XX
ek k| k|
ek k| =
.
k|
K
K
K
K2
m
is kGi
k<2
(7.19)
i<2
7.2.
Espacio de Tsirelson
159
1X
kEi (x)k : (Ei )ni=1 A},
2
(7.20)
i=1
(7.21)
tiene la propiedad (7.20). Ademas la base unitaria (un )nN de c00 (N) es
una base 1-incondicional del espacio T : la sucesion (un )nN es basica,
con constante basica 1, ya que K es cerrado bajo restricciones sobre
intervalos iniciales [0, n] de enteros (i.e. si f K, entonces f [0, n]
K). De hecho es 1-incondicional ya que K es cerrado bajo restricciones
en subconjuntos arbitrarios. Es una base ya que, por definicion, se tiene
que hun inN = T (T es la completacion de c00 con la norma kk). Veamos
que T :
160
2n1
X
xi k
i=n
2n1
2n1
2n1
X
1 X
1 X
n
kEi (
xi )k =
kxi k = ,
2
2
2
i=n
i=n
(7.22)
i=n
2n1
X
i=n
xi k
C
si (xn ) es C-equiv. a la base nat. de c0
Cn1/p si (xn ) es C-equiv. a la base nat. de `p , p > 1.
(7.23)
Esta claro que, para n suficientemente grande, las desigualdades (7.22)
y (7.23) son contradictorias entre s.
(b.2) El espacio T no contiene copias isomorfas de `1 . Supongamos que
no. Por el Teorema 4.3.15 de James, podemos suponer que existe una
sucesion bloque normalizada (xn )nN que es 5/4-equivalente a la base
unitaria de `1 . Sea m = max supp x1 y sea n tal que
3n + m 1
4
< .
4n
5
(7.24)
2n1
1
1 X
x = x0 +
xi .
2
2n
(7.25)
Consideremos el vector
i=n
(7.26)
161
j=1
j=1
j=1
i=n
X
1
1 1X
1
1 1X
+
(
kEj
xi k) +
|Ij |
2 2n 2
2 2n 2
j=1
j=1
iIj
1 1
3n + k 1
4
1
(n + k 1) =
< .
+
2 2n 2
4n
5
(7.27)
i=1
4
1
= < .
2
5
i=n
i=n
i=n
(7.28)
162
Captulo 8
Representabilidad finita.
Teorema de Krivine
Como acabamos de ver en la Seccion 7.2 no es cierto que todo espacio
de Banach tenga una copia isomorfa de c0 o alg
un `p , p 1. Sin embargo,
desde el punto de vista local la situacion es diferente. Probablemente, el
resultado mas famoso de este tipo es el Teorema de Dvoretzky que dice
que en todo espacio de Banach de dimension infinita se puede encontrar
copias (1 + )-isomorfas de `n2 para todo > 0 y todo n N. Vamos
a presentar aqu un resultado mas fuerte (aunque las constantes son
peores) que dice que para toda sucesion basica normalizada (xn )n de un
espacio de Banach X existe un 1 p tal que para todo > 0 y
todo n N, existe una subsucesion bloque normalizada (yk )k<n de (xk )k
que es (1 + )-equivalente a la base unitaria (uk )k<n de `np . Este es el
famoso Teorema de Krivine [KR].
En la Seccion 8.1 introducimos la nocion de representabilidad finita
y su relacion con los utraproductos de espacios de Banach. En la Seccion 8.2 daremos unas pocas propiedades del espectro de un operador
acotado, que luego utilizaremos en la u
ltima seccion para demostrar el
Teorema de Krivine antes mencionado. La demostracion que exponemos
se basa en la dada por Lemberg en [LE].
163
164
8.1.
Representabilidad finita
Definici
on 8.1.1. Sean X e Y dos espacios de Banach, 1. Se dice
que X es -representable en Y si para todo subespacio finito dimensional
E de X y todo > 0 existe un subespacio F de Y isomorfo a E a
distancia de Banach-Mazur d(E, F ) + (ver Definici
on 3.1.15).
Se dice que X es finitamente representable en Y cuando X es 1representable en Y .
Para una demostracion del siguiente resultado, ver [JL, pp 63].
Teorema 8.1.2 (Principio de Reflexividad Local). El doble dual
X de un espacio de Banach X es finitamente representable en X.
La nocion de representabilidad esta ntimamente relacionada con la
de ultraproducto, que a continuacion introducimos.
Definici
on 8.1.3. Sea I un conjunto cualquiera. Una familia U de subconjuntos de I se denomina ultrafiltro cuando
(1) A U, A B implica que B U.
(2) A, B U implica que A B U (estas dos primeras propiedades
dicen que U es un filtro sobre I).
(3) Si A B U entonces, o bien A U, o bien B U.
Ejercicio 8.1.4. Sea F un filtro sobre I. Demuestre que los siguientes
son equivalentes:
1.
F es un ultrafiltro.
2.
F es un filtro maximal.
3.
Definici
on 8.1.5. Sea {Xi }iI una familia de espacios deQ
Banach. Sea
P
( iI Xi ) el conjunto de todas las sucesiones (xi )iI iI Xi tales
que
sup{kxi kXi : i I} < .
P
Q
Est
a claro que ( iI Xi ) es unPsubespacio vectorial de iI Xi . De
manera natural, definimos sobre ( iI Xi ) la norma k k a partir de
k(xi )iI k = sup{kxi kXi : i I}.
De hecho, esta norma es completa (Ejercicio 8.1.6).
165
{i I : |i | } U.
Ejercicio 8.1.8. 1. Demuestre que el U-lmite de una sucesi
on acotada siempre existe y es u
nico.
2.
Demuestre que
lm (i )i + lm (i )i = lm (i + i )i
iU
iU
iU
( lm (i )i ) = lm (xi )i .
iU
iU
P
Definici
on 8.1.9. Sea ZU ( iI Xi ) definido por
X
ZU = {(xi )iI (
Xi ) : lm (kxi kEi )i = 0}.
iI
iU
Q
Se sigue del Ejercicio 8.1.8 que ZU es un subespacio lineal de ( iI Xi ).
Q
Proposici
on 8.1.10. ZU es cerrado en ( iI Xi ) .
Demostraci
on. Supongamos que ((xni )iI )nN es una sucesion de elementos de ZU que converge a (yi )i . Demostremos que (yi )i ZU : Fijemos
> 0. Sea n N tal que
sup{kxni yi kXi : i I} .
2
Entonces se sigue de (8.1) que
(8.1)
166
Definici
on 8.1.11. Sea U un ultrafiltro sobre un conjunto I, y sea
{Xi }iI una familia de espacios de Banach. Se define el ultraproducto
de la familia {Ei }iI sobre U como
Y
Y
( Xi )U = ( Xi ) /ZU .
iI
iI
Q
Demostraci
on. Sea (xi )i ( Xi ) , (yi )i ZU . Veamos primero que
lm kxi + yi kXi = lm kxi kXi :
iU
(8.2)
iU
iU
iU
= lm kxi kXi ,
iU
y por el otro
lm kxi + yi kXi lm (kxi kXi kyi kXi ) = Ukxi kXi Ukyi kXi =
iU
iU
= lm kxi kXi ,
iU
iU
(8.3)
y en consecuencia
k(xi )U kU = inf{k(xi )i + (yi )i k : (yi )i ZU } lm kxi kXi .
iU
(8.4)
167
A = {i I : |kxi kXi | } U,
donde = lm kxi kXi . Sea (yi )i definido por yi = 0 si i A y yi = xi
iU
(8.5)
Como > 0 es arbitrario, (8.5) nos da el resultado deseado.
Definici
on 8.1.13. Un ultrafiltro U sobre I se denomina principal si
U [I]< 6= .
Ejercicio 8.1.14. Demuestre que un ultrafiltro U sobre I es principal
si y solamente si existe i I tal que U = {A I : i A}.
Ejercicio
8.1.15. Demuestre que si U es un ultrafiltro principal sobre I,
Q
y ( i Xi )U es un ultraproducto deQespacios de Banach, entonces existe
j I tal que Xj es isometrico a ( i Xi )U .
El siguiente resultado relaciona la representabilidad finita con las ultrapotencias.
Teorema 8.1.16. X es -representable en Y si y solamente si existe una ultrapotencia E de Y y un subespacio cerrado Z de E tal que
d(X, Z) .
Para su demostracion necesitamos el siguiente resultado elemental sobre aproximacion.
Lema 8.1.17. Sea (xi )i<n una sucesi
on de vectores normalizados y linealmente independientes en un espacio normado U = (U, k kU ), y sea
> 0. Entonces existe un > 0 y un conjunto finito D Kn tal que si
(yi )i<n es una sucesi
on de vectores normalizados y linealmente independientes en un espacio normado V = (V, k kV ) tal que
X
X
(8.6)
ai xi kU k
ai yi kV para todo (ai )i<n D
k
i<n
i<n
168
Demostraci
on. Sea T : (hxi ii<n , k kU ) `n1 el isomorfismo lineal definido por T (xi ) = ui para todo i < n. Sea > 0 tal que (1 + 3)
(1 3)1 1 + , y sea D un subconjunto finito -denso de kT k B`n1 ,
n
i.e. tal que para todo
P (bi )i<n kT k B`1 existe (ai )i<n D tal que
n
k(bi ai )i<n k`1 = i<n |bi ai | . Veamos que y D tienen las propiedades requeridas. Sea (yi )i<n una sucesion de vectores normalizados y
linealmente independientes en un espacio V tal que (8.6) se cumple. Vamos a demostrar que dichas sucesiones son (1 + )-equivalentes: Fijemos
escalares (bi )i<n , y supongamos que
X
bi xi kU = 1
(8.7)
k
i<n
P
Entonces como (xi )i<n es normalizada, k i<n bi xi kU k(bi )i<n k`n1 y
por tanto, se tiene que
X
k(bi )i<n k`n1 kT kk
ai vi kV = kT k.
(8.8)
i<n
P
O sea, (bi )i<n kT k B`n1 . Sea (ai )i<n D tal que i<n |bi ai | .
Entonces
X
X
X
k
bi yi kV k
ai yi kV + k
ai xi kU + 2
i<n
i<n
i<n
bi xi kU + 3 = (1 + 3) k
i<n
bi xi kU .
i<n
i<n
X
i<n
i<n
bi xi kU 3 = (1 3) k
bi xi kU .
i<n
El caso donde (bi )i<n es una sucesion arbitraria no nula tal que (8.7)
no se cumple necesariamente se prueba a partir de lo ya hecho con una
simple normalizacion.
Demostraci
on del Teorema 8.1.16. Supongamos primero que d(X,
Q Z)
para cierto subespacio cerrado Z de una ultrapotencia E = ( Y )U de
169
Sea i0
(aj )j<n D
j<n
(j)
definido por
(T (x))(E,)
(
T(E,) (x)
=
0
si x E
en caso contrario
(8.9)
y sea
Te : X (i Y )U
(8.10)
Q
Q
la composicion de T con el operador cociente de ( i Y ) en ( i Y )U .
Entonces Te es un isomorfismo (Ejercicio 8.1.18).
170
Y Y (i)
Y
(j)
(
Xj )V
Xi ,
iI
jJ
(i,j)IJ
(j)
((xj )V )U = (xi )W
es una isometra (Ejercicio 8.1.20)
Ejercicio 8.1.20. Demuestre que W y definidos en la prueba de la
Proposici
on 8.1.19 son un ultrafiltro sobre I J y una isometra, respectivamente.
Ejercicio 8.1.21. Sean En espacios de Banach (n N). Supongamos
(n)
que para cada n N la sucesi
on (xm )m es una sucesi
on normalizada
en Xn . Sea U un ultrafiltro. Para cada m N, sea
Y
ym = ((x(n)
Xn )U .
m )n )U (
n
Demuestre:
1.
(n)
171
(n)
2.
3.
8.2.
(n)
Espectro de un operador
T n,
n=0
kT k
n=0
y por tanto
tiene que
n0
Tn
(IdX T ) (
m
X
n=0
kT kn
1
1 kT k
n0
T k ) = (IdX T ) + (T T 2 ) + = IdX .
172
P
De manera equivalente se prueba que ( n0 T k ) (IdX T ) = IdX .
Lema 8.2.3. Sea X un espacio de Banach y sean S, T B(X). Si T es
invertible y kT Sk < kT 1 k1 , entonces S es invertible y
S 1 =
n=0
X
= ( (T 1 (T S))n )T 1
(8.11)
(8.12)
(8.13)
n=0
173
Ejercicio 8.2.6. Demuestre que un escalar es un valor propio aproximado de T B(T ) si y solamente si IdX T no es un isomorfismo.
Proposici
on 8.2.7. Sea X un espacio de Banach y T B(X). Entonces todo valor elemento de la frontera de (T ) es un valor propio
aproximado.
Demostraci
on. Sea un elemento de la frontera de (T ) y, razonando por reduccion al absurdo, supongamos que no es un valor propio aproximado. Entonces T IdX es un isomorfismo. Como
(T ), el operador T IdX no es exhaustivo. Sea y X tal que
d(y, Im(T IdX )) 1. Como es un valor de frontera de (T ), podemos encontrar una sucesion (n )n en K \ (T ) convergente a . Esto
quiere decir que para cada n N, el operador T n IdX es invertible. Sea xn X tal que (T n IdX )(xn ) = y para todo n. Entonces
T (xn ) n (xn ) + xn = y + xn y por tanto,
| n |kxn k = ky (T (xn ) xn )k 1.
(8.14)
kT vn vn k =
174
an (z z0 )n ,
n=0
entera, ya
que
para
z
D(z
,
r(z
)),
se
tiene
g(f
(z))
=
g(
0
0
n=0 an (z
P
n
n
z0 ) ) = n=0 g(an )(z z0 ) , y
n=0
n=0
175
X
n=0
X
n=0
n=0
n+1
n0
la u
ltima igualdad a partir de la Proposicion 8.2.2. Por lo tanto
kf ()k
1
.
|| kT k
(8.15)
176
Demostraci
on. Sea un valor propio aproximado de S. Sea U un ultrae = (n X)U . Sean S,
e Te B(X)
e las extensiones
filtro sobre N, y sea X
de S y T correspondientes. Entonces por el Ejercicio 8.2.14 se tiene que
e Sea Z = {
e : S(
e x) =
es un valor propio de S.
xX
x}. Esta claro
e y que como S conmuta con T ,
que Z es un subespacio cerrado de X,
Te(Z) Z. Por tanto sea un valor de frontera de (Te Z) y sea (
xn )n
en Z tal que
kTex
n
xn kU 0.
(8.16)
n
(n)
((xm )m )U .
Pongamos x
n =
Podemos observar que (8.16) quiere decir
que para todo existe n0 N tal que par todo n n0 ,
(n)
A(n, ) = {m N : kT (x(n)
m ) xm k } U,
mientras que x
n Z quiere decir que para todo > 0,
(n)
B(n, S) = {m N : kS(x(n)
m xm k } U.
8.3.
Definici
on 8.3.1. Sean (xn )n y (en )n dos sucesiones b
asicas en espacios
de Banach X y E respectivamente, y sea K 1. Se dice que la sucesi
on
(xn )n es K-finitamente representable por bloques(K-f.r.b.) en (en )n si
para todo m N y todo > 0 existe una subsucesi
on bloque normalizada
(yn )n<m de (en )n que es K + -equivalente a (xn )n<m .
Diremos que (xn )n es finitamente representable por bloques ( f.r.b.)
en (en )n si (xn )n es 1-f.r.b. en (en )n .
177
(
Xn )U .
n
U
m
n
178
1
(y2n+1 y2n ),
donde = ky1 y0 k. Como (yn )n es 1-spreading, la subsucesion bloque (zn )n es normalizada y 2-incondicional con constante de supresionincondicionalidad 1, y como (zn )n esta identicamente distribuida, (zn )n
es 1-spreading. Distinguimos
P ahora dos nuevos casos:
Subcaso 2.1 K = sup{k i<k zi k : k N} < . En este caso, veamos
que (zn )n es 2K-equivalente a la base unitaria de c0 : Fijemos escalares
(an )n . Como (zn )n es una sucesion basica incondicional CSI ((zn )n ) = 1,
se tiene que
X
k(an )n k k
an zn k.
(8.17)
n
(vk )n es una subsucesion bloque normalizada de (zn )n , que ademas esta identicamente distribuida y, por tanto, es una sucesion 1-spreading.
(n)
Sea U un ultrafiltro no principal sobre N. La sucesion ((vk )k )n en la
179
Q
ultrapotencia ( n E)U es f.r.b. en (zn )n (Ejercicio 8.3.4) y por tanto
en (en )n . Por otro lado, a partir del Ejercicio 8.1.21 sabemos que la
(n)
sucesion ((vk )k )n es normalizada, basica y 1-spreading. La prueba es(n)
tara terminada una vez que demostremos que la sucesion ((vk )k )n es
1-incondicional. Para ello, introducimos el operador Shift, S : hyn in
hyn in definido linealmente a partir de S(yn ) = yn+1 . Como (yn )n es
1-spreading, S esta bien definido y de hecho es una isometra. Sea
(an )n c00 , y sea (n )n una sucesion de signos. Vamos a demostrar
que
X
X
(n)
(n)
n an ((vk )k )kU :
(8.19)
an ((vk )k )kU = k
k
n
(n)
n an vk k =kx +
(n)
ns
/ an vk .
(n)
an (vk )k =
ns
1
=kx +
an
k
ns
X
=kx +
1 X
an
k ns
2kn+k1
X
zi k =
i=2kn
2kn+k1
X
i=2kn
1
(y2i+1 y2i )k =
2kn+k1
X
1 X
an
(y2i y2i+1 )k =
=kx +
k ns
=kx +
X
ns
an
i=2kn
2kn+k1
X
1
(
k
i=2kn
1
(y2i+2 y2i+1 ))+
1
+
(y4kn y4kn+2k )k
k
(8.20)
ns
i=2kn
(8.21)
180
ns
ns
i=2kn
X
(n)
=k
an vk k.
(8.22)
(8.23)
181
182
1
.
log2 ke0 + e1 k
(8.25)
ki li ei k = k
i<m
j<
ej k.
(8.26)
ki li
i<m 2 3
X
j<m2k 3l
ej k = k
j<
ki li
i<m 2 3
ej k = k
X
i<m
k l ei k = k l k
ei k.
i<m
(8.27)
En el conjunto D = {2k 3l : k, l N} definimos f : D R a partir
de f (2k 3l ) = k l . Entonces f es claramente multiplicativa en D,
y ademas es creciente: Supongamos que 2k0 3l0 2k1 3l1 . Entonces
183
2k0 3l1 2k1 3l0 y por tanto, utilizando que (en )n es basica de constante
basica 1,
k0
l1
=k
0 3l1
2kX
i=0
ei k k
1 3l0
2kX
ei k = k1 l0
i=0
i<m
i<m
i<m
Caso 2. > 0. Sea p = 1 . Como D es denso en R+ , el conjunto {(2 )k (3 )l : k, l N} = {k l : k, l N} es tambien denso en R+ . Como la base (en )n y la base unitaria de `p son ambas
1-incondicional, para demostrar la equivalencia de las sucesiones correspondientes basta con demostrar que dadas dos sucesiones (ki )i<m
y (li )i<m de n
umeros naturales se tiene que
X
X
k
ki li ei k = k
ki li ui k`p
(8.29)
i<m
i<m
o lo que es equivalente,
X
X
k
ki lli ei k = k
ki lli ui k`p ,
i<m
i<m
(8.30)
184
donde l = max{li : i < m}. Renombrando lli como li para todo i < m,
se sigue que es suficiente demostrar que dadas dos sucesiones (ki )i<m y
(li )i<m de n
umeros naturales se tiene que
X
X
k
ki li ei k = k
ki li ui k`p ,
(8.31)
i<m
i<m
!1
ki
2 3
li
i<m
i<m
!1
(ki )p (li )p
=k
i<m
ki li ui k`p .
i<m
i<m
i<2n
Supongamos ahora que > 0. Fijemos > 0, sea n N tal que (3 )n <
y sean k, l N tales que l n y
2k 3l m 2k 3l + 3n .
(8.33)
i<3l m
i<2k +3ln
(8.36)
185
(8.38)
i<m
i<m ei k
= f (m).
qs
qs
qt
|aq |e(q) k =k
qt
186
|aq + bq |e(q) k k
qst
qst
|aq + bq |e(q) k
qst
|aq |e(q) +
qs
|aq |e(q) k + k
qs
=k
|bq |e(q) k
qt
|bq |e(q) k =
qt
qs
qt
(8.40)
(8.41)
X
X
X
X
T(
aq uq ) =
aq u q +
aq u 1 + q +
aq u 2 + q .
3
(8.42)
187
(8.40), que
X
X
X
X
kS(
aq uq )k1 =k
aq u q +
aq u 1 + q k1 k
aq u q k1 +
2
+k
aq u 1 + q k1 = 2k
2
aq uq k1
X
X
X
X
aq u q +
aq u 1 + q +
aq u 2 + q k1
aq uq )k1 =k
kT (
3
3k
aq uq k1
(8.43)
qQ(0,1)
aq uq ) =
aq um+q .
qQ(0,1)
188
ism
m<l
(8.44)
donde
m
1 si |sm | = 1
si |sm | = 2
=
si |sm | = 3.
v
+
ax
+
w
=0
m1
m0
n
m0
1
1
lm
(8.45)
(n) a X (n)
(n)
(n)
1
j<3
1
(8.46)
189
donde
v (n) =
(n)
bm xm
ms0
(n)
cm x(n)
m .
ms1
v (n) =
(n)
bm x(n)
=
m , w
(n)
cm xm
.
ms1
ms0
a (n)
(n)
(x + x(n)
),
m1 ) + w
m0
(8.47)
y por tanto,
a
(n) a (n)
(n)
=
Tn (v (n) ) + S(xn ) + Tn (w(n) )
v + (xm0 + x(n)
m1 ) + w
1
1
(8.48)
De aqu se sigue, utilizando (8.43), que
a
(n)
(n)
lm
v (n) + (x(n)
+
x
)
+
w
=
m
m
0
1
n
1
(n)
(n)
= lm
Tn (v ) + axn + Tn (w )
(8.49)
n
190
am ym kU = k
m<k
donde m = k
que
m
i<|sm | yi kU .
X
m<k
am
1 X
(
yi )kU ,
m
(8.52)
ism
1 si |sm | = 1
(n)
si |sm | = 2
=k
yi kU = lm k
xi k =
nU
si |sm | = 3.
i<|sm |
i<|sm |
X
191
192
Ap
endice A
Ordinales
A.1.
Definici
on A.1.1. Una relaci
on binaria R en un conjunto A es una
relaci
on de orden parcial si
(i) x A(xRx),
(ii) x Ay A(xRy yRx x = y),
(iii) x, y, z A(xRy yRz xRz).
Definici
on A.1.2. Decimos que R es una relaci
on de orden parcial
estricto en A si:
(i) x A(xRx),
(ii) x, y A(xRy yRx)
(iii) x, y, z A(xRy yRz xRz).
Notese que para toda relacion de orden parcial R existe una relacion
de orden parcial estricto asociada R0 definida por xR0 y si y solamente
si xRy x 6= y. Tambie
n, dada una relacion de orden parcial estricto
0
R , podemos definir una relacion de orden parcial R poniendo xRy si y
solamente si xRy o x = y.
Ejemplo A.1.3. 1. Dado un conjunto X, consideremos el orden dado
por en P(x). Si x = {a, b}, P(x) = {, {a}, {b}, {a, b}}.
193
194
Tenemos, por ejemplo, {a}, {b} {a, b}, pero no {a} {b}.
2. A = R, y R =< (el orden usual en los n
umeros reales).
3. A = N, R la relaci
on es divisor de.
4. A = N N, y R es el orden dado por (n, m)R(p, q) n < p (n =
p m < q) (orden lexicogr
afico).
Definici
on A.1.4. Si A es un conjunto parcialmente ordenado y B A,
decimos que x es un elemento minimal (maximal) de B si x B y no
existe ning
un y B, y 6= x, tal que yRx (xRy). Decimos que x es
una cota inferior (superior) de B si para todo y B xRy x = y
(yRx x = y), y decimos que x es un nfimo (supremo) para B si X es
una cota inferior (superior) y para todo y A, si y es una cota inferior
(superior) entonces yRx o y = x (xRy o x = y). Diremos que x es un
menor elemento de B si x B y y B xRy.
Definici
on A.1.5. Una relaci
on de orden R es un orden total (o lineal)
si R es una relaci
on de orden parcial tal que x, y A(xRyyRxx = y)
Ejemplo A.1.6. (N, ) , (Q, ) , (R, ).
Definici
on A.1.7. Una relaci
on de orden R en un conjunto A es un
buen orden si R es una relaci
on de orden y cada subconjunto no vaco
de A tiene un menor elemento.
Notese que un buen orden es siempre una relacion de orden total.
Ejemplo A.1.8.
1.
(N, ).
2.
N N con la relaci
on (n, m) < (p, q) si y s
olo si m < q (m =
q n < p).
3.
195
196
Demostraci
on. Supongamos que f y g son isomorfismos de A en B.
1
Entonces f g es un isomorfismo de A en A, y por el lema anterior,
x f 1 g(x) para todo x A. Por lo tanto, f (x) g(x) x A.
Analogamente se demuestra que g(x) f (x) para todo x A, y esto
nos da el resultado deseado.
Teorema A.1.15. Un conjunto bien ordenado (A, <) no es isomorfo a
ninguno de sus segmentos iniciales propios.
Demostraci
on. Supongamos f : A Sa (A) es un isomorfismo para
alg
un a A. Por el lema A.1.13, a f (a). Entonces f (a)
/ Sa (A), y
esto es una contradiccion.
Teorema A.1.16. Todo conjunto bien ordenado (A, <A ) es isomorfo al
conjunto de sus segmentos iniciales propios ordenados por .
Demostraci
on. Observese primero que el conjunto de los segmentos iniciales de (A, <A ) con el orden dado por la inclusion es un conjunto bien
ordenado. La funcion f de A en el conjunto de los segmentos iniciales
propios de A dada por f (a) = Sa (A) es una biyeccion. Si a < b entonces
Sa (A) Sb (A).
Teorema A.1.17 (Teorema de Recursi
on Transfinita). Sea (A, <)
un conjunto bien ordenado y B un conjunto. Si G : B S(A) B, entonces
existe una u
nica funci
on f : A B tal que para todo a A, f (a) =
G(f Sa (A)).
Demostraci
on. Dejamos la demostracion de la unicidad como ejercicio,
y demostramos la existencia. Consideremos el conjunto H de todas las
funciones g definidas en un segmento inicial de A tales que si dom(g) =
Sa (A), para todo t < a, g(t) = G(g St (A)). Este conjunto no es vaco
(a menos que A sea vaco), ya que uno de sus elementos es la funcion
{(menor elemento de A, G())}.
Tomemos ahora F = H, y verifiquemos que F satisface las condiciones que buscamos. Primero, para ver que F es una funcion, hay
que verificar, usando el teorema de induccion transfinita, que para todo a A, existe a lo sumo un b B tal que (a, b) F . En efecto,
supongamos que esto vale para cada a0 < a, entonces, si (a, b) F , se
197
198
A.2.
Definici
on y propiedades de los ordinales
199
/ ; luego, si tenemos
/ .
5. Dados ordinales y , exactamente una de las siguientes posibilidades ocurre: = o o .
Demostraci
on. Consideremos al conjunto = . Entonces es el
conjunto de elementos de menores que . Claramente, es un segmento
inicial de , y tambien un segmento inicial de . Entonces, hay varias
posibilidades:
(i) = y = , en este caso = .
(ii) = y , en este caso .
(iii) y = b, en este caso .
(iv) y , en este caso , es decir, pero esto es
una contradiccion, por lo que este u
ltimo caso no puede ocurrir.
200
201
202
A.3.
Principio de inducci
on para ordinales
Ya que cada ordinal es un conjunto bien ordenado, tenemos un principio de induccion para cada ordinal: Dado un ordinal y una formula
(v),
[ ( ( < ()) ()] ().
Ahora consideraremos un principio de induccion para la clase de todos
los ordinales.
Teorema A.3.1. Sea (v) una f
ormula, entonces
( On[ On( < ()) ()] On ().
Demostraci
on. ( es la misma que para el principio de induccion transfinita con la diferencia de que estamos haciendo la induccion en una clase
propia y no en un conjunto). Supongamos que se cumple la hipotesis y
que ( On)(()). Como On esta bien ordenada por , sea 0 el
menor ordinal tal que (0 ). Tenemos que ( < 0 ()), luego,
por la hipotesis, tenemos (0 ), una contradiccion.
Teorema A.3.2. (de recursi
on en ordinales). Si F es una relaci
on funcional, para todo ordinal y todo conjunto a, existe una u
nica funci
on
definida en = { : < } tal que f (0) = a, y f () = F (f ) para
0 < < .
(Recordemos que F es una relacion funcional quiere decir que existe
una formula (x, y, x1 , . . . , xn ) y conjuntos t1 , . . . , tn tales que
x!y(x, y, t1 , . . . , tn )
y ponemos
y = F (x) (x, y, t1 , . . . , tn )).
203
Demostraci
on. Unicidad: Sean f y g dos funciones como en el teorema.
Tenemos que f (0) = g(0) = a, y si dado , ( On)( < f () =
g() , entonces f () = F (f ) = g(). Por el principio de induccion,
On(f () = g()).
Existencia: Sea S el conjunto de los ordinales < tales que existe
una u
nica f tal que f (0) = a, y f () = F (f ) para todo < .
S es un segmento inicial de ya que si 0 < y S, entonces
f 0 = f 0 es la funcion que garantiza 0 S. Esta funcion es u
nica
por el mismo razonamiento anterior. Por lo tanto, S es un ordinal.
Definamos fS (0) = a y fS () = F (f ) para todo S, > 0.
Tenemos entonces que si 0 < < S, fS () = F (f ) = F (f ) =
f (). Por lo tanto, f = fS y fS () = F (fS ) para todo S.
Entonces si S < , sigue que S S (y esto es una contradiccion) luego
S = .
Corolario A.3.3. Si F es una relaci
on funcional y a un conjunto, se
puede definir una u
nica relaci
on funcional f tal que f (0) = a y f () =
F (f ) para todo On.
Demostraci
on. La relacion funcional y = f () deseada es la relacion
funcional (, y) definida del modo siguiente:
es un ordinal y existe un ordinal > y una funcion f definida en
tal que
f (0) = a ,
< (f () = F (f )) y y = f () .
Para demostrar que tales funciones f existen usamos el teorema anterior, el cual nos garantiza tambien la unicidad de f para cada . Es facil
demostrar que para cada existe un u
nico y tal que y = f (). Por el
principio de induccion se demuestra que esta f es u
nica.
Definici
on A.3.4. Si On y existe tal que 0 = {} = , se
dice que es un ordinal sucesor. El ordinal es un ordinal lmite si
6= 0 y no es sucesor .
Es facil obtener versiones modificadas del principio de induccion para
ordinales y del teorema de recursion:
204
A.4.
Aritm
etica de ordinales
Definiremos suma y producto de ordinales usando ciertas construcciones de buenos ordenes. Dados ordinales y sean (A, R) y (B, S)
conjuntos bien ordenados de tipo de orden y respectivamente y tales
que A B = .
Definici
on A.4.1. + como el tipo de orden del buen orden
(A B, R S) donde R S = R S (A B).
Esto es, (R S) es el orden que se obtiene poniendo B con su orden,
por encima de A.
A
Definici
on A.4.2. es el tipo de orden del buen orden (AB, RS)
donde R S est
a definido de la siguiente manera:
(1 , 1 )R S(2 , 2 ) (1 S2 ) [(1 = 2 ) (1 R2 )].
205
+ 0 = 0 + = ,
1 = 1 = ,
0 = 0 = 0.
206
= ,
= { : < } si es lmite.
Ejemplo A.4.4. 2 = {2n : n } = .
El siguiente teorema es muy u
til cuando se trabaja con ordinales y
sera utilizado mas adelante.
Teorema A.4.5. (Forma Normal de Cantor) Para todo ordinal existen n
umeros naturales n1 , . . . , nk y ordinales 1 , . . . , k tales que k
k1 1 y
= 1 n1 + 2 n2 + + k nk .
Adem
as, esta representaci
on es u
nica.
Demostraci
on. (Esquema) Por induccion en . Si = 1, entonces =
0 1. Para > 1, sea el mayor ordinal tal que . Usando las
operaciones de suma y producto de ordinales definidas anteriormente,
se puede demostrar que existe un u
nico y un u
nico < tales que
= + , y es necesariamente finito. Aplicamos ahora el mismo
razonamiento a , y as, en un n
umero finito de pasos, obtenemos el
resultado.
Ap
endice B
Topologa de espacios
m
etricos
B.1.
Repaso de topologa
208
Definici
on B.1.1. Una metrica en un conjunto X es una funci
on
: X X [0, )
tal que
(i) (x, y) = 0 si y s
olo si x = y,
(ii) (x, y) = (y, x), y
(iii) ( desigualdad triangular) para todo x, y, z X, (x, z) (x, y) +
(y, z).
Si es una metrica en X, se dice que (X, ) es un espacio metrico.
Todo espacio metrico tiene una topologa natural definida por la metrica.
Esta es la coleccion de todos los subconjuntos A X tales que para todo
elemento x A, existe un > 0 tal que B (x) = {y X : (x, y) < }
A. Un espacio topologico (X, T ) se dice metrizable si existe una metrica
en X tal que T coincide con la topologa definida por la metrica .
Una sucesion {xn }
ogico (X, T )
n=0 de elementos de un espacio topol
converge a x X si para todo abierto U que contiene a x, existe m tal
que xn U para todo n m. En este caso. se escribe lmn xn = x.
Un espacio topologico es compacto si para cada coleccion de abiertos
cuya union es X existe una subcoleccion finita cuya union es tambien
X. Esto generalmente se expresa diciendo que todo cubrimiento de X
por abiertos tiene un subcubrimiento finito.
Ejercicio B.1.2. Demuestre que un espacio topol
ogico X es compacto si
y s
olo si la colecci
on de cerrados de X tiene la propiedad de intersecci
on
finita, es decir, si una subcolecci
on de conjuntos cerrados satisface que
toda intersecci
on finita de elementos de la colecci
on es no vaca, entonces
la intersecci
on de todos los elementos de la colecci
on es no vaca.
Ejercicio B.1.3. Demuestre que un espacio metrico X es compacto si
y s
olo si toda sucesi
on de elementos de X tiene una subsucesi
on convergente. (Esta propiedad se llama compacidad secuencial).
Ejercicio B.1.4. Demuestre que todo espacio metrico compacto (X, )
es totalmente acotado, es decir, para todo > 0, existe un conjunto finito
de elementos de X, x1 , . . . , xk X, tales que para todo y X, existe i,
1 i k, tal que (y, xi ) < .
209
210
B.2.
El espacio de Baire
211
(
0
1
(mn{nN : x(n)6=y(n)})+1
si x = y
si x =
6 y.
212
213
Demostraci
on. Dado un arbol T , [T ] es siempre cerrado. En efecto, sea
{ai : i N} una sucesion de elementos de [T ] tal que ai a, es decir,
para todo n N existe k N tal que a n = ai n para todo i k.
Entonces a n T para todo n, y por lo tanto a [T ]. Para cualquier
conjunto A N , se tiene que A [SA ]. Porque si a A, entonces
a n SA para todo n. Si A es cerrado, y a [SA ], entonces para todo
n N, a n SA y por lo tanto, existe un ai A tal que a n = ai n.
Tenemos entonces que ai a, y como A es cerrado, a A.
Ejercicio B.2.5. Pruebe que para todo A N , [SA ] es la clausura de
A.
Definici
on B.2.6. Un
arbol T es un
arbol a bifurcaci
on finita si cada
nodo tiene a lo sumo una cantidad finita de sucesores inmediatos, es
decir, si para cada s T , el conjunto {x : s _ hxi T } es finito.
Teorema B.2.7. Un conjunto cerrado A N es compacto si y s
olo si
SA es un
arbol a bifurcaci
on finita.
Demostraci
on. Como A es cerrado, A = [SA ]. Sea {Oi : i I} un cubrimiento abierto de A. Supongamos que no hay un subcubrimiento finito.
Entonces para alg
un k0 N tal que hk0 i SA , el conjunto Ak0 = {a
A : a(0) = k0 } no es cubierto por un n
umero finito de los abiertos Oi . De
lo contrario, como SA es a bifurcacion finita, obtendramos un subcubrimiento finito de A. De la misma forma, existe k1 tal que hk0 , k1 i SA y
para el cual el conjunto Ahk0 ,k1 i = {a A : a(0) = k0 y a(1) = k1 } no se
puede cubrir con un n
umero finito de los Oi . Inductivamente construimos una sucesion d = hk0 , k1 , k2 , . . . i en [SA ] tal que para cada n N,
el conjunto {a A : a n = d n} no es cubierto por un n
umero finito
de los Oi . Como d A, existe j I tal que d Oj . Y como Oj es
abierto, existe un n tal que Udn esta contenido en Oj . Pero entonces,
{a A : a n = d n} Udn Oj , contradiciendo la propiedad de d.
As, demostramos que A es compacto.
Supongamos ahora que SA no es a bifurcacion finita, y sea s SA un
nodo del arbol con infinitos sucesores inmediatos. El conjunto As = {a
A : s a} es cerrado ya que As = Us A. La coleccion {Us_hni : n N}
es un cubrimiento abierto de As para el cual no existe subcubrimiento
finito. Entonces esa coleccion, junto con el complemento de As , forma
un cubrimiento de A que no admite un subcubrimiento finito.
214
Ap
endice C
El teorema de Ramsey
C.1.
El Lema de K
onig y el Teorema de Ramsey
216
217
218
Es facil verificar que esta es, en efecto, una relacion de equivalencia. Los sucesores inmediatos de t son determinados tomando el menor
elemento de cada clase de equivalencia. Cada nodo del nivel m tiene enm
tonces a lo sumo 2( n ) sucesores inmediatos (ya que para para t del nivel
[n]
[n]
m, m
o 1). Para
n = |Ct |, y para cada x Ct , F (x t) puede ser 0
cada sucesor inmediato de t, el conjunto de sus sucesores potenciales
es el resto de la clase a la que pertenece. Notese que si el conjunto Bt
es infinito, alguna de las clases de equivalencia debe ser infinita, por lo
que al menos un sucesor inmediato de t tendra un conjunto infinito de
sucesores potenciales.
As completamos la construccion inductiva de un arbol infinito a niveles finitos. El teorema de Konig nos indica que existe una rama infinita
R. Por construccion, esa rama tiene la siguiente propiedad: dado un
x R[n] , el valor F (x j) es el mismo para todo j que se encuentre en la
rama por encima de x. Entonces para x R[n] diremos que x es de tipo
0 si ese valor es 0, de lo contrario decimos que x es de tipo 1. Esto nos
da una particion de R[n] en dos clases, y por hipotesis inductiva existe
un subconjunto infinito H R tal que todos los elementos de H [n] son
del mismo tipo. Claramente H es homogeneo para F . Esto completa la
demostracion del caso k = 2. Si suponemos que para cada k r vale el
reultado para todo n, y F : N[n] r + 1, podemos definir una particion
auxiliar G : N[n] 2 poniendo G(x) = 0 si F (x) = 0 y G(x) = 1 en
caso contrario. Por hipotesis inductiva G tiene un conjunto homogeneo
infinito H, si GH [n] = {0}, H es homogeneo para F . Si GH [n] = {1},
entonces F H [n] (F restringida a H [n] ) es una particion en r partes
y por hipotesis inductiva hay un conjunto H 0 H infinito homogeneo.
Este conjunto H 0 es homogeneo para F .
Ejercicio C.1.4. Demuestre que si A es un conjunto infinito con un orden parcial <, entonces A contiene un subconjunto infinito {a0 , a1 , . . . }
tal que a0 < a1 < , o a0 > a1 > , o los ai son incomparables dos
a dos.
Ejercicio C.1.5. Demuestre usando el teorema de Ramsey que toda sucesi
on acotada de n
umeros naturales tiene una subsucesi
on convergente.
Corolario C.1.6. (Teorema de Ramsey finito) Dados n
umeros enteros
positivos k,r y m existe un entero positivo n tal que para todo conjunto
219
220
Bibliografa
[AK]
[AT]
[BL]
Benyamini, Y., Lindenstrauss, J. Geometric Nonlinear Functional Analysis. American Mathematical Society Colloquium
Publications, 48. American Mathematical Society, Providence, RI, 2000.
[Die]
[Ell]
[Enf]
[FHH]
Fabian, M., P. Habala, P. Hajek, V. Montesinos Santaluca, J. Pelant, V. Zizler, Functional analysis and infinitedimensional geometry. Books in Mathematics/Ouvrages de
Mathematiques de la SMC, 8. Springer-Verlag, New York,
2001.
[GM]
[GP]
222
Bibliografa
[GRS]
[Je]
Jech, T., Set theory. The third millennium edition, revised and expanded. Springer Monographs in Mathematics.
Springer-Verlag, Berlin, 2003.
[J1]
James, R. C., Weak compactness and reflexivity. Israel Journal of Mathematics 2 (1964), 101-119.
[JL]
Johnson, W. B., Lindenstrauss, J., Basic concepts in the geometry of Banach spaces. En: Handbook of the geometry of
Banach spaces, Vol. I, 184. (Johnson, W. B., Lindenstrauss,
J. editores) North-Holland, 2003.
[KR]
[LE]
[LT]
[LoTo]
[Ma]
Mathias, A.R.D., Happy Families. Annals of Pure and Applied Logic12, (1977), 59-111.
[MU]
[NR]
Bibliografa
223
[O]
[Pou]
Pouzet, M., Sur les premeilleurordres. Ann. Ins. Fourier Grenoble 22 (1972) 1-19.
[PR]
[Ra]
[Ro]
Rosenthal, H. P., A characterization of Banach spaces containing `1 . Proc. Nat. Acad. Sci. U.S.A. 71 (1974) 2411-2413.
[Roy]
[Si]
224
Bibliografa
Indice alfab
etico
Constante
basica, 73
de incondicionalidad, 102
de supresion-incondicionalidad,
102
-sucesion, 2
U-lmite, 165
-inclusion, 84
Arbol, 212
Barrera, 4
Base
-Auerbach, 80
Auerbach, 49
Hamel, 47
Schauder
bimonotona, 73
monotona, 73
retractiva, 92
sumante, 106
unitaria, 76
Buen orden, 194
Distancia de Banach-Mazur, 45
Ellentuck, E., 40
Espacio
Y -saturado, 108
de Maurey-Rosenthal, 115
de James J, 107
de Tsirelson T , 159
dual, 43
minimal, 108
reflexivo, 59
Espectro, 172
Exponenciacion de ordinales, 206
Combinacion convexa, 30
Compacidad
secuencial, 208
Conjunto
boreliano, 38
completamente Ramsey, 35
debilmente compacto, 65
denso, 210
magro, 210
nunca denso, 210
Ramsey, 35
Familia
v-hereditaria, 2
de Schreier, 129
fina, 4
hereditaria, 2
precompacta, 2
uniforme, 8
Finitamente representable por bloques (f.r.b.), 176
Forma normal de Cantor, 206
225
226
Bibliografa
Frente, 4
orden lexicografico de un, 5
Funcion
acotada, 44
interna, 17
Lipschitz, 15
uniforme, 15
Funcional, 43
Fusion, 7
Producto
de familias, 4
de ordinales, 204
Propiedad
de Baire, 210
de Schur, 62
Proyecciones canonicas, 72
Incondicionalidad
de Elton, 138
de Shreier, 134
Operador
acotado, 43
estrictamente singular, 44
invertible, 171
Orden
parcial, 193
total, 194
Ordinal, 198
compuesto, 30
lmite, 203
sucesor, 203
Principio
de acotacion uniforme, 53
de reflexividad local, 164
de induccion transfinita, 195
de seleccion de Bessaga-Pelczy
nski, 82
Teorema
`1 de Rosenthal, 149
de la grafica cerrada, 56
Alaoglu, 62
Baire, 52
Banach-Steinhaus, 53
Lema
de Galvin, 10
de Ptak, 32
Metrica, 208
Media convexa, 30
Representable, 164
Bibliografa
de la aplicacion abierta, 54
de Recursion Transfinita, 196
Galvin-Prikry, 40
Hahn-Banach, 59
Krivine, 180
Zippin, 153
Tipo de orden, 201
Topologa, 207
exponencial, 36, 212
Ultrafiltro, 164
Ultraproducto, 166
Utrapotencia, 166
Valor propio aproximado, 172
227