w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAPTULO 2
APLICACIONES DEL TEOREMA DE
CATEGORA DE BAIRE
Hemos dividido las aplicaciones del Teorema de Categora de Baire en dos grandes bloques: el primer
bloque abarca slo la existencia de ciertas clases de funciones en un espacio de Baire especco y de otros
objetos que pudiramos pensar como muy raros por el hecho de que ellos son difciles de visualizar y, por
lo general, tambin muy difciles de construir pero que, a pesar de esa naturaleza un tanto extica, ellos
constituyen casi todos los elementos en el espacio de Baire bajo consideracin. En el segundo bloque nos
deleitaremos al presentar ciertas aplicaciones en el mbito de los espacios de Banach incluyendo algunas
de las aplicaciones que son consideradas clsicas tales como los Teoremas de Acotacin Uniforme, de la
Aplicacin Abierta, el de Vitali-Hahn-Saks, etc., as como otras de data ms recientes como son el Teorema
Grande de Namioka, los juegos de Banach-Mazur y de Choquet, operadores hipercclicos, etc.
2.1. Galera de monstruos: funciones y otros objetos raros pero abundantes
Puede acontecer que en algn momento, en el transcurso de una investigacin, uno se encuentra con un
problema que, a primera vista, parece no tener solucin y sin embargo, suele existir un conjunto increble-
mente abundante de soluciones a dicho problema. En algunos casos, esos conjuntos que podemos llamarlos
conjuntos extraos, pueden o no tener una estructura lineal e interesa saber si es posible que dentro de ellos
exista algn subespacio vectorial (de alguna dimensin). En la penltima seccin de este captulo expon-
dremos algunos fantsticos resultados (sin demostracin) que han sido obtenidos en esa direccin. Artculos
recientes tales como [17, 18, 196, 32] y las referencias all citadas, exhiben, adems de los ejemplos que
aqu presentamos, otros tipos de conjuntos de funciones extraas que poseen subespacios vectoriales. Por lo
pronto, en esta seccin mostraremos algunos ejemplos de, no slo de la existencia de ciertos monstruos que
se exhiben en nuestra galera, sino de una propliferacin increble de ellos. Algunos tipos de conjuntos de
funciones con propiedades muy particulares, y que son muy difciles de visualizar, constituirn fundamen-
talmente los elementos de nuestra galera.
En lo que sigue, C[a, b] denotar el espacio mtrico completo de todas las funciones f : [a, b] R que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
114 Cap. 2 Aplicaciones del Teorema de Categora de Baire
son continuas en el intervalo [a, b], dotado de la mtrica del supremo d

, esto es,
d

( f , g) = sup
x[a,b]

f (x) g(x)

, para todo f , g C[a, b].

C[a, b] resulta ser un espacio vectorial sobre Rcon las operaciones usuales de suma y producto por un escalar.
Con mucha frecuencia C[a, b] tambin ser pensado como un espacio Banach con la norma del supremo

denida por
f

= sup
x[a,b]

f (x)

, f C[a, b].
El espacio (C[a, b], d

) posee una estructura tan rica que con ella es posible producir resultados tan
impresionantes que han asombrado a propios y a extraos. Comencemos por recordar dos maravillosos e
importantes teoremas obtenidos por K. Weierstrass sobre la densidad de los polinomios algebraicos y los
polinomios trigonomtricos en C[a, b] y

C[0, 2] respectivamente, quien, para ese momento contaba con 70
aos de edad. En lo que sigue P[a, b] denotar el conjunto (de hecho, un subespacio vectorial) de todos los
polinomios algebraicos en C[a, b], es decir,
P[a, b] =

_
n=1
P
n
[a, b],
donde P
n
[a, b] es el subespacio lineal (de dimensin nita) generado por
_
1, x, . . . , x
n
_
. Observemos que
p P[a, b] si, y slo si, existen un n Ny escalares a
0
, a
1
, . . . , a
n
tal que p(x) =a
0
+a
1
x+ +a
n
x
n
. Decimos
que el grado de p, grado(p), es n si a
n
= 0 en la representacin anterior. Una consecuencia inmediata del
siguiente resultado es que P[a, b], siendo un subespacio lineal de dimensin innita de (C[a, b],

), nunca
es norma-cerrado en C[a, b].
Teorema 2.1.1 (Teorema de Aproximacin de Weierstrass (A)). Sea f C[a, b]. Para cada > 0, existe
un polinomio algebraico p en P[a, b] tal que

f (x) p(x)

<
para todo x [a, b], esto es, f p

< .
Casi cualquier libro sobre Anlisis Real en una variable contiene una demostracin del resultado de
Weierstrass. Sin embargo, una detallada y agradable exposicin del Teorema de Aproximacin de Weierstrass
y algunas de sus variantes se puede leer, por ejemplo, en el artculo [353] escrito por A. Pinkus.
Consideremos el subespacio de C[0, 2] denido por

