PONTIFICIA UNIVERSIDAD CATOLICA

DEL PERU
ESCUELA DE POSTGRADO

El Teorema de Levy-Steinitz y algunas de sus generalizaciones

Tesis para optar el grado de Magister en Matem

aticas
Presentado por:
Alfredo Sotelo Pejerrey
Bajo la orientaci
on del Doctor:
Julio C
esar Alc
antara Bode
Presidente: Dr. Valqui Haase, Christian Holger
Segundo miembro: Dr. Alc
antara Bode, Julio C
esar
Tercer miembro: Dr. Ortiz Fern
andez, Jes
us Alejandro

Lima - Per
u
2013

Indice
Dedicatoria

iii

Resumen

iv

Introducci
on

1. El Teorema de L
evy-Steinitz

1.1. Serie de Vectores y Reordenaciones . . . . . . . . . . . . . . . . . . .

1.2. Teorema de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Teorema de Levy-Steinitz . . . . . . . . . . . . . . . . . . . . . . . . 10

1.3.1. El Teorema del Confinamiento Poligonal . . . . . . . . . . . . 11
1.3.2. El Teorema del Reordenamiento . . . . . . . . . . . . . . . . . 19
1.3.3. Teorema de Levy-Steinitz . . . . . . . . . . . . . . . . . . . . 24
2. Reordenaciones en Espacios de Dimensi
on Infinita

29

2.1. Contraejemplo de Marcinkiewicz . . . . . . . . . . . . . . . . . . . . . 29

2.2. Teorema de Banaszczyk . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2.1. Algunos resultados de teora espectral para operadores compactos 31
2.2.2. Diametro de Kolmogorov . . . . . . . . . . . . . . . . . . . . . 36
2.2.3. Espacios localmente convexos nucleares . . . . . . . . . . . . . 38
2.2.4. Teorema de Banaszczyk . . . . . . . . . . . . . . . . . . . . . 44
Bibliografa

65

ii

Dedicatoria
A Dios:
Por haberme permitido llegar hasta este punto y haberme dado salud para lograr
mis objetivos.
A mi madre Flor:
Por haberme apoyado en todo momento, por sus consejos y valores que me ha
inculcado para ser una persona de bien, pero mas que nada por su amor.
A mi padre Alfredo:
Por los ejemplos de perseverancia que me ha infundido siempre y por el valor mostrado para salir adelante.
A mis familiares:
A mi hermano Ray, por ser ejemplo de ser un hermano mayor; a mi cu
nada Vanesa
y a mi sobrino Sa
ul.
A Milagros:
Por su amor incondicional, por su compa
nia y la gran confianza que me ha brindado.
A mi asesor:
Dr. Julio Alcantara Bode por su gran apoyo y motivacion para la elaboracion de
esta tesis, y por impulsar el desarrollo de mi formacion profesional.
Al Dr. Jose Bonet Solves, catedratico de la Universidad Politecnica de Valencia:
Por sus valiosos apuntes de clase, para el desarrollo de este trabajo de tesis.

iii

Resumen

Xn una serie en un espacio vectorial topologico E, P : N N una biyeccion

n1

y la serie
XP pnq convergente en E, llamaremos a esta u
ltima serie un reordenan1

miento convergente de la serie

Xn . Por Sp
Xn q denotaremos al conjunto de
n1
n1

todas las sumas de los reordenamientos convergentes de la serie

Xn . Cuando
n1

E Rk y Sp
Xn q 0, Steinitz (1913) probo que Sp
Xn q es un subespacio

Sea

n1

n1

afn de Rk , que es lo primero que pretendemos estudiar. Este resultado de Steinitz

falla drasticamente en espacios de Banach de dimension infinita, el contraejemplo
fue propuesto por Marcinkiewicz trabajando en el espacio L2 r0, 1s.

La segunda parte del trabajo esta enfocado en el teorema de Banaszczyk (1990),

que extiende el resultado de Steinitz a espacios Frechet Nucleares.

iv

Introducci
on
En el cuerpo de los n
umeros reales un resultado clasico de Riemann (1854) afirma
que si tenemos una serie condicionalmente convergente entonces al cambiar el orden
de los sumandos es posible hacerla converger a cualquier n
umero deseado, o hacerla
diverger. En el caso de series de n
umeros complejos condicionalmente convergentes
podemos reordenar las partes reales (o imaginarias) y obtener cualquier suma prefijada; pero esta misma reordenacion tambien afecta a la parte imaginaria (o real),
pudiendo esta diverger, por tanto hacer que toda la serie de terminos complejos
diverja y no habremos conseguido nada. Entonces podemos preguntarnos:
Cual es el correspondiente teorema para series de n
umeros complejos?
P. Levy (1905) probo que el conjunto de todas las reordenaciones de una serie de
n
umeros complejos es el vaco o la traslacion de un subespacio vectorial real.
Este resulatdo fue generalizado a un espacio vectorial real n-dimensional por E.
Steinitz (1913) que es uno de los captulos que pretendemos estudiar en este trabajo
de tesis de una manera accesible e interesante.
De la misma manera nos podemos preguntar:
Cual es la situacion para espacios de Banach infinito dimensionales, se cumplira el
resultado de Steinitz?
La respuesta a esta pregunta es negativa gracias a un contraejemplo propuesto por
Marcinkiewicz en el espacio L2 r0, 1s.
Ahora lo natural es estudiar a que tipos de espacios se puede extender el resultado
de Steinitz, es decir, dar condiciones a ciertos espacios de dimension infinita para
que el teorema de Steinitz se mantenga.
1

Por ejemplo, W. Banaszczyk en [13] y [14], probo que un espacio de Frechet es

Nuclear si y solo si se cumple el teorema de Levy-Steinitz.

Captulo 1
El Teorema de L
evy-Steinitz
El objetivo principal en este captulo es demostrar el Teorema de Levy-Steinitz, previamente a esto, empezaremos definiendo series absoluta y condicionalmente convergentes en espacios de Banach, as como, reordenaciones y demostrar el Teorema
de Riemann que nos dara una idea de como demostrar el Teorema de Levy-Steinitz.

1.1.

Serie de Vectores y Reordenaciones

Sea E un espacio de Banach y

an una serie de vectores en E.

n1

Si

n1

Si

Si

}an } converge, decimos que

n1

n1

an es absolutamente convergente.

n1

apnq converge, para cualquier : N N biyeccion, decimos que

an es incondicionalmente convergente.

n1

an converge pero no incondicionalmente, decimos que

dicionalmente convergente.

n1

an es con-

Cabe mencionar que si E Rk , k P N y n1 an una serie en Rk , decimos que

n1 an es condicionalmente convergente si
n1 an converge pero no absolutamente. Esto es debido a que convergencia incondicional y absoluta en Rk son equivalen-

tes.
3

Ejemplo 1.1.
Si E R
p1qn
es absolutamente convergente.
2n
n1
p1qn
es condicionalmente convergente (Criterio de Leibniz).
n
n1

Teorema 1.1. Si
an es una serie de n
umeros reales que converge absolutamente
n1

entonces
an converge.
n1

Prueba.

Sea
|an | convergente. Para cada n P N definimos
n1

$
& p a , a 0
n
n
n
% p 0, a 0
n
n

$
& q a , a 0
n
n
n
% q 0,
an 0
n

luego pn 0, qn 0, pn ` qn |an | y pn qn an

Como pn |an | y qn |an | y

|an | converge entonces
pn y
qn convergen.
n1
n1
n1

As
an
pn qn converge

n1

n1

Observaci
on 1.1. El inverso del Teorema 1.1 es falso, basta considerar la serie
p1qn
.
n
n1
Definici
on 1.1. Sea : N N una funcion biyectiva. Sean

an y

n1

bn dos

n1

series en un espacio vectorial tales que bn apnq , n 1, 2, 3, entonces se dice

que
bn es una reordenacion de
an .
n1

n1

p1qn`1
Ejemplo 1.2. Sea S1 1 ` `
.
n
n1
Una reordenacion de S1 es S2 1 ` 13 12 41 ` 17 ` 19 16 18 `
1
2

1
3

1
4

1
5

Teorema 1.2. Sea

an una serie de n
umeros reales absolutamente convergente de
n1

suma S entonces cada reordenacion de

an es tambien absolutamente convergente
n1

y de suma S.

Prueba.

Como
an es absolutamente convergente, por Teorema 1.1 es convergente, luego
n1

denotemos a su suma por S.

Sea
bn una reordenacion cualquiera de
an , luego
n1

n1

bn apnq , n 1, 2, 3, , : N N una biyeccion

luego
|b1 | ` |b2 | ` ` |bn | |ap1q | ` |ap2q | ` ` |apnq |
Ademas como

n1

n1

|an | 8

|bn | tiene sumas parciales acotada superiormente y creciente,

8

bn converge absolutamente. Faltara demostrar que

bn S.
n1

Para ello consideremos las sumas parciales kn , Sn , tn de

|an |,
an ,
bn res-

as

n1

n1

n1

n1

pectivamente, es decir

kn |a1 | ` |a2 | ` ` |an |

S n a1 ` a 2 ` ` a n
t n b1 ` b2 ` ` b n
Para cualquier 0, podemos encontrar un N P N tal que
|SN S|
pues pSn q converge a S y

y
|aN `n |
2 n1
2

(1.1)

an es absolutamente convergente.

n1

Luego para cualquier n se tiene

|tn S| |tn SN | ` |SN S| |tn SN | `
5

(1.2)

Escojamos un M P N tal que t1, 2, , N u tp1q, p2q, , pM qu, esto es posible

pues al ser biyectiva entonces en la enumeracion de p1q, pM q eventualmente
apareceran los primeros ndices 1, 2, , N
Ahora tomando n M entonces pnq N ya que n M M 1 1, as,
pnq R tp1q, p2q, , pM qu por ser inyectiva; por la condicion de haber elegido
M se tiene que pnq R t1, 2, , N u luego pnq N .
Y tambien
|tn SN | |b1 ` ` bn pa1 ` ` aN q|
|ap1q ` ` apnq pa1 ` ` aN q|
|tn SN | |aN `1 ` aN `2 ` ` apnq |
Por u
ltimo para n M se tiene
|tn SN | |aN `1 | ` ` |apnq |
As en (1.2)

n1

|tn S| |tn SN | `
Por lo tanto:

|aN `n |

por (1.1)
2

bn converge a S.

n1

Observaci
on 1.2. Del teorema anterior concluimos que para series absolutamente
convergentes, todos los reordenamientos conducen a series que son tambien convergentes al mismo valor. Tal hecho es muy diferente en series condicionalmente
convergentes, veamos el siguiente ejemplo. Sabemos que:
p1qn`1
1 1 1
S 1 ` `
2 3 4
n
n1
es condicionalmente convergente.

S
1 1 1 1
` `
2
2 4 6 8
Luego
1 1 1 1 1 1 1 1
1
1
1
` ` ` `
`

`
2 3 4 5 6 7 8 9 10 11 12
S
1
1
1
1
1
1
0` `0 `0` `0 `0`
`0
`
2
2
4
6
8
10
12
S 1

Sumando
3S
1 1 1 1 1 1
1
1
1` ` ` ` `
`
2
3 2 5 7 4 9 11 6
esta u
ltima serie contiene todos los terminos de S en orden diferente, es decir,

3S
2

es

una reordenacion de S, sin embargo convergen a sumas diferentes.

As concluimos que los reordenamientos en series condicionalmente convergentes
introducen cierto grado de anarqua, pues es posible hacerlos converger a cualquier
valor predeterminado o diverger tal y como nos lo dice Riemann.

1.2.

Teorema de Riemann

Teorema de Riemann (1854)

Sea
an una serie de n
umeros reales condicionalmente convergente y sea cualn1

