Series de Fourier Siempre Divergentes

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
168 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2.1.14. | Series de Fourier siempre divergentes
En su libro: Thorie Analytique de la Chaleur, el cual fue publicado en 1822, Fourier present por
primera vez su teora de las series trigonomtricas, donde audazmente declaraba, basado en algunos ejem-
plos muy particulares, que cada funcin peridica de perodo 2 puede ser representada por una serie
trigonomtrica muy particular, conocida hoy en da por el nombre de serie de Fourier. Al parecer, la comu-
nidad de matemticos admiti tal armacin como un desafo y, como muchas otras armaciones dadas por
matemticos de renombre que decretan su veracidad sin demostrarla, los matemticos se han gastado ms
de un siglo tratando de ver cmo probar tal declaracin. De hecho, muchos matemticos de la poca solan
pensar que la serie Fourier de cualquier funcin continua deba converger puntualmente en todo su dominio.
En 1876, Paul du Bois Reymond exhibe el primer ejemplo de una funcin continua denida sobre [, ]
cuya serie de Fourier diverge en un punto. La existencia de una tal funcin (que probaremos ms adelante)
se demuestra sin mucha dicultad usando el Principio de Acotacin Uniforme el cual, como ya hemos visto,
se soporta sobre el Teorema de Categora de Baire. Ms aun, usando el Teorema de Categora de Baire se
demuestra la abundancia (en un conjunto residual) de funciones continuas que poseen un conjunto G
-denso
de puntos de no convergencia ([78], pg. 684), aunque dicho conjunto tiene medida de Lebesgue cero. Para
terminar de hacer el panorama ms complicado, A. Kolmogorov, en 1922, cuando apenas contaba con 19
aos de edad (vase, [268], [432]), produce el primer ejemplo de una funcin f L
1
[, ] cuya serie de
Fourier diverge casi-siempre (en el sentido de la medida de Lebesgue) en [, ], aunque, como comenta
el propio Kolmogorov, a l no le fue posible, para ese momento, construir una serie de Fourier siempre di-
vergente. Tres aos ms tarde, en 1926, Kolmogorov anuncia (sin prueba), en el artculo [269], la existencia
de una serie de Fourier siempre divergente. Con todo este panorama de resultados desagradables todava,
para ese momento, se desconoca si una funcin continua poda tener una serie de Fourier que diverge sobre
un conjunto de medida positiva. Luzin conjetur que eso no poda ocurrir. En 1966, Carleson demostr que
la conjetura de Luzin era cierta, es decir, la serie de Fourier de cualquier funcin continua sobre [, ] con-
verge casi-siempre. Es ms, Carleson demuestra que la serie de Fourier de cualquier f L
2
[, ] converge
casi-siempre ([78], pg. 685). El mismo ao de 1966, Jean-Pierre Kahane y Y. Katznelson prueban que dado
cualquier subconjunto del crculo con medida de Lebesgue cero, existe una funcin continua cuya serie de
Fourier diverge sobre ese conjunto [249]. Una exposicin ms detallada de todos estos hechos se pueden
encontrar, por ejemplo, en los excelentes artculos de Jean-Pierre Kahane [247], P. L. Ulyanov [432] y S. H.
Jones [241].
Como siempre, si denota la medida de Lebesgue sobre R y 1 p < , entonces L
p
() denota el
espacio de Banach de todas las funciones medibles Lebesgue (clases de equivalencias) f denidas sobre R
con la norma ||
p
dada por
| f |
p
:=
_
_
R
[ f (t)[
p
dt
_
1/p
< .
Suponga ahora que T = z C : [z[ = 1 es el crculo unitario en C. Existe un mecanismo sencillo de
identicar las funciones denidas sobre T con las funciones 2-peridicas denidas sobre R (esto quiere
decir que f (t) = f (t +2) para todo t R). En efecto, si F es cualquier funcin denida sobre T y si f es la
funcin sobre R denida por
f (t) = F(e
it
) (1)
entonces f es una funcin peridica de perodo 2. Recprocamente, si f es una funcin peridica sobre
R, con perodo 2, entonces existe una funcin F sobre T tal que (1) se cumple. Como cada funcin 2-
peridica f sobre Rqueda completamente determinada por sus valores en, digamos, [, ], entonces, con la
identicacin en mente antes mencionada, podemos suponer que T es el intervalo [, ] donde los extremos
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.1 Galera de monstruos: funciones y otros objetos raros pero abundantes 169
de ese intervalo se identican uno con el otro. Por esta razn podemos describir a L
p
(T) como el espacio
de todas las funciones (clases de equivalencias) f medibles Lebesgue, 2-peridicas denidas sobre [, ]
para la cual
| f |
p
:=
_
1
2
_

[ f (t)[
p
dt
_
1/p
es nita. En otras palabras, estamos considerando a L
p
(T) como todas las funciones f L
p
(/2) que son
2-peridicas.
Un polinomio trigonomtrico es una suma nita de la forma
p(t) =
a
0
2
+
n
k=1
(a
k
cos kt +b
k
senkt) (2)
donde t R, a
0
, a
1
, . . . , a
n
y b
1
, . . . , b
n
son nmeros complejos. Es claro que todo polinomio trigonomtrico
es una funcin 2-peridica. Teniendo en cuenta que e
ikt
= cos kt +isenkt, podemos reescribir (2) en la
forma
p(t) =
n
k=n
c
k
e
ikt
, t R, (3)
donde b
0
= 0, c
0
= a
0
/2 y, para cada k 1, . . . , n,
c
k
=
a
k
i b
k
2
y c
k
=
a
k
+i b
k
2
.
Diremos que p(t) =
n
k=n
c
k
e
ikt
tiene grado n si tanto c
n
, as como c
n
, son distintos de cero.
Para cualquier f L
1
(T), denimos los coecientes de Fourier de f por la frmula
f (n) =
1
2
_

f (t)e
int
dt, n Z. (4)
La serie
+
n=
f (n)e
int
,
asociada a la funcin f , se llama la serie de Fourier de f y su n-sima suma parcial, para n = 0, 1, 2, . . .,
viene dada por
S
n
( f , t) =
n
k=n
f (k)e
ikt
.
En general, cualquier serie de la forma
+
n=
c
n
e
int
, es llamada una serie trigonomtrica.
Si ahora denimos el producto interno en L
2
(T) por
f , g) =
1
2
_

f (t)g(t) dt f , g L
2
(T)
y si hacemos e
k
(t) = e
ikt
para todo t [, ] y todo k Z, tendremos que
e
n
, e
m
) =
1
2
_

e
i(nm)t
dt =
_
1, si n = m,
0, si n ,= m,
(4)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
lo cual dice que e
n
: n Z es un conjunto ortonormal en L
2
(T), al que comnmente se llama sistema
trigonomtrico. Observe que si p
m
(t) =
m
k=m
c
k
e
ikt
es cualquier polinomio trigonomtrico, entonces la
igualdad (4) implica que
c
k
=
1
2
_

p
n
(t)e
ikt
dt, k =m, . . . , m.
Ms aun,
S
n
(p, x) = p para todo n > m = grado de p
m
. (5)
Uno de los problemas importantes que dieron origen al desarrollo de la Teora de las Series de Fourier,
es el siguiente:
Problema de la convergencia puntual de series de Fourier. Para qu familia de funciones
denidas sobre T, digamos F(T), la serie de Fourier de cualquier f F(T) converge puntualmente
a f (t), es decir,
lm
n
S
n
( f , t) = f (t), para todo t R?
Es un hecho conocido que si f F(T) = L
2
(T), entonces la serie de Fourier de f converge a f en la
||
2
-norma. Esto implica, en particular, la existencia de una subsucesin de (S
n
( f , t))
n=
que converge
puntualmente a f (t) para casi todo t (vase, por ejemplo, [385], Theorem 3.12). Sin embargo, lo anterior no
resuelve el problema satisfactoriamente. Qu ocurre, por ejemplo, si en lugar de trabajar con (L
2
(T), ||
2
)
se considera un espacio (ms pequeo) como C(T)? Al nal de un artculo de 1829, Johann Peter Gustav
Lejeune Dirichlet comentaba que l estaba casi convencido de que la serie de Fourier de cualquier fun-
cin continua converga puntualmente a dicha funcin en cualquier punto. Grandes matemticos tales como
Riemann, Weierstrass, y Dedekind sostuvieron, por casi 40 aos, puntos de vista similares a los de Dirich-
let. Todos ellos estaban equivocados. En 1876, P. du Bois-Reymond da el primer ejemplo de una funcin
continua cuya serie de Fourier no converge a dicha funcin y no lo hace precisamente en los puntos de un
subconjunto denso de [, ]. Esto, por supuesto, resuelve en forma negativa el problema planteado en C(T).
El resultado de du Bois-Reymond usa el Teorema de Acotacin Uniforme como un ingrediente fundamental
es su demostracin. En lo que sigue abordaremos la demostracin de du Bois-Reymond.
Si f L
1
(T) es una funcin cuya serie de Fourier diverge en algn t T, entonces la sucesin de
sus sumas parciales (S
n
( f , t))
n=
puede o no estar acotada. Si ocurre que dicha sucesin no est acotada,
entonces diremos que la serie de Fourier diverge no-acotadamente y la escribiremos como
sup
nZ
S
n
( f , t)
= .
Para cada f L
1
(T), podemos escribir a S
n
( f , x) en la forma
S
n
( f , x) =
n
k=n
f (k)e
ikt
=
n
k=n
_
1
2
_

f (t)e
ikt
dt
_
e
ikx
=
1
2
_

f (t)
_
n
k=n
e
i(xt)t
_
dt =
1
2
_

f (t)D
n
(x t)dt,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
donde
D
n
(t) =
n
k=n
e
ikt
, n = 0, 1, 2, . . . .
Los D
n
C(T) son llamados los ncleos de Dirichlet y es fcil demostrar que ellos se pueden reescribir en
la forma
D
n
(t) =
_
_
sen
_
n+
1
2
_
t
sen
t
2
, si t [, ], t ,= 0
2n+1, si t = 0
De aqu se sigue que cada D
n
(t) es una funcin par, 2-peridica, y para n N, toma valores positivos y
negativos. Ms aun,
1
2
_

D
n
(t)dt = 1.
Ntese, nalmente, que S
n
( f , t) = (D
n
f )(t) = ( f D
n
)(t), esto es
S
n
( f , x) =
1
2
_

f (x t)D
n
(t)dt =
1
2
_

f (t)D
n
(x t)dt.
Teorema 2.1.28 (du Bois-Reymond). Sea t T. Existe una funcin f C(T) cuya serie de Fourier di-
verge, precisamente, en el punto t. Ms aun, el conjunto de todas las funciones en C(T) que comparten esa
propiedad es un G
-denso en (C(T), ||
).
Prueba. Haremos la prueba suponiendo que t =0 ya que no se pierde generalidad en asumir esta restriccin.
Denamos, para cada n N, el funcional lineal x
n
: (C(T), ||
) C por
x
n
( f ) = S
n
( f , 0) =
1
2
_

f (t)D
n
(t)dt, para cada f C(T).
Puesto que
[x
n
( f )[ =[S
n
( f , 0)[
1
2
_

[ f (t)[[D
n
(t)[dt
| f |
2
|D
n
|
1
,
entonces
|x
n
|
1
2
|D
n
|
1
.
Nuestro primer objetivo ser demostrar que lm
n
|D
n
|
1
= . En efecto, como D
n
es una funcin par y
0 sen(x) x para todo 0 x , resulta que
|D
n
|
1
=
1
2
_

[D
n
(t)[dt =
1
2
_

sen
_
n+
1
2
_
t
sen
_
t
2
_
dt
=
1
_

0
sen
_
n+
1
2
_
t
sen
_
t
2
_
dt
2
_

0
[ sen
_
n+
1
2
_
t[
t
dt
=
2
_
(n+
1
2
)
0
[ sen(s)[
s
ds >
2
_
n
0
[ sen(s)[
s
ds, donde s =
_
n+
1
2
_
t,
=
2
k=1
_
k
(k1)
[ sen(s)[
s
ds >
2
k=1
1
k
_

0
sen(s)ds
=
4
2
n
k=1
1
k
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
de donde se deduce que lm
n
|D
n
|
1
= .
Una vez establecido el resultado anterior, veamos ahora que |x
n
| =|D
n
|
1
. En efecto, jemos un n N,
y consideremos la funcin
g(t) =
_
1, si D
n
(t) 0
1, si D
n
(t) < 0.
De inmediato vamos a probar que, dado > 0, existe una funcin f
C(T), con | f
= 1, tal que
lm
0
f
(t) = g(t). En efecto, puesto que D

n
posee un nmero nito de ceros, la funcin signo g posee,
en consecuencia, un nmero nito de discontinuidades en salto. Sean t
1
, . . . , t
k
los puntos donde la funcin
g es discontinua. Para cada t
i
, consideremos un intervalo cerrado J
i
con centro en t
i
y radio /2N, donde
N se elige de modo que los intervalos J
i
sean lo sucientemente pequeo y disjuntos dos a dos, y entonces
se dene la funcin f
por:
f
(t) =
_
g(t), si t[, ]
k
i=1
J
i
lineal sobre J
i
, i = 1, . . . , k
Es claro que con esta construccin f
C(T), | f
= 1, y lm
0
f
(t) = g(t). Por otro lado, como

g(t)D
n
(t) =[D
n
(t)[, entonces
lm
0
f
(t)D
n
(t) =[D
n
(t)[ y [ f
(t)D
n
(t)[ [D
n
(t)[, -c.s en T
y se sigue del Teorema de la Convergencia Dominada de Lebesgue que
lm
0
x
n
( f
) = lm
0
1
2
_

(t)D
n
(t)dt
=
1
2
_

[D
n
(t)[ dt
=|D
n
|
1
.
De esto se deduce que |x
n
| = |D
n
|
1
y, por consiguiente, lm
n
|x
n
| = . Un llamado al Teorema de
Acotacin Uniforme 2, pgina 217, nos revela la existencia de un subconjunto G
-denso G de (C(T), ||
)
tal que la igualdad
sup
nN
[x
n
( f )[ = sup
nN
[S
n
( f , 0)[ =
se cumple para cada f G.
El Teorema de du Bois-Reymond establece, como hemos visto, la existencia de una funcin f C(T)
cuya serie de Fourier diverge en un punto. El resultado que sigue a continuacin arma, adems, que el
conjunto de puntos donde dicha funcin diverge es un G
-denso y que, ms aun, la coleccin de las funciones

en C(T) que comparten esa propiedad tambin es un G
-denso. Formalmente,
Teorema 2.1.29 (du Bois-Reymond - genrico). Existe un subconjunto G C(T), el cual es un G
-denso
en (C(T), ||
) tal que, para cada f G, el conjunto

G
f
=
_
t T : sup
nN
[S
n
( f , t)[ =
_
,
es residual en T.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Observemos que en la demostracin del Teorema de du Bois-Reymond la eleccin de t = 0 se hizo
slo por conveniencia en los clculos, pero debe ser claro que la conclusin es la misma si elegimos un punto
arbitrario t en T. En consecuencia,
Para cada t T, existe un conjunto G
t
C(T), el cual es un G
-denso en (C(T), ||
), tal que
S
( f , t) := sup
nN
[S
n
( f , t)[ = ,
para cada f G
t
.
Usemos la separabilidad de T para jar una sucesin densa (t
n
)
n=1
en T. Por el Teorema de du Bois-
Reymond (vase la observacin anterior) existe, para cada n N, un conjunto G
-denso G
n
en (C(T), ||
)
tal que
S
( f , t
n
) = , para cada f G
n
.
Sea
G =
n=1
G
n
.
Por el Teorema de Categora de Baire, G es un conjunto G
-denso en (C(T), ||
) tal que, para cada f G,

S
( f , t
n
) = se satisface para todo n N.
Para cada f C(T), S
( f , t), por ser el supremo de una coleccin de funciones continuas, es infe-

riormente semicontinua como una funcin de t y, por consiguiente, para cada nmero real r, el conjunto
t T : S
( f , t) > r es abierto en T que, adems, es denso en dicho conjunto. Finalmente, si f G, el

conjunto
G
f
=
_
t T : S
( f , t) =
_
=
k=1
_
t T : S
( f , t) > k
_
es, por el Teorema de Categora de Baire, un G
-denso en T. Esto termina la prueba.

Gracias al resultado anterior podemos armar que la convergencia puntual de las series de Fourier es
atpica en el sentido de que: la serie de Fourier de la gran mayora de funciones continuas no converge
puntualmente.
Recordemos que si C(T) denota el espacio de Banach de todas las funciones continuas 2-peridicas
denidas sobre [, ], con la norma | f |
= sup
t[,]
[ f (t)[ para toda f C(T), entonces el Teorema
de Aproximacin de Weierstrass, Teorema 2.1.2, establece que P
T
(T), el conjunto de todos los polinomios
trigonomtricos, es denso en (C(T), ||
). Esto quiere decir que, dado > 0 y f C(T), existe p P

T
(T)
tal que | f p|
<. Por otro lado sabemos, (vase, por ejemplo, [385], Theorem 3.14), que C(T) es denso
en (L
1
(T), ||
1
) y como | f |
1
| f |
para toda f C(T), resulta que:

Corolario 2.1.5. Los polinomios trigonomtricos son densos en (L
1
(T), ||
1
).
Prueba. Sean > 0 y f L
1
(T). Como C(T) es denso en (L
1
(T), ||
1
), escojamos una funcin g C(T)
tal que | f g|
1
< /2. Invoquemos ahora el Teorema de Aproximacin de Weierstrass para obtener un
polinomio trigonomtrico p tal que |gp|
< /2. Finalmente, las desigualdades

| f p|
1
| f g|
1
+ |gp|
1
| f p|
1
+ |gp|
<
dan n a la prueba.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
De hecho, los polinomios trigonomtricos son densos en (L
p
(T), ||
p
), para cualquier 1 p < .
En una carta escrita a un amigo en 1826, Neils Hendrik Abel escribi: Las series divergentes son una
invencin del diablo. Cien aos despus, en 1926, A. N. Kolmogorov [269] exhibe el primer ejemplo de una
funcin peridica integrable Lebesgue cuya serie de Fourier diverge siempre (una prueba del resultado de
Kolmogorov puede ser leda en el excelente libro de Zygmund [457] quien presenta paso a paso la construc-
cin de Kolmogorov, o en el artculo de P. L. Ulyanov [432]). Kline, en 1972, arremete de nuevo contra las
series divergentes al armar: . . . usndolas se puede derivar cualquier cosa que se desee y es por esa razn
que ellas han producido muchas falacias y paradojas. Sin embargo, como se ha podido demostrar, tales
funciones forman, desde el punto de vista de la categora de Baire, un conjunto increblemente abundante.
Teorema de Kolmogorov. Existe una funcin f L
1
(T) cuya serie de Fourier diverge siempre
sobre T. Ms aun,
sup
nN
S
n
( f , t)
= , para cada t T.
La versin genrica del resultado anterior que demuestra la abundancia de funciones f L
1
(T) cuya
serie de Fourier diverge siempre sobre T, es dada por el siguiente.
Teorema 2.1.30 (Kolmogorov - genrico). El conjunto
F
div
=
_
f L
1
(T) : la serie de Fourier de f diverge siempre sobre T
_
es residual en (L
1
(T), ||
1
). Ms aun,
F
div
=
_
f L
1
(T) : sup
nN
S
n
( f , t)
= , para todo t T
_
es residual en (L
1
(T), ||
1
).
Prueba. Comencemos escogiendo, por el Teorema de Kolmogorov, una funcin g en la bola unitaria B
1
de
L
1
(T) tal que sup
nN
S
n
(g, t)
= para todo t T. De esto se deduce que: cualesquiera sean M, N N,
N
(g, t) := sup
n>N
S
n
(g, t) S
N
(g, t)
> M, para todo t T. (K)

1
Nuestro primer objetivo es construir, va induccin, una sucesin estrictamente creciente (N
k
)
k=0
de enteros
no negativos y una sucesin (g
k
)
k=1
de vectores en la bola cerrada unitaria de L
1
(T) tal que
sup
N
k1
<nN
k
S
n
(g
k
, t) S
N
k1
(g
k
, t)
> k, para todo t T. (K)

2
Empecemos tomando N
0
= 0 y supongamos que N
0
, . . . , N
k1
, g
1
, . . . , g
k1
han sido denidos. Para ver cmo
se construyen N
k
y g
k
, usemos (K)
1
, donde hemos elegido M =k y N =N
k1
para obtener un vector g
k
B
1
tal que
N
(g
k
, t) > k para todo t T. Sea
N
(t) := sup
N
k1
<nN
k
S
n
(g
k
, t) S
N
k1
(g
k
, t)
, t T.
Para cada t T escojamos un N
t
N tal que
N
t
(t) > k. Por la continuidad de
N
(t) sobre T, existe un
entorno abierto U
t
de t tal que
N
t
(t
) > k para todo t
U
t
. Por compacidad, un nmero nito de tales
abiertos, digamos, U
t
1
, . . . ,U
t
j
cubren a T. Tomando N = m axN
t
1
, . . . , N
t
j
resulta que
N
(t) > k para todo
t T. Justo ahora elija N
k
= N para obtener (K)
2
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Con las sucesiones (N
k
)
k=0
de enteros no negativos y (g
k
)
k=1
de vectores en B
1
satisfaciendo (K)
2
pode-
mos denir, para cada M, k N, el conjunto
A(M, k) =
_
l=k
_
f L
1
(T) : sup
N
l1
<nN
l
S
n
( f , t) S
N
l1
( f , t)
> M para todo t T

_
.
Es claro que A(M, k) es abierto. Veamos que tambin es denso en L
1
(T). Para ver esto ltimo, sea V cualquier
subconjunto abierto no vaco de L
1
(T). Usemos el hecho de que los polinomios trigonomtricos son densos
en L
1
(T) para obtener una bola abierta U(p, 2) contenida en V, donde p es un polinomio trigonomtrico y
> 0. Gracias a (K)
2
, elijamos un l lo sucientemente grande de modo que l M/, N
l1
grado(p) y tal
que
sup
N
l1
<nN
l
S
n
(g
l
, t) S
N
l1
(g
l
, t)
>
M
, para todo t T. (6)

Armamos que el vector p+g
l
V tambin pertenece a A(M, k). En efecto, puesto que N
l1
grado(p),
se sigue de (5), de la pgina 170, que
S
n
(p, t) S
N
l1
(p, t) = 0
para cada n > N
l1
y, por consiguiente, gracias a la linealidad de S
n
(, t) en la primera variable y la desigual-
dad (6), obtenemos
sup
N
l1
<nN
l
S
n
(p+g
l
, t) S
N
l1
(p+g
l
, t)
= sup
N
l1
<nN
l
S
n
(g
l
, t) S
N
l1
(g
l
, t)
> M
para todo t T. Con esto hemos demostrado que V A(M, k) ,= y, en consecuencia, la densidad de
A(M, k) ha quedado, de este modo, establecida. Un llamado al Teorema de Categora de Baire nos dice que
el conjunto
M=1
k=1
A(M, k) F
div
es un G
-denso en (L
1
(T), ||
1
).
Comentario Adicional 2.1.7 A pesar de que los problemas de no convergencia de series de Fourier abundan
para funciones en L
1
(T), en los espacios L
p
(T) con p >1, el panorama es ms esperanzador. En efecto,
un resultado profundo, y a su vez difcil, de L. Carleson demostrado en 1966 para funciones continuas
[83] y generalizado por R. A. Hunt en [224] para funciones en L
p
(T) con p > 1 establece que:
Teorema de Carleson-Hunt. Para cada f L
p
(T) con p > 1, si
E =
_
x T : lm
n
S
n
( f , x) ,= f (x)
_
entonces (E) = 0.
En el mismo ao de 1966, Kahane y Katznelson [249] demuestran el recproco del resultado de Car-
leson con una prueba que podemos considerar sencilla.
Teorema de Kahane-Katznelson. Dado cualquier subconjunto medible Lebesgue E de Tcon (E) =
0, existe una funcin f C(T) cuya serie de Fourier diverge sobre E.
La abundancia de funciones continuas que satisfacen la conclusin del resultado de Kahane-Katznel-
son es lo que llamamos la versin genrica del fenmeno encontrado por Kahane-Katznelson y se
expresa del modo siguiente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.1.31 (Kahane-Katznelson - genrico). Sea E un subconjunto F
de T con (E) = 0. En-

tonces el conjunto
G =
_
f C(T) : sup
nN
S
n
( f , t)
= , para todo t E
_
es residual en (C(T), ||
).
Prueba. (Esbozo). La prueba descansa fundamentalmente sobre el siguiente resultado demostrado por
Kahane-Katznelson en [249].
Lema de Kahane-Katznelson. Sea F una unin nita de intervalos de T con (F) = a, donde
0 < a <
1
. Entonces existe un polinomio trigonomtrico p en C(T), con | p|
= 1, tal que
S
(p, t) := sup
nN
[S
n
(p, t)[
1
log
1
a
, cuando t F.
Supongamos, en primer lugar, que E es cerrado con (E) = 0 y denamos, para cada n N,
G
n
=
_
f C(T) : S
( f , t) > n, para todo t E

_
.
Puesto que S
( f , t) es una funcin inferiormente semicontinua, resulta que cada G

n
es abierto. Veamos
que ellos tambin son densos. Teniendo en cuenta que los polinomios trigonomtricos son densos
en C(T), es suciente demostrar que cada entorno abierto de cualquier polinomio trigonomtrico f
intersecta a G
n
. Sea f un polinomio trigonomtrico y sea U
una bola abierta con centro en f y radio

2 > 0. Ntese que existe una constante M > 0 tal que S
( f , t) M para todo t T. A continuacin,

usemos el Lema de Kahane-Katznelson para determinar un polinomio trigonomtrico p, con norma
| p|
= 1, tal que
S
(p, t) >
n+M
para todo t T.
Entonces
S
( f +p, t) S
(p, t) S
( f , t) > n.
Esto prueba que f +

2
p G
n
, es decir, U
G
n
,=. Por el Teorema de Categora de Baire el conjunto
n=1
G
n
G es un G
-denso en C(T) .
Finalmente, sea E =
k=1
E
k
, donde cada E
k
es cerrado con (E
k
) = 0, k = 1, 2, . . .. Por la primera
parte existe, para cada k N, un G
-denso H
k
de C(T) tal que
S
( f , t) = , para todo f H
k
y todo t E
k
.
De nuevo, por el Teorema de Categora de Baire,
k=1
H
k
es un G
-denso incluido en G.
2.1.15. | Series universales
La representacin de funciones por series trigonomtricas, de Fourier, de Taylor, de Dirichlet, etc., siem-
pre ha sido un tema de inters. Ya hemos visto que el problema de la unicidad de la representacin por series
de Fourier posee, en general, una respuesta negativa, dada por Menchoff (o Menov, o Menshov) en 1916.
El otro problema, el de la existencia:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Dada una funcin medible Lebesgue f : R C, existe una sucesin (c
n
)
n=1
en C tal que
f (t) =
n=1
c
n
e
int
-c.s?,
contrario al problema de la unicidad de la representacin, posee una respuesta positiva. Menchoff, de nuevo,
es el responsable de tal descubrimiento en el ao de 1940 (vase, por ejemplo, [271]).
En esta seccin abordaremos muy supercialmente algunas informaciones relacionadas con la respuesta
positiva de Menchoff al problema de existencia ya planteado. Ello condujo a la nocin de series universales
que ha tenido un gran impacto en el anlisis armnico y un profundo e increble desarrollo por ms de 50
aos. . . y aun contina.
Denicin 2.1.13. Sean (X, ||) un espacio de Banach complejo, (x
n
)
n=1
una sucesin en X y (c
n
)
n=0
una
sucesin de nmeros complejos. La serie
n=0
c
n
x
n
se llama universal si la sucesin (S
n
)
n=0
de sus sumas
parciales es norma-densa en X.
En lo que sigue supondremos que C
N
, donde N
=0, 1, 2, . . ., est provisto de la topologa producto.

Las hiptesis del siguiente teorema son naturales y muy permisivas. Ellas permiten reconrmar lo que ya
haba demostrado Grosse-Erdmann en [193]: Universalidad es, en anlisis, un fenmeno genrico.
Teorema 2.1.32 (Bayart). Sean X un espacio vectorial topolgico, metrizable y separable, (x
n
)
n=1
una
sucesin en X y Y un subconjunto de C
N
con las siguientes propiedades:

(a) Y es un espacio de Baire,
(b) para cada m N
, la proyeccin p
m
: Y C dada por p
m
(c
0
, . . . , c
m
, . . .) = c
m
es continua, y
(c) si a = (a
n
)
n=0
Y, b = (b
n
)
n=0
Y y N 0, entonces c(N) = (b
0
, . . . , b
N
, a
N+1
, a
N+2
, . . .) Y, y
lm
N
c(N) = b.
Las siguientes condiciones son equivalentes:
(1) Para al menos un a = (a
n
)
n=0
Y, la serie
n=0
a
n
x
n
es universal.
(2) El conjunto SU =
_
(a
n
)
n=0
Y :
n=0
a
n
x
n
es universal
_
es un G
-denso en Y.
Prueba. Es claro que (2) implica (1). Suponga entonces que (1) se cumple. La separabilidad de X garantiza
la existencia de una base numerable (U
k
)
k=1
para X. Denamos ahora, para cada k N, el conjunto
G
k
=
_
(a
n
)
n=0
Y : existe N 0 para el cual
N
n=0
a
n
x
n
U
k
_
.
Nuestro objetivo es demostrar que cada conjunto G
k
es abierto y denso en Y. Fijemos k N y observemos
que, por ser la proyeccin p
m
una funcin continua, tambin lo es la aplicacin
m
: Y X dada por
m
(a) =
a
m
x
m
para todo a = (a
n
)
n=0
Y. De esto se sigue que G
k
es abierto en Y. Para demostrar la densidad de G
k
,
tomemos un abierto no vaco V de Y y veamos que G
k
V ,=. Sea b = (b
n
)
n=0
V. Por hiptesis, existe un
elemento a = (a
n
)
n=0
Y tal que la serie
n=0
a
n
x
n
es universal. Por (c) resulta que c(N) Y para cualquier
N 0 y, adems, lm
N
c(N) = b. De esto se sigue la existencia de un entero N
0
> 0 tal que
c = (b
0
, . . . , b
N
0
, a
N
0
+1
, a
N
0
+2
, . . .) V.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Armamos que c G
k
. En efecto, como
n=0
a
n
x
n
es una serie universal, el conjunto S formado por todas sus
sumas parciales es denso en X y, por lo tanto, S intersecta al abierto
N
0
n=0
a
n
x
n

N
0
n=0
b
n
x
n
+U
k
. Elijamos
ahora un entero N
1
> N
0
de modo que
N
1
n=0
a
n
x
n

N
0
n=0
a
n
x
n

N
0
n=0
b
n
x
n
+U
k
.
Se sigue que
N
1
n=0
c
n
x
n
=
N
0
n=0
b
n
x
n
+
N
1
n=N
0
+1
a
n
x
n
=
N
0
n=0
b
n
x
n
+
N
1
n=0
a
n
x
n

N
0
n=0
a
n
x
n
=
_ N
0
n=0
a
n
x
n

N
0
n=0
b
n
x
n
_
+
N
1
n=0
a
n
x
n
U
k
Esto prueba que c G
k
y, as, G
k
V ,= . Siendo Y un espacio de Baire, se obtiene que SU =
k=1
G
k
es
un G
-denso en Y.
Sea un subconjunto no vaco, abierto y conexo de C. Recordemos que una funcin f : C es
representable por una serie de potencia en si para cualquier disco abierto D(a, r) corresponde una
serie
n=1
c
n
(z a)
n
que converge a f (z) para todo z D(a, r). El siguiente resultado es conocido.
Teorema 2.1.33 ([385], Th. 10.6, p.215). Una funcin f : C es representable por una serie de poten-
cias en si, y slo si, f H().
El primer ejemplo del fenmeno de universalidad para series de potencias fue observado por Fekete en
1914 (vase, por ejemplo, [193], p. 346), quien demostr el siguiente resultado:
| Teorema de Fekete. Existe una serie de potencia
n=1
a
n
x
n
sobre [1, 1], con a
n
R,
que diverge en cualquier punto x ,= 0, y que posee la siguiente propiedad: para cada
funcin continua f C[1, 1] satisfaciendo f (0) = 0, existe una sucesin estrictamente
creciente (n
k
)
k=1
de enteros positivos tal que
f (x) = lm
k
n
k
n=1
a
n
x
n
uniformemente sobre [1, 1].
Si se tiene en cuenta un teorema de Borel (de 1895) el cual establece que cualquier serie de potencia es la
serie de Taylor alrededor del 0 de alguna funcin de clase C
, entonces podemos valorar lo espectacular que

resulta el resultado de Fekete.
El ejemplo de Fekete de una serie de potencia (o de Taylor) exhibe dos aspectos de universalidad que
estn presentes en dicho resultado. El primero es el de la divergencia maximal: slo en x =0 la serie converge.
El segundo aspecto, el ms interesante, es el de la existencia de un slo objeto el cual, a travs de un proceso
usualmente numerable (tomar lmites), permite aproximar una clase maximal de otros objetos. Esto es lo que
sugiere el nombre de universalidad, el cual fue empleado por primera vez por Marcinkiewicz en 1953 (l la
llam una primitiva universal) y quien tambin fue el primero en demostrar que tales primitivas universales
formaban un conjunto residual.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
| Teorema de Marcinkiewicz. Sea (h
n
)
n=1
una sucesin de nmeros reales con h
n
0.
Entonces existe una funcin continua f C[0, 1] tal que, para cualquier funcin medible
g : [0, 1] R, existe una sucesin estrictamente creciente (n
k
)
k=1
de enteros positivos
con
f (x +h
n
k
) f (x)
h
n
k
g(x), c.s. en [0, 1].
Ms aun, el conjunto de tales f es residual en (C[0, 1], ||
).
Antes del resultado de Marcinkiewicz, D. Menchoff (vase [193], p. 362) haba demostrado el siguien-
te resultado que resolva positivamente el problema de la representacin de funciones medibles por series
trigonomtricas:
| Teorema de Menchoff. Existe una serie trigonomtrica
n=
c
n
e
2int
cuyos coe-
cientes convergen a cero tal que, para cualquier funcin medible Lebesgue f : T C,
existe una sucesin estrictamente creciente (n
k
)
k=1
de enteros positivos con
f (t) = lm
k
n
k
n=n
k
c
n
e
2int
, c.s. sobre T.
Posteriormente, en 1957, A. A. Talayan (vase, [193], p. 363) demostr que uno puede reemplazar el sis-
tema trigonomtrico por cualquier sistema ortonormal completo en L
2
(T) para obtener la misma conclusin
en el Teorema de Menchoff. La siguiente denicin fue propuesta despus del resultado de Menchoff.
Denicin 2.1.14. Una serie trigonomtrica
n=
c
n
e
2int
se dice universal en el sentido de Menchoff si,
para cualquier funcin medible Lebesgue f : T C, existe una sucesin estrictamente creciente (n
k
( f ))
k=1
de enteros positivos tal que
lm
k
S
n
k
( f )
(t) = lm
k
n
k
( f )
n=n
k
( f )
c
n
e
2int
= f (t), c.s. sobre T
Veremos ahora algunos resultados genricos sobre universalidad. Para ello es importante hacer notar
que si S
T
(C) denota el conjunto de todas las series trigonomtricas con coecientes complejos, entonces
a dicho conjunto lo dotaremos de la topologa que corresponde a la topologa producto de C
Z
mediante el
isomorsmo
S
T
(C)
+
n=
c
n
e
2int
(c
n
)
nZ
C
Z
Por consiguiente, la topologa sobre S
T
(C) no es otra cosa que la topologa de la convergencia de los coe-
cientes; es decir, una sucesin (s
n
)
n=1
converge a s en S
T
(C) si, y slo si, convergen los coecientes para
cada ndice n:
lm
m
+
n=
c
mn
e
2int
=
+
n=
c
n
e
2int
si, y slo si, lm
m
c
mn
= c
n
para cada n N.
Con esta topologa, S
T
(C) resulta ser un espacio de Baire. Si S =
+
n=
c
n
e
2int
S
T
(C), entonces la n-
sima suma parcial de S ser denotada, como siempre, por S
n
=
n
k=n
c
k
e
2ikt
.
El siguiente lema, fundamentalmente la parte (b), es una pieza clave en la demostracin del prximo
teorema.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema 2.1.5. Sea V un subconjunto abierto no vaco de T y sea N N. Denamos
V(T) =
_
f C(T) : sop( f ) V
_
, y K =TV.
Entonces
(a)
_
_
f (n)
_
N
n=N
: f V(T)
_
=C
2N+1
, es decir, la aplicacin
V(T) f
_
f (n)
_
N
n=N
C
2N+1
es sobreyectiva.
(b) Para cada f C(T) y cada > 0, existe un polinomio trigonomtrico P de la forma
P(t) =

N<[n[M
c
n
e
2int
tal que | f P|
K
< , donde |g|
K
= sup
_
[g(t)[ : t K
_
para g C(T).
Prueba. (a) Pongamos Y :=
__
f (n)
_
N
n=N
: f V(T)
_
y suponga que Y ,= C
2N+1
. Entonces, el comple-
mento ortogonal de Y, Y
,=0 y, por consiguiente, podemos elegir un = (

n
)
N
n=N
C
2N+1
, ,= 0, tal
que Y
, es decir, que cumpla

N
n=N
f (n) = 0, para toda f V(T). (1)

Veremos, en lo inmediato, que esta suposicin conduce a una contradiccin. Para ello, consideremos la
expresin
N
n=N
n
z
n
= z
N
N
n=N
n
z
n+N
. Ya que el polinomio
N
n=N
n
z
n
posee a lo sumo 2N +1 ceros
y como V T es abierto, existe un t
0
V tal que z
0
= e
2it
0
cumple
N
n=N
n
z
n
=
N
n=N
n
e
2i nt
0
,= 0. (2)
Consideremos ahora (
k
)
k=1
una identidad aproximada centrada en t
0
, es decir, para cada k N,
k
C(T),
k
0 sobre T,
_
1
0
k
(t)dt = 0, sop(
k
) [t
0
1/k, t
0
+1/k].
Observemos que para k sucientemente grande,
k
V(T), de modo tal que
_
k
(n)
_
N
n=N
Y. Es fcil ver
que para cada n Z,
k
(n) =
_
1
0
k
(t)e
2i nt
dt e
2i nt
0
= z
n
0
cuando k . (3)
Se sigue ahora de (2) y (3) que
lm
k
N
n=N
k
(n) =
N
n=N
n
z
n
0
,
y, por lo tanto,
N
n=N
k
(n) ,= 0 para k sucientemente grande, lo que evidentemente contradice a (1). Por
esto, Y =C
2N+1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(b) Fijemos f C(T), > 0, y pongamos
n
=

f (n) para cada n Z. Por lo demostrado en (a), existe
g V(T) tal que g(n) =
n
, para n N, . . . , N, de modo que la funcin h = f g cumple
h(n) = 0, para todo n N, . . . , N (4)

Una aplicacin del Teorema de Aproximacin de Weierstrass nos proporciona un polinomio trigonomtrico
M
n=M
c
n
e
2i nt
tal que
_
_
_
_
_
h
M
n=M
c
n
e
2i nt
_
_
_
_
_
<

2N +1
. (5)
Conviene suponer que M > N. Se sigue de (4) y (5) que para cada n N, . . . , N
c
n
_
h
M
n=M
c
n
e
2i nt
_
(n)
<

2N +1
,
y por lo tanto,
_
_
_
_
_
M
n=M
c
n
e
2i nt
_
_
_
_
_
< (2N +1)

2N +1
= .
Combinando esto ltimo con (5) se deduce que
_
_
_
_
_
h

N<[n[M
c
n
e
2i nt
_
_
_
_
_
< +

2N +1
< 2.
Finalmente, teniendo en cuenta que h
[
K
= g
[
K
, concluimos que
_
_
_
_
_
h

N<[n[M
c
n
e
2i nt
_
_
_
_
_
K
< 2.
Para cada a T, los conjuntos compactos K

j
(a) = [a, a+11/j] para j 3, 4, . . ., sern usados en el
siguiente teorema.
Teorema 2.1.34 ([247], Th. 2.1). El conjunto de todas las series trigonomtricas
n=
c
n
e
2int
que poseen
la propiedad: para cada funcin f C(T) existe una sucesin estrictamente creciente (n
k
)
k=1
de enteros
positivos tal que
lm
k
S
n
k
(t) = f (t)
para cada t T y uniformemente sobre cada compacto K
j
(a) T con a T y j 3, 4, . . ., es un G
-denso
en S
T
(C).
Prueba. Dados P, un polinomio trigonomtrico con coecientes racionales, > 0 un nmero racional y
j 3, 4, . . ., consideremos el conjunto
G(P, , j) =
_
S S
T
(C) : existe N N tal que [P(t) S
N
(t)[ < sobre K
j
_
el cual es, claramente abierto, en S
T
(C). Veamos que tambin dicho conjunto es denso en S
T
(C). Notemos
en primer lugar que cualquier subconjunto abierto de S
T
(C) contiene un cilindro de la forma
C =
_
(c
n
)
nZ
: c
n
I
n
para [n[ M
_
,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
donde M N, y los I
n
son intervalos abiertos. Sea ahora U cualquier intervalo abierto no vaco de S
T
(C).
Fijemos un M N, e intervalos abiertos I
n
de modo tal que el cilindro C, como se deni arriba, est
totalmente contenido en U. Sin perder generalidad podemos suponer, y as lo haremos, que M > grad(P).
Escojamos c
n
I
n
con [n[ M y denamos
Q = P

[n[M
c
n
e
2i nt
.
Por (b) del lema anterior, existe un polinomio trigonomtrico R de la forma
R =

M<[n[L
c
n
e
2i nt
tal que |QR|
K
j
< , es decir,
_
_
_
_
_
P

[n[M
c
n
e
2i nt

M<[n[L
c
n
e
2i nt
_
_
_
_
_
K
j
< .
Es claro que
S(t) :=

[n[L
c
n
e
2i nt
G(P, , j) C G(P, , j) U,
de donde se deduce que G(P, , j) es un abierto denso en S
T
(C). Por el Teorema de Categora de Baire, el
conjunto
G =
PP
Q
j=3
G(P, , j)
es un G
-denso en S
T
(C), donde P
Q
denota el conjunto de todos los polinomios trigonomtricos con coe-
cientes racionales.
Para el siguiente resultado el lector est invitado a echarle una mirada al Captulo 3, mirar la Deni-
cin 3.1.2, pgina 476, y revisar algunas de las propiedades del espacio B
1
(X) formado por todas las fun-
ciones f : X R que son lmite puntual de sucesiones de funciones continuas.
Corolario 2.1.6. El conjunto de todas las series trigonomtricas
n=
c
n
e
2int
que poseen la propiedad:
para cada funcin f B
1
(T) existe una sucesin estrictamente creciente (n
k
)
k=1
de enteros positivos tal
que
lm
k
S
n
k
(t) = f (t)
para cada t T, es un G
-denso en S
T
(C).
Prueba. Sea f B
1
(T). Entonces existe una sucesin ( f
n
)
n=1
en C(T) tal que
f (t) = lm
n
f
n
(t), para cada t T. (1)
Sea G el G
-denso cuya existencia fue probada en el Teorema 2.1.34 y sea, como antes, K
k
= [a, a+11/k].
Por el Teorema 2.1.34, para cada serie
n=
c
n
e
2int
G y para cada k N existe un n
k
N tal que
[ f
k
(t) S
n
k
(t)[ < 1/k sobre K
k
. (2)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Se sigue de (1) y (2) que
lm
k
S
n
k
(t) = f (t), para cada t T
ya que t K
k
para k sucientemente grande.
Teniendo en cuenta que toda funcin medible Lebesgue f : T C es de la forma f = g+h, donde g es
medible Borel y h =0 c.s. , y del hecho de que Bor(T) B
1
(T), entonces se obtiene, como una consecuencia
del corolario anterior, la versin genrica del resultado de Menchoff (vase, [247], p. 154).
Teorema 2.1.35 (Menchoff - genrico). El conjunto de todas la series trigonomtricas que son universales
en el sentido de Menchoff es residual en S
T
(C).
Si ahora consideramos el subespacio S
T
(c
0
) = s S
T
(C) : cuyos coecientes c
n
tienden a 0, resul-
ta que dicho conjunto constituye un espacio de Banach isomorfo a c
0
y se cumple el siguiente resultado
demostrado por Kahane-Nestoridis [250].
Teorema 2.1.36 (Kahane-Nestoridis). El conjunto de todas la series trigonomtricas en S
T
(c
0
) que son
universales en el sentido de Menchoff es un G
-denso.
Dada una funcin f C
[1, 1] satisfaciendo f (0) = 0, diremos que f posee una serie de Taylor uni-
versal si
n=1
f
(n)
(0)
n!
x
n
es una serie universal. Del ejemplo de Fekete sobre la existencia de una serie de Taylor universal en combi-
nacin con el Teorema de Aproximacin de Weierstrass se sigue el siguiente resultado:
Corolario 2.1.7. El conjunto de todas las funciones f C
[1, 1] que satisfacen f (0) =0 y que poseen una

serie de Taylor universal, es residual en C[0, 1].
A pesar de este resultado, las series de Taylor universales resultan ms interesantes cuando ellas represen-
tan funciones analticas en un disco dado, digamos, D =z : [z[ < 1. La siguiente denicin fue formulada
por V. Nesterodis [338].
Denicin 2.1.15. Una serie de Taylor S :=
n=1
c
n
z
n
convergente en D se llama universal en el sentido de
Nestoridis si, dado cualquier compacto K CD el cual no divide el plano (es decir, cuyo complemento es
conexo), se satisface la siguiente propiedad: para cualquier funcin f : K C continua sobre K y analtica
en el interior de K, existe una sucesin de sumas parciales de S que converge a f uniformemente sobre K.
Consideraremos a U
T
(D), el conjunto de todas las series de Taylor universales en el sentido de Nestoridis,
como un subconjunto del espacio de las funciones holomorfas H(D). Si bien es cierto que hasta el momento
no se conoce, en forma explcita, una serie de Taylor universal en el sentido de Nestoridis, su existencia fue
demostrada por V. Nestoridis en [338], Theorem 2.6, p. 1300.
Abordaremos la prueba del resultado de Nestoridis siguiendo la demostracin dada por el propio Nesto-
ridis. Para ello se requieren de algunos lemas previos y el siguiente resultado de Mergelyan.
Teorema de Mergelyan ([385], Th. 20.5). Sea K un subconjunto no vaco y compacto de C
cuyo complemento es conexo. Si f : K C es continua sobre K y analtica en el interior de K
y si > 0, entonces existe un polinomio p tal que [ f (z) p(z)[ < para todo z K.
En los siguientes cuatro lemas vamos a demostrar que U
T
(D) es un subconjunto G
-denso en H(D).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema 2.1.6. Existe una sucesin (K
m
)
m=1
de conjuntos compactos innitos en CD, cada uno con comple-
mento conexo, tal que se cumple lo siguiente: para cada compacto K CD teniendo complemento conexo,
existe un m N tal que K K
m
.
Prueba. Sea K C D un conjunto compacto con complemento conexo. Si K es nito, entonces es fcil
determinar un compacto innito K
conteniendo a K tal que K
CD y su complemento es conexo. Por

esta razn asumiremos que K es innito. Claramente existe un entero n > 1 tal que
K z C : 1 [z[ n.
Puesto que 0 y n +1 pertenecen al complemento de K, el cual es conexo, podemos unirlos por una lnea
poligonal incluida en C K y teniendo vrtices con coordenadas racionales. Observemos que es un
conjunto compacto innito cuyo complemento es conexo. Denotando por LP(K) el conjunto de tales lneas
poligonales resulta que dicho conjunto es numerable. Siendo y K compactos disjuntos, la distancia entre
ellos es estrictamente positiva. De esto se sigue la existencia de un nmero natural s tal que K L(n, , s),
donde
L(n, , s) =
_
z C : 1 [z[ n, dist(z, )
1
s
_
.
0 n + 1
K
Observemos ahora que el conjunto
A =L(n, , s) : n, s N, LP(K)
es numerable y que si (K
m
)
m=1
es una enumeracin de A, entonces cada compacto K CD con comple-
mento conexo est incluido en algn K
m
.
Fijemos la sucesin (K
m
)
m=1
obtenida en el lema anterior y sea ( f
j
)
j=1
una enumeracin de todos los
polinomios cuyos coecientes poseen coordenadas racionales. Para cada f H(D) y n Z con n 0,
denotemos, como siempre, por S
n
( f , z) la n-sima suma parcial del desarrollo de Taylor de f en z C. Ms
aun, para cualesquiera enteros m, j, s, n con m, j, s 1 y n 0, sea E(m, j, s, n) el subconjunto de H(D)
denido por
E(m, j, s, n) =
_
g H(D) : sup
zK
m
S
n
(g, z) f
j
(z)
<
1
s
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema 2.1.7. U
T
(D) =
m=1
j=1
s=1
_
n=0
E(m, j, s, n).
Prueba. Por denicin,
U
T
(D)
m=1
j=1
s=1
_
n=0
E(m, j, s, n) := G.
Para demostrar la otra inclusin, sea f G. Sean K CD un conjunto no vaco y compacto con comple-
mento conexo, y h : K C una funcin continua sobre K y holomorfa en el interior de K. Fijemos ahora un
> 0 y un N. Nuestra tarea inmediata es determinar un N > tal que
sup
zK
S
n
( f , z) h(z)
< .
Por el Teorema de Mergelyan, existe un polinomio f
j
(para algn j N) cuyos coecientes poseen coorde-
nadas racionales tal que
sup
zK
h(z) f
j
(z)
<

2
.
Sin perder generalidad, podemos suponer (y as lo haremos), que f
j
(0) ,= f (0). Por el Lema 2.1.6 existe un
m N tal que K K
m
. Puesto que, para cualquier s N,
f
_
n=0
E(m, j, s, n),
se sigue que, para cada s N, existe un entero n
s
0 tal que
sup
zK
m
S
n
s
( f , z) f
j
(z)
<
1
s
.
Observemos ahora que la sucesin (n
s
)
s=1
no puede poseer subsucesiones acotadas. En efecto, supongamos
que ella posee alguna subsucesin acotada. Entonces existe un entero 0 tal que n
s
= para innitos s.
Sobre K
m
uno obtiene que S
( f , ) = f
j
() y puesto que K
m
es innito resulta que S
( f , ) f
j
(), lo cual
contradice el hecho de f
j
(0) ,= f (0). Por consiguiente, la sucesin (n
s
)
s=1
converge a +y, en consecuencia,
existe un s N tal que 1/s < /2 y n
s
> .
Finalmente, puesto que
sup
zK
h(z) f
j
(z)
<

2
, sup
zK
m
S
n
s
( f , z) f
j
(z)
<
1
s
<

2
y K K
m
,
la desigualdad triangular nos garantiza que
sup
zK
S
n
s
( f , z) h(z)
<
siempre que n
s
> . Esto prueba que f U
T
(D) y termina la prueba.
Lema 2.1.8. E(m, j, s, n) es abierto en H(D) para cualesquiera enteros m, j, s, n con m, j, s 1 y n 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Sea f E(m, j, s, n). Entonces
sup
zK
m
S
n
( f , z) f
j
(z)
<
1
s
.
Deniendo M = sup[z[ : z K
m
, vemos que 1 M < +. Sea
a :=
1
s
sup
zK
m
S
n
( f , z) f
j
(z)
=0
2
> 0.
Supongamos que g H(D) satisface
sup
[z[
1
2
g(z) f (z)
< a.
Vamos a demostrar que
sup
zK
m
S
n
(g, z) f
j
(z)
<
1
s
lo cual nos conducir, por consiguiente, a que g E(m, j, s, n) y, en consecuencia a que E(m, j, s, n) es
abierto.
En efecto, para z K
m
tenemos que
S
n
(g, z) f
j
(z)
S
n
(g f , z)
S
n
( f , z) f
j
(z)
.
Escribamos
S
n
(g f , z) =
n
=0
b
.
Puesto que sup
[z[
1
2
g(z) f (z)
< a, tenemos que [b
[ < a 2
. Para z K
m
,
=0
b
< a
n
=0
2
.
De esto se sigue que
sup
zK
m
S
n
(g, z) f
j
(z)
< a
n
=0
2
+ sup
zK
m
S
n
( f , z) f
j
(z)
=
1
s
.
Esto termina la prueba.
Lema 2.1.9. Para cualesquiera m, j, s N, el conjunto G(m, j, s) =
_
n=0
E(m, j, s, n) es abierto y denso en
H(D).
Prueba. Por el Lema 2.1.8 los conjuntos E(m, j, s, n), n = 0, 1, 2, . . . son abiertos y entonces cada G(m, j, s)
tambin lo es.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sean f H(D), L D un disco compacto no vaco y > 0. Para demostrar que G(m, j, s) es denso en
H(D) es suciente encontrar un n 0 y una funcin g E(m, j, s, n), tal que
sup
zL
f (z) g(z)
< .
Notemos que los compactos K
m
y L son disjuntos y que K
m
L es un compacto con complemento conexo.
Por el Teorema de Mergelyan, aplicado a la funcin F : K
m
L C denida por
F(z) =
_
f
j
(z) si z K
m
,
f (z) si z L,
la cual es continua sobre K
m
L y analtica en el interior K
m
L, existe un polinomio g tal que
F(z) g(z)
< mn, 1/s sobre K

m
L.
Ms aun, si n := grado(g), entonces
S
n
(g, ) = g(), sup
zK
m
S
n
(g, z) f
j
(z)
<
1
s
y sup
zL
f (z) g(z)
< .
Esto prueba que G(m, j, s) es denso en H(D) y termina la prueba.
Finalmente estamos ahora en condiciones demostrar el teorema de Nestoridis.
Teorema 2.1.37 (Nestoridis). U
T
(D) es un subconjunto G
-denso en H(D). En particular, U

T
(D) ,=.
Prueba. Puesto que H(D) es un espacio de Baire, la aplicacin de los lemas Lema 2.1.7 y Lema 2.1.9
producen el resultado.
Como una consecuencia del resultado de Nestoridis combinado con el Teorema de Categora de Baire
tenemos:
Corolario 2.1.8 (Nestoridis). Sea f (z) =
n=1
c
n
z
n
una serie de Taylor con z D, c
n
C para todo n N
y cuyo radio de convergencia es mayor o igual a 1. Entonces f = s
1
s
2
, donde s
1
y s
2
son series de Taylor
universales en el sentido de Nestoridis.
Prueba. Puesto que f H(D), la aplicacin : H(D) H(D) denida por (g) = g+ f , para toda g
H(D) es un homeomorsmo. Por el Teorema 2.1.37, el conjunto U(D) es un G
-denso en H(D), y como es

un homeomorsmo, resulta que (U
T
(D)) =U
T
(D) + f tambin es un G
-denso en H(D). Siendo H(D) un

espacio de Baire, el Teorema de Categora de Baire nos garantiza que el conjunto U
T
(D)(U
T
(D)+ f ) ,=.
Esto muestra la existencia de dos elementos s
1
, s
2
U
T
(D), tal que f = s
1
s
2
. La prueba es completa.
Recordemos que NE(D) representa el conjunto de todas las funciones f H(D) las cuales no se pueden
extender holomorcamente a ningn dominio conteniendo estrictamente a D. Es un hecho ya establecido
(vase, por ejemplo, Teorema 2.1.27, pgina 167, o [264]) que NE(D) contiene un subconjunto G
-denso de
H(D). Por el Teorema de Categora de Baire tenemos que U
T
(D) NE(D) ,= . Sea f U
T
(D) NE(D).
Entonces f es una serie de Taylor universal en el sentido de Nestoridis que no es el desarrollo de Taylor de
ninguna funcin racional (= cociente de dos polinomios) ya que f no es extendible.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Comentario Adicional 2.1.8 Recordemos que el Teorema de Marcinkiewicz establece que si (h
n
)
n=1
es una
sucesin de nmeros reales con h
n
0, entonces existe una funcin continua C[0, 1] (llamada
funcin de Marcinkiewicz) tal que, para cualquier funcin medible Lebesgue g : [0, 1] R, existe
una sucesin estrictamente creciente (n
k
)
k=1
de enteros positivos con
(x +h
n
k
) (x)
h
n
k
g(x), c.s. en [0, 1].
Si denimos, para todo k N,
k
(x) =
(x +h
n
k
) (x)
h
n
k
, x [0, 1],
entonces
k
es continua y para cada g medible Lebesgue, lm
k
k
(x) = g(x), -c.s., para alguna
sucesin (h
n
k
)
k=1
convergiendo a cero. Por otro lado, el teorema de aproximacin de Luzin arma que
toda funcin medible Lebesgue g : [0, 1] Res el lmite puntual de una sucesin de funciones continua
-c.s. Lo interesante del Teorema de Marcinkiewicz es que todas las funciones g : [0, 1] R que son
medibles Lebesgue se dejan aproximar por subsucesiones de una sola sucesin (
(+h
n
)()
h
n
)
n=1
.
Por otro lado, si consideramos slamente el caso cuando g es constante, vemos que la funcin tiene
la propiedad de que cualquier nmero real a es un nmero derivado de para casi todo punto de [0, 1].
Algunos otros resultados demostrado por Nestoridis en [338], en relacin a las series de Taylor uni-
versales, son los siguientes:
Teorema de Nestoridis. Sea f (z) =
n=1
c
n
z
n
una serie de Taylor universal en el sentido de
Nestoridis. Entonces
(1) (c
n
)
n=1
, c
0
.
(2) f , H
1
(D). En particular, f , H
p
(D) para cualquier p 1, donde H
p
(D) es el espacio
de Hardy de orden p.
(3) f no es el desarrollo de Taylor de ninguna funcin racional.
(4) Ninguna subsucesin de las sumas parciales de f converge uniformemente sobre T.
(5) Las series de Taylor universales en el sentido de Nestoridis cuando son consideradas en
el crculo [z[ = 1, son series trigonomtricas universales en el sentido de Menchoff.
En un artculo aun no publicado, V. Farmaki y V. Nestoridis [160] usando la teora de Ramsey innita,
especcamente, el principio de dicotoma de Galvin-Prikry, prueban el siguiente resultado:
Teorema de Farmaki-Nestoridis. Para cualquier sucesin (
j
)
j=1
en C, existe una subsuce-
sin (
k
j
)
j=1
tal que:
(1) cualquier subsucesin de (
k
j
)
j=1
dene una serie de Taylor universal en el sentido de
Nestoridis, o
(2) ninguna subsucesin de (
k
j
)
j=1
dene una serie de Taylor universal en el sentido de
Nestoridis.
Muchos otros resultados interesantes se pueden ver en [193], [248] y las referencias all citadas. Por
ejemplo, en ([193] Proposition 7), se prueba el siguiente resultado:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema. Sean X un espacio vectorial topolgico metrizable y (x
n
)
n=1
una sucesin en X. Las
siguientes armaciones son equivalentes:
(1) Existe una serie universal
n=1
a
n
x
n
en X.
(2) Para cualquier n
0
N, el subespacio lineal generado por x
n
: n n
0
es denso en X.
2.1.16. | Series condicionalmente convergentes en R y abundantes reordenamientos
Sea
n=1
a
n
una serie de nmeros reales. La convergencia o divergencia de la serie
n=1
a
n
depende,
como sabemos, del orden en que los elementos de la sucesin a
1
, a
2
, . . . estn dispuestos, por lo que una
permutacin de los trminos de la sucesin puede modicar, o dejar inalterable, la convergencia o divergencia
de dicha serie. Resulta claro que para alterar el estatus de la convergencia de dicha serie la permutacin debe
ser capaz de modicar un nmero innito de trminos de la sucesin, pues permutando slo un nmero
nito de los trminos de la sucesin la nueva serie no altera su convergencia o divergencia. Recordemos
que la serie
n=1
b
n
se dice que es un reordenamiento de la serie
n=1
a
n
si existe una permutacin de
N tal que b
n
= a
(n)
para todo n N. Existen series que poseen cualidades muy sorprendentes, como por
ejemplo, la serie
n=1
(1)
n+1
/n la cual tiene la desconcertante particularidad de que, para cualquier valor
real preasignado, digamos r, existe una permutacin de N tal que
n=1
(1)
(n)
/(n) = r. Sin embargo,
este tipo de comportamiento no ocurre si nuestra serie es absolutamente convergente. Recordemos que una
serie
n=1
a
n
se dice que es absolutamente convergente si
n=1
[a
n
[ < .
Es bien conocido que si
n=1
a
n
es una serie absolutamente convergente, entonces
n=1
a
n
converge y, para
cualquier permutacin de N, la serie
n=1
a
(n)
permanece convergente retenindose, adems, la suma
de la serie original, es decir,
n=1
a
(n)
=
n=1
a
n
(vase, por ejemplo, [267], Theorem 6, p. 81, o tambin
[244], Theorem 1.1.2, p. 3). Por esta razn, a tales series tambin se les conoce con el nombre de series
incondicionalmente convergentes, es decir, series que no alteran su suma independientemente de como se
cambien sus trminos por cualquier permutacin. Por otro lado, la serie
n=1
a
n
se dice que es condicional-
mente convergente si ella es convergente sin ser absolutamente convergente, es decir,
n=1
a
n
< , pero
n=1
[a
n
[ = +.
Por qu las series condicionalmente convergentes son interesantes? Tal vez una buena respuesta a dicha
interrogante sea, probablemente, un resultado descubierto por Bernard Riemann el cual establece que las
series condicionalmente convergentes pueden cambiar drsticamente su comportamiento por medio un cierto
reordenamiento, es decir: dada cualquier serie condicionalmente convergente y jado cualquier nmero real
extendido , es decir, , es posible reordenar dicha serie de tal suerte que la nueva serie obtenida
converja a , o dicho de otro modo, reordenando adecuadamente una serie condicionalmente convergente
podemos hacer que la nueva serie sea divergente o que converja a un nmero real prejado. Este hecho
notable, pero fascinante, se puede formular en los siguientes trminos (vase, por ejemplo, [386], Theorem
3.54, p. 76).
Teorema 2.1.38 (Riemann). Sea
n=1
a
n
una serie condicionalmente convergente con a
n
,= 0 para todo
n N y suponga que +. Entonces existe una permutacin de N tal que
lminf
N
N
n=1
a
(n)
= y lmsup
N
N
n=1
a
(n)
= . (A)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Para cada n N, sean
p
n
=
[a
n
[ +a
n
2
y q
n
=
[a
n
[ a
n
2
.
Observe que, para cualquier n N, p
n
0, q
n
0, p
n
q
n
= a
n
y p
n
+q
n
=[a
n
[.
La prueba ser efectuada en dos pasos, el primero de los cuales es el siguiente:
(1) Las series
n=1
p
n
y
n=1
q
n
son ambas divergentes.
En efecto, si ambas fueran convergentes, entonces
n=1
p
n
+
n=1
q
n
=
n=1
[a
n
[ sera convergente, lo
que resulta contrario a la denicin de serie condicionalmente convergente. Por otro lado, puesto que
N
n=1
a
n
=
N
n=1
_
p
n
q
n
_
=
N
n=1
p
n

N
n=1
q
n
, N = 1, 2, . . . ,
la divergencia de
n=1
p
n
y la convergencia de
n=1
q
n
(o viceversa) conducen, en ambos casos, a la diver-
gencia de
n=1
a
n
, lo que de nuevo viola nuestra hiptesis.
Particionemos el conjunto de los nmeros naturales en los dos subconjuntos siguientes:
N
1
=i
n
: a
i
n
> 0, n = 1, 2, . . . y N
2
=l
n
: a
l
n
< 0, n = 1, 2, . . .
manteniendo el orden en el cual tanto los trminos positivos, as como los negativos, aparecen en la serie.
De este modo i
1
< i
2
< < i
n
< y l
1
< l
2
< < l
n
< . Para evitar un poco lo engorroso de
los subndices, pongamos P
n
= a
i
n
y Q
n
= [a
l
n
[ para todo n N. Las series
n=1
P
n
y
n=1
Q
n
dieren
de las series
n=1
p
n
y
n=1
q
n
slamente por los trminos que son ceros, de all que ellas tambin son
divergentes.
El segundo y ltimo paso consistir en construir la permutacin .
(2) Existen subsucesiones (m
n
)
n=1
y (k
n
)
n=1
de N tales que la serie
P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
+P
m
1
+1
+ +P
m
2
_
Q
k
1
+1
+ +Q
k
2
_
+P
m
2
+1
+ +P
m
3
, (B)
satisface (A). Ntese que esta nueva serie es un reordenamiento de
n=1
a
n
.
Para demostrar (2) comencemos, en primer lugar, escogiendo sucesiones en R, digamos (
n
)
n=1
y
(
n
)
n=1
tales que
lm
n
n
= , lm
n
n
= , con
1
> 0, y
n
<
n
, n = 1, 2, . . . .
La idea ahora es reordenar convenientemente los trminos de la serie para obtener lo deseado. Esto lo hare-
mos haciendo pasar delante ciertos bloques de trminos positivos de la serie y retrasando la entrada de otros
bloques de trminos negativos. Veamos esto.
Puesto que
n=1
P
n
= +, podemos elegir un entero positivo, llammoslo m
1
, el cual ser tomado como
el ms pequeo, tal que
P
1
+ +P
m
1
>
1
.
Observe que, por la eleccin de m
1
, se cumple que P
1
+ +P
m
1
1
1
y, en consecuencia,
1
< P
1
+ +P
m
1
= P
1
+ +P
m
1
1
+P
m
1

1
+P
m
1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Deniendo S
p
1
= P
1
+ +P
m
1
, resulta que
S
p
1
P
m
1
.
Vamos a denir los primeros m
1
valores de nuestra permutacin declarando que:
(1) = i
1
, (2) = i
2
, . . . , (m
1
) = i
m
1
.
Similarmente, siendo divergente la serie
n=1
Q
n
, existe un k
1
N, que de nuevo elegiremos como el entero
positivo ms pequeo, de modo tal que
Q
1
+ +Q
k
1
> P
1
+ +P
m
1
1
,
esto es,
P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
<
1
.
Una vez ms, la escogencia de k
1
nos garantiza que P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
1
_

1
, de donde se
sigue que
1
Q
k
1
P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
1
_
Q
k
1
<
1
.
Por esto,
S
q
1
Q
k
1
,
donde hemos puesto S
q
1
= P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
. Los siguientes valores de , comenzando desde
m
1
+1 hasta k
1
, se obtienen deniendo
(m
1
+1) = l
1
, (m
1
+2) = l
2
, . . . , (k
1
) = l
k
1
.
Usando de nuevo el hecho de que las series
n=1
P
n
y
n=1
Q
n
son divergentes podemos, como antes,
escoger los enteros positivos ms pequeos, digamos m
2
y k
2
, con k
2
> k
1
y m
2
> m
1
, tales que
P
1
+ +P
m
1
+P
m
1
+1
+ +P
m
2
> Q
1
+ +Q
k
1
+
2
,
y
Q
1
+ +Q
k
1
+Q
k
1
+1
+ +Q
k
2
> P
1
+ +P
m
1
+P
m
1
+1
+ +P
m
2
2
.
De esto se desprende, por las elecciones de m
2
y k
2
, que si denimos
S
p
2
= P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
+P
m
1
+1
+ +P
m
2
>
2
y
S
q
2
= P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
+P
m
1
+1
+ +P
m
2
_
Q
k
1
+1
+ +Q
k
2
_
<
2
,
entonces,
S
p
2
P
m
2
y

S
q
2
Q
k
2
.
Hagamos
(k
1
+1) = i
m
1
+1
, . . . , (m
2
) = i
m
2
, (m
2
+1) = l
k
1
+1
, . . . , (k
2
) = l
k
2
.
El procedimiento anterior, que se puede llevar a cabo indenidamente gracias al hecho (1), culmina con la
obtencin de las dos sucesiones (m
n
)
n=1
y (k
n
)
n=1
de N tal que la serie (B), que como se puede ver es un
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
reordenamiento de
n=1
a
n
, satisface, como veremos de inmediato, las igualdades en (A). En efecto, para
cada n N, sean
S
p
n
= P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
+P
m
1
+1
+ +P
m
2
_
Q
k
1
+1
+ +Q
k
2
_
+ +P
m
n1
+1
+ +P
m
n
S
q
n
= P
1
+ +P
m
1
_
Q
1
+ +Q
k
1
_
+P
m
1
+1
+ +P
m
2
_
Q
k
1
+1
+ +Q
k
2
_
+ +P
m
n1
+1
+ +P
m
n
_
Q
k
n1
+1
+ +Q
k
n
_
.
las sumas parciales de la serie (B). Resulta entonces, por el procedimiento antes descrito, que para cada
n N,
S
p
n
P
m
n
y

S
q
n
Q
k
n
.
Hasta ahora no hemos usado el hecho de que la serie
n=1
a
n
es convergente. Ha llegado el momento.
En efecto, como
n=1
a
n
es convergente, entonces lm
n
a
n
= 0, de donde se sigue que lm
n
P
n
= 0 =
lm
n
Q
n
. Por esto,
lm
n
S
p
n
= y lm
n
S
q
n
= .
Es claro, por nuestra construccin de la serie (B), que ninguna subsucesin de las sumas parciales de (B)
puede tener como lmite a un nmero menor que o mayor que . Esto naliza nuestra prueba.
Observe que, como consecuencia del Teorema de Riemann se sigue que, dada cualquier serie condi-
cionalmente convergente
n=1
a
n
:
(R
1
) si r R, entonces se puede construir una permutacin de N tal que
n=1
a
(n)
= r,
(R
2
) existen permutaciones
1
y
2
de N tales que
n=1
a
1
(n)
= y
n=1
a
2
(n)
= +.
Parece razonable, en vista del resultado de Riemann, preguntarse por el tamao de todas aquellas per-
mutaciones de una serie condicionalmente convergente para las cuales la conclusin (R
2
) del Teorema de
Riemann se cumple. Para que tal pregunta tenga sentido es importante que sta pueda ser formulada en un
contexto adecuado, es decir, debemos determinar el espacio de Baire en la que tal pregunta se puede formular.
Denotemos por P(N) el conjunto de todas las permutaciones de N y dotemos a dicho conjunto de la
mtrica de Frchet d, denida por:
d(
1
,
2
) =
n=1
1
2
n
[x
n
y
n
[
1+[x
n
y
n
[
,
para cualesquiera
1
= (x
n
)
n=1
,
2
= (y
n
)
n=1
P(N). Supongamos ahora que s =
n=1
a
n
es una serie condi-
cionalmente convergente y entonces denamos
A(s) = A(a
1
, a
2
, . . .) =
_
P(N) :
n=1
a
(n)
converge
_
Observe que, gracias al Teorema de Riemann, A(s) es un subconjunto no vaco y propio de P(N). La pregunta
que anteriormente nos formulramos referente al tamao de las permutaciones que vericaban el Teorema
de Riemann ahora puede ser reformulada en los siguientes trminos (vase, Ralph P. Agnew, [4], quien le
concede a M. Kac el planteamiento del siguiente problema):
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Problema de Kac. Dada una serie condicionalmente convergente s =
n=1
a
n
, cul es la categora,
en el sentido de Baire, del conjunto P(N) A(s)?
Para abordar la solucin al Problema de Kac, es imprescindible que podamos vericar que nuestro es-
pacio mtrico (P(N), d) sea un espacio de Baire. Antes de demostrar esto ltimo, vamos a destacar dos
propiedades importantes del espacio mtrico (P(N), d). En primer lugar:
(a) (P(N), d) no es completo. En efecto, para cada n 2, considere la permutacin
n
=
_
2, 3, , n1, n, 1, n+1, n+2,
_
y observe que d(
m
,
m+1
) =2m/(1+2m) para todo m2, de donde resulta que (
n
)
n=1
es una sucesin
de Cauchy en P(N) que no converge a ningn punto de P(N).
(b) Sea > 0 y jemos una permutacin arbitraria = (x
n
)
n=1
de N. Suponga que hemos elegido un N N
de modo tal que
n=N+1
1/2
n
< . Entonces, cualquier permutacin
1
= (y
n
)
n=1
P(N) para la cual
se cumple que y
n
= x
n
, n = 1, . . . , N, pertenece a la bola abierta con centro y radio , es decir,
1
U(, ). Esto sigue del hecho de que,
d(,
1
) =
n=1
1
2
n
[x
n
y
n
[
1+[x
n
y
n
[
=
n=N+1
1
2
n
[x
n
y
n
[
1+[x
n
y
n
[
<
n=N+1
1
2
n
< .
De esto se deduce que si
N(x
1
, . . . , x
N
) =
_
(y
n
)
n=1
P(N) : y
k
= x
k
, k = 1, . . . , N
_
,
entonces N(x
1
, . . . , x
N
) U(, ).
Recprocamente, si N N es lo sucientemente grande y si
1
= (y
n
)
n=1
es cualquier permutacin de
N tal que
1
U(, 2
N1
), entonces x
1
= y
1
, . . . , x
N
= y
N
. En efecto, como
n=N+1
1/2
n
= 2
N
y ya
que d(,
1
) < 2
N1
, tenemos, por el hecho de que las coordenadas de y
1
son enteras, que x
n
= y
n
para n = 1, . . . , N.
Denote por X el espacio N
N
formado por todas las funciones x : N N (= sucesiones en N) y dotemos
a dicho espacio con la mtrica de Frchet. Resulta que (X, d) es un espacio mtrico completo y P(N) es un
subespacio propio y, por supuesto, no cerrado de X. Para cada k, m N sea
E(m, k) =
_
(x
n
)
n=1
X : x
m
= k
_
y observe que E(m, k) es un subconjunto abierto de X. En efecto, si x E(m, k), entonces, por antes lo visto,
se sigue que cualquier y = (y
n
)
n=1
U(x, 2
m1
) satisface que y
1
= x
1
, . . . , y
m
= x
m
= k, de donde se deduce
que, U(x, 2
m1
) E(m, k). Denamos ahora
P
k=1
_
m=1
E(m, k).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Resulta que P
es un G
en el espacio mtrico completo X y, entonces, por el Teorema de Alexandroff-

Hausdorff, pgina 64, P
es completamente metrizable. Ntese que P
es el conjunto de todas las sucesiones

(x
n
)
n=1
en X con la propiedad de que cada k N aparece al menos una vez en dicha sucesin. En efecto,
sea (x
n
)
n=1
P
. Entonces (x
n
)
n=1

m=1
E(m, k) para todo k 1. De aqu se sigue que, para cada k N,
existe un m
k
N tal que x
m
k
= k, de donde se sigue nuestra armacin. Observe que cualquier permutacin
de N pertenece a P
, es decir, P(N) P
.
Lema 2.1.10. (P(N), d) es un espacio de Baire.
Prueba. Sea P
la clausura de P(N) en X. Puesto que P(N) no es cerrado en X, P(N) P
y, en consecuencia,
P(N) = P
. Por otro lado, siendo P
un G
en X (por ser completo), tenemos que P(N) tambin es un G
y, por lo tanto, por una nueva aplicacin del Teorema de Alexandroff-Hausdorff, completamente metrizable.
Se sigue del Teorema 1.11.1, pgina 63, que (P(N), d) es un espacio de Baire.
Fijemos una serie condicionalmente convergente, digamos,
n=1
a
n
, y denotemos por H(a
1
, a
2
, . . .) el
conjunto denido por
H(a
1
, a
2
, . . .) =
_
P(N) : lminf
N
N
n=1
a
(n)
= y lmsup
N
N
n=1
a
(n)
=
_
.
Por el Teorema de Riemann se tiene que H(a
1
, a
2
, . . .) es no vaco. Lo que Agnew demuestra es que tal
conjunto es abundante en (P(N), d) y, en consecuencia, como A(s) H(a
1
, a
2
, . . .), resulta que P(N) A(s)
tambin es residual en P(N), quedando, de esta manera, resuelto el problema de Kac.
Teorema 2.1.39 (Agnew). Si
n=1
a
n
es una serie condicionalmente convergente, entonces H(a
1
, a
2
, . . .) es
residual en (P(N), d).
Prueba. Sea
F
+
=
_
P(N) : lmsup
N
N
n=1
a
(n)
< +
_
.
Observe que si, para cada k N, denimos
F
k
=
_
P(N) : sup
N1
N
n=1
a
(n)
k
_
,
entonces F
+
=

k=1
F
k
. Nuestra primera tarea consistir en demostrar que cada conjunto F
k
es nunca-
denso en P(N). Fijemos entonces k N y suponga, para arribar a una contradiccin, que int(F
k
) ,= . Sea
= (x
n
)
n=1
una permutacin en P(N) tal que
U(
, ) F
k
para algn > 0 y escojamos un m N lo sucientemente grande que nos garantice que
n=m+1
1
2
n
<

2
.
Puesto que
n=1
[a
n
[ = +, podemos construir una permutacin
= (x
n
)
n=1
de N de modo tal que, para el
m escogido anteriormente, se cumpla:
x
n
= x
n
si 1 n m,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
y si n > m, entonces
n=m+1
a
(n)
=
n=m+1
a
x
n
= +.
Con esta denicin resulta que d(
) < /2, por lo que
U(
, ). Por otro lado, teniendo en cuenta

que
n=1
a
(n)
= +, podemos escoger un subndice q N tal que
a
(1)
+ a
(2)
+ + a
(q)
> k. (1)
Pongamos = 2
q1
y observe ahora que si = (x
n
)
n=1
U(
, ), entonces x
1
= x
1
, . . . , x
q
= x
q
y se
sigue de (1) que
a
(1)
+ a
(2)
+ + a
(q)
> k.
Esto prueba que ,F
k
y, por lo tanto, F
k
no contiene ningn punto de U(
, ). En particular, F
k
no contiene
a
lo que, evidentemente, contradice el hecho de que
U(
, ) F
k
.
Por esto, F
k
es nunca-denso, y entonces F
+
es de primera categora.
De modo enteramente similar, se prueba que el conjunto
F
=
_
P(N) : lminf
N
N
n=1
a
(n)
>
_
.
es de primera categora y, as, F = F
+
F
es de primera categora en P(N). Finalmente, siendo (P(N), d)

un espacio de Baire, se sigue del Teorema 1.6.3, pgina 37, que el conjunto H(a
1
, a
2
, . . .) = P(N) F es
residual en (P(N), d).
2.1.17. | Series con signos alternantes
La serie armnica alternada
n=1
(1)
n+1
n
como sabemos, es un ejemplo de una serie condicionalmente convergente y, en consecuencia, gracias al
Teorema de Agnew, el conjunto
A(a
1
, a
2
, . . .) =
_
P(N) :
n=1
a
(n)
converge
_
,
es de primera categora en (P(N), d), donde a
n
= (1)
n+1
/n para n =1, 2, . . .. Recuerde que una permutacin
lo que hace es mudar la posicin de cada trmino a
n
hacia la posicin a
(n)
. Supongamos que no queremos
mudar las posiciones de los trminos de la serie armnica alternada por medio de una permutacin sino,
slamente, cambiar la posicin de algunos o todos los signos +1 y 1 en dicha serie, es decir, supongamos
que para cada sucesin (
n
)
n=1
en 0, 1
N
, consideramos la serie
n=1
(1)
n
n
. (1)
Podemos entonces preguntarnos: de qu categora, en el sentido de Baire, es el conjunto de todos los ele-
mentos (
n
)
n=1
de 0, 1
N
que permiten que la serie (1) siga siendo convergente? De modo ms general,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
supongamos que hemos jado una sucesin (b
n
)
n=1
de nmeros reales no negativos de modo que la serie
n=1
b
n
= +. De que categora es el conjunto
C =
_
(a
n
)
n=1
0, 1
N
:
n=1
(1)
a
n
b
n
converge
_
?
o ms general aun, cul es la categora de
B =
_
(a
n
)
n=1
0, 1
N
: existe M > 0 para el cual sup
kN
n=1
(1)
a
n
b
n
M
_
?
Este es el problema que, en esos trminos, queremos investigar. Como antes, es necesario disponer de un
espacio adecuado donde sea posible aplicar el Teorema de Categora de Baire. Para ello vamos a requerir que
nuestro espacio, en esta parte, sea 2
N
=0, 1
N
con la mtrica de Frchet d que, como sabemos, viene dada
por
d
_
x, y
_
=
n=1
1
2
n
[x
n
y
n
[
1+[x
n
y
n
[
,
donde x = (x
n
)
n=1
, y = (y
n
)
n=1
0, 1
N
. Es un hecho ya establecido que (2
N
, d) es un espacio mtrico
completo. Observe que C B.
En primer lugar vamos a establecer el siguiente resultado auxiliar.
Lema 2.1.11. Sean k N,
1
, . . . ,
k
nmeros reales y c un nmero real positivo. Entonces
V
+
(k, c) =
_
(a
n
)
n=1
2
N
:
1
(1)
a
1
+
2
(1)
a
2
+ +
k
(1)
a
k
> c
_
es abierto en (2
N
, d).
Prueba. Sea a = (a
n
)
n=1
un elemento de V
+
(k, c). Lo que queremos demostrar es la existencia de algn >0
tal que cada sucesin b = (b
n
)
n=1
cuya distancia a (a
n
)
n=1
sea menor que est en V
+
(k, c). Esto se puede
obtener muy fcilmente con slo tomar = 1/2
k+1
. En efecto, ya hemos visto que si d(a, b) < , entonces
a
i
= b
i
para i = 1, 2, . . . , k lo cual signica que (b
n
)
n=1
tambin est en V
+
(k, c).
El siguiente resultado es de M. Dindo [131].
Teorema 2.1.40 (Dindo). Considere la serie
n=1
(1)
a
n
b
n
, donde (b
n
)
n=1
es una sucesin de nmeros
reales no negativos tal que
n=1
b
n
= +. Entonces
B =
_
(a
n
)
n=1
2
N
: existe M > 0 para el cual sup
kN
n=1
(1)
a
n
b
n
M
_
es de primera categora en (2
N
, d).
Prueba. Notemos en primer lugar que
B =
_
M=1
k=1
_
(a
n
)
n=1
2
N
:
n=1
(1)
a
n
b
n
M
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Para cada M N, sea
F
M
=
k=1
_
(a
n
)
n=1
2
N
:
n=1
(1)
a
n
b
n
M
_
.
Es claro B =

M=1
F
M
. Fijemos M N y observe que si (a
n
)
n=1
, F
M
, entonces existe un k N tal que
(a
n
)
n=1

_
(a
n
)
n=1
2
N
:
n=1
(1)
a
n
b
n
> M
_
,
el cual, como sabemos (Lema 2.1.11), es abierto en (2
N
, d). Esto nos dice que 2
N
F
M
es abierto, y por
consiguiente, F
M
es cerrado en (2
N
, d).
Queda por establecer que cada F
M
es nunca-denso en (2
N
, d). Para ver esto, sea a = (a
n
)
n=1
F
M
. Vamos
a demostrar que en cualquier bola abierta U(a, ) existe una sucesin (c
n
)
n=1
en dicha bola que no est en F
M
.
En efecto, dado > 0, escojamos un k N lo sucientemente grande de modo que 1/2
k+1
< y considere
ahora la sucesin (c
n
)
n=1
denida por
c
n
=
_
a
n
, para n = 1, 2, . . . , k,
0, para n > k.
Es claro que la sucesin (c
n
)
n=1
est en U(a, ) pero no pertenece a F
M
ya que
n=k+1
(1)
c
n
b
n
=
n=k+1
b
n
= .
Esto termina la prueba del teorema.
Puesto que C B, resulta que C tambin es de primera categora en (2
N
, d). Por el Teorema de Categora
de Baire tenemos que
D =
_
(a
n
)
n=1
2
N
: lmsup
k
n=1
(1)
a
n
b
n
= +
_
es residual en (2
N
, d).
Comentario Adicional 2.1.9 Si
n=1
z
n
es una serie convergente de nmeros complejos tal que
n=1
[z
n
[ =
+, entonces el Teorema de Agnew se puede aplicar a las series
n=1
Rez
n
y
n=1
Imz
n
para
demostrar que el conjunto
A
0
=
_
P(N) : sup
N1
N
n=1
z
(n)
<
_
es de primera categora en P(N).
| Sea
n=1
a
n
una serie condicionalmente convergente y para cada P(N), dena
SP() =
_
N
n=1
a
(n)
: N = 1, 2, . . .
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Si SP()
denota el conjunto de todos los puntos de acumulacin o puntos lmites de SP(), entonces
J.

Cerve nansk [91] demuestra el siguiente resultado:
Teorema de

Cerve nansk. El conjunto
H
(a
1
, a
2
, . . .) =
_
P(N) : SP()
= [, +]
_
es residual en (P(N), d).
| Subseries de series en espacios normados.
Considere un espacio de Banach (X, ||) y sea
n=1
x
n
una serie en X. Recordemos que la serie
n=1
x
n
se dice que es incondicionalmente convergente si para cualquier permutacin de N, la serie
n=1
x
(n)
converge. Denote por N
1
el conjunto de todas las sucesiones (k
n
)
n=1
de N tal que k
1
< k
2
<
< k
n
< Si (k
n
)
n=1
es un elemento de N
1
, entonces la serie
n=1
x
k
n
= x
k
1
+x
k
2
+ +x
k
n
+
se llama una subserie de la serie
n=1
x
n
. La importancia de este concepto se evidencia por el hecho
de que:
Una serie
n=1
x
n
es incondicionalmente convergente si, y slo si, cada subserie de la serie
n=1
x
n
converge.
Existe una forma interesante de establecer una correspondencia uno a uno entre subseries de una serie
dada y los puntos del intervalo (0, 1]. En efecto, dada una serie
n=1
x
n
en X y jado un elemento
(k
n
)
n=1
en N
1
, considere el punto t (0, 1] denido por
t =
n=1
2
k
n
.
Otra manera adecuada a nuestro objetivo es reescribir el punto t en la forma
t =
k=1
c
k
(t)2
k
, donde c
k
(t) =
_
0, si k , k
1
, k
2
, . . .,
1, si k k
1
, k
2
, . . ..
(1)
Podemos ahora denir la correspondencia entre subseries de la serie
n=1
x
n
y los nmeros t (0, 1]
dados por la ecuacin (1), poniendo
S(t) =
k=1
c
k
(t)x
k
.
El siguiente resultado es de Dindo, Martiovit y alt [132].
Teorema de Dindo, Martiovit y alt. Sea (X, ||) un espacio de Banach y
n=1
x
n
una serie
divergente en X. Entonces el conjunto
C(x
1
, x
2
, . . .) =
_
t (0, 1] : S(t) =
k=1
c
k
(t)x
k
converge
_
es de primera categora en (0, 1].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
| Funcin que preserva suma.
Si se considera el espacio s de todas las sucesiones de nmeros reales, s =R
N
, dotado de la mtrica de
Frchet d, entonces (s, d) es un espacio mtrico completo y la funcin
: S [, +]
denida por
_
(x
n
)
n=1
_
= lmsup
n
n
k=1
x
k
resulta ser sobreyectiva pero no inyectiva y siempre discontinua en s. Ms aun, para cualquier a s y
r > 0, se cumple que
_
U(a, r)
_
= [, ]. Estos resultados se pueden ver en Lahiri y Das [276]. Si
para cada t [0, +] se dene el conjunto
H
t
=
_
x s : (x) = t
_
,
entonces Lahiri y Das demuestran que
Teorema de Lahiri-Das. H
es residual en (s, d).

| Como comentario nal, Aizpuru, Prez Eslava y Seoane Seplveda en [6] prueban el siguiente
resultado.
Teorema de Aizpuru, Prez y Seoane . Sea CS(K) el conjunto formado por todas las series conver-
gentes en K. CS(K) contiene un espacio vectorial D tal que:
(1) Cualquier x D0 es una serie condicionalmente convergente.
(2) dim(D) =c.
2.1.18. | Nmeros de Liouville
Adems de la clasicacin de R en nmeros racionales e irracionales, existe otra interesante particin de
R constituida ahora por nmeros algebraicos y trascendentes. Recordemos que un nmero real o complejo z
se dice algebraico si satisface alguna ecuacin algebraica de la forma
a
0
+a
1
z +a
2
z
2
+ +a
n
z
n
= 0
donde los coecientes a
0
, a
1
, . . . , a
n
estn en Z y no todos son ceros. Denotemos por Z[x] el conjunto de todos
los polinomios con coecientes enteros y por A
lg
(C) el conjunto de todos los nmeros algebraicos. Observe
que todo nmero racional es algebraico pues, si z = p/q con p Z y q N, entonces z satisface la ecuacin
qx p = 0. Tambin ocurre que muchos nmeros irracionales (pero no tantos, pues como veremos ms
abajo, A
lg
(C) es numerable) son algebraicos. Por ejemplo,

2 es un irracional algebraico pues l solucin
de la ecuacin x
2
2 = 0. En general, si p es un entero positivo que no es una potencia, entonces
n
p es
un irracional que satisface la ecuacin x
n
p = 0. Cualquier nmero real que no es algebraico se llama
trascendente, es decir, un nmero trascendente es aquel que no satisface ninguna ecuacin algebraica con
coecientes enteros. Por denicin, cualquier nmero trascendente es irracional, pero como ya vimos, existen
nmeros irracionales que no son trascendentes. El grado de un nmero algebraico z es el entero positivo ms
pequeo n tal que z satisface una ecuacin algebraica de grado n. La primera prueba de la existencia de
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
nmeros trascendentes fue dada por Joseph Liouville quien, en 1844, descubri una clase muy extensa de
tales nmeros. Por ejemplo, todos lo nmeros de la forma
1+
1
n
+
1
n
2
+
1
n
6
+
1
n
24
+ +
1
n
k!
+
son trascendentes, donde n es nmero entero mayor que 1. Aunque este descubrimiento de Liouville ge-
nera muchsimos nmeros trascendentes, sigue siendo un reto difcil para un matemtico demostrar que un
sospechoso particular es o no trascendente. Por tal razn, cuando Charles Hermite demostr, en 1873, que
e es trascendente, los matemticos no dejaron de asombrarse ante la belleza y sencillez de la prueba. Nueve
aos ms tarde del descubrimiento de Hermite, en 1882, Ferdinand Lindemann demostr que perteneca al
mismo clan.
Una pequea observacin es pertinente en este momento. Cualquier problema geomtrico que es resolu-
ble con la ayuda de la regla y el comps, cuando se lleva a su forma algebraica equivalente, conduce a una
o ms ecuaciones algebraicas con coecientes enteros, que pueden ser resueltas por sucesivas extracciones
de races cuadradas. Lo que Lindemann demostr es que no satisface ninguna de tales ecuaciones y, por
consiguiente, el circulo no se puede cuadrar con dichos instrumentos.
Qu otros nmeros extraos de esos que he llamados trascendentes existen? Lo que vamos a demostrar
en esta seccin es que tales nmeros constituyen, de hecho, un subconjunto residual de R, por lo que su
existencia conrman la regla y no la excepcin. La abundancia de los nmeros trascendentes fue demostrada
por G. Cantor cuando dio a conocer el siguiente resultado:
Teorema 2.1.41 (Cantor). El conjunto A
lg
(C) formado por todos los nmeros algebraicos es numerable.
Prueba. Denote por Z[x] el conjunto de todos los polinomios con coecientes enteros. Para cada polinomio
p Z[x] de grado n, sea
Z(p) =
_
z C : p(z) = 0
_
.
Por el Teorema Fundamental del lgebra, Z(p) contiene a lo sumo n elementos, es decir, es un conjunto
nito, y como
A
lg
(C) =
_
pZ[x]
Z(p),
entonces nuestra prueba nalizar una vez que hallamos demostrado que Z[x] es numerable. Veamos esto.
Para cada n N, considere, en primer lugar, el conjunto de todos los polinomios en Z[x] cada uno de los
cuales tiene grado n, esto es,
P(n) =
_
n
k=1
a
k
x
k
Z[x] : a
n
,= 0
_
.
Armamos que cada P(n) es numerable. Efecto, el conjunto
E
n
=
_
(a
0
, a
1
, . . . , a
n
) : a
k
Z, a
n
,= 0
_
= Z
n
Z(Z0).
es numerable y ya que la aplicacin : E
n
P(n) denida por
(a
0
, a
1
, . . . , a
n
) =
n
k=1
a
k
x
k
.
es claramente uno-a-uno y sobreyectiva, resulta que P(n) es numerable. Finalmente, como
Z[x] =
_
n=1
P(n)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
y cada P(n) es numerable, tenemos que Z[x] es numerable y, en consecuencia,
A
lg
(C) =
_
pZ[x]
Z(p)
es a lo ms numerable (unin numerable de conjuntos nitos). Pero ya que Q A
lg
(C), se concluye que
A
lg
(C) es, efectivamente, numerable.
El siguiente es el argumento de cardinalidad empleado por G. Cantor para demostrar la existencia de
nmeros trascendentes. En efecto, si denotamos por T
ras
(R) el conjunto de todos los nmeros reales que
son trascendentes, es decir, T
ras
(R) = RA
lg
(R), donde A
lg
(R) = A
lg
(C) R, entonces la no numerabili-
dad de R en compaa del resultado anterior, nos revela que T
ras
(R) es no numerable (Observe que como
QA
lg
(R) A
lg
(C), entonces A
lg
(R) tambin es numerable). El argumento de Cantor, a pesar de ser muy
contundente, no muestra ningn miembro de T
ras
(R) (existen, pero son invisibles). Como se sabe, 30 aos
antes de esta demostracin de Cantor, Joseph Liouville se haba ocupado de mostrarnos algunos extraordinar-
ios nmeros trascendentes llamados, en honor a su nombre, nmeros de Liouville y que, gracias a la magia
del Teorema de Categora de Baire, se demostr posteriormente que la totalidad de tales nmeros constituye
un conjunto super abundante, es decir, es residual en R.
Lo que ahora sigue es la prueba que dio Liouville sobre la existencia de nmeros trascendentes. Para ello
debemos primero denir lo que se entiende por nmeros de Liouville.
Denicin 2.1.16. Un nmero x R se llama nmero de Liouville si x es irracional y para cada n N,
existen enteros p y q, con q > 1, tal que
x
p
q
<
1
q
n
.
Denotaremos por L el conjunto de todos los nmeros de Liouville. De inmediato probaremos que los
nmeros de Liouville existen y son trascendentes. Para ello vamos a requerir del siguiente resultado.
Lema 2.1.12. Para cualquier nmero algebraico z A
lg
(R) de grado n > 1, existe un entero positivo M tal
que

z
p
q
>
1
Mq
n
(2.1.1)
para todos los enteros p y q con q > 0.
Prueba. Puesto que z A
lg
(R), existe un polinomio de grado n > 1, digamos f (x) =
n
j=1
a
j
x
j
Z[x],
para el cual f (z) = 0. Consideremos el intervalo cerrado [z 1, z +1]. Como la derivada f

de f es una
funcin continua, su restriccin al intervalo compacto [z 1, z +1] es acotada y, por consiguiente, podemos
determinar un entero M > 0 tal que [ f

(x)[ M para todo x [z 1, z +1]. Haciendo uso del Teorema del
Valor Medio para derivadas, arribamos a la desigualdad
[ f (x)[ = [ f (x) f (z)[ M[x z[ (2.1.2)
siempre que x [z 1, z +1].
Sean z
1
, z
2
, . . . , z
m
las races distintas de f (x) que son diferentes a z y supongamos que la desigualdad
(2.1.1) no se satisface. Entonces existen enteros p y q, con q > 0 tal que
z
p
q

1
Mq
n
< 1.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Por esto,
p
q
[z 1, z +1],
y, ms an,
p
q
, z
1
, z
2
, . . . , z
m
.
En efecto, recordemos que como el grado de z es n, entonces el polinomio f (x) es irreducible sobre Z y, en
particular, irreducible sobre Q; esto signica que f (x) no tiene ninguna raz racional. Por consiguiente
0 ,= f
_
p
q
_
= a
0
+ a
1
p
q
+ a
2
_
p
q
_
2
+ + a
n
_
p
q
_
n
y, en consecuencia,
f
_
p
q
_
=
[a
0
q
n
+ a
1
q
n1
p + a
2
q
n2
p
2
+ + a
n
p
n
[
q
n

1
q
n
.
Usando esto y la desigualdad (2.1.2), obtenemos
1
q
n
M
z
p
q
,
es decir,
1
Mq
n

z
p
q
.
Esta contradiccin establece el n de la prueba del lema.
Ahora el resultado de Liouville.
Teorema 2.1.42 (Liouville). L T
ras
(R), es decir, cualquier nmero de Liouville es trascendente.
Prueba. Sea z un nmero de Liouville y supongamos que l es algebraico, es decir, z A
lg
(R). Por el
Lema 2.1.12, existen enteros positivos M y n tal que
z
p
q
>
1
Mq
n
(2.1.3)
para todos los enteros p y q, q > 0. Escojamos un entero positivo k tal que 2
k
2
n
M. Como z es un nmero
de Liouville, para este k, existen enteros p y q, con q > 1 tal que
z
p
q
<
1
q
k
.
De esto y la desigualdad (2.1.3) obtenemos 1/q
k
> 1/Mq
n
, y as,
M > q
kn
2
kn
M.
Esta contradiccin nos convence que todo nmero de Liouville es trascendente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nuestro prximo objetivo es mostrar, usando el Teorema de Categora de Baire, la abundancia de los
nmeros de Liouville. Para cada n N y cada nmero racional p/q con p y q primos entre s, construyamos
el intervalo abierto
_
p
q

1
q
n
,
p
q
+
1
q
n
_
,
y entonces denamos
G
n
=
_
q=2
_
p=
_
p
q

1
q
n
,
p
q
+
1
q
n
_
.
Como cada G
n
es un conjunto abierto conteniendo a Q, el Teorema de Categora de Baire nos dice que
G =
n=1
G
n
es un G
-denso conteniendo a Q. Adems, ya que RQ= I es tambin un G
-denso, resulta
que L =I G es un G
-denso; es decir,
Teorema 2.1.43. L es residual en R y, por lo tanto,
RL = Q
_
n=1
(RG
n
)
es de primera categora.
Puesto que L T
ras
(R), se sigue del resultado anterior que T
ras
(R) tambin es residual en R. Otra con-
secuencia inmediata del Teorema 2.1.43, observada por Paul Erds [156] en el ao de 1962, es la siguiente:
cualquier nmero real se puede escribir como la suma de dos nmeros de Liouville, esto es, R =L+L. En
efecto, sea x R y denamos L
x
= x L. Resulta que L
x
tambin es residual en R por lo que dicho con-
junto intersecta, gracias al Teorema de Categora de Baire, a L. Sea g
1
LL
x
. Entonces existe un g
2
L
tal que g
1
= x g
2
y, en consecuencia, x = g
1
+g
2
. Similarmente, existen h
1
, h
2
en L tal que x = h
1
h
2
. Es
importante destacar que en el mencionado artculo de Erds tambin existe una demostracin constructiva
de ambos resultados.
Ntese que, en general, si Ges cualquier subconjunto residual en un espacio de Banach (X, ||), entonces
cualquier x X se puede representar en la forma x = g
1
+g
2
, donde g
1
, g
2
G.
2.1.19. | Aproximaciones diofnticas
Un resultado de Kronecker establece que:
Teorema 2.1.44 (Kronecker). Para cada RQ, el conjunto
H
=
_
n+m : m, n Z
_
es denso en R.
La prueba del resultado de Kronocker puede ser llevada a cabo por una aplicacin del Principio del
Palomar o de Dirichlet, el cual se puede formular del modo siguiente:
Principio del Palomar o de Dirichlet. Si n palomas se distribuyen en m palomares, y si n > m,
entonces al menos uno de los palomares debe contener ms de una paloma.
Prueba del Teorema de Kronecker. Sea x R y sea > 0. Veamos que existen m, n Z para los cuales
se cumple que [m+n x[ < . Por simplicidad, suponga que x = 0. Escojamos un entero n 1 tal que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
n > 1/ y considere los n +1 nmeros 0 , 1 , . . . , n , donde a denota la parte fraccional
de a, es decir, a = a [a] siendo [a] la parte entera de a. Divida el intervalo [0, 1) en n partes iguales:
[0, 1/n), [1/n, 2/n), . . . , [(n1)/n, 1). Por el Principio del Palomar, al menos dos de los nmeros fraccionales
yacen en alguno de esos intervalos, es decir, existen enteros p y q en 0, 1, . . . , n tales que [p q [ <
1/n, esto es, [(pq)([q ] [p ])[ =[n+m[ < , donde n = pq y m = [p ] [q ].
Observe que como R Q es residual en R, el resultado de Kronecker puede ser reestablecido en los
siguientes trminos: existe un conjunto residual G R tal que H
=
_
n+m : m, n Z
_
es denso en R
para cada G.
Un resultado ms general que el de Kronocker fue dado a conocer por Bagemihl y Seidel en [46]
al demostrar que: si (t
n
)
n=1
es una sucesin estrictamente creciente de nmeros reales positivos tal que
lm
n
t
n
= +, entonces existe un conjunto residual G R tal que, para cada x G, el conjunto
H
x
=
_
t
n
x +m : n N, m Z
_
es denso en R. Tambin es fcil ver que si la sucesin (t
n
)
n=1
satisface los requerimientos anteriores, entonces
el conjunto
H =
_
m
t
n
: m Z, n N
_
es denso en R. En efecto, sean a, b N con a < b. El principio de Arqumedes nos garantiza la existencia
de un m
0
N tal que m
0
(b a) > 1, y puesto que lm
n
t
n
= , existe un n N tal que t
n
> m
0
y, por
consiguiente, t
n
(ba) > 1, es decir, t
n
bt
n
a > 1. Como t
n
a y t
n
b dieren en ms de una unidad, existe un
m Z tal que t
n
a < m < t
n
b, de donde se sigue que
a <
m
t
n
< b.
Esto demuestra que H(a, b) ,= y termina la prueba.
La demostracin del resultado de Bagemihl y Seidel depende de una versin muy especial del Teorema
de Categora de Baire que se utiliza, en particular, para derivar ste y otros resultados interesantes.
Recordemos que el Teorema 1.6.2 nos dice que si F es un subconjunto cerrado de un espacio topolgico
de Hausdorff X, entonces F es nunca-denso si, y slo si, X F es denso en X. Suponga ahora F es un
subconjunto arbitrario de X tal que X F es denso en X. qu condicin o condiciones hay que agregarle al
conjunto F, distinta a la de ser cerrado, para que l sea nunca-denso? La siguiente condicin fue dada por
Bagemihl y Seidel en [46]:
Lema 2.1.13 (Propiedad BS). Sea (X, ) un espacio topolgico de Hausdorff y sea F X. Suponga que:
(1) cada vez que A sea un subconjunto de F denso en algn abierto V X, se cumpla que V F, y
(2) X F es denso en X.
Entonces F es nunca-denso en X.
Prueba. Suponga que F no es nunca-denso en X. Esto signica que int(F) ,= , de donde se sigue, si
hacemos V = int(F), que F es denso en el abierto V X. Pongamos A := F. Entonces A es denso en el
abierto V y obviamente A F. Se concluye de (1) que V F. Por otro lado, (2) nos dice que cualquier
abierto de X intersecta a X F, en particular, V (X F) ,= lo que resulta obviamente imposible pues
V F. Esta contradiccin establece que F es nunca-denso en X.
La siguiente es una versin del Teorema de Categora de Baire al estilo de Bagemihl y Seidel [46].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.1.45 (Bagemihl-Seidel). Sea (X, ) un espacio de Baire y suponga que (F
n
)
n=1
es una sucesin
de subconjuntos de X cada uno de los cuales satisface las condiciones (1) y (2) dadas en el Lema 2.1.13.
Entonces X
n=1
F
n
es residual en X.
Prueba. Por el Lema 2.1.13, cada F
n
es nunca-denso en X y, gracias al Teorema 1.6.3, X
n=1
F
n
es residual
en X.
Teorema 2.1.46 (Bagemihl-Seidel). Sean Y
1
un espacio topolgico de Hausdorff, Y
2
un espacio de Haus-
dorff que es segundo numerable y X un espacio de Baire. Suponga que a cada x X se le ha asociado un
subconjunto no vaco H
x
Y
1
tal que
(3) si el conjunto D X es denso en algn subconjunto abierto no vaco G X, entonces el conjunto H
D
es denso en H
G
, donde H
A
:=
xA
H
x
para cualquier A X.
Sea f : Y
1
Y
2
una funcin continua tal que
(4) si G es un subconjunto abierto no vaco de X, entonces f (H
G
) es denso en Y
2
.
Entonces existe un conjunto residual R X con la siguiente propiedad: para cada r R, el conjunto f (H
r
)
es denso en Y
2
.
Prueba. Como Y
2
es segundo numerable podemos seleccionar una base numerable, digamos (B
n
)
n=1
, en
dicho espacio. Para cada n N, dena el conjunto
F
n
=
_
x X : f (H
x
) B
n
=
_
.
Veamos que cada F
n
posee las propiedades (1) y (2) del Lema 2.1.13. Fijemos n N y sea D un subconjunto
de X que es denso en algn abierto no vaco G X y tal que D F
n
. En primer lugar vamos a demostrar
que GF
n
. En efecto, como D es denso en G, la condicin (3) nos dice que el conjunto H
D
es denso en H
G
,
esto es, H
G
H
D
y, por la continuidad de f , tenemos que f (H
G
) f (H
D
) f (H
D
). Teniendo en cuenta que
DF
n
, entonces f (H
d
) B
n
= para todo d D, y en consecuencia,
f (H
D
) B
n
=
_
dD
_
f (H
d
) B
n
_
= .
Un llamado al Lema 1.4.1 nos revela que f (H
D
) B
n
= . En particular, f (H
G
) B
n
= lo cual signica
que f (H
g
) B
n
= para todo g G, y en consecuencia, G F
n
. Falta demostrar que X F
n
es denso en X.
Sea G un subconjunto abierto no vaco de X. Por (4), f (H
G
) es denso en Y
2
, y como B
n
es abierto en Y
2
, se
tiene que f (H
G
) B
n
,=. De esto se sigue que el conjunto G(X F
n
) =x G : f (H
x
) B
n
,= es no
vaco, y por consiguiente, X F
n
es denso en X.
Habiendo demostrado que cada F
n
satisface las propiedades (1) y (2) del Lema 2.1.13, el Teorema 2.1.45,
nos garantiza que el conjunto
R := X
_
n=1
F
n
=
n=1
(X F
n
) =
_
x X : f (H
x
) B
n
,=, para todo n N
_
es residual en X. Puesto que (B
n
)
n=1
es una base de Y
2
, cualquier abierto V de Y
2
se puede expresar en la
forma V =
kK
B
k
para algn conjunto K N, de donde se sigue que f (H
x
) es denso en Y
2
para cualquier
x R.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.1.47 (Bagemihl-Seidel). Sean X un espacio de Baire, Y un espacio de Hausdorff segundo nu-
merable y ( f
n
)
n=1
una sucesin de funciones continuas de X en Y. Sea (B
n
)
n=1
una base ja de Y y suponga
que la siguiente condicin se cumple:
(5) para cualquier conjunto abierto no vaco GX y cualquier B
n
, existe un k N tal que f
k
(G) B
n
,=.
Entonces existe un conjunto residual R X tal que, para cualquier x R, el conjunto H
x
= f
n
(x) : n N
es denso en Y.
Prueba. Denamos Y
1
= Y
2
= Y y sea f la funcin identidad de Y en Y. Para cada x X, considere el
conjunto
H
x
=
_
f
n
(x) : n N
_
.
Observe que si A X, entonces H
A
=

aA
H
a
=

n=1
f
n
(A). Queremos demostrar que las hiptesis del
teorema implican las condiciones (3) y (4) del teorema anterior. En efecto, para ver que (3) se cumple,
suponga que D X es denso en algn abierto no vaco G X, esto es, G D. La continuidad de cada f
n
nos asegura que f
n
(G) f
n
(D) para todo n N y, en consecuencia,
H
G
=
_
n1
f
n
(G)
_
n1
f
n
(D)
_
n1
f
n
(D) = H
D
,
es decir, H
D
es denso en H
G
y la condicin (3) del Teorema 2.1.46 queda establecida. Demostremos ahora
que (4) se cumple. Sea G un subconjunto abierto no vaco de X y veamos que f (H
G
) = H
G
es denso en
Y. En efecto, sea U un subconjunto abierto no vaco de Y. Como U =

nJ
B
n
para algn J N y ya
que H
G
=

n=1
f
n
(G), entonces la condicin (5) nos revela que H
G
U =

k=1
nJ
( f
k
(G) B
n
) es no
vaco, quedando as demostrada la condicin (4) del Teorema 2.1.46. Una aplicacin del Teorema 2.1.46 nos
asegura la existencia de un conjunto residual R X tal que f (H
x
) = H
x
=
_
f
n
(x) : n N
_
es denso en Y para
cada x R.
Teorema 2.1.48 (Aproximacin Diofntica). Sea (t
n
)
n=1
una sucesin estrictamente creciente de nmeros
reales positivos tal que lm
n
t
n
=. Entonces existe un conjunto residual R R tal que, para cada x R,
el conjunto
H
x
=
_
t
n
x +m : n N, m Z
_
es denso en R.
Prueba. Para poder aplicar el Teorema 2.1.47, hagamos X = Y = R, la base (B
n
)
n=1
que vamos a consi-
derar es la que est formada por todos los intervalos abiertos no degenerados de R con extremos raciona-
les, mientras que ( f
n
)
n=1
consistir de una enumeracin de todas las funciones
m,k
: R R denidas por
m,k
(x) = t
m
x +k, donde m N, k Z y x R. Veamos ahora que si G es cualquier subconjunto abier-
to no vaco de R, entonces para cualquier n N, existe un k N tal que f
k
(G) B
n
,= . En efecto, sea
(a, b) un intervalo abierto contenido en G. El principio de Arqumedes nos garantiza la existencia de un
m
0
N tal que m
0
(b a) > 1, y puesto que lm
n
t
n
= , podemos hallar un m N tal que t
m
> m
0
y,
as, t
m
(ba) > 1. De esto se sigue que existe un entero j con t
m
a < j < t
m
b tal que cualquier nmero real
x (en particular, cualquier x B
n
) se puede escribir en la forma t
m
x
0
+ j para algn x
0
(a, b). Si f
k
es la
funcin que corresponde a
m, j
(x) =t
m
x+ j, para algn k N, en nuestra enumeracin, entonces tendremos
que f
k
(G) B
n
,= . Por el Teorema 2.1.47 existe un conjunto residual R R tal que, para todo x R, el
conjunto H
x
=
_
t
n
x +m : n N, m Z
_
es denso en R.

Series de Fourier Siempre Divergentes

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Series de Fourier Siempre Divergentes

Cargado por

Copyright:

Formatos disponibles

w

(t) = g(t). En efecto, puesto que D

(t) = g(t). Por otro lado, como

-denso y que, ms aun, la coleccin de las funciones

) tal que, para cada f G, el conjunto

) tal que, para cada f G,

( f , t), por ser el supremo de una coleccin de funciones continuas, es infe-

( f , t) > r es abierto en T que, adems, es denso en dicho conjunto. Finalmente, si f G, el

-denso en T. Esto termina la prueba.

). Esto quiere decir que, dado > 0 y f C(T), existe p P

para toda f C(T), resulta que:

< /2. Finalmente, las desigualdades

= para todo t T. De esto se deduce que: cualesquiera sean M, N N,

> M, para todo t T. (K)

> k, para todo t T. (K)

) > k para todo t

> M para todo t T

, para todo t T. (6)

de T con (E) = 0. En-

. Entonces existe un polinomio trigonomtrico p en C(T), con | p|

( f , t) > n, para todo t E

( f , t) es una funcin inferiormente semicontinua, resulta que cada G

una bola abierta con centro en f y radio

( f , t) M para todo t T. A continuacin,

=0, 1, 2, . . ., est provisto de la topologa producto.

con las siguientes propiedades:

, entonces podemos valorar lo espectacular que

,=0 y, por consiguiente, podemos elegir un = (

, es decir, que cumpla

f (n) = 0, para toda f V(T). (1)

h(n) = 0, para todo n N, . . . , N (4)

< (2N +1)

Para cada a T, los conjuntos compactos K

[1, 1] que satisfacen f (0) =0 y que poseen una

conteniendo a K tal que K

CD y su complemento es conexo. Por

< a, tenemos que [b

< mn, 1/s sobre K

-denso en H(D). En particular, U

-denso en H(D), y como es

-denso en H(D). Siendo H(D) un

en el espacio mtrico completo X y, entonces, por el Teorema de Alexandroff-

es completamente metrizable. Ntese que P

es el conjunto de todas las sucesiones

la clausura de P(N) en X. Puesto que P(N) no es cerrado en X, P(N) P

. Por otro lado, siendo P

en X (por ser completo), tenemos que P(N) tambin es un G

) < /2, por lo que

, ). Por otro lado, teniendo en cuenta

lo que, evidentemente, contradice el hecho de que

es de primera categora en P(N). Finalmente, siendo (P(N), d)

es residual en (s, d).

-denso conteniendo a Q. Adems, ya que RQ= I es tambin un G

También podría gustarte