C[0, 2] =
_
f C[0, 2] : f (0) = f (2)
_
.
Este espacio puede ser pensado, y de hecho as lo consideraremos, como la restriccin al intervalo [0, 2] de
todas las funciones 2-peridicas en C(R). Denotemos por T
n
[0, 2] el subespacio vectorial de dimensin
nita de todos los polinomios trigonomtricos generado por {1, sen(x), cos(x), . . . , sen(nx), cos(nx)}. Como
antes,
P
T
[0, 2] =

_
n=1
T
n
[0, 2]
designa el subespacio vectorial de

C[0, 2] formado por todos los polinomios trigonomtricos en

C[0, 2].
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 115
Teorema 2.1.2 (Teorema de Aproximacin de Weierstrass (T)). Sea f

C[0, 2]. Para cada > 0, existe
un polinomio trigonomtrico t en P
T
[0, 2] tal que

f (x) t(x)

<
para todo x [0, 2], o lo que es lo mismo, f t

< .
Estos dos resultados resultan ser equivalentes tal como se demuestra en Pinkus [353], pg. 14-16.
2.1.1. Funciones continuas nunca diferenciables
El Teorema de Aproximacin de Weierstrass establece que el conjunto P[0, 1], de todos los polinomios
algebraicos en [0, 1], es norma-denso en C[0, 1]. Esto nos dice que cualquier funcin f C[0, 1] se puede
aproximar, en la norma, por un polinomio algebraico p P[0, 1] tanto como se desee, es decir, dado > 0
y cualquier f C[0, 1], existe p P[0, 1] tal que f p

< . Consideremos ahora C

[0, 1], el espacio de

todas las funciones continuas innitamente diferenciables en [0, 1]. Puesto que P[0, 1] C

[0, 1] C[0, 1],

resulta que C

[0, 1] tambin es norma-denso en C[0, 1] y, por lo tanto, cualquier funcin en C[0, 1] se puede
aproximar, en la norma, por una funcin en C

[0, 1]. Por supuesto, C

[0, 1], al igual que P[0, 1], son sub-

espacios lineales de C[0, 1] que nunca son cerrados en (C[0, 1],

). Siguiendo en la misma direccin de

aproximacin en la norma, vamos a demostrar un poco ms abajo una armacin que es casi opuesta a la an-
terior, es decir, demostraremos que cualquier funcin enC[0, 1] tambin se puede aproximar, en la norma, por
una funcin continua que no posee derivada en ningn punto de [0, 1]. Recordemos que una funcin continua
f : [0, 1] R es nunca diferenciable en [0, 1] si en ningn punto de [0, 1] ella posee derivada nita. Qu tan
grande, en el sentido de categora, es el conjunto de todas las funciones continuas nunca diferenciables en
[0, 1]?
En esta seccin abordaremos, por medio del Teorema de Categora de Baire, una solucin al problema
de la existencia de abundantes funciones continuas nunca diferenciables: los primeros monstruos en nuestra
Galera. Debemos recordar que en los cursos de Clculo elemental, la mayora de las funciones continuas
que usualmente se utilizan son, por lo general, diferenciables en casi todos los puntos de su dominio, salvo
algunas excepciones donde los puntos en los cuales la funcin no lo es constituye un conjunto a lo ms nu-
merable. Cabe entonces concebir la idea, lo que es enteramente razonable, de que si una funcin es continua,
entonces el conjunto de puntos donde ella no es diferenciable es insignicante en algn sentido. Si tal idea
tuviera alguna posibilidad de ser cierta, podramos intentar caracterizar el conjunto de los puntos donde una
funcin continua es diferenciable. Con Bolzano, Weierstrass y otros matemticos se sepult denitivamente
todas las esperanzas que haba de caracterizar tales conjuntos. La primera demostracin de la existencia de
una funcin continua nunca diferenciable parece provenir del matemtico checo Bernard Placidus Tohann
Nepomuk Bolzano (1781-1848), un sacerdote contestatario que a pesar de haber enseado por pocos aos
en la Universidad de Praga, le prohibieron seguir con sus enseanzas por expresar puntos de vistas que no
eran aceptables por las autoridades de ese momento. Su trabajo matemtico pas casi desapercibido y nunca
recibi el reconocimiento que mereca salvo mucho tiempo despus de su muerte. Bolzano era contempor-
neo de Weierstrass. Adems de dar deniciones similares de lmite, derivada, continuidad y convergencia,
tambin hizo valiosas contribuciones a la lgica y la teora de conjuntos (vase, por ejemplo, [60]). Bolzano
invent, alrededor del ao 1830, un procedimiento para la construccin de funciones continuas nunca dife-
renciables. De hecho, l solamente armaba la no existencia de la derivada en un conjunto denso de puntos.
La historia detrs de ese ejemplo est acompaada de circunstancias desafortunadas. En efecto, el manuscrito
de Bolzano con el nombre Functionenlehre, escrito alrededor del ao 1830 y que contena la susodicha
funcin, no fue publicado sino un siglo despus, en 1930. La construccin de Bolzano es muy distinta a otras
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
116 Cap. 2 Aplicaciones del Teorema de Categora de Baire
construcciones de funciones nunca diferenciables en el sentido que ella se hace a travs de un procedimiento
geomtrico en lugar de usar series convergentes. La tesis de Johan Thim [424] contiene detalladamente la
construccin de Bolzano as como el estudio de otras 17 funciones nunca diferenciables.
Es un hecho establecido que, dado cualquier conjunto numerable D de R, se puede construir una funcin
continua sobre Rde modo tal que ella deja de ser diferenciable precisamente sobre dicho conjunto. En efecto,
sea D ={d
1
, d
2
, . . .} un subconjunto numerable de R y sea (x
n
)