quier n
umero real (o bien 8) entonces existe un reordenamiento
bn de
n1

an que converge a (o bien, cuando 8, que diverge a 8).

n1

Prueba.
Caso 1: 8

|an | an
|an | ` an
, qn
. Si an 0 entonces pn an y
2
2
qn 0, mientras que si an 0 entonces pn 0 y qn an , y ademas pn qn an .

Tambien
pn y
qn son divergentes a `8 y 8 respectivamente.
n1
n1

A los terminos pn los llamaremos terminos positivos de

an , mientras que a los
n1

terminos qn los llamaremos terminos negativos de an .

Sea P R, veamos como reordenar

an para que la serie converja a .
Para cada n P N, sean pn

n1

Etapa 1

Escoger tantos terminos positivos (digamos k1 terminos) tales que su suma

supere por primera vez a , esto es
p 1 ` p 2 ` ` p k1
7

esto es posible ya que

n1

pn `8

Continuamos sumando ahora los terminos negativos (digamos r1 de ellos) tales

que su suma sea por primera vez inferior a , esto es
p 1 ` p 2 ` ` p k1 q 1 q 2 q r 1

esto es posible ya que

qn 8
n1

Etapa 2

A continuacion sumese tantos terminos positivos (digamos k2 de ellos) hasta

que por primera vez se tenga que
p1 ` p2 ` ` pk1 q1 q2 qr1 ` pk1 `1 ` pk1 `2 ` ` pk2
Continuese con tantos terminos negativos (digamos r2 de ellos) hasta que por
primera vez se tenga que
p1 `p2 ` `pk1 q1 q2 qr1 `pk1 `1 `pk1 `2 ` `pk2 qr1 `1 qr1 `2 qr2
y continuando con este proceso indefinidamente, obtenemos una serie cuyos terminos

son los mismos que

an en orden diferente, es decir, la serie obtenida es una
n1

reordenacion de
an .
n1

Veamos que sucede con las sumas parciales de esta nueva serie. Para esto necesitamos
ver la etapa m.

Al final de esta etapa se suman terminos negativos (rm de ellos) hasta que por
primera vez se tenga
Sm p1 ` ` pk1 q1 qr1 ` pk1 `1 ` ` pk2 qr1 `1
qr2 ` ` pkm1 `1 ` ` pkm qrm1 `1 qrm (1.3)
Pero como
p1 ` ` pk1 q1 qr1 ` pk1 `1 ` ` pk2 qr1 `1 qr2 `
` pkm1 `1 ` ` pkm qrm1 `1 qrm 1
8

Sumando qrm se tiene

Sm q r m
Por (1.3) se tiene 0 Sm qrm
Cuando m 8, Sm
Caso 2: `8 _ 8
Hagamos la prueba para `8, el otro caso es similar
Etapa 1
Sumamos los primeros terminos positivos (digamos k1 de ellos) hasta que por
primera vez su suma sea mayor o igual a 1, es decir
p 1 ` ` p k1 1
Sumando un u
nico termino negativo se tiene
p 1 ` ` p k1 q 1 1
Etapa 2
S
umese tantos terminos positivos (digamos k2 de ellos) hasta que por primera
vez la suma sea 2, es decir,
p1 ` ` pk1 q1 ` pk1 `1 ` ` pk2 2
luego s
umese un u
nico termino negativo, entonces
p1 ` ` pk1 q1 ` pk1 `1 ` ` pk2 q2 2
Continuando indefinidamente obtenemos una nueva serie que tiene los mismo termi

nos de
an pero en orden diferente, es decir, es una reordenacion de
an y
n1

n1

ademas viendo este procedimiento en la etapa m tenemos que

Sm p1 ` ` pk1 q1 ` pk1 `1 ` ` pk2 q2 ` ` pkm1 `1 ` ` pkm qm m

(1.4)
9

pero
p1 ` ` pk1 q1 ` pk1 `1 ` ` pk2 q2 ` ` pkm1 `1 ` ` pkm m
sumando qm se tiene
Sm m q m
Por (1.4) 0 m Sm qm
haciendo m 8, tenemos que Sm 8


Definici
on 1.2. Sea
Xn una serie en un espacio de Banach E; al conjunto
n1

S
Xn lo definiremos por
n1

n1

Xn

X P E{X

n1

Xppnq para p : N N biyeccion

Observaci
on 1.3. Cuando E R y consideramos

Xn una serie absolutamente

convergente de suma S el Teorema 1.2 nos permite afirmar que Sp

Xn q tSu.
n1

Tambien por el teorema de Riemann se tiene Sp

Xn q R cuando
Xn es
n1

n1

n1

condicionalmente convergente.
Ahora podemos preguntarnos

Que sucede si consideramos series de vectores?

La respuesta a esto es la que nos conlleva a estudiar el Teorema de Levy-Steinitz.

1.3.

Teorema de L
evy-Steinitz

Para responder la interrogante anterior consideremos E R2 y la serie

p1qn`1
p1qn`1
,0
,0
n
n
n1
n1

luego

p1qn`1
,0
n
n1
10

R t0u

no es todo R2 , pero es un subespacio afn de R2 . Este fenomeno fue observado por

Levy para R2 en 1905 y por Steinitz para Rk con k P N en 1913. El enunciado del
teorema es el siguiente:
El conjunto de sumas de todas las reordenaciones de una serie de vectores en Rn
es el vaco o la traslacion de un subespacio

En nuestra notacion si
Xk una serie de vectores en Rn convergente entonces
k1

Sp

k1

Xk q ttraslacion de un subespaciou,

veamos los detalles:

Primero demostremos el siguiente lema tecnico:

1.3.1.

El Teorema del Confinamiento Poligonal

Para cada n, existe una constante Cn tal que si tvi ; i 1, , mu es una familia

finita de vectores en Rn cuya suma es cero y }vi } 1, i 1, 2, , m, entonces

existe una permutacion P de p2, , mq tal que

vP piq Cn para todo j

v1 `

i2
Ademas podemos tomar C1 1 y Cn

Prueba.

(1.5)

a 2
4Cn1 ` 1 para todo n.

Caso n=1 (Idea del Teorema de Riemann)

Si v1 0, escogemos P p2q tal que vpp2q 0; y continuamos escogiendo los v negativos
hasta que la suma (por primera vez) sea negativa. Es decir,
v1 ` vP p2q ` ` vP pk1 q 0
Escogemos el siguiente v positivo y continuamos escogiendo los v positivos hasta
que por primera vez la suma de todos los vectores escogidos sea positiva. Es decir,
v1 ` vP p2q ` ` vP pk1 q ` ` vP pk2 q 0
11

Continuamos de esta manera hasta que todos los v sean usados y como |vi | 1 para
todo i, entonces
0 v1 ` vP p2q v1 1
0 v1 ` vP p2q ` vP p3q v1 1
..
.

v1 ` vP p2q ` ` vP pk1 q 0
Pero v1 ` vP p2q ` ` vP pk1 1q 0
Sumando vP pk1 q se tiene
vP pk1 q v1 ` vP p2q ` ` vP pk1 1q ` vP pk1 q 0
entonces
0 |v1 ` vP p2q ` ` vP pk1 q | |vP pk1 q | 1
De manera similar
v1 ` vP p2q ` ` vP pk1 q v1 ` vP p2q ` ` vP pk1 q ` vP pk1 `1q 0
luego
|v1 ` vP p2q ` ` vP pk1 q ` vP pk1 `1q | |v1 ` vP p2q ` ` vP pk1 q | 1
Continuando con este proceso, concluimos que cada suma parcial esta entre 0 y 1,
por tanto C1 1
Caso general
Haremos la prueba por induccion.
Asumamos que n 1 y que Cn1 8, ademas consideremos tvi u una coleccion de
vectores satisfaciendo la hipotesis.
Como tvi u es finito, hay un n
umero finito de posibles sumas parciales de los v que
empiezan con v1 ; sea L una suma parcial con norma maxima entre todas esas sumas
parciales.
12

Entonces
L v1 ` u1 ` ` us donde tu1 , ` us u tvi u
Sea tw1 , , wt u los otros v tal que
L ` w1 ` ` wt 0
Afirmaci
on 1 xui , Ly 0 para todo i
Supongamos que xui , Ly 0 para alg
un i
luego

xui , Ly
xui , Ly
0 entonces }L}
}L}
}L}
}L}

As }L ui }

L
L ui ,
}L}

}L}

lo cual contradice la maximalidad de }L}

Afirmaci
on 2 xv1 , Ly 0
Supongamos que xv1 , Ly 0
entonces
B
F
L
1
}v1 L} v1 L,
}L}
xv1 , Ly }L}
}L}
}L}

As }v1 L} }L}

Como L w1 ` ` wt entonces
}v1 ` w1 ` ` wt } }L}
lo cual contradice la maximalidad de L
Afirmaci
on 3 xwi , Ly 0 para todo i
Supongamos que xwi , Ly 0 para alg
un i.
entonces
}L ` wi }
luego }L ` wi } }L}

L
L ` wi ,
}L}

13

}L} `

xwi , Ly
}L}
}L}

Como L v1 ` u1 ` ` us entonces
}v1 ` u1 ` ` us ` wi } }L}
As v1 ` u1 ` ` us ` wi sera una suma parcial de norma mayor que la de L.
Usaremos la hipotesis inductiva en el espacio pn 1q-dimensional
LK tv P Rn { xv, Ly 0u
Sea
1

v v

xv, Ly L
}L}2

v ' =CompL (v )

ProyL (v )

Como L v1 ` u1 ` ` us y
1

xv1 , Ly L
P LK
}L}2
xui , Ly L
ui
P LK para i 1, 2, , s
}L}2

v1 v1
1

ui
entonces
1

v 1 ` u1 ` ` u s v 1 ` u1 ` ` u s

xv1 ` u1 ` ` us , Ly L
}L}2

Como v1 ` u1 ` ` us L se tiene
1

v 1 ` u1 ` ` u s L
1

Similarmente se prueba que w1 ` ` wt 0

14

xL, Ly L
0
}L}2

luego por la hipotesis inductiva, existe una permutacion Q de p1, 2, , sq tal que

1
1

v
`
u
(1.6)
1
Qpiq Cn1 para todo j 1, 2, , s

i1

y tambien existe una permutacion R de p2, , tq tal que

1
1

wRpiq Cn1 para todo j 2, , t

w1 `

i2

(1.7)

Pongamos Rp1q 1 Como xv1 , Ly 0 y xwi , Ly 0, escogemos el mas peque

no r,
por ejemplo r1 , tal que

r1

@
D
xv1 , Ly `
wRpiq , L 0

(1.8)

i1

esto es posible ya que definiendo

#
A

@
D
k P N{ xv1 , Ly `
wRpiq , L 0
i1

se tiene que A H porque t P A, luego A posee mnimo, a este mnimo llamemoslo

r1 .
Similarmente podemos escoger el mas peque
no s1 que cumpla
s1
r1

@
D
@
D
uQpiq , L 0
wRpiq , L `
xv1 , Ly `
i1

i1

luego el mas peque

no r2 tal que
r2
s1
r1

@
D
@
D
@
D
wRpiq , L 0
uQpiq , L `
wRpiq , L `
xv1 , Ly `
i1

ir1 `1

i1

y as sucesivamente.

Ponemos los vectores en el siguiente orden

pv1 , wRp1q , wRp2q , , wRpr1 q , uQp1q , , uQps1 q , wRpr1 `1q , , wRpr2 q , q
es decir ubicamos los vectores tvi u seg
un la permutacion P como sigue
$

v1 , i 1

w , i 2, , r1

& Rpiq
vP piq
uQpir1 q , i r1 ` 1, , r1 ` s1

wRpis1 q , i r1 ` s1 ` 1, , s1 ` r2

..
%
.
15

(1.9)

luego sea j 2, , m y llamemos a v1 `

vP piq

i2
1

la idea es acotar } ProyL a} y } CompL a} }a } para luego usar el teorema de

Pitagoras y obtener una cota para a.
1

Afirmaci
on 4 }a } 2Cn1
en efecto,
como

xa, Ly L
a a

v
`
vP piq
1
}L}2
i2
1

a v1 1 `
entonces
1

vP piq , L

i2

}L}2

vP piq

i2

vP piq }

}a } Cn1 ` Cn1 2Cn1

Afirmaci
on 5 } ProyL a} 1
Por (1.8) y la afirmacion 3 tenemos
@
D
v1 ` wRp1q , L
xv1 , Ly
0

}v1 } 1
}L}
}L}
@
D
v1 ` wRp1q ` wRp2q , L
xv1 , Ly

}v1 } 1
0
}L}
}L}
..
.
@
D
v1 ` wRp1q ` ` wRpr1 1q , L
0
}L}
@
D
wRpr1 q , L
Sumando
}L}
@
D
@
D
v1 ` wRp1q ` ` wRpr1 q,L
wRpr1 q , L
0

}L}
}L}
16

i2

}a } }v1 `
Por (1.6) y (1.7) tenemos

v1 `

(1.10)

entonces
@
D
@
D
v `w
| wRpr1 q , L |
Rp1q ` ` wRpr1 q , L
1
}wRpr1 q } 1

}L}
}L}

(1.11)

De manera similar por (1.9) y la afirmacion 1 tenemos

C
G
r1

@
D
v1 `
wRpiq , L ` uQp1q , L 0
i1

v1 `

r1

wRpiq , L

i1

}L}

v1 `

r1

i1

luego por (1.11) se tiene

C

G
r1

@
D

wRpiq , L ` uQp1q , L
v1 `

i1
}L}

Tambien
C

v1 `

r1

wRpiq , L

i1

}L}

r1

v1 `

wRpiq , L

}L}

@
D
` uQp1q , L

C
G
r1

wRpiq , L
v1 `

i1

wRpiq , L

i1

}L}

@
D
` uQp1q ` uQp2q , L

}L}

Por (1.11) se tiene

C

G
r1

@
D

wRpiq , L ` uQp1q ` uQp2q , L

v1 `

i1
}L}

C
G
r1

wRpiq , L
v1 `

i1
}L}

y por (1.9)
C

v1 `

r1

wRpiq , L

i1

s
1 1
i1

@
D
Sumando uQps1 q , L tenemos
C
G C
G
r1
s1

v1 `
wRpiq , L `
uQpiq , L
0

i1

i1

}L}

uQpiq , L

@
D
uQps1 q , L

}uQps1 q } 1
}L}

De manera analoga se puede hacer para los demas vP piq que sobran.
17

Ahora como

v1 `
vP piq , L
xa, Ly L
i2
ProyL a

}L}2
}L}2
C
G
j

vP piq , L
v1 `

i2
} ProyL a}
}L}

y por todo lo visto anteriormente llegamos a que

C
G
j

vP piq , L
v1 `

i2
} ProyL a}
1 para todo j
}L}
Por lo tanto por las afirmaciones 4 y 5 concluimos que
2
}a}2 } CompL a}2 ` } ProyL a}2 4Cn1
`1

luego

2
vP piq 4Cn1
`1
v1 `

i2

Ahora el objetivo es probar el teorema del reordenamiento siendo este un ingrediente esencial para la prueba del Teorema de Levy-Steinitz.
Para su prueba es necesario demostrar la siguiente consecuencia del teorema del
confinamiento poligonal:

Lema 1.1. Si tvi : i 1, 2, , mu Rn y vi , }vi } para todo i,entonces

i1
existe una permutacion P de (1, , m) tal que
}vP p1q ` vP p2q ` ` vP prq } pCn ` 1q para 1 r m
Prueba.
Definimos vm`1 v1 v2 vm entonces

18

m`1

i1

vi
0y

v
i
1, para todo i

luego por el teorema de confinamiento poligonal, existe una permutacion P de

(2, , m ` 1) tal que

De aqu

r
v

1
1

vP piq Cn para 2 r m
`

i2

vP piq Cn
v1 `

i2

Sea P p1q 1 tenemos que

r
r1

vP piq vP piq ` }vP prq } Cn `

i1
i1

luego

1.3.2.

vP piq pCn ` 1q para 1 r m

i1

El Teorema del Reordenamiento

En Rn , si una subsucesion de la sucesion de sumas parciales de una serie de vectores

converge a S, y si la sucesion de terminos de la serie converge a 0, entonces existe
un reordenamiento de la serie cuya suma es S.
Prueba.
Sea tvi u8
on de vectores en Rn . Para cada m se tiene Sm
i1 una sucesi

i1

vi .

Asumimos que Smk S para alguna subsucesion Smk , y debemos mostrar como
reordenar los tvi u tal que toda la sucesion de sumas parciales converga a S.
Veamos
Sea k }Smk S} entonces k 0
Como
m 1
m

mk
k`1
k`1

vi
vi
vi vmk`1

im `1
i1

i1
k

m
mk
k`1

vi S ` vi S ` vmk`1

i1

i1
19

entonces de la definicion de k se tiene

m 1
k`1

vi k`1 ` k ` }vmk`1 }

im `1
k

Ahora para cada k definimos

k maxtk`1 ` k , supt}vi } : i mk uu
m 1
k`1

entonces k 0 y
vi 2k
im `1
k

Tambien }vi } k 2k para i mk

luego por el lema 1.1, para cada k existe una permutacion Pk de mk `1, , mk`1 1
tal que

vPk piq 2k pCn ` 1q para r mk ` 1, , mk`1 1

im `1

Ahora ordenemos los tvi u como sigue

pvlooooooomooooooon
1 , v 2 , , v mk , v
mk `1 , vmk `2 , , vmk`1 1 q
looooooooooooooomooooooooooooooon
los

mantenemos

y ordenamos estos t
ermi-

en su posici
on

nos de acuerdo a pk

En este arreglo si mk ` 1 m mk`1 1

entonces
Sm
y Sm Sm k

imk `1

vPk piq

mk

i1

vi `

vPk piq

imk `1

luego haciendo k 8 y sabiendo que Smk S

v
}Sm Smk }
2k pCn ` 1q 0
im `1 Pk piq
k

Por lo tanto

Sm S

20

Antes de enunciar y probar el Teorema Levy-Steinitz necesitamos tambien otra

consecuencia del Teorema de Confinamiento Poligonal
Lema 1.2. Si

tvi um
i1

R ,w

i1

vi , 0 t 1 y }vi } para todo i, entonces

existe una permutacion P de p2, , mq y un r entre 2 y m tal que

r
b

2
vP piq tw 4Cn1
`1
v 1 `

i2

Prueba.

Asumamos que w 0 ya que si w 0

entonces se tiene

vi

i1

v
i
0 y 1

Luego por el teorema del confinamiento poligonal existe una permutacion P de

p2, , mq tal que

r
b

2
` 1, 2 r m
vP piq 4Cn1
v 1 `

i2

as se tendra lo pedido.

Veamos el caso para n 1

multiplicando por 1 si es necesario asumamos que w 0
Sea S el mas peque
no i tal que
v1 ` v2 ` ` vS tw
entonces
v1 ` v2 ` ` vS1 tw
luego por 1.12 y sabiendo que |vS | se tiene
|v1 ` v2 ` ` vS1 ` vS tw| |vS |
As para el caso n 1 se tiene el Lema con Cn1 C0 0
21

(1.12)

Notar tambien que en este caso ning

un reordenamiento es necesario para obtener
una apropiada suma parcial.
Ahora veamos el caso general para Rn , n 1
m

como w
vi
i1

Sea vi vi

entonces

xvi , wy w
}w}2

i1

vi , w

0
}w}2
1
v
1
y como }vi } se tiene }vi } y por tanto i 1
luego por el Teorema del confinamiento poligonal existe una permutacion P de
i1

vi

i1

vi

p2, , mq tal que

1

v1 1 1

1
1
` vP p2q ` ` vP pjq Cn1 para todo j 2, , m

Tambien tenemos que

B
F B
F
B
F
w
w
w
v1 ,
` vP p2q ,
` ` vP pmq ,
}w}
}w}
}w}
}w}

xvi , wy }vi }}w}

}w} }w} para todo i

(1.13)

y similarmente al caso n 1 escogemos un r tal que

B

F B
F
B
F

w
w
v1 , w
` vP p2q ,
` ` vP prq ,
t}w}
(1.14)

}w}
}w}
}w}
B
F
w
hacen el
Observar que en este caso a comparacion del caso n 1 los vi ,
}w}
papel de los vi .
Ahora definamos
a v1 ` vP p2q ` ` vP prq tw
1

veamos que sucede con }a } y } Proyw a}

22

a a

xa, wy w
1
1
1
v1 ` vP p2q ` ` vP prq
2
}w}

Por (1.13) se tiene

}a } }v1 ` vP p2q ` ` vP prq } Cn1

Proyw a

(1.15)

xa, wy w
| xa, wy |
y } Proyw a}
2
}w}
}w}

Primero observemos (1.14)

B
F

v1 ` vP p2q ` ` vP prq , w
t}w}

}w}

como
B
F
B
F
w
w
v1 ` vP p2q ` ` vP prq ,
t}w}
v1 ` vP p2q ` ` vP prq tw ` tw,
t}w}
}w}
}w}
B
F
w

v1 ` vP p2q ` ` vP prq tw,

}w}
entonces
B
F

v1 ` vP p2q ` ` vP prq tw, w

}w}

Seg
un como hemos definido a concluimos que
B
F

w
a,

}w}

as

} Proyw a}
Por lo tanto de (1.15) y (1.16) tenemos que

r
b

2
2
2
2
`1
}a} v1 `
vP piq tw Cn1 ` 4Cn1

i2
Ahora podemos finalmente probar el resultado principal

23

(1.16)

1.3.3.

Teorema de L
evy-Steinitz

El conjunto de sumas de todas las posibles reordenaciones de una serie de vectores

en Rn es o bien el vaco o la traslacion de un subespacio.
Prueba.

Sea
vi una serie de vectores en Rn y
i1

i1

vi

Supongamos que S

i1