n=1
una sucesin de nmeros reales positivos
tal que

n=1
x
n
< .
Podemos tomar, por ejemplo, x
n
=1/2
n
para n =1, 2, . . . Para cada x R, consideremos la funcin h
x
: RR
denida por
h
x
(t) =
_
1 si t < x,
0 en otro caso.
Ahora, la funcin g : R R denida por
g(x) =

n=1
x
n
h
x
(d
n
)
es continua excepto en los puntos de D y entonces la funcin f : [0, 1] R dada por
f (x) =
_
x
0
g(t)dt
es continua, acotada y, gracias al Teorema Fundamental del Clculo, deja de ser diferenciable exactamente
en los puntos de D.
Imaginarse la grca una funcin continua que no sea diferenciable en ningn punto de su dominio es
una tarea extremadamente difcil. Lagrange, en 1777, era uno de los que crean que toda funcin continua era
diferenciable excepto para ciertos valores particulares. Compartiendo la misma opinin de Lagrange sobre
este punto de vista se encontraba, el tambin matemtico, Ampere y algunos otros. Bernard Riemann, sin
embargo, sostena puntos de vista diferente para ciertas funciones continuas representadas por series. De
hecho, en una conferencia en 1861, l arm, como conjetura, que la funcin R denida por
R(x) =

n=1
sen(n
2
x)
n
2
era continua pero nunca diferenciable. La continuidad es, por supuesto, una consecuencia fcil del M-test
de Weierstrass, pero la no-diferenciabilidad, si tal cosa es posible, no es trivial. Riemann jams present
una prueba de su conjetura. Sin embargo, la armacin de Riemann accion la curiosidad y la duda de
K. Weierstrass quien, en un intento por demostrarla, se encontr con su primer ejemplo de una funcin
continua nunca diferenciable. Pero Weierstrass no era el nico que dudaba de la armacin de Riemann.
En 1916 Hardy [206] demostr que R no era diferenciable en todos los mltiplos irracionales de , pero
que era diferenciable en algunos nmeros racionales. Despus de un poco ms de cincuenta aos, J. Gerver
([177], [178]) resolvi completamente el problema demostrando, en primer lugar, que R es efectivamente
diferenciable en todos los mltiplos racionales de de la forma (2p+1)/(2q+1), donde p y q son enteros
y luego probando que R no es diferenciable en ningn punto de la forma 2p/(2q+1) o (2p+1)/2q.
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 117
Es un hecho aceptado hoy en da por la comunidad matemtica que la funcin continua, pero nunca
diferenciable, creada por K. Weierstrass, fue el primer ejemplo contundente de una tal funcin que apareci
por primera vez publicada en una revista arbitrada de matemticas (en el ao de 1875), aunque algunos ya
conocan de su existencia pues ella fue dada a conocer por el propio Weierstrass el 18 de Julio de 1872 en
una conferencia impartida en la Academia Real de Ciencias en Berlin. Sin embargo, Allan Pinkus nos cuenta
que Weierstrass dio a conocer su funcin en un saln de clases en 1861 (ver, Allan Pinkus, Weierstrass and
Approximation Theory). En el Volumen 2 de su Mathematische Werke, publicado en 1895, aparece el artculo
de Weierstrass donde demuestra que la funcin
W(x) =

n=0
a
n
cos(b
n
x)
es continua pero nunca diferenciable, siempre que 0 < a < 1, ab > 1+(3/2) y b es un entero impar > 1.
Cincuenta y cinco aos ms tarde, en 1916, G. H. Hardy prueba que la funcin de Weierstrass W sigue siendo
continua y nunca diferenciable si adems de la condicin 0 < a < 1 se exige que ab 1, con b > 1, pero sin
pedirle que sea un entero impar.
El descubrimiento de funciones continuas nunca diferenciables conmocion a la comunidad matemtica
de la poca que incluso, matemtico de la talla de Charles Hermite (1822-1901), en una carta dirigida a
Stieltjes fechada el 20 de Mayo de 1893, le deca:
Je me dtourne avec horreur et effroi de cette plaie lamentable des functions continue qui nont
pas de driv.
(Me alejo con horror y temor de esta plaga lamentable de las funciones continuas que no poseen derivadas).
Aunque hoy en da existen variados ejemplos de funciones continuas nunca diferenciables, (vase, por
ejemplo, Johan Thim [424]), encontrar una de ellas es casi una proeza y, por supuesto, una curiosidad.
Sin embargo, a primera vista pudiera pensarse que este tipo de funciones son excepcionales, que es algo
patolgico y, de hecho, hasta hace un poco ms de cien aos esa era la opinin expresada por la mayora
de los matemticos de la poca; pero resulta, y este es lo que fundamentalmente debemos resaltar, que la
existencia de tales funciones constituye, desde el punto de vista topolgico, la regla y no la excepcin. En
efecto, el conjunto de tales funciones es tan asombrosamente cuantioso que l constituye un conjunto de
segunda categora, pero, adems, su conocimiento es crucial para entender la teora de los movimientos
Brownianos, la teora de los fractales, la teora del caos o la teora de las ondas pequeas (wavelets), slo por
mencionar algunas de las teoras que hacen uso de ese resultado.
En un artculo de 1929, Hugo Steinhauss [417] propuso el siguiente problema:
De qu categora es el conjunto de todas las funciones continuas nunca diferenciables en el espacio
de todas las funciones continuas?
La respuesta fue dada a conocer en dos artculos diferentes. El primero por Stefan Banach en 1931 [30] y el
segundo por S. Mazurkiewicz en 1932 [304]. La prueba que aqu presentamos se debe a J. C. Oxtoby [345].
Denotaremos por ND[0, 1] el conjunto formado por todas las funciones f C[0, 1] que son nunca dife-
renciables, es decir, que no poseen derivada nita en ningn punto de [0, 1]. Por el resultado de Weierstrass,
ND[0, 1] es no vaco. Lo que result ser devastador a las pretensiones de Hermite y los que pensaban como
l sobre este punto, fue el siguiente resultado de Banach y Mazurkiewicz.
Teorema 2.1.3 (Banach-Mazurkiewicz). En el espacio de Banach
_
C[0, 1],

_
, el conjunto ND[0, 1] es
residual.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
118 Cap. 2 Aplicaciones del Teorema de Categora de Baire
La demostracin del Teorema de Banach-Mazurkiewicz se facilita un poco si tenemos presente el si-
guiente lema el cual fue observado por primera vez por Lebesgue quien lo us para dar una demostracin
ms sencilla al primer teorema de aproximacin de Weierstrass. Antes necesitaremos recordar la siguiente
denicin.
Denicin 2.1.1. Una funcin continua f : [0, 1] R es lineal a trozo si existe una particin de [0, 1],
digamos P ={t
0
, t
1
, . . . , t
n
}, donde 0 =t
0
<t
1
< <t
n
= 1, tal que f es lineal en cada subintervalo [t
i1
, t
i
]
para i = 1, 2, . . . , n.
Lema 2.1.1 (Lebesgue). El conjunto C
LT
[0, 1] de todas las funciones continuas lineales a trozos en [0, 1] es
denso en (C[0, 1],

).
Prueba. Sea f C[0, 1]. Para cada n N y cada particin P
n
={t
0
, t
1
, . . . , t
n
} de [0, 1], donde siempre supon-
dremos que 0 <t
1
< < t
n
= 1, denamos la funcin h
n
: [0, 1] R, asociada a P
n
, por
h
n
(x) = f (t
i
) +
x t
i
t
i+1
t
i
_
f (t
i+1
) f (t
i
)
_
, x [t
i
, t
i+1
], i = 0, 1, . . . , n1.
Claramente h
n
CL[0, 1]. Sea > 0. Lo que queremos demostrar es la existencia de alguna particin P
n
, tal
que la funcin h
n
, asociada a P
n
, satisfaga f h
n

< . En efecto, como f es uniformemente continua

sobre [0, 1], existe un > 0 tal que, para todo x, y [0, 1],
|x y| < | f (x) f (y)| < /4.
Escojamos una particin P
n
={t
0
, t
1
, . . . , t
n
} de [0, 1] de modo que m ax
i{0,...,n1}
(t
i+1
t
i
) <. Sea x [0, 1]
y jemos i {1, 2, . . . , n} tal que x [t
i
, t
i+1
]. Entonces
| f (x) h
n
(x)| =| f (x) f (t
i
)| + | f (t
i
) h
n
(t
i
)| + |h
n
(t
i
) h
n
(x)|
=| f (x) f (t
i
)| + 0 + | f (t
i
) h
n
(x)|
| f (x) f (t
i
)| + 0 + | f (t
i
) f (t
i+1
)|
< /2
Por esto,
f h
n

m ax
i=0,...,n1
_
sup
x[t
i
t
i+1
]
| f (x) h
n
(x)|
_

2
<
y termina la prueba.
Estamos ahora preparado para dar la demostracin del Teorema de Banach-Mazurkiewicz.
Prueba del Teorema de Banach-Mazurkiewicz. En primer lugar ntese que para cada n N con n 2,
si x [0, 11/n], entonces x 1/2. Si tomamos cualquier h (0, 1x) para el cual h 1/2, entonces el
incremento x +h [0, 1] y, por lo tanto, el cociente

f (x +h) f (x)
h