x P Rn {x

vi

i1

vP piq para P : N N biyeccion

H
8

Reemplazando v1 por v1 v, donde v es cualquier elemento de Sp vi q podemos

i1

asumir que 0 P Sp vi q. As solo debemos probar que Sp vi q es un subespacio de

Rn .

Sea S1 , S2 P Sp

i1

i1

i1

vi q y tm u una sucesion de n
umeros positivos que converge a 0.

Como un reordenamiento converge a S

1 , luego existe un conjunto finito I1 de enteros

positivos tal que 1 P I1 y vi S1 1

iPI

1
Como un reordenamiento converge a 0, existe un conjunto finito J1 de enteros positivos tal que J1 I1 y

v i 0 1

iPJ

(Elegir este J1 lo suficientemente grande hasta que contenga a I1 )

Ademas existe un conjunto K1 J1 tal que

v i S2 1

iPK

De igual manera existe un conjunto I2 K1 y I2 t2u tal que

v i S1 2
iPI

(Elegir este I2 lo suficientemente grande hasta que contenga a K1 y a t2u si es que

no lo tuviera)
24

luego, procediendo de la misma manera, construimos inductivamente conjuntos

Im , Jm y Km de enteros positivos tal que
t1, , m 1u Km1 Im Jm Km
y

v i S1 m ,

iPI

v i 0 m y
v i S2 m

iPJ

iPK

Para cada m ordenamos los ndices en Jm de modo que los que esten en Im se
ubiquen al comienzo, tambien ordenamos los ndices en Km de tal manera que los
que esten en Jm se ubiquen al comienzo. Luego ordenamos los ndices de Im`1 de tal
modo que los que esten en Km se ubiquen al comienzo. As existe una permutacion
P y sucesiones crecientes

tim u, tjm u, tkm u tal que im jm km im`1 y

im

vP piq S1 m
i1

jm

vP pjq m
j1

km

vP pkq S2 m para cada m

k1

(1.17)
(1.18)
(1.19)

Notar que de (1.18) y (1.19) llegamos a que

jm
km
km

vP piq S2 vP piq
vP pjq S2 m ` m 2m

ij `1
i1

j1

(1.20)

y de (1.17) y (1.20) tenemos

im
km

vP piq pS1 ` S2 q 3m
vP piq `
i1

ij `1
m

luego para cada m, reordenamos los vectores

tvP piq : i im ` 1, , km u intercambiando los vectores

25

(1.21)

tvP piq : i im ` 1, , jm u con los vectores tvP piq : i jm ` 1, , km u

64447444
8
Im
6447448

jm

im

km

144444444
42444444444
3

Km
Haciendo la reordenacion escrita (1.21) quedara como

jm

pS
`
S
q

1
2 3m
i1 P piq

esto muestra que existe una subsucesion de la sucesion de sumas parciales

vP piq
i1

que converge a S1 ` S2 . Ademas como Sp vi q H, vpP piqq 0 el teorema del

i1

reordenamiento nos permite afirmar que S1 ` S2 P Sp vi q

i1

Faltara demostrar que si S P Sp vi q entonces St P Sp vi q, @t P R

i1
i1
Pero por la aditividad de Sp vi q ya demostrada tendramos que para t P Z` y
i1

S P Sp vi q se tiene que St P Sp vi q.
i1

i1

As es suficiente probar para los casos en que t P p0, 1q y t 1

Caso t P p0, 1q
Empecemos con el arreglo P usado para probar la aditividad de Sp

i1

Fijemos t P p0, 1q
y sea m supt}vP piq } : i jm ` 1, , km u
26

vi q

Sea tambien
um

km

ijm `1

entonces por (1.20),

vP piq S2 y wm um ` S2

km

vP piq S2 2m

ij `1

(1.22)

As por el lema 1.2 existe una permutacion Qm de tP pjm ` 1q, , P pkm qu y un rm

entre jm ` 1 y km tal que

rm

vQm pP piqq tpS2 ` um q M m

ij `1

a 2
donde M 4Cn1
`1

entonces de (1.22) tenemos que

rm

tS

2 M m ` 2m
ij `1 Qm pP piqq

y por (1.18) se tiene

jm
rm

vQm pP piqq tS2 m ` M m ` 2m 3m ` M m

vP piq `
i1

ij `1
m

Por lo tanto, existe una subsucesion de la sucesion de sumas parciales que converge

a tS2 . Por el teorema del reordenamiento concluimos que tS2 P Sp vi q.

i1

caso t 1

Como de (1.18) y (1.19) tenemos que

entonces

km
m`1

vP piq
vP piq p0 S2 q m`1 ` m

i1

i1
j

m`1

vP piq pS2 q m`1 ` m

ik `1

luego de esta u
ltima desigualdad y de (1.18) se tiene
27

j
jm
m`1

vP piq pS2 q m`1 ` 2m

vP piq `
i1

ik `1
m

luego para cada m, reordenamos los vectores tvP piq , i jm ` 1, , jm`1 u

intercambiando los vectores tvP piq , i jm ` 1, , km u con los vectores
tvP piq , i km ` 1, , jm`1 u.
Con esta reordenacion obtenemos que

km

vP piq pS2 q m`1 ` 2m .

i1

Finalmente el teorema del reordenamiento implica que

S2 P Sp vi q
i1

Observaci
on 1.4. Como cualesquiera dos espacios de dimension finita y de igual
dimension son isomorfos, el Teorema de Levy-Steinitz se cumple en cualquier espacio
finito dimensional.
Observaci
on 1.5. En el Teorema del confinamiento poligonal el menor valor de Cn
que satisface (1.5) es llamada la constante de Steinitz de Rn .
Trabajando en el teorema del confinamiento poligonal con un espacio vectorial con
producto interno E de dimension finita y denotando a su constante de Steinitz por
SpEq se tiene los siguientes resultados:
Steinitz probo que SpEq 2 dimpEq. Ver [18]
SpEq dimpEq. Ver [19]
Si dimpEq 2 SpEq 32 . Ver [15]
Si E es un espacio euclidiano de dimension n
pn ` 3q1{2
entonces SpEq
. Ver [19]
2?
5
y si n 2 SpEq
. Ver [15]
2
28

Captulo 2
Reordenaciones en Espacios de
Dimensi
on Infinita
Ahora lo natural es estudiar si es posible extender el Teorema de Levy-Steinitz a
espacios de dimension infinita. El primer intento se hizo en espacios de Banach,
veamos los detalles:

2.1.

Contraejemplo de Marcinkiewicz

Recordemos que el espacio vectorial normado L2 r0, 1s esta definido por

L2 r0, 1s tf : r0, 1s R{f es medible seg
un Lebesgue y }f }2 8

1{2
donde, }f }2
|f |2
r0,1s

Ahora consideremos las siguientes funciones en L2 r0, 1s. Aqu A denota la funcion
caracterstica de A.
xi,k r ki , k`1
, yi,k xi,k , 0 i 8, 0 k 2i
i s
2

Claramente }xi,k }2 2i para cada i, k. Luego

29

px0,0 ` y0,0 q ` px1,0 ` y1,0 q ` px1,1 ` y1,1 q ` px2,0 ` y2,0 q ` 0

x0,0 `px1,0 `x1,1 `y0,0 q`px2,0 `x2,1 `y1,0 q`px2,2 `x2,3 `y1,1 q` 1, ver figura 2.1
Ninguna reordenacion converge a la funcion constante 1{2 porque todas las sumas
parciales son funciones con valores enteros. As el conjunto de sumas de la serie

xi,k no es un subespacio afn.

i,k

x 0,0

x 2,0

1
4

1
4

1
2

1
2

x 2,1

x 1,0

x 1,1

1
2

x 2,2 1

1
2

3 1
4

x 2,3

3
4

Figura 2.1:
Sabiendo que el teorema de Levy - Steinitz falla drasticamente en espacios de Banach
de dimension infinita, podemos preguntarnos:
Puede extenderse el Teorema de Levy Steinitz para ciertos espacios de dimension
infinita?
30

La respuesta a esto nos motiva a estudiar el Teorema de Banaszczyk, que extiende

el Teorema de Levy-Steinitz a espacios Frechet Nucleares.

2.2.

Teorema de Banaszczyk

El objetivo en esta seccion es probar el siguiente resultado.

Teorema 2.1 (Banaszczyk). Sea

ui una serie convergente en un espacio Frechet
i1

Nuclear E. Entonces

i1

ui

ui

i1

ui

(2.1)

i1

donde:

ui
tf P E 1 :
|f pui q| 8u es un subespacio de E 1
i1

i1

ui

i1

tu P E : f puq 0, @f P

i1

ui u es un subespacio cerrado de E

Este es un resultado muy profundo. Para su prueba es necesario usar muchas herramientas del analisis funcional, empecemos recordando algunos resultados de teora
espectral.

2.2.1.

Algunos resultados de teora espectral para operadores compactos

Definici
on 2.1. Sea X e Y espacios de Banach. Sea T P LpX, Y q, es decir, un
operador lineal y continuo de X a Y . Se dice que T es compacto si T pUx q (donde Ux es
la bola unitaria cerrada en X) es compacto en Y o equivalentemente si toda sucesion
acotada pxn qnPN en X, la sucesion pT pxn qqnPN admite una subsucesion convergente.
En lo que sigue H denotara a un espacio de Hilbert y LpHq LpH, Hq.
Teorema 2.2. Sea T P LpHq un operador compacto y autoadjunto. Entonces, }T }
o }T } es un autovalor de T .
31

Demostraci
on.
Si T 0, el resultado es trivial. Supongamos entonces T 0, como T es autoadjunto
entonces }T } supt| xT x, xy | : }x} 1u, existira una sucesion pxn qn1 en la esfera
unitaria de H tal que | xT xn , xn y | }T }, es decir,
xT xn , xy }T } o xT xn , xn y }T }
Supongamos que converge a }T }. Entonces,

0 }T xn }T }xn }2 }T xn }2 2}T } xT xn , xn y ` }T }2
2}T }2 2}T } xT xn , xn y 0
de donde pT xn }T }xn q 0
dado que T es compacto, existe alguna subsucesion pT xkn q que converge a alg
un
y P H.
Luego: }T }xkn y entonces xkn

y
}T }

Por continuidad de T ,
T xkn
Por unicidad de lmite y

T pyq
}T }

T pyq
}T }

entonces }T }y T pyq

Solo falta comprobar que y 0. Pero,

}T } }T }}xkn } }y}
y como T 0 entonces y 0.

Lema 2.1. Sea T P LpHq y sea M un subespacio invariante por T , es decir, tal que

T pM q M . Entonces, M K es invariante por T (adjunta de T ). En particular, si

T es autoadjunto, entonces M K es invariante por T tambien.
Prueba.
Sea y P M K . Entonces, dado x P M , xx, T yy xT x, yy 0 pues T pM q M .
As T y P M K , de donde T pM K q M K


32

Teorema 2.3 (Teorema espectral para operadores compactos autoadjuntos). Si T

un operador compacto autoadjunto sobre H. Existe un sistema ortonormal x1 , x2 ,
de autovectores de T con autovalores correspondientes 1 , 2 , tal que, para cada
x P H se tiene
Tx

n1

n xx, xn y xn

Si la sucesion pn qn1 es infinita, entonces converge a cero.

Prueba.
Pongamos H1 H y T1 T . Por el Teorema 2.2, T1 tiene un autovalor 1 con

|1 | }T1 }. Sea x1 un autovector unitario. Pongamos ahora H2 tx1 uK , que es

un subespacio cerrado de H1 . El lema 2.1 garantiza que T pH2 q H2 . Sea T2 la

restriccion de T a H2 . Claramente, T2 es un operador compacto y autoadjunto en
H2 , de donde, si es no nulo, tendra un autovalor 2 con |2 | }T2 } }T1 } |1 |. Sea
x2 un autovector unitario asociado a 2 (y, si 1 2 , ortogonal a x1 ). Entonces, el

conjunto tx1 , x2 u es ortonormal. Sea H3 tx1 , x2 uK . Entonces, H3 es un subespacio

cerrado de H y H3 H2 y nuevamente por el lema 2.1, T pH3 q H3 . Repetimos el
argumento con T3 T |H3 , que vuelve a ser un operador compacto autoadjunto en
H3 .
Continuando as, el proceso o bien Tn 0 para alg
un n, se obtiene una sucesion pn q
de autovalores de T y un sistema ortonormal de autovectores tx1 , x2 , u tales que
|n`1 | }Tn`1 } }Tn } |n | para n 1, 2, 3, . Si pn q es una sucesion infinita,
entonces pn q 0, ya que se puede probar que el conjunto de todos los autovalores
de un operador compacto T posee un u
nico posible punto de acumulacion 0
(ver [28], pag. 284, teorema 2).
Veamos ahora que T se puede representar de la forma indicada:
Caso 1. Tn`1 0 para alg
un n.
n

Sea yn x
xx, xj y xj . Es claro que yn P tx1 , x2 , , xn uK , de donde
j1

0 Tn`1 pyn q T x
33

j1

xj xx, xj y xj