siempre est bien denido. Consideremos ahora, para cada entero n 2, el conjunto
E
n
=
_
f C[0, 1] : existe x [0, 11/n] tal que, para todo h (0, 1x), | f (x +h) f (x)| nh
_
.
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 119
Observe que cualquier funcin f C[0, 1] teniendo una derivada lateral a la derecha nita en algn punto
de [0, 1) pertenece a E
n
para algn n N. En consecuencia, la unin

n=2
E
n
contiene a todas las funciones
f C[0, 1] que poseen una derivada lateral a la derecha nita en algn punto de [0, 1). Nuestro objetivo
inmediato es demostrar que cada E
n
es cerrado y nunca-denso en C[0, 1]. Fijemos un n 2.
(1) E
n
es cerrado. Sea f E
n
. Entonces existe una sucesin ( f
k
)

k=1
en E
n
tal que f
k
f uniformemente,
es decir, f
k
f

0 cuando k . Como cada f

k
E
n
,
existe un x
k
[0, 11/n] tal que | f
k
(x
k
+h) f
k
(x
k
)| nh, para todo h (0, 1x
k
). ()
Puesto que la sucesin (x
k
)

k=1
vive en el compacto [0, 1 1/n], el Teorema de Bolzano-Weierstrass nos
garantiza la existencia de una subsucesin (x
k
j
)

j=1
de (x
k
)

k=1
convergiendo a algn x [0, 1 1/n]. Uno
puede suponer que x
k
j
x para todo j N. Sea ( f
k
j
)

j=1
la correspondiente subsucesin de ( f
k
)

k=1
satisfa-
ciendo (). Entonces, para todo h (0, 1x), h jo, se tiene que h (0, 1x
k
j
) para todo j, y as,
| f (x +h) f (x)| | f (x +h) f (x
k
j
+h)| + | f (x
k
j
+h) f
k
j
(x
k
j
+h)| +
+ | f
k
j
(x
k
j
+h) f
k
j
(x
k
j
)| + | f
k
j
(x
k
j
) f (x
k
j
)| + | f (x
k
j
) f (x)|
| f (x +h) f (x
k
j
+h)| +
_
_
f f
k
j
_
_

+ nh +
_
_
f
k
j
f
_
_

+
+ | f (x
k
j
) f (x)|.
Observemos ahora que como f es continua tanto en x como en x +h y ya que lm
j
x
k
j
= x, resulta que
lm
j
| f (x +h) f (x
k
j
+h)| = 0 y lm
j
| f (x
k
j
) f (x)| = 0.
Similarmente, como lm
j
_
_
f
k
j
f
_
_

0, se sigue de la desigualdad anterior que cuando j , uno

obtiene que | f (x +h) f (x)| nh. Esto prueba que f E
n
y as, E
n
es cerrado.
(2) E
n
es nunca-denso en C[0, 1] o, de manera equivalente,
C[0, 1] E
n
=
_
f C[0, 1] : para todo x [0, 11/n], existe h (0, 1x) tal que | f (x+h) f (x)| > nh
_
es denso en C[0, 1]. Fijemos un > 0 y sea g C[0, 1] E
n
. Queremos demostrar que cualquier bola abierta
U(g, ) con centro en g y radio intersecta a C[0, 1] E
n
. Por el Teorema de Aproximacin de Weierstrass,
existe un polinomio algebraico p P[0, 1] tal que gp

<

2
. Construyamos ahora la funcin continua
lineal a trozos q C
LT
[0, 1] del modo siguiente: sea m un entero positivo sucientemente grande de modo
que 1/2
m
< /2 y 2 5
m
> n+ p

y denamos
q(x) =
_

_
2 5
m
x, si 0 x
1
2 10
m
2
2
m
2 5
m
x, si
1
2 10
m
< x
1
10
m
q
_
x
k
10
m
_
, si
k
10
m
< x
k +1
10
m
, para k = 1, 2, . . . , 10
m
1.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
120 Cap. 2 Aplicaciones del Teorema de Categora de Baire
0
1
10
m
1

1
2
m
Entonces q

=
1
2
m
<

2
y para cada x [0, 1], existe h sucientemente pequeo (dependiendo de x) tal que

q(x +h) q(x)

h

= 2 5
m
> n+
_
_
p

_
_

.
Finalmente, deniendo la funcin f = p+q, vemos que f C[0, 1] y
g f

gp

+q

< .
De lo anterior podemos concluir que, para todo x [0, 1], existe h (0, 1x] tal que

f (x +h) f (x)
h

q(x +h) q(x)

h

p(x +h) p(x)

h

> n
lo cual signica que f C[0, 1] E
n
y, por lo tanto, f U(g, )
_
C[0, 1] E
n
_
. Esto prueba que el conjunto
C[0, 1] E
n
es denso en C[0, 1].
De modo enteramente anlogo se prueba que
H
n
=
_
f C[0, 1] : existe x [1/n, 1] tal que, para todo h (0, x), | f (x h) f (x)| nh
_
es cerrado y que C[0, 1] H
n
es denso en C[0, 1] para todo n 2.
Denamos F
n
= E
n
H
n
, y notemos que para n N con n 2, el conjunto C[0, 1] F
n
es abierto y denso
en C[0, 1]. Por el Teorema de Categora de Baire, el conjunto
G =C[0, 1]