ya que yn P tx1 , , xn uK Hn`1 y as T |Hn`1 Tn`1 .

Caso 2. Tn 0 para todo n.
n

Sea, como antes, yn x

xx, xj y xj P tx1 , , xn uK . Entonces,
j1

}T x

j1

y as T x

j xx, xj y xj } }Tn`1 yn } }Tn`1 }}yn } |n`1 |}x

n1

2|n`1 |}x} 0

j1

xx, xj y xj }

n xx, xn y xn .

Observaci
on 2.1. El conjunto tx1 , x2 , u es una base ortonormal de ImpT q.
Para cada k, se tiene T xk k xk , de donde xk

1
T xk
k

P ImpT q.

As tx1 , x2 , u es una sucesion ortonormal dentro del espacio de Hilbert ImpT q.

Ademas, si x P H, entonces
T x lm

n8

k1

k xx, xk y xk

luego spantx1 , x2 , u es denso en ImpT q. Por lo tanto, es una base ortonormal.

Definici
on 2.2. Un operador T P LpHq se dice que es positivo si xT x, xy 0
@x P H.
Observaci
on 2.2. Es sencillo probar que todo operador positivo es autoadjunto.
(Ver [29], pag. 313, teorema 12.32).
Corolario 2.1. Sean H1 y H2 espacios de Hilbert y T P LpH1 , H2 q un operador compacto.

Entonces

existen

una

sucesion

de

n
umeros

reales

no

negativos

1 2 0 y sistemas ortonormales txn u en H1 e tyn u en H2 tales que,

para todo x P H1 , se tiene
Tx

n1

n xx, xn y yn

(2.2)

Ademas, si la sucesion pn q es infinita, esta converge a cero.

Prueba. Es una consecuencia directa del teorema 2.3, trabajando con el operador
positivo, autoadjunto y compacto T T . (Ver [10], pag. 149, teorema 16.3).
34

Observaci
on 2.3. A la representacion (2.2) se le llama Representacion Schmidt
del operador T .
El siguiente teorema, el lector puede encontrarlo en [27], Pag. 337, teorema 14.
Teorema 2.4 (Descomposicion polar). Sea V un espacio vectorial finito dimensional
con producto interno y T un operador lineal en V . Entonces existe un operador
unitario U en V y un operador positivo P en V tal que
T UP
El operador P es u
nico. Si T es inversible, U tambien es u
nico.
Observaci
on 2.4. Del teorema 2.4 el operador T tambien puede ser expresado de
la forma T QU donde Q U P U 1 es tambien un operador positivo y tiene los
mismos autovalores que P .
Notaciones: Sea V un espacio vectorial sobre K pR o Cq. Si A, B V y P K
se definen
A ` B ta ` b : a P A, b P Bu y A ta : a P Au
Si A tiene un solo elemento, A txu, se escribe x ` B en lugar de A ` B.
Si D denota la bola unitaria cerrada de K, se define el conjunto:
DA ta : a P A, P Du
Definici
on 2.3. Sea V un espacio vectorial sobre K pR oCq y A V se llama
a) Convexo si tA ` p1 tqA A para todo t P r0, 1s.
b) Equilibrado si DA A (y por tanto DA A)
c) Absolutamente convexo si es equilibrado y convexo.
Es facil ver que un conjunto A es absolutamente convexo si y solo si A ` B A
para escalares y que verifiquen || ` || 1
35

2.2.2.

Di
ametro de Kolmogorov

Sea E un espacio vectorial sobre K. Consideremos subconjuntos absolutamente convexos U, V E.

Escribimos V U si V es absorbido por U , es decir, si existe t 0 tal que V tU .
Para V U y cualquier F E subespacio vectorial definimos
dpV, U ; F q nft 0 : V U ` F u
Definici
on 2.4. Para V U y cada k 1, 2, 3, definimos el diametro de
Kolmogorov
dk pV, U q nftdpV, U ; F q : dimF ku
Lema 2.2. Sean E, F espacios vectoriales sobre K y sean U, V subconjuntos absolutamente convexos de E con U V .
a) Para cada operador : E F se tiene
dk ppU q, pV qq dk pU, V q
b) Para cada operador : F E con pF q E, se tiene
dk p1 pU q, 1 pV qq dk pU, V q
c) Para cada operador : E F invertible se tiene
dk ppU q, pV qq dk pU, V q
d) dk pU, V q dk`1 pU, V q para todo k P N
e) Si U0 U V V0 entonces dk pU0 , V0 q dk pU, V q, para todo k.
f ) Si dim E n entonces dn`k pU, V q 0, para todo k P N.

36

Prueba.
Son consecuencias directas de la definicion del diametro de Kolmogorov.

Una desigualdad muy conocida en espacios con producto interno es la desigualdad

de Bessel, el lector interesado puede encontrarlo en [10] o cualquier otro texto de
analisis funcional.
Teorema 2.5. Sea ten u un sistema ortonormal en un espacio con producto interno
H. Entonces para todo x P H se cumple

k1

| xx, ek y |2 }x}2

Teorema 2.6. Sean H1 y H2 espacios de Hilbert, UH1 , UH2 sus bolas unitarias cerradas, T : H1 H2 lineal y continua. Entonces si T es compacto y
8

Tx
n xx, xn y yn es la representaci
on Schmidt de T entonces
n1

n dn pT UH1 , UH2 q n 1, 2,
Prueba.
Sea F Spanty1 , y2 , , ym u. Entonces dim F m y para x P UH1 tenemos
Tx P

nm`1

n xx, xn y yn ` F.

Como txn u es un sistema ortonormal, por la desigualdad de Bessel llegamos a que

}

nm`1

n xx, xn y yn }2

nm`1

2n | xx, xn y |2 2m

nm`1

| xx, xn y |2 2m

Por lo tanto dm pT UH1 , UH2 q m .

La desigualdad inversa es trivial si m 0, entonces supongamos que m 0 y
T UH1 UH2 ` F, dim F m

(2.3)

Sea h1 , , hu , u m, una base de F . Existe una solucion no trivial y P Spanty1 , , ym u

de las ecuaciones xy, hj y 0, j 1, , u. Por lo tanto y P F K .

37

Podemos escoger 1 , 2 , , m tal que

y

n1

n n yn T p

n1

n xn q T x

Como x 0, escribamos x1 tx y y 1 ty donde t

1
}x}

(2.4)

y tendremos

y 1 T x1 y y 1 P F K
As en (2.4) podemos asumir que }x}

n1

|n |2 1. Para f P F obtenemos

}T x f }2 }y f }2 }y}2 ` }f }2
m
m

2
2
2

n |n | m
|n |2

n1
2m

n1

entonces m . Como y F , en (2.3), fueron arbitrariamente escogidos, hemos

probado que
dm pT Ux , Uy q m


2.2.3.

Espacios localmente convexos nucleares

Definici
on 2.5. Un espacio vectorial topologico E es un K pR o Cq espacio
vectorial con una topologa el cual hace las aplicaciones suma f : E E E y
multiplicacion por un escalar : K E E continuas.
Una topologa en un K-espacio vectorial es claramente una topologa del espacio
vectorial si y solo si los siguientes enunciados son validos:
1. Para cada x, y P E y cada vecindad U de x ` y existen vecindades V de x y
W de y, tal que V ` W U .
2. Para cada 0 P K, x0 P E y cada vecindad U de 0 x0 existe 0 y una
vecindad V de x0 tal que:
tV : | 0 | , v P V u U
38

Observaci
on 2.5. En todo espacio vectorial topologico E se cumple lo siguiente:
a) Para cada y P E, la traslacion x x ` y es un homeomorfismo. En particular
las vecindades de cada x P E son de la forma
x ` V tx ` v : v P V u,
donde V es una vecindad de cero.
b) Para cada vecindad de cero U en E existe una vecindad de cero V en E con
V ` V U.
c) Para cada vecindad de cero U en E existe una vecindad de cero W U con
W tw : || 1, w P W u
d) Para cada vecindad de cero U en E tenemos E YnPN nU , ya que para cada
x
x P E la sucesion p qnPN converge a cero.
n
Por observacion 2.5, en todo espacio vectorial topologico, existe una base de vecindades cero de U, de conjuntos equilibrados y absorventes (i.e., E YnPN nU ), donde
para cada U P U existe V P U tal que V ` V U . Ademas si una topologa
en un K-espacio vectorial E tiene estas propiedades, entonces pE, q es un espacio
vectorial topologico.
Definici
on 2.6. Un espacio localmente convexo E es un espacio vectorial topologico
en el cual cada punto tiene una base de vecindades de conjuntos convexos.
Una topologa localmente convexa, en un K-espacio vectorial E, es una topologa
en E el cual hace a pE, q un espacio localmente convexo.
Lema 2.3. Para un espacio vectorial topol
ogico E los siguientes enunciados son
equivalentes
1. E es localmente convexo.
2. E tiene una base de vecindades de cero que son convexos.
39

3. E tiene una base de vecindades de cero que son absolutamente convexos.

Prueba.
Como las traslaciones de conjuntos convexos son convexos, la equivalencia de (1) y
(2) se obtiene de la observacion 2.5 (a). Como todo conjunto absolutamente convexo
es convexo, solo necesitamos probar (2) (3).
Sea U una vecindad de cero arbitraria. Entonces por la hipotesis existe una vecindad
convexa de cero V U , y por observacion 2.5 (c), existe una vecindad equilibrada
de cero W V . Para la capsula convexa W0 de W tenemos que W0 V U . W0
n
m

es absolutamente convexo ya que para x

j xj ,
j yj en W0 y , u P K con
j1

|| ` |u| 1 tenemos
x ` uy

j1

||j p

j1

u
xj q `
|u|j p yj q ` p1 || |u|q 0 P W0
||
|u|
j1


Lema 2.4. Si E es un espacio localmente convexo, entonces para cualquier vecindad
de cero absolutamente convexa U en E se cumple:
1. El funcional de Minkowski } }U : x nftt 0 : x P tU u, de U , es una
seminorma continua en E.

2. U tx P E : }x}U 1u U tx P E : }x}U 1u U
3.

1
U
2

Prueba. (1) es sencillo de la definicion y (3) es consecuencia directa de (2), as que

solo probemos (2). Las inclusiones
tx P E : }x}U 1u U tx P E : }x}U 1u
son claras de la definicion del funcional de Minkowski. Obviamente tx P E : }x}U

1u U y U tx P E : }x}U 1u. Para probar las otras inclusiones, notar que para

cada x PU existe un 0 con p1 ` qx PU . As, }x}U p1 ` q1 1. Si }y}U 1

1
para un y P E, entonces 1t y P U para cada t 1 y as y lm y P U .

t1 t
40

Observaci
on 2.6. Del lema anterior (3) se tiene que todo espacio localmente convexo tiene una base de vecindades de cero que son absolutamente convexos y cerradas.
Definici
on 2.7. Sea E un espacio localmente convexo. Una coleccion U de vecindades de cero en E es llamado un sistema fundamental de vecindades de cero, si para
cada vecindad de cero U existe un V P U y un 0 con V U .
Una familia p} } qPA de seminormas continuas en E es llamada un sistema fundamental de seminormas, si los conjuntos
U tx P E : }x} 1u, P A,
forma un sistema fundamental de vecindades de cero.
De acuerdo a esto, no es difcil probar que todo sistema fundamental de seminormas
p} } qPA en un espacio localmente convexo E, tiene las siguientes propiedades:
1. Para cada x P E, con x 0 existe un P A tal que }x} 0.
2. Para , P A existe P A y un C 0 tal que maxp} } , } } q C} } .
Lema 2.5. Todo espacio localmente convexo E posee un sistema fundamental de
seminormas.
Prueba.
Por el lema 2.3, E tiene una base de vecindades de cero U de conjuntos absolutamente
convexos. Entonces por el lema 2.4, p}}U qU PU es una familia de seminormas continuas
en E. Si V es una vecindad de cero cualesquiera en E, existe un U P U con U V ,
luego por el lema 2.4 (2) se tiene
tx P E : }x}U 1u U V
As p} }U qU PU forma un sistema fundamental de seminormas.

Observaci
on 2.7. Si un sistema fundamental de seminormas U es numerable entonces podemos asumir que U t} }k : k P Nu donde } }1 } }2 . Esto es posible
escribiendo }x}k

max Pj pxq donde tPj : j P Nu es un sistema fundamental de

j1,2, ,k

seminormas numerable.
41

Lema 2.6. Para un espacio localmente convexo E, los siguientes enunciados son
equivalentes:
1. E es metrizable.
2. E tiene una base numerable de vecindades de cero.
3. E tiene un sistema fundamental de seminormas numerable.
4. Una metrica invariante por traslaciones genera la topologa de E.
Prueba. (1) (2) y (4) (1) son obvias.
Para mostrar (2) (3) asumamos que U1 U2 es una base de vecindades de
cero absolutamente convexos. Pongamos }}k } }Uk . Entonces }}k son seminormas
continuas. Si p es una seminorma continua, entonces podemos escoger k tal que
Uk tx P E : ppxq 1u. Esto implica ppxq }x}k , @x P E.
Finalmente, para (3) (4), sea
8

1 }x y}k
dpx, yq
2k 1 ` }x y}k
k1

Es un ejercicio elemental mostrar que dp, q es una metrica invariante por traslaciones
que induce la topologa de E.

Lema 2.7. Sea E un K-espacio vectorial y p} } qPA una familia de seminormas

en E con las propiedades (1) y (2) de la definici
on 2.7. Entonces existe una u
nica
topologa localmente convexa en E, para el cual p}} qPA es un sistema fundamental
de seminormas.
Prueba.
Para cada x P E, P A y 0, sea
U, pxq ty P E : }y x} u
Entonces la coleccion de conjuntos
O tG E : para cada x P G existe un P A, 0 con U, pxq Gu
42

Es una topologa en E localmente convexa, para el cual p} } qPA es un sistema

fundamental de seminormas.
Si existe otra topologa O1 con las propiedades dadas, entonces U, pxq P O1 , para
todo x P E, P A y 0. Esto implica O O1 . Para mostrar que O1 O, sea

U P O1 con 0 P U . Entonces existen P A y 0 con U, p0q U p0q U U .

Como O y O1 son invariante por traslaciones, se tiene que O1 O.

Observaci
on 2.8. El lema 2.7 es usado frecuentemente para definir espacios localmente convexos como K-espacios vectoriales en el que una familia p} } qPA de
seminormas, satisfaciendo las propiedades (1) y (2) de la definicion 2.7, han sido
dadas.
Entre las clases de espacios localmente convexos resaltan los espacios de Frechet,
bornologicos, Schwartz, nucleares, etc. Todo el estudio anterior, sobre el diametro
de Kolmogorov y los espacios localmente convexos, fue necesario para ahora definir
formalmente un espacio localmente convexo nuclear.
Definici
on 2.8. Un espacio localmente convexo E se dice que es nuclear si para cada
c 0, m 1, 2, y una seminorma p prehilbertiana continua (i.e., una seminorma
que satisface p2 pu ` vq ` p2 pu vq 2p2 puq ` 2p2 pvq) existe otra seminorma q
prehilbertiana continua tal que
dk pBq , Bp q ck m para todo k
donde Bp tu P E : ppuq 1u es llamada la bola unitaria cerrada con respecto a
la seminorma p.
Si E es un espacio Frechet Nuclear (un espacio localmente convexo nuclear metrizable y completo) entonces tBpn un1 es una base de vecindades de cero con
p1 p2 (ver observacion 2.7 y Lema 2.6).
Informalmente, esto significa que si nos damos una bola unitaria cerrada de alguna
seminorna, es posible encontrar otra bola unitaria cerrada, de otra seminorma, contenida en la original o que para alguna vecindad de cero V existe otra vecindad de
cero contenida en V .
43

Hay varias definiciones de espacios nucleares, la utilidad de cada una de ellas depende
del contexto en que se trabaje. Probar la equivalencia de estas definiciones es un
trabajo no trivial.

2.2.4.

Teorema de Banaszczyk

Algunos lemas previos son necesarios para la prueba del Teorema de Banaszczyk.
Previamente definamos una elipsoide en Rn .
Definici
on 2.9. Una aplicacion afn T : Rn Rn es una aplicacion de la forma
T x Ax ` b, A : Rn Rn es lineal y b P Rn un vector constante. Un elipsoide
C n-dimensional en Rn con centro b es la imagen de la bola unitaria cerrada en Rn
bajo una aplicacion afn no singular, i.e.,
C T pUn q ApUn q ` b
con T aplicacion afn no singular (det A 0) y Un la bola unitaria cerrada en Rn .
Observaci
on 2.9. Sea C un elipsoide en Rn , luego
C T pUn q, T aplicacion afn no singular
ApUn q ` b, A lineal y det A 0
Por el teorema 2.4
P U pUn q ` b, P positivo y U unitario
C P pUn q ` b
donde los autovalores de P son llamados los semiejes principales de C.
Lema 2.8. Sea C un elipsoide n-dimensional en Rn con semiejes principales 1 , 2 , , n .
Sea P un paraleleppedo rectangular circunscrito a C. Entonces

1{2
n

diamP 2
.
2k
k1

44

Prueba. Podemos asumir que el centro de C es el origen. Sea T : Rn Rn un

operador lineal tal que T pUn q C. Tomamos una base ortonormal tek unk1 de Rn
cuyos vectores son paralelos a los ejes del paraleleppedo P . Entonces
#
+
n

P
tk ek : |tk | Sk , k 1, , n
k1

donde Sk 0 es la mitad del tama

no de la arista paralela a ek .
Para cada k 1, , n, se tiene

Sk sup xT u, ek y sup xu, T ek y }T ek }

uPUn

(2.5)

uPUn

Veamos que
1
diamP
2
en efecto,
Sean x, y P P entonces x

k1

}x y}2 }

|t1k t2k | 2

Sk2

k1

1{2

t1k ek , y
n

k1

pq
t2k ek con |tik | Sk k 1, 2. Entonces
n

pt1k t2k qek }2

k1

como
2

Sk2

k1

|t1k t2k |2

entonces }x y} 2

luego
sup }x y} 2

x,yPP

Sea x

k1

Sk e k P P y y

k1

Sk2

k1

Sk2

k1

1{2

1{2

(2.6)

Sk ek P P entonces

}x y}2 }2
luego

k1

S k e k }2 2 2

}x y} 2

Sk2

k1

De (2.5), (2.6) y (2.7) sup }x y} diamP 2

x,yPP

45

Sk2

k1

1{2

k1

(2.7)

Sk2

1{2

k1

}T ek }2

1{2

Afirmaci
on:

k1

en efecto
Como

tej unj1

}T ek }2

k1

}T ek }2

es una base ortonormal de R entonces T ek

Por lo tanto
n

k1

}T ek }

Al n
umero

k1

}T ek }2

1{2

n
n

k1 j1
n
n

j1 k1

| xT ek , ej y |

n
n

k1 j1
n

| xT ej , ek y |2

j1

j1

xT ek , ej y ej

| xek , T ej y |2

}T pej q}2

se le llama la norma Hilbert-Schmidt del operador T y

de la afirmacion cambiando ek por e1i donde te1i uni1 es otra base ortonormal de Rn
se deduce que

k1

}T ek }2

i1

}T e1i }2

es decir la norma Hilbert-Schmidt de un operador no depende de la base ortonormal.

Finalmente por teorema 2.4 T U P , U unitario, P positivo con autovalores
1 , 2 , , n luego del teorema 2.3
Px

i1

n xx, xn y

de donde txn uni1 es una base ortonormal de Rn .

Entonces
UP x
Tx

i1
n

i1

n xx, xn y U pxn q
n xx, xn y yn

(2.8)

Por lo tanto de pq

1{2

1{2
n
n
n
n

diamP 2
2
Sk2
}T ek }2 2
}T xn }2 2
2k
k1

k1

k1

k1


46

Lema 2.9. Sea C un elipsoide n-dimensional en Rn con semiejes principales

1 n
entonces dk pC, Un q k , k 1, 2, , n
Prueba. Como C T pUn q, T lineal y det T 0; luego por el Teorema 2.4 T U P ,
U unitaria y P positivo con autovalores 1 , 2 , , n luego por Teorema 2.3
Px

i1

n xx, xn y xn , txn uni1 es una base ortonormal de Rn

Entonces
UP x
Tx

i1
n

i1

n xx, xn y U pxn q
n xx, xn y yn

es la representacion Schmidt del operador T .

Aplicando el Teorema 2.6 concluimos que
k dk pT pUn q, Un q dk pC, Un q, k 1, 2, , n

Observaci
on 2.10. Sea C un elipsoide n-dimensional en Rn con semiejes principales
1 2 n , luego T pUn q C con T lineal y det T 0. Queremos calcular
dk pUn , Cq, pero como

1
1

1
2

1
n

y del Lema 2.2 (b) tenemos que

dk pUn , Cq dk pT 1 pUn q, T 1 pCqq dk pT 1 pUn q, Un q

entonces dk pT 1 pUn q, Un q 1
k , k 1, 2, , n.
Lema 2.10. Sea C un elipsoide n-dimensional en Rn con centro en cero y semiejes
principales 1 , , n tal que
2
2
1 ` ` n 1

47

(2.9)

Sea M un subespacio afn pn 1q-dimensional en Rn con

M X Un H

(2.10)

entonces C XM es un elipsoide n1 dimensional; denotando sus semiejes principales

por u1 , , un1 , se verifica
2
u2
1 ` ` un1 1

(2.11)

Prueba.
Por (2.9), Un C, y por lo tanto de (2.10) C X M H.

Como M es un subespacio afn pn 1q-dimensional en Rn , entonces M x ` N ,

donde N subespacio pn 1q-dimensional en Rn .

Como M X Un H entonces N X Un H. Luego consideremos un isomorfismo f de

Rn tal que f pCq Un , luego C XN f 1 pUn qXf 1 pAq f 1 pUn XAq f 1 pUn1 q
donde A subespacio pn 1q-dimensional en Rn .
Finalmente
C X M x ` f 1 pUn1 q es un elipsoide pn 1q-dimensional.
Asumamos que los semiejes principales de C estan en orden creciente:
1 n
Entonces por la observacion 2.10
dk pUn , Cq 1
k

(2.12)

Similarmente, denotando por el centro de la elipsoide C X M , M0 M u y

asumiendo que los semiejes principales 1 , 2 , , n1 de C X M esten en orden
creciente, obtenemos
dk pUn X M0 , pC X M q uq 1
k
Sea N f pM q, N0 f pM0 q, D f pUn q
48

(2.13)

D f pUn q y vk 1
k ; entonces v1 , , vn son los semiejes principales de la elipsoide
D. Por condicion (2.9)
v12 ` ` vn2 1

(2.14)

Sea P un paraleleppedo rectangular circunscrito a D tal que una de sus caras pn1qdimensionales es paralela a N0 . De (2.14) y del lema 2.8 tenemos que P Un . Por
construccion, D P y N0 X D H ya que M0 X Un H.

Sea : Rn N0 la proyeccion ortogonal. Entonces es claro que pP q es un paraleleppedo rectangular pn1q-dimensional que circunscribe al elipsoide pDq; ademas,
pP q pUn XN qf puq, luego diampP q 2 (trabajando con la metrica euclidiana)
y por lema 2.8

k1

d2k ppDq, pUn X N q f puqq 1

(2.15)