_
n=2
F
n
=

n=2
_
C[0, 1] F
n
_
es un G

-denso en C[0, 1]. Ms an,

G ND[0, 1].
En efecto, una funcin f C[0, 1] con derivada nita en algn punto de [0, 1] pertenece o bien a algn E
n
o
algn H
n
, es decir, f

n=2
F
n
. En consecuencia, si f G, entonces f

n=2
F
n
por lo que dicha funcin
no puede tener derivada nita en ningn punto de [0, 1], es decir, f ND[0, 1]. Por esto, ND[0, 1] resulta ser
un conjunto residual en C[0, 1] y termina la prueba.
Qu es lo que realmente hay que destacar, en este caso especco, del Mtodo de Categora de Baire?
Pues bien, uno de los aspectos ms importantes y, por supuesto, altamente ilustrativo de lo contundente que
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 121
resulta el Teorema de Categora de Baire, es el hecho de que la aplicacin de dicho mtodo nos asegura
la abundancia de funciones continuas nunca-diferenciables, a pesar de que no se muestra ningn ejemplo
concreto de una funcin de ese tipo, tarea que puede resultar, con frecuencia, un poco arduo y a veces de muy
difcil construccin. Sospecho que el lector podr apreciar, una vez ms, lo mgico que resulta dicho mtodo
y convencerse de la gran fortaleza del Teorema de Categora de Baire. Otra prueba del Teorema de Banach-
Mazurkiewicz, que posteriormente presentaremos, puede ser llevada a cabo usando un juego topolgico muy
especial conocido como el juego de Banach-Mazur-Oxtoby, vase el Teorema 2.2.83, pgina 351.
Recordemos que si f C[0, 1] y a [0, 1), entonces
D
+
f (a) = lmsup
xa
f (x) f (a)
x a
y D
+
f (a) = lminf
xa
f (x) f (a)
x a
.
Si D
+
f (a) = D
+
f (a), dicho valor comn ser denotado por f

+
(a). De forma similar se denen D

f (a),
D

f (a) y f

(a). Llamaremos a D

f (a) y D

f (a) las derivadas de Dini de f en a.

Es importante destacar que los conjuntos E
n
y H
n
, denidos en la demostracin del Teorema de Banach-
Mazurkiewicz, cumplen:

_
n=1
E
n
=
_
f C[0, 1] : existe x [0, 1) tal que < D
+
f (x) D
+
f (x) < +
_

_
n=1
H
n
=
_
f C[0, 1] : existe x (0, 1] tal que < D

f (x) D

f (x) < +
_
.
Banach y Mazurkiewicz no probaron exactamente el mismo resultado. Lo que fundamentalmente de-
muestra Mazurkiewicz es que el conjunto de las funciones continuas que poseen al menos una derivada
lateral acotada en algn punto es de primera categora, mientras que Banach va ms all al demostrar un
resultado ms fuerte: Las funciones continuas que tienen una derivada de Dini acotada en algn punto de
su dominio es de primera categora.
Uno puede considerar las funciones en C[0, 1] que poseen, en algn punto de [0, 1], derivada innita y
seguir obteniendo residualidad en dicho espacio.
Teorema 2.1.4 (Banach). Para cada a [0, 1), el conjunto
G(a)
+
=
_
f C[0, 1] : D
+
f (a) =
_
,
es un G

-denso en
_
C[0, 1],

_
.
Prueba. Para cada n N, sea
V
n
=
_
f C[0, 1] : f (x) f (a) > n(x a) para algn x (a, a+1/n) [0, 1]
_
,
y notemos que G(a)
+
=

n=1
V
n
. Veamos que cada V
n
es un abierto denso en C[0, 1].
V
n
es abierto. Fijemos cualquier f V
n
. Por denicin, podemos encontrar un punto x en el intervalo
(a, a +1/n) [0, 1] tal que f (x) f (a) > n(x a), y entonces hallar un > 0 de modo que tambin se
satisfaga la desigualdad f (x) f (a) > n(x a) +2. Si ahora g U( f , ), tendremos que
g(x) g(a) f (x) f (a) 2 > n(x a),
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
122 Cap. 2 Aplicaciones del Teorema de Categora de Baire
lo cual prueba que g V
n
. Esto demuestra que V
n
es abierto.
V
n
es denso. Sea g C[0, 1] \V
n
de modo que D
+
g(a) < y sea > 0. Elijamos una funcin h P[0, 1]
satisfaciendo
h < y h

(a) > nD
+
(g)(a).
Entonces D
+
(g +h)(a) = D
+
(g)(a) +h

+
(a) > n, por lo que g +h V
n
U(g, ). Siendo > 0 arbitrario,
resulta que V
n
es denso en C[0, 1]. Por el Teorema de Categora de Baire, tenemos que G(a)
+
es un G