y como D X N0 pDq, por el lema 2.2 (e), (2.15) implica que

n1

k1

d2k pD X N0 q, pUn X N q f puqq 1

(2.16)

finalmente como f 1 es un isomorfismo, por Lema 2.2 (c) concluimos que

dk pD X N0 , pUn X N q f puqq dk pf 1 pD X N0 q, f 1 ppUn X N q f puqqq
dk pUn X M0 , pC X M q uq u1
k
As de (2.13) y (2.16) obtenemos (2.11).

Lema 2.11. Sea A un espacio euclidiano afn n-dimensional y P un paraleleppedo

n-dimensional en A tal que la medida de cada una de sus aristas es menor o igual
a 1. Sea C un elipsoide n-dimensional en A con semiejes principales 1 , , n tal

2
que 2
1 ` ` n 1. Si P contiene el centro de C, entonces C contiene alguna

arista de P .
Prueba.
Usaremos induccion sobre n. Para n 1, el lema es trivial. Supongamos que el lema
es cierto para espacios pn 1q-dimensionales, n 2. Sea u el centro de C. Podemos
encontrar una isometra afn T : A Rn con T u 0.
49

Definamos
s suptr 0 : rT pCq T pP qu
Sea F una cara pn 1q-dimensional de T pP q tangente al elipsoide sT pCq. Sea w el
punto en com
un de F y sT pCq y M un subespacio afn pn 1q-dimensional de Rn
que contiene a F .

sT (C )
w

Luego como las aristas de T pP q son menores o iguales a uno, tenemos que M X Un
H.
Luego por el lema 2.10 tenemos que T pCq X M es un elipsoide pn 1q-dimensional,
y si u1 , , un1 son sus semiejes principales, entonces
2
u2
1 ` ` un1 1

Como w es el centro de T pCq X M y w P F , la hipotesis inductiva afirma que alguna

arista de F esta contenida en T pCq X M .
Esto significa que T pCq contiene alguna arista de T pP q, es decir, C contiene alguna
arista de P .

50

Para cada s P N, denotemos a Is a la coleccion de todos los subconjuntos de

t1, 2, , su.
Lema 2.12. Sea p q dos seminormas prehilbertianas en un espacio vectorial E,
tal que

k1

d2k pBp , Bq q 1

(2.17)

Tomemos b P E y v1 , , vs P Bp con s 2. Si un vector y P E pertenece al conjunto

convtb `

iPI

vi : I P I s u

(2.18)

entonces existe alg

un j P Is tal que 1 card J s 1 y b `
Prueba.

iPJ

vi P Bq ` y.

Sin perdida de generalidad podemos asumir que p, q son normas y v1 , , vs son

linealmente independientes. As, podemos asumir que E Rs y Bp Us . Entonces

el conjunto de (2.18), denotado por P , es un paraleleppedo s-dimensional y Bq ` y

un elipsoide s-dimensional en Rs . Si 1 , , s son los semiejes principales de Bq `y,

entonces, por (2.17), tenemos que
2
2
1 ` ` s 1

En virtud del lema 2.11, existe una arista de P contenida en Bq ` y. Como s 2,

s

se tiene que Bq ` y contiene alg

un vertice de P distinto de b y
vi . Como todo
i1

vertice de P tiene la forma b `

vi para alg
un J P Is , 1 card J s 1, esto
iPJ

completa la prueba del lema.



Sea
ui una serie convergente en un espacio vectorial topologico E. Para cada
i1

m P N, sea

Zm
Definimos

i1

ui

i1

iPI

ui

ui : I tm, m ` 1, u finito

m1

51

Zm

i1

ui

En lo que sigue denotaremos a Zm

i1

ui

simplemente por Zm .

Lema 2.13. Sea

ui una serie convergente en un espacio vectorial topol
ogico,
i1

entonces U
ui es un subgrupo aditivo cerrado de E.
i1

Prueba.

Trivialmente U
ui es cerrado. Veamos que es un subgrupo aditivo de E.
i1

Sea x, y P U
ui , debemos probar que x P U
ui y que x ` y P
ui .
i1

i1

i1

En efecto

q Fijemos m P N, U vecindad de cero, entonces por observacion 2.5 existe V

vecindad de cero tal que V ` V U .

Como
ui es convergente, existe n m tal que para todo N n tenemos
i1

in

ui P V .

En particular x P Zn , es decir, cualquier vecindad de x, digamos x`V , satisface

px ` V q X Zn H
entonces
x

iPI

ui P V, I tn, n ` 1, u finito

(2.19)

Sea N 1 maxtmax I, nu, T tn, n ` 1, , N 1 u, entonces de (2.19)

x`

N1

ui x
ui `
ui P U
in
iPT I
iPI
lo
omoon
loooomoooon
PV

PV

Claramente T I tm, m ` 1, u finito, y como U es equilibrado entonces

x
ui P U
iPT I

52

luego
px ` U q X Zm H, @m P N
Por lo tanto x P Z m , @m P N
entonces
x P
q Como y P U

i1

ui

m1

Zm U

ui

i1

entonces y P Z R con R k ` 1, k max I, esto es

py ` V q X Zk`1 H

en consecuencia
y

iPJ

ui P V, J tk ` 1, k ` 2, u finito

luego como I X J H se tiene

x`y

iPIYJ

ui

x ui ` y
ui | P U
iPI
iPJ
loooooomoooooon loooooomoooooon
PV

PV

Claramente I Y J tm, m ` 1, u
entonces

ppx ` yq ` U q X Zm H, @m P N
Por lo tanto x ` y P Z m , @m P N
entonces
x`y P

m1

Zm U

i1

ui

53

Lema 2.14. Sea

ui una serie convergente en un espacio localmente convexo me-

i1

trizable y completo E. Entonces

A
ui
ui ` U
ui
i1

donde

i1

ui

i1

i1

tw P E : existe una permutaci

on de N y una sucesi
on
j1 j2 tal que w lm

n8

jn

i1

upiq

Prueba.
Como E es espacio localmente convexo metrizable, entonces por el lema 2.6
existe una base numerable de vecindades de cero pUn qn1

Sea x P
ui ` U
ui
i1

i1

Sea n0 1, existe V vecindad de cero tal que V ` V U1

Por el lema 2.13 se tiene
x `

i1

ui P U

i1

ui

entonces
x `

i1

ui P Z m , para todo m P N

en particular
x `

i1

ui P Z n 0

luego para cualquier U vecindad de cero se cumple que

u i ` U X Zn 0 H
x `
i1

54

en particular

x `

ui

i1

`V

X Zn 0 H

As existe J1 tn0 , n0 ` 1, u finito tal que

x `

i1

ui

iPI1

ui P V

Como V es equilibrado entonces

ui `

i1

iPI1

ui P V

(2.20)

Ademas existe n1 maxtmax I1 , n0 u tal que

i1

ui

n
1 1
i1

ui P V

(2.21)

De (2.20) y (2.21) obtenemos

n
1 1

P U1
x
ui `
ui ` ui
i1
i1
i1
iPI
1
looooooooomooooooooon looooomooooon
PV

PV

entonces

n
1 1
i1

iPI1

ui P U1

Procediendo por induccion, encontramos

Ik tnk1 , nk1 ` 1, u finito y
nk maxpmax Ik , nk1 q tal que
x

n
k 1
i1

ui `

iPIk

ui P Uk

Sea Tk tnk1 , nk1 ` 1, , nk 1u, entonces tenemos

x

n
k 1
i1

nk1 1

ui `

iPIk

ui x

i1

ui

n
k 1

ink1

nk1 1

ui `

iPIk

ui x

ui
ui P Uk
i1
iPT
I
k
k
looooooooooomooooooooooon

55

Ahora, sea jk nk 1 |Ii | y construimos una permutacion de los naturales

con
ptnk1 , , jk uq Tk Ik
ptjk ` 1, , nk 1uq Ik para todo k
Por u
ltimo
lm

k`8

jk

i1

upiq lm pk q x
k`8

Sea pjk qkPN N creciente y una permutacion de N tal que

x lm

k`8

jk

upiq

i1

Fijemos m P N, U vecindad de cero. Sea n m y k P N tal que

n

i1

ui

i1

ui P U, t1, 2, , nu tp1q, p2q, , pjk qu y

x

jk

i1

upiq P U.

Sea I tp1q, p2q, , pjk qu t1, 2, , nu entonces

x

Por lo tanto

i1

ui

jk

iPI

ui P Zm y

ui P U ` U
ui x
upiq ` ui
i1
i1
i1
iPI
looooomooooon loooooomoooooon

PU

x
luego

i1

xP

PU

ui P Z m para todo m

i1

ui ` U

i1

ui

Un corolario del Teorema de Hahn-Banach que sera de utilidad para el siguiente

lema es:
56

Corolario 2.2. Sea C E un conjunto abierto convexo y x0 P E con x0 R C.

Entonces existe f P E 1 tal que f pxq f px0 q @x P C. (Ver [22].)
Lema 2.15. Sea

ui una serie convergente en un espacio nuclear completo. En-

i1

tonces

ui

i1

ui

i1

Prueba.
Denotemos a nuestro espacio nuclear por E. Probemos que

8
8

0
ui U
ui
i1

i1

La otra inclusion es trivial. Sea w P EzU

ui . Como U

i1

i1

ui

es cerrado y

no contiene a w, existe una seminorma q prehilbert continua tal que

pw ` Bq q X U
ui H.
i1

Por definicion de U

q w

iPI

ui

i1

ui , existe un ndice m tal que w ` Bq P Zm , es decir,

1, para cualquier I tm, m ` 1, u finito.

(2.22)

Por definicion de nuclearidad, podemos encontrar otra seminorma p prehilbert continua con p q y

k1

d2k pBp , Bq q

1
4

(2.23)

Aumentando el valor de m, si es necesario, podemos asumir que

ppui q 1 para todo i m
Sea
Q

im

ti ui : ti P r0, 1s, l no fijo

57

(2.24)

Afirmamos que

1
Q X w ` Bq H
2
Supongamos lo contrario. Entonces existen tm , , tl P r0, 1s tal que
y

1
t i ui P w ` B q
2
im

(2.25)

(2.26)

Podemos asumir que s l m 2. Denotemos a vi ui`m1 para

i 1, , l m ` 1. De (2.23) y (2.24) y el lema 2.12 con b 0 y q reempla1
zado por q, vemos que
2

1
q y ui para J tm, , lu
(2.27)
2
iPJ

De (2.26) y (2.27) obtenemos que q w ui 1, el cual contradice (2.22). Esto

iPJ

prueba (2.25). As en virtud del corolario del teorema de Hahn-Banach, existe f P E 1

que separa estrictamente w de Q
sup f puq f pwq

(2.28)

uPQ

En particular,

iPI

ui

f pwq para cualquier I tm, m ` 1, u finito

(2.29)

f pui q converge. Por lo tanto, dee (2.29) y

i1
i1

8
8

|f pui q| 8, es decir, f P
ui . De
el Teorema de Riemann, tenemos que
i1
i1

(2.28) obtenemos que f pwq 0 ya que 0 P Q. As w R 0

ui .


Como la serie

ui converge, entonces

i1

Lema 2.16. Sean B C D tres elipsoides con el mismo centro n-dimensionales

en Rn tal que

k1
8

k1

d2k pB, Cq 1

(2.30)

1
4

(2.31)

d2k pC, Dq
58

Para cualesquiera u1 , , ul P B y a P C con a `

de t1, , lu tal que
a`

i1

i1

ui P C, existe una permutaci

on

upiq P D pj 1, 2, , lq

Prueba.
Aplicaremos induccion sobre n. Para n 1, el lema es trivial. Fijemos un entero
m 2 y supongamos que el lema es cierto para n m 1. Probaremos que tambien
es cierto para n m.