-denso
en (C[0, 1],

). Esto termina la prueba.

Similarmente se demuestra que el conjunto
G(a)
+
=
_
f C[0, 1] : D
+
f (a) =
_
,
es un G

-denso en (C[0, 1],

).
Comentario Adicional 2.1.1 (1) Un mtodo diferente para obtener funciones en C[0, 1] que no poseen
derivadas en ningn punto es utilizar el siguiente resultado:
Teorema. Una funcin f : [0, 1] R es continua si, y slo si, su grco
Graf( f ) =
_
(x, f (x)) : x [0, 1]
_
es un subconjunto compacto de RR.
Los detalles de la construccin de una f ND[0, 1] se pueden ver, por ejemplo, en [163], p.
45-47.
(2) Puesto que (C[0, 1],

) es un espacio mtrico completo sin puntos aislados, resulta que, por

el Teorema 1.8.8, el conjunto ND[0, 1] es no numerable. Observe, por otro lado, que ND[0, 1]
no es un espacio vectorial por lo que la suma y el producto de dos funciones continuas nunca
diferenciables puede que no sean funciones nunca diferenciables. Sin embargo, A. Wachowicz
demuestra, en [436], el siguiente resultado:
Teorema de Wachowicz. En C[0, 1] C[0, 1] los siguientes conjuntos son residuales:
(1) ND[0, 1]
+

=
_
( f , g) C[0, 1] C[0, 1] : f +g es nunca diferenciable
_
.
(2) ND[0, 1]

=
_
( f , g) C[0, 1] C[0, 1] : f g es nunca diferenciable
_
.
A pesar de no ser un espacio vectorial, puede ND[0, 1] {0} contener dentro de s un subespa-
cio vectorial de alguna dimensin? La pregunta surge a propsito del conocimiento que se tena
de los siguientes hechos: en 1940 B. Levine y D. Milman [293] haban demostrado que cualquier
subespacio norma-cerrado de C[0, 1] compuesto nicamente de funciones de variacin acotada
es de dimensin nita. Similarmente, V. I. Gurariy [197] haba demostrado en el ao 1967 que
si X es un subespacio de C[0, 1] de dimensin innita y cualquier funcin en X es diferenciable
en cualquier punto de (0, 1], entonces X contiene una copia isomrca de c
0
. Posteriormente,
en 1991, el mismo Gurariy [199] construy, en C[0, 1], un subespacio de dimensin innita con-
teniendo slo funciones nunca diferenciables (excepto, por supuesto, la funcin idnticamente
cero). Ms aun, un resultado de Banach-Mazur (ver, [29]) establece que (C[0, 1],

) es univer-
sal para la clase de todos los espacios de Banach separables de dimensin innita; es decir,
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 123
Teorema Universal de Banach-Mazur. Dado cualquier espacio de Banach (X, ) separable
y de dimensin innita X, existe un subespacio norma-cerrado Y de (C[0, 1],

) que es lineal-
mente isomtrico a X .
Uno de los resultados ms fascinante en esta direccin producto de la combinacin de los trabajos
de Gurariy y el Teorema Universal de Banach-Mazur se obtuvo en 1995, cuando Luis Rodrguez
Piazza [377] demuestra que el subespacio Y de C[0, 1], en el Teorema Universal de Banach-
Mazur, se puede elegir de modo que cada f Y, f = 0, sea nunca diferenciable.
Teorema de Rodrguez Piazza. Cualquier espacio de Banach separable (X, ) es linealmente
isomtrico a un subespacio norma-cerrado Y de (C[0, 1],

) tal que cualquier funcin distinta

de cero en Y es nunca diferenciable.
(3) Recordemos que una funcin f : [a, b] R se llama de variacin acotada si
sup
_
n

i=1
| f (t
i
) f (t
i1
)| : P P
_
< ,
donde P es el conjunto de todas las particiones P=
_
a =t
0
, t
1
, . . . , t
n
=b
_
de [a, b]. Fijemos RR
y denotemos por BV(R) el conjunto de todas las funciones en C[0, 1] con variacin acotada a lo
sumo R. Resulta que BV(R) es

-cerrado en C[0, 1] y, por consiguiente, un espacio mtrico

completo. En [454] Tudor Zamrescu demuestra el siguiente resultado.
Teorema de Zamrescu. El conjunto
G =
_
f BV(R) | f

= 0 -c.s
_
es residual en (BV(R),

).
Sin embargo, si en lugar de BV(R) consideramos a BV[0, 1], el conjunto de todas las funciones
en C[0, 1] que son de variacin acotada, entonces no se puede armar que el conjunto de las
funciones f BV[0, 1] tales que f

= 0 -casi siempre sea un conjunto residual en BV[0, 1] ya
que, en este caso, (BV[0, 1],

) resulta ser un espacio de primera categora en s mismo pues

BV[0, 1] =