Sea F G H tres elipsoides en Rm centradas en cero, tal que

m

k1
m

k1

d2k pF, Gq 1

(2.32)

1
4

(2.33)

d2k pG, Hq

(2.34)

Vamos a probar que:

$
l

wi P G, existe

& para cualesquiera w1 , w2 , wl P F y b P G con b `

i1
pq
j

wpiq P H pj 1, , lq

% una permutacion de t1, , lu tal que b `

i1

Para probar (), aplicaremos induccion sobre l. Para l 1, no hay nada que probar.
Fijemos un entero s 2 y supongamos que () es verdadero para todo l s.
Probaremos que () es verdadero para l s.
Tomemos cualesquiera V1 , , vs P F y b P G con b `
encontrar una permutacion de t1, , su tal que
b`

i1

vpiq P H pj 1, , sq

Consideremos dos casos.

59

i1

vi P G. Tenemos que

(2.35)

Caso 1: La capsula convexa del conjunto

#
+

Z b ` vi : I P I s
iPI

contiene al cero. Sean p y q normas en Rm con Bp F y Bq G. Entonces

de (2.32) y el lema 2.12 con y 0, existe un J P Is tal que 1 card J s 1 y

b` iPJ vi P G. Denotemos a r card J y sean w1 , , wr los elementos consecutivos

del conjunto tvi uiPJ . Por nuestra hipotesis inductiva () es verdad para l r, existe

una permutacion de t1, , ru tal que

b`

i1

wpiq P H pj 1, , rq

En otras palabras, podemos ordenar los elementos de J en una sucesion p1q, , prq
tal que
b`
w11 ,

1
, wsr

i1

vpiq P H pj 1, , rq

(2.36)

los elementos consecutivos del conjunto tvi uiRJ . Sea l

s r en () y reemplazando b por b ` iPJ vi , vemos que existe una permutacion

Ahora, sean

de t1, , s ru tal que

b`

iPJ

vi `

i1

w1 piq P H pj 1, , s rq

En otras palabras, podemos ordenar los elementos de t1, , suzJ en una sucesion
pr ` 1q, , ps rq
Tal que
b`

iPJ

vi `

ir`1

vpiq P H pj r ` 1, , sq

(2.37)

Entonces es una permutacion de t1, , su y (2.35) se obtiene de (2.36) y (2.37).

Caso 2: Supongamos ahora que cero no pertenece a la capsula convexa de Z. As,
en virtud del corolario del Teorema de Hahn-Banach, existe un funcional f en Rm
con
f puq 0, para todo u P Z
60

(2.38)

Sea h suptf puq : u P Gu. Evidentemente, Z es simetrico con respecto al punto

s

medio del segmento que une b y b `

vi . Como el punto medio pertenece a G, de
i1

(2.38) se tiene que

f puq 2h, para todo u P Z

(2.39)

Podemos asumir que H Um y que ker f Rm1 , Sea : Rm Rm1 la proyeccion

ortogonal. Por el lema 2.2 a), llegamos a que
m1

k1

d2k ppF q, pGqq

Por lo tanto, de (2.32), obtenemos que

m1

k1

k1

d2k pF, Gq

d2k ppF q, pGqq 1

(2.40)

Podemos encontrar un paraleleppedo rectangular P m-dimensional circunscrito a

G tal que una de sus caras sea paralela a Rm1 . De (2.33) y el lema 2.8 tenemos que
2P Um . As, llegamos a que
2pP q W pUm

f 1 p2hqq

(2.41)

Obviamente pP q es un paraleleppedo pm 1q dimensional circunscrito al elipsoide

pm 1q dimensional pGq. De (2.41) y el lema 2.8 obtenemos
m1

k1

d2k ppGq, W q

1
4

(2.42)

Denotemos a B pF q, C pGq y D W . Entonces de (2.40) y (2.42) obtenemos

(2.30) y (2.31), respectivamente. Luego, sea n m 1, l s, a pbq y ui pvi q
para i 1, , l. Entonces a P C, u1 , , ul P B y

l
s
s

a`
ui pbq `
pvi q b `
vi P pGq C
i1

i1

i1

Luego, las hipotesis del lema 2.16 son satisfechas. Como se asumio verdadero, el
lema 2.16, para n m 1, entonces existe una permutacion de t1, , su tal que
pbq `

i1

pvpiq q P W pj 1, , sq
61

(2.43)

De (2.38), (2.39) y (2.43) concluimos que

b`

i1

vpiq P L 1 pW q

f 1 pr0, 2hsq pj 1, , sq

Finalmente, no es difcil darse cuenta que L Um . Esto prueba (2.35).

Corolario 2.3. Sean p q r tres seminormas pre-Hilbert en un espacio vectorial,

tal que

k1

d2k pBp , Bq q

1y

k1

d2k pBq , Br q

Para cualesquiera u1 , , ul P Bp y a P Bq con a`

de t1, , lu tal que
a`

i1

i1

1
4

ui P Bq , existe una permutacion

upiq P Br para j 1, , l

Prueba. Es consecuencia directa del Lema anterior.

Prueba del Teorema 2.2 (Banaszczyk)

Denotemos a nuestro espacio Frechet nuclear por E. En virtud del lema 2.15, es
suficiente probar que
S

ui

i1

i1

ui

ui

i1

Luego, por el lema 2.14, existe una permutacion de N y una sucesion j1 j2

jn

tal que w lmn8

upiq . Podemos encontrar una sucesion p1 p2 de
i1

seminormas prehilbert en E tal que tBpn u8

n1 es una base de vecindades de cero en
E y por definicion de nuclearidad se consigue que
8

k1

d2k pBpn`1 , Bpn q

1
4

para cada n P N. Incrementandose jn , si es necesario, podemos asumir que

jn

pn`1 w
upiq 1
i1

62

(2.44)

(2.45)

para cada n P N, y que

pn`2 pupiq q 1

(2.46)

para cada n P N y todo i jn .

Fijemos un ndice arbitrario n. Reemplazando n por n ` 1 en (2.44), obtenemos que
8

k1

d2k pBpn`2 , BPn`1 q 1

(2.47)

y reemplazando n por n ` 1 en (2.45), obtenemos que

j
n`1
pn`1 w
upiq 1

(2.48)

i1

ya que pn`1 pn`2 . Por (2.44) - (2.48) y el corolario del lema 2.16 tenemos que
existe una permutacion n del conjunto tpjn ` 1q, , pjn`1 qu tal que

jn
l

pn w
upiq
un ppiqq 1

(2.49)

ijn `1

i1

para l jn ` 1, , jn`1 .
Sea una permutacion de N definida por
$
& ppiqq , j ` 1 i j
n
n
n`1
piq
%
i
, i j1

Como (2.49) es verdad para todo n, entonces

pn w
upiq 1 pl jn : n P Nq
i1

Esto significa que la serie

que

i1

upiq converge a w. As w P S
8

i1

ui

i1

ui S

i1

ui

i1

ui , el cual prueba

La otra inclusion es una consecuencia trivial del Lema 2.14.

Observaci
on 2.11. Si omitimos la nuclearidad en el teorema de Banaszczyck, en
[13] se prueba que existe una serie que no satisface (2.1).
63

Observaci
on 2.12. Chasco y Chobanyan en [20] dieron algunas condiciones a una
8

serie
ui convergente en un espacio localmente convexo metrizable, para que el
i1

conjunto S
ui tenga la forma de (2.1).
i1

Concluimos el trabajo mencionando algunos problemas abiertos

1) Encontrar espacios concretos y condiciones en una serie convergente para que su
conjunto de sumas de reordenamientos convergentes tenga la forma de (2.1).
2) contiene todo espacio de Frechet no nuclear una serie cuyo conjunto de sumas
de reordenamientos convergentes consista en dos puntos?
3) Existe una serie en un espacio de Banach cuyo conjunto de sumas de reordenamientos convergentes es un subespacio afn no cerrado?

64

Bibliografa
[1] T.M. APOSTOL,Analisis Matem
atico. Segunda edicion, Ed. Reverte. Barcelona 2006.
[2] RUDIN, W., Principles of Mathematical Analysis. MC Graw - Hill, New York,
1953.
[3] E.L. LIMA, Curso de Analisis Matem
atico. Vol. 1 (8va edicion). Poyecto Euclides, IMPA, 1994.
[4] M.I. KADETS y V.M. KADETS, Series in Banach Spaces. Birkhausen Verlag.
Besel, 1997.
[5] J. DIESTEL, Sequences and Series in Banach Spaces. Springer, New York,
1984.
[6] J. DIESTEL, H.JARCHOW, A. TONGE, Absolutely Summing Operators. Cup
(1995).
[7] H.H. SCHAEFER, Topological Vector Spaces. 3rd printing, Berlin-Heidelberg New York 1971.
[8] W. BANASZCZYK, Additive Subgroups of Topological Vector Spaces. Springer
- Verlag, Berlin Heidelberg 1991.
[9] J.R. RETHERFORD, Hilbert Spaces: Compact Operators and the Trace Theorem. Cambridge University Press 1993.
65

[10] R. MEISE y D. VOGT, Introduction to Functional Analysis. Clarendon Press,

Oxford, 1977.
[11] A. PIETSCH, Nuclear Locally Convex Spaces. Springer, Berlin, 1972.
[12] D. VOGT, Lectures on Frechet Spaces. Bergishe Universitat Wuppertal, Sommersemster 2000.
[13] W. BANASZCZYK, Rearrangement of Series in Nonnuclear Spaces. Studia
Math 107 (1993), 213 - 222.
[14] W. BANASZCZYK, The Steinitz Theorem on rearrangement for Series for
Nuclear Spaces. J. Reine Angew. Math 403(1990), 187 - 200.
[15] W. BANASZCZYK, The Steinitz Constant of the Plane. J. Reine Angew. Math.
373(1987), 218-220.
[16] P. ROSENTHAL, The Remarkable Theorem of Levy and Steinitz. Amer. Math.
Monthly 94.4(1987), 342-351.

[17] J. ALCANTARA
BODE, Reorderings of Series in Banach Spaces and Some
Problems in Number Theory. International Journal of Pure and Applied Mathematics. 17(2004), 319 - 326.
[18] E. STEINITZ, Bedingt Konvergente Reihen and Konvexe Systeme. J. Reine
Angew. Math. 143(1913), 128 - 175.
[19] V.S. GRINBERG and S.V. SEVASTYANOV, Value of the Steinitz Constant.
Funktsional. Anal. i Prilozhen.14 (1980), 56 -57.
[20] M.J. CHASCO y S. CHOBANYAN, On Rearrangement of Series in Locally
Convex Spaces. Michigan Math. J. 44.3(1977), 607 - 617.
[21] J. BONET Y A. DEFANT, The Levy-Steinitz Rearrangement Theorem for
Duals of Metrizable Spaces. Israel J. Math. 117(2000), 131 - 156.
66

[22] H. BREZIS, Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer; 1st Edition.edition (November 10, 2010).
[23] A. WALD, Bedingt Konvergente Reihen Von Vektoren im Rw , Ergebn.math.kolloqu. 5(1933), 13-14.
[24] S. ROLEWICZ, Metric linear spaces, second enlarged edition, PWN Polish
Scientific Publishers, Warszawa 1984.
[25] H. JARCHOW, Locally Convex Spaces, B.G. Teubner, Stuttgart (1981).
[26] L. NARICI and E. BECKENSTEIN, Topological Vector Spaces, Second Edition
(2010).
[27] HOFFMAN, K., and R. KUNZE. Linear Algebra. Prentice-Hall Inc., 1961.
[28] K. YOSIDA, Functional Analysis. Springer-Verlag Berlin Heidelberg New York
1980.
[29] W. RUDIN, Functional analysis, New York 1973.

67