_
n=1
BV(n)
y cada BV(n) es nunca-denso en BV[0, 1].
(4) Sabemos, gracias al Teorema de Banach-Mazurkiewicz, que ND[0, 1] es un conjunto abundante
en el espacio de Baire (C[0, 1],

). En particular, ND[0, 1] tambin es denso en (C[0, 1],

).
Esto nos dice que dada cualquier f C[0, 1] siempre existe una funcin g ND[0, 1] y una
funcin h C

[0, 1] que estn tan prxima a f (en el sentido de la norma

de C[0, 1]) como

se desee. Esto es lo que, en principio, parece paradjico. Lo interesante de ese resultado es que
de l se desprende que lo normal o tpico es que cuando metemos la mano en el saco de las
funciones continuas en [0, 1] y elegimos arbitrariamente una funcin, resulta que dicha funcin
es, casi con toda seguridad, una funcin nunca diferenciable. Pudiramos, nalmente, intentar
concluir lo siguiente: Desde el punto de vista de la categora de Baire, abundan ms funciones
nunca diferenciables que las que son derivables en algn punto de [0, 1].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
124 Cap. 2 Aplicaciones del Teorema de Categora de Baire
(5) Johan Thim, en su Tesis publicada en 2003 y titulada: Continuous Nowhere Differentiable
Functions da ejemplos explcitos de 18 funciones nunca diferenciables, comenzando con la
de Bolzano (1830), siguiendo con la Callrier (1860), la de Riemann (1861), la de Weierstrass
(1872), etc. y culminado con la de Wen (2002). Similarmente, el artculo de A. N. Sing de 1953
publicado en [217] contiene un desarrollo interesante sobre The theory and construction of
non-differentiable functions. La tesis de Ivan Bergman [49] tambin se ocupa de algunas de las
aplicaciones clsicas del Teorema de Categora de Baire.
(6) Si bien es cierto que ND[0, 1] es un conjunto abundante desde la perspectiva de la categora
de Baire, dicho conjunto no es un boreliano; es decir, no pertenece a la -lgebra generada por
los conjuntos abiertos de (C[0, 1],

). Este hecho fue probado por Mazurkiewicz en ber die

menge der differenzierbaren Funktionen, Fun. Math. 27 (1936), 244-249.
(7) Finalmente queremos hacer mencin del siguiente resultado demostrado por Bruckner, Ceder y
Weiss [79] el cual establece, en trminos generales, que cualquier funcin continua f : [0, 1] R
es diferenciable cuando se restringe a cierto subconjunto de [0, 1]:
Teorema de Bruckner, Ceder y Weiss. Sea f C[0, 1]. Dado cualquier subconjunto perfecto P
en [0, 1], existe un conjunto perfecto Q P tal que f |
Q
es innitamente diferenciable.
2.1.2. Funciones continuas nunca recticables
Otro conjunto de funciones de C[0, 1] que contiene a ND[0, 1] lo constituye la familia de todas las fun-
ciones f C[0, 1] que nunca son recticables. Recordemos su denicin. Sea f C[0, 1] y sea [a, b] un
subintervalo arbitrario no degenerado de [0, 1], es decir, a < b. Para cada particin nita P = {t
0
, t
1
, . . . , t
k
}
de [a, b] dena
l( f , P) =
k

i=1
_
_
t
i
t
i1
_
2
+
_
f (t
i
) f (t
i1
)
_
2
y L( f , [a, b]) = sup
PP
f
[a,b]
l( f , P),
donde P
f
[a, b] denota el conjunto de todas las particiones nitas de [a, b]. Si L( f , [0, 1]) es nito, entonces
decimos que el grafo de f es recticable. Si L( f , [a, b]) =para todo intervalo no degenerado [a, b] [0, 1],
entonces diremos que el grafo de f es nunca recticable.
Denotemos por NR[0, 1] el subconjunto de C[0, 1] formado por todas las funciones que poseen grafos
nunca recticables.
Corolario 2.1.1. ND[0, 1] NR[0, 1]. En particular, NR[0, 1] es residual en (C[0, 1],

).
Prueba. Suponga, por un momento, que hemos encontrado una funcin f ND[0, 1] tal que f NR[0, 1].
Esto signica que existe algn subintervalo [a, b] de [0, 1] tal que L( f , [a, b]) < . Es bien conocido que
toda funcin con grafo recticable es de variacin acotada ([13], Teorema 6.17, p. 162) y que toda funcin
de variacin acotada puede ser expresada como diferencia de dos funciones montonas crecientes ([13],
Teorema 6.13, p. 159). Por ltimo, como toda funcin montona creciente resulta ser derivable casi siem-
pre (Teorema de Diferenciabilidad de Lebesgue, Teorema 2.1.4, pgina 130), se deduce entonces que f es
diferenciable en algunos puntos de [0, 1] lo que constituye una contradiccin pues habamos supuesto que
f ND[0, 1]. Esto prueba que ND[0, 1] NR[0, 1] y una aplicacin del Teorema de Banach-Mazurkiewicz
concluye la prueba de la segunda parte.