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 137
2.1.5. Funciones continuas nunca Lipschitz
Con la aparicin, en la galera de los monstruos, de funciones continuas nunca diferenciables se abri una
especie de caja de Pandora de funciones raras. Para algunos, la existencia de esos objetos extraos limitaba
el anlisis clsico, mientras que para otros, hurgar en sus propiedades constitua un reto fascinante. Pero,
muy a pesar de las plagas lamentables y a las crticas adversas, esa disputa dio origen al estudio de nuevas
disciplinas en el campo de las matemticas y oblig a los matemticos a mirar ciertos fenmenos con ms
detenimiento. Veremos ahora la abundancia de las funciones continuas que son nunca Lipschitziana y que,
adems, tales funciones son nunca diferenciables.
Denicin 2.1.2. Una funcin f C[0, 1] es llamada M-Lipschitz si existe una constante M 0 tal que
| f (x) f (y)| M|x y| para todo x, y [0, 1]. Diremos que f es Lipschitz o Lipschitziana si ella es M-
Lipschitz para algn M 0.
En general, dado x [0, 1], diremos que f C[0, 1] es M-Lipschitz en x si existe una constante M 0
tal que | f (x) f (y)| M|x y| para todo y [0, 1]. Se dice que f es Lipschitz en x si ella es M-Lipschitz
en x para algn M 0.
Denotemos por NL[0, 1] el conjunto de todas las funciones f C[0, 1] tal que f no es Lipschitz en ningn
punto x [0, 1]. Cualquier funcin en NL[0, 1] ser llamada nunca Lipschitz.
Recordemos que una funcin f : [a, b] R es de variacin acotada si sup
PP

n
i=1
| f (t
i
) f (t
i1
)| < ,
donde P es el conjunto de todas las particiones P =
_
a =t
0
, t
1
, . . . , t
n
= b
_
de [a, b]. Es claro que toda funcin
Lipschitz f : [a, b] R es de variacin acotada y como sta ltima es la diferencia de dos funciones mon-
tonas no-decrecientes (Teorema de descomposicin de Jordan) resulta, por el Teorema de Diferenciabilidad
de Lebesgue, que f diferenciable casi-siempre. En particular,
Teorema de Diferenciabilidad de Lebesgue II. Cualquier funcin Lipschitz f : [a, b] R es
diferenciable -casi siempre.
Teorema 2.1.11. NL[0, 1] es un G

-denso en (C[0, 1],

). En particular, NL[0, 1] ND[0, 1].

Prueba. Para cada n N, denamos
F
n
=
_
f C[0, 1] : f es n-Lipschitz en algn x [0, 1]
_
.
Armamos que F
n
es un conjunto cerrado nunca-denso en C[0, 1]. Fijemos n N y veamos que F
n
es cerrado
en C[0, 1]. En efecto, sea ( f
k
)

k=1
una sucesin en F
n
convergiendo uniformemente a una funcin f C[0, 1].
Por denicin, para cada k N, existe un x
k
[0, 1] tal que | f
k
(x
k
) f
k
(y)| n|x
k
y| para todo y . Por
la compacidad de [0, 1], la sucesin (x
k
)

k=1
posee una subsucesin, que seguiremos denotando del mismo
modo, que converge a algn un x [0, 1]. Entonces la continuidad de cada f
k
as como la convergencia
uniforme de la sucesin ( f
k
)

k=1
hacia f nos garantizan que
| f (x) f (y)| | f (x) f
k
(x)| + | f
k
(x) f
k
(x
k
)| + | f
k
(x
k
) f
k
(y)| + | f
k
(y) f (y)|
| f (x) f
k
(x)| + n|x
k
x)| + n|x
k
y| + | f
k
(y) f (y)| n|x y|
para cada y [0, 1]. Esto prueba que f F
n
, por lo que F
n
es cerrado.
Para demostrar que F
n
es nunca-denso en C[0, 1], tomemos cualquier conjunto abierto no vaco V en
C[0, 1] y veamos que V F
n
. Puesto que el conjunto ND[0, 1], de todas las funciones continuas nunca dife-
renciables, es denso en C[0, 1], resulta que V ND[0, 1] =. Seleccionemos una funcin g V ND[0, 1].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
138 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Por el Teorema de Diferenciabilidad de Lebesgue II antes mencionado, tenemos que F
n
ND[0, 1] =, por
lo que g F
n
, es decir, g V \F
n
. Esto prueba que V F
n
y como V era arbitrario, resulta que F
n
es nunca-
denso. Siendo el conjunto G
n
=C[0, 1] \F
n
un abierto denso en C[0, 1] para cada n N, podemos aplicar el
Teorema de Categora de Baire, para concluir que NL[0, 1] =

n=1
G
n
es un G

-denso en C[0, 1].

Para la ltima parte, sea f NL[0, 1]. Entonces, para todo n N y cualquiera x [0, 1] se cumple que
| f (x) f (y)| > n|x y| para algn y [0, 1]; es decir,
sup
y =x

f (x) f (y)
x y

= +
para todo x [0, 1]. Esto nos dice que f no tiene derivada en ningn punto de [0, 1] y, por lo tanto, la funcin
f ND[0, 1].
Denicin 2.1.3. Una funcin continua f : [0, 1] R se dice que que no satisface una condicin de Lip-
schitz uniforme de orden 1 en cualquier intervalo de [0, 1] si, para cualquier subintervalo J de [0, 1], se
cumple que
sup
x,yJ
x=y
| f (x) f (y)|
|x y|
= +.
Para cada f C[0, 1], sea Nd( f ) el conjunto de todos los puntos x de [0, 1] donde f no es diferenciable.
M. Hata [207] demuestra lo siguiente.
Teorema 2.1.12 (Hata). Sea f C[0, 1] la cual no satisface una condicin de Lipschitz uniforme de orden
1 en cualquier intervalo de [0, 1]. Entonces Nd( f ) es residual en [0, 1].
Prueba. Para cada n N, denamos
G
n
=
_
x (0, 1) : sup
x<y1
| f (y) f (x)|
y x
> n
_
.
Es claro que que G
n
es abierto para todo n N. Veamos ahora que G
n
es denso. Supongamos que J G
n
=
para algn intervalo abierto no vaco J de [0, 1]. Ahora bien, para todo x, y J, con x < y, tenemos que
| f (y) f (x)|
y x
n
ya que x G
n
, es decir, f satisface una condicin de Lipschitz uniforme de orden 1 en J lo cual viola nuestra
hiptesis. Esto prueba de G
n
es denso en [0, 1]. Uno invoca el Teorema de Categora de Baire para concluir
que G =

n=1
G
n
es un G

-denso en [0, 1] y observar nalmente que

G =
_
x (0, 1) : |D
+
f (x)| +|D
+
f (x)| = +
_
Nd( f ).
Esto termina la prueba.
2.1.6. Funciones continuas nunca montonas
El prximo ejemplo en nuestra galera tiene que ver con la existencia de funciones continuas nunca
montonas, es decir, funciones continuas que siempre oscilan en cualquier subintervalo no degenerado que
se piense. Recordemos 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 139
Denicin 2.1.4. Una funcin f : [0, 1] R se dice nunca montona o siempre oscilante en [0, 1] si no
existe subintervalo cerrado [a, b] de [0, 1] con a < b, sobre el cual f es montona.
Construir una funcin siempre discontinua y nunca montona es muy fcil. Por ejemplo, la funcin
caracterstica de Qen [0, 1], f =|
Q[0,1]
, es una tal funcin. Observemos que una funcin nunca montona en
[0, 1] no debe confundirse con una funcin que no es montona en [0, 1]. Existen funciones continuas nunca
montona? La respuesta, como ha de esperarse, es armativa. En efecto, teniendo en cuenta el Teorema de
Diferenciabilidad de Lebesgue I a la mano, se sigue que toda funcin continua nunca diferenciable en [0, 1] es
una funcin continua nunca montona. En particular, la funcin continua nunca diferenciable de Weierstrass
es nunca montona. He aqu otro ejemplo tomado de [176], Example 21, p. 29.
Sea f
0
: R R la funcin peridica con perodo 1 denida por
f
0
(x) = | x| si | x| 1/2,
y para cualquier n Z,
f
0
(x +n) = f
0
(x) si | x| > 1/2.
Si para n 1, denimos
f
n
(x) = 4
n
f
0
(4
n
x),
resulta que f
n
es una funcin peridica de perodo 4
n
cuyo valor mximo es
1
2
4
n
. Se sigue del M-Test de
Weierstrass que la funcin f : R R, denida por,
f (x) =

n=0
f
n
(x) =

n=0
f
0
(4
n
x)
4
n
, x R
es continua, y con un poquito de esfuerzo se puede probar que ella es nunca montona. En efecto, sean k Z
y m N y defnase a := k4
m
y h := 4
2m1
. Entonces
f
n
(a) = 0, si n m, y f
n
(ah) = 0, si n 2m+1,
de donde se sigue que f (ah) f (a) h. Finalmente, aproximando cualquier elemento arbitrario x R,
pero jo, por k4
m
para algn k Z y algn mN y aplicando el razonamiento anterior, podemos garantizar
que f es nunca montona.
Denotemos por NM[0, 1] el conjunto de todas las funciones f C[0, 1] que son nunca montonas. Ya
hemos visto, como consecuencia del Teorema de Diferenciabilidad de Lebesgue I, que ND[0, 1] NM[0, 1]
de donde resulta, por la residualidad de ND[0, 1] en C[0, 1], que NM[0, 1] tambin es residual en C[0, 1].
Vamos a demostrar, como en los casos anteriores, que efectivamente NM[0, 1] es residual en C[0, 1] por una
aplicacin del Teorema de Categora de Baire sin apelar al expediente de la residualidad de ND[0, 1] en
C[0, 1].
Teorema 2.1.13. El conjunto NM[0, 1] es residual en (C[0, 1],

).
Prueba. Sea (I
n
)

n=1
una enumeracin de todos los subintervalos cerrados de [0, 1] con extremos racionales
distintos. Denamos, para cada n N, el conjunto
C
n
=
_
f C[0, 1] : f es no decreciente en I
n
_
.
Armamos que C
n
es cerrado. En efecto, sea f C
n
. Entonces existe una sucesin ( f
k
)

k=1
en C
n
tal que
f
k
f uniformemente. Sean x, y [0, 1] con x < y. Como f
k
C
n
, entonces f
k
(x) f
k
(y) para todo k N
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
140 Cap. 2 Aplicaciones del Teorema de Categora de Baire
y as, f (x) = lm
k
f
k
(x) lm
k
f
k
(y) = f (y), lo cual prueba que f C
n
. Similarmente, deniendo
D
n
=
_
f C[0, 1] : f es no creciente en I
n
_
para cada n N, resulta que D
n
es cerrado. Fijemos n N, y sea
G
n
= C[0, 1] (C
n
D
n
) =
_
f C[0, 1] : f no es montona sobre I
n
_
.
Vamos a demostrar que G
n
es abierto y denso en C[0, 1]. Que G
n
es abierto en C[0, 1] sigue inmediatamente
por ser el complemento de un conjunto cerrado. Para ver que G
n
es denso en C[0, 1], es suciente demostrar
que G
n
es denso en CL[0, 1], el conjunto de todas las funciones continuas lineales a trozos en [0, 1] que, como
sabemos, es denso en C[0, 1] (Lema 2.1.1).
Sea f CL[0, 1] G
n
y sea > 0. Puesto que f es lineal a trozo as como montona sobre I
n
, podemos
elegir un intervalo [a, b] I
n
tal que ba sea lo sucientemente pequeo de modo que | f (b) f (a)| < /2
y donde, adems, f sea lineal y no decreciente sobre [a, b]. Denamos ahora h sobre [0, 1] por
h(x) =
_

_
f (x), si x [0, 1] \(a, b)
f (b) +

2
, si x =
a+b
2
lineal sobre
_
a,
a+b
2
_
y
_
a+b
2
, b
_
,
Puesto que h no es montona sobre [a, b] tenemos que h G
n
y
h f

= h
_
a+b
2
_
f
_
a+b
2
_
f (b) +

2
f (a) <

2
+

2
= .
Siendo > 0 arbitrario, se sigue que G
n
es denso en CL[0, 1] y, en consecuencia, denso en C[0, 1]. Puesto
que cada elemento de la sucesin (G
n
)

n=1
es abierto y denso en C[0, 1], el Teorema de Categora de Baire
nos dice que G =

n=1
G
n
es un G

-denso en C[0, 1]. Observemos que si f G, entonces f G

n
para todo
n N y, por consiguiente, f no es montona en ningn subintervalo de [0, 1] con extremos racionales. Sea
ahora J cualquier intervalo en [0, 1]. Entonces existe un subintervalo I con extremos racionales tal que I J,
pero como I es uno de la sucesin (I
n
)

n=1
concluimos que f no es montona en ningn subintervalo de [0, 1].
Esto termina la prueba.
2.1.7. Funciones nunca montonas de la 2
a
especie y de tipo no montonas
Una clase ms pequea que las funciones continuas nunca montonas y que tambin constituye un con-
junto residual en C[0, 1] son las funciones continuas nunca montonas de la 2
a
especie.
Denicin 2.1.5. Una funcin continua nunca montona f : [0, 1] R se dice nunca montona de la 2
a
especie si la funcin f
+r
(x) := f (x) +rx es nunca montona para todo r R.
La clase de todas las funciones continuas nunca montonas f : [0, 1] R que son de la 2
a
especie ser
denotada por NM
2
[0, 1]. A estas funciones tambin se les conoce con el nombre de funciones de tipo nunca
montonas ([76], p. 210). Observe que si f es nunca montona pero no es de la 2
a
especie, entonces existe
algn r R tal que f (x) +rx es montona en algn subintervalo I [0, 1].
Notemos que cualquier funcin f C[0, 1] nunca diferenciable es nunca montona y, por consiguiente,
para cualquier r R, la funcin f (x) +rx tambin es nunca montona en [0, 1]. En consecuencia, cualquier
funcin nunca diferenciable f en C[0, 1] es una funcin nunca montona de la 2
a
especie; esto es:
ND[0, 1] NM
2
[0, 1].
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 141
Por otro lado, ninguna funcin diferenciable nunca montona puede ser de la 2
a
especie, es decir,
DNM[0, 1] NM
2
[0, 1] =.
Prueba. Sea f NM
2
[0, 1] y supongamos, por un momento, que f DNM[0, 1]. Por el Ejem-
plo 2, pgina 101, f

es continua sobre un subconjunto G

-denso de [0, 1]; es decir, el con-

junto PC( f

) = {x [0, 1] : f

es continua en x} es un G

-denso de [0, 1]. Adems, puesto que

Z( f

) = {x [0, 1] : f

(x) = 0} es un G

en [0, 1] y ya que f NM[0, 1], entonces Z( f

) es
tambin denso en [0, 1], de donde resulta, por el Teorema de Categora de Baire, que el conjunto
D = Z( f

) PC( f

) =
_
x [0, 1] : f

(x) = 0 y f

es continua en x
_
es un G

-denso en [0, 1]. Fijemos un nmero arbitrario m > 0 y sea x cualquier elemento de D.
Puesto que f

(x) = 0, existe un entorno abierto N
x
de x tal que | f

(y)| < m/2 para todo y N
x
.
Por otro lado, como f

es continua en x resulta que f (y) +my es creciente sobre N
x
, de donde se
sigue que f no puede ser de la 2
a
especie. Esta contradiccin establece que f DNM[0, 1].
Observe, nalmente, que ninguna funcin en NM
2
[0, 1] puede estar en DNM[0, 1], de donde se deduce
la existencia de funciones en NM[0, 1] que no estn en NM
2
[0, 1].
Puesto que ND[0, 1] NM
2
[0, 1] y ND[0, 1] es residual en C[0, 1], resulta que NM
2
[0, 1] tambin es
residual en C[0, 1]. Volveremos a demostrar este hecho, pero sin apelar a la residualidad de ND[0, 1].
Teorema 2.1.14. El conjunto NM
2
[0, 1] es residual en (C[0, 1],

).
Prueba. Notemos que si f C[0, 1] NM
2
[0, 1], entonces existe un r R tal que f
+r
es montona sobre
algn subintervalo de [0, 1]. Para cada subintervalo arbitrario I de [0, 1], denamos
A
I
=
_
f C[0, 1] : existe r R con f
+r
no decreciente sobre I
_
=

_
n=1
A
n
,
donde, para cada entero n 1,
A
n
=
_
f C[0, 1] : existe r [n, n] con f
+r
no decreciente sobre I
_
.
Vamos a demostrar que cada A
n
es cerrado y nunca-denso en C[0, 1].
A
n
es cerrado. Sea ( f
k
)

k=1
una sucesin en A
n
tal que f
k
f uniformemente. Entonces f C[0, 1]. Para
probar que f A
n
, notemos que para cada k 1, existe un r
k
[n, n] tal que
f
k
(x) +r
k
x f
k
(y) +r
k
y si x y con x, y I.
Por el Teorema de Bolzano-Weierstrass, existe una subsucesin (r
k
i
)

i=1
de (r
k
)

i=1
tal que r
k
i
r [n, n].
Por esto, f (x) +rx f (y) +ry siempre que x y con x, y I y, as, f A
n
.
A
n
es nunca-denso. Lo que queremos demostrar es que A
n
no contiene ninguna bola abierta. Sea U( f , )
una bola abierta con centro f y radio >0, donde f A
n
y >0. Sea g ND[0, 1] con g

1. Armamos
que f +g U( f , ) A
n
. Supongamos que f +g A
n
. Entonces existe un r
1
[n, n] tal que
h(x) := f (x) +g(x) +r
1
x
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
142 Cap. 2 Aplicaciones del Teorema de Categora de Baire
es no decreciente sobre I y, en consecuencia, diferenciable -casi siempre sobre I gracias al Teorema de
Diferenciabilidad de Lebesgue. Adems, como f A
n
, existe otro r
2
[n, n] tal que f (x) +r
2
x es no
decreciente sobre I y, como antes, diferenciable -casi siempre sobre I. Notemos ahora que h(x)r
1
x+r
2
x =
( f (x) +r
2
x) +g(x), de donde se sigue
g(x) =
h(x) ( f (x) +r
2
x) r
1
x +r
2
x

es diferenciable -casi siempre sobre I, lo cual es imposible pues g ND[0, 1]. Esta contradiccin establece
que f +g A
n
y, entonces, A
n
es nunca-denso.
Por lo anterior, cada conjunto A
I
es de primera categora en C[0, 1]. Lo mismo es cierto para el conjunto
B
I
=
_
f C[0, 1] : f A
I
_
. Sea (I
k
)

k=1
una enumeracin del conjunto de todos los subintervalos de [0, 1]
con extremos racionales y denamos A =

k=1
A
I
k
y B =

k=1
B
I
k
. Entonces A y B son conjuntos de primera
categora y como C[0, 1] NM
2
[0, 1] = AB es de primera categora, el Teorema de Categora de Baire nos
asegura que NM
2
[0, 1] =C[0, 1] (AB) es residual en C[0, 1].
Denotemos por Lip
1
[0, 1] el conjunto de todas las funciones f C[0, 1] que son 1-Lipschitz en [0, 1] con
la mtrica del supremo. Similar al anterior tenemos el siguiente resultado de Borwein y Wang [64].
Teorema 2.1.15 (Borwein-Wang). En (Lip
1
[0, 1], d

), el conjunto
G =
_
f Lip
1
[0, 1] : f (x) rx NM[0, 1], para todo | r| < 1
_
es residual.
Prueba. Sea I un intervalo abierto no vaco de [0, 1] y, para cada n N, denamos
E
n
I
=
_
f Lip
1
[0, 1] : existe r
_
1+
1
n
, 1
1
n
_
con f (x) rx no decreciente sobre I
_
.
Procediendo como en la demostracin del resultado anterior se prueba que cada conjunto E
n
I
es cerrado.
Veamos que tambin es nunca-denso. Sea U( f , 5) una bola abierta en Lip
1
[0, 1] donde f E
n
I
y > 0.
Fijemos x
0
(0, 1) tal que (x
0
, x
0
+) I y denamos la funcin g : [0, 1] R por
g(x) =
_

_
1 si x (x
0
, x
0
]
1 si x (x
0
, x
0
+)
f

(x) si x (x
0
, x
0
+) y siempre que f

(x) exista.
Si ahora denimos f

: [0, 1] R declarando que

f

(x) = f (0) +
_
x
0
g(t)dt
para todo x [0, 1], resulta que f

Lip
1
[0, 1] y
| f (x) f

(x)| =

_
x
0
( f

(t) g(t))

_
1
0

f

(t) g(t)

dt = 4.
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 143
Observemos, sin embargo, que sobre I, la funcin f

(x) rx con cualquier r [1+1/n, 11/n] no es no

decreciente, pues sobre el intervalo (x
0
, x
0
) ella tiene derivada 1 r 1/n. Esto prueba que E
n
I
es
nunca-denso en Lip
1
[0, 1] y, en consecuencia, el conjunto E
I
=

n=1
E
n
I
es de primera categora en Lip
1
[0, 1].
Similarmente, si denimos
F
n
I
=
_
f Lip
1
[0, 1] : existe r
_
1+
1
n
, 1
1
n
_
con f (x) rx no creciente sobre I
_
,
y F
I
=

n=1
F
n
I
, entonces F
I
es de primera categora en Lip
1
[0, 1]. Como antes, sea (I
k
)

k=1
el conjunto de
todos los subintervalos de [0, 1] con extremos racionales. Entonces, el conjunto G = Lip
1
[0, 1] (E F) es
residual en Lip
1
[0, 1], donde E =

k=1
E
I
k
y F =

k=1
F
I
k
.
Continuando con nuestra galera de monstruos demostraremos ahora que la familia de todas las funciones
continuas que son de tipo no montona (esta coleccin es, en el sentido de inclusin, ms pequea que las
funciones continuas nunca montonas de la 2
a
especie) tambin es un G

-denso en C[0, 1].

Denicin 2.1.6. Sea f C[0, 1]. Decimos que f es no-decreciente en x [0, 1] si existe un > 0 tal que
f (t) f (x) para todo t (x , x) [0, 1] y f (t) f (x) para todo t (x, x +) [0, 1].
La funcin f se dice no-creciente en x [0, 1] si f es no-decreciente en x. Diremos que f es montona en
x [0, 1] si f es no-decreciente o no-creciente en x. Si existe un s R tal que la funcin f
+s
(x) := f (x) +sx
es montona en x, entonces decimos que f es de tipo montona en x. Si f no es de tipo montona en ningn
punto de [0, 1], entonces se dice que f es de tipo no-montona.
Denotemos por TNM[0, 1] el conjunto de todas las funciones en C[0, 1] que son de tipo no-montona. Es
un ejercicio sencillo demostrar que cualquier funcin f en TNM[0, 1] pertenece a NM
2
[0, 1] NM[0, 1]. El
siguiente resultado fue demostrado por A. M. Bruckner y K. M. Garg [80] en 1977.
Teorema 2.1.16 (Bruckner-Garg). El conjunto TNM[0, 1] es residual en (C[0, 1],

).
Prueba. Sea A el conjunto de todas las funciones en f C[0, 1] para la cual existe un s R tal que f
+s
es
no-decreciente en algn punto de [0, 1] y notemos que A =

n=1
A
n
, donde, para cada n N,
A
n
=
_
f C[0, 1] : existe s [n, n], y algn x [0, 1], tal que
f
+s
(t) f
+s
(x) si t (x 1/n, x) [0, 1] y f
+s
(t) f
+s
(x) si t (x, x +1/n) [0, 1]
_
.
Vamos a demostrar, en primer lugar, que cada uno de los conjuntos A
n
es cerrado y, posteriormente, ver que
ellos son nunca-densos en C[0, 1]. Fijemos n N.
A
n
es cerrado. Sea ( f
k
)

k=1
una sucesin en A
n
convergiendo uniformemente a una funcin f C[0, 1].
Por denicin, para cada k N, existe un s
k
[n, n] y un x
k
[0, 1] tal que f
k
(t) +s
k
t f
k
(x
k
) +s
k
x
k
si
t (x
k
1/n, x
k
)[0, 1], mientras que f
k
(t)+s
k
t f
k
(x
k
)+s
k
x
k
si t (x
k
, x
k
+1/n)[0, 1]. Por compacidad,
existe una sucesin creciente (k
i
)

i=1
de enteros positivos tal que (s
k
i
)

i=1
converge a algn s [n, n] y
(x
k
i
)

i=1
converge a algn x [0, 1]. Se sigue ahora de la convergencia uniforme de la sucesin ( f
k
)

k=1
que
f
k
i
(x
k
i
) f (x), de donde se obtiene que f
+s
(t) = f (t) +st f
+s
(x) = f (x) +sx si t (x 1/n, x) [0, 1],
mientras que f (t) +st f (x) +sx si t (x, x +1/n) [0, 1]. Esto prueba que f A
n
y, por lo tanto, A
n
es
cerrado.
A
n
es nunca-denso. Sea V un subconjunto abierto no vaco de C[0, 1]. Puesto que, por el Teorema de
Aproximacin de Weierstrass, el conjunto de los polinomios algebraicos P[0, 1] es denso en C[0, 1], resulta
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
144 Cap. 2 Aplicaciones del Teorema de Categora de Baire
que V P[0, 1] =. Sea p V P[0, 1] y escojamos un > 0 de modo que la bola abierta con centro en p y
radio , U(p, ) est totalmente incluida en V. Sean 0 < < , = sup
_
|p

(x)| : x [0, 1]} y elijamos un

entero impar m de tal que m > m ax{2n, 3(+n)/}. Para la particin P =
_
0, 1/m, 2/m, . . . , (m1)/m, 1},
denamos la funcin h : [0, 1] R por
h
_
2i
m
_
= , h
_
2i +1
m
_
= 0, i = 0, 1, 2, . . . ,
m1
2
y h es lineal en cada intervalo [i/m, (i +1)/m], para i = 0, 1, 2, . . . , m1, es decir,
h(x) =

1/m
_
x
2i +1
m
_
dependiendo si x [2i/m, (2i +1)/m] o x [(2i +1)/m, (2i +2)/m], respectivamente. Entonces h C[0, 1]
y, adems, f = p+h U(p, ).

0
1
m
3
m
5
m

1

Armamos que f A
n
. Observe que f A
n
signica que: para todo x [0, 1] y todo s [n, n] al menos
una de las siguientes dos desigualdades no se cumple
f
+s
(t) f
+s
(x) si t (x 1/n, x) [0, 1]
f
+s
(t) f
+s
(x) si t (x, x +1/n) [0, 1].
Para ver que f A
n
, tomemos cualquier x [0, 1]. Entonces existe un 0 i (m1)/2 tal que
2i
m
x <
2i +2
m
.
Existen tres casos a considerar segn x [2i/m, (2i +1)/m), x [(2i +1)/m, (2i +3/2)/m) o x est en
[(2i +3/2)/m, (2i +2)/m].
Primer caso: Suponga que 2i/m x < (2i +1)/m. Entonces x < (2i +1)/m < x +1/n y se sigue del
Teorema del Valor Medio para derivadas que existen
1
,
2
en (2i/m, (2i +1)/m) tal que
f
_
2i +1
m
_
f (x) = p
_
2i +1
m
_
p(x) + h
_
2i +1
m
_
h(x)
= p

(
1
)
_
2i +1
m
x
_
+ h

(
2
)
_
2i +1
m
x
_

_
2i +1
m
x
_


1/m
_
2i +1
m
x
_
< n
_
2i +1
m
x
_
.
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 145
Esto prueba que
f
_
2i +1
m
_
+ n
_
2i +1
m
_
< f (x) + nx, donde x < (2i +1)/m < x +1/n.
Segundo caso: Suponga que (2i +1)/m x < (2i +3/2)/m. Entonces x 1/n < 2i/m < x, y usando el
hecho de que h es creciente en el intervalo [(2i +1)/m, (2i +2)/m], resulta que h(x) h((2i +3/2)/m) =
/2. De nuevo, por el Teorema del Valor Medio para derivadas, tenemos que
f
_
2i
m
_
f (x) = p
_
2i
m
_
p(x) + h
_
2i
m
_
h(x)
= p

()
_
x
2i
m
_
+ h(x) (para algn )

_
2i
m
x
_
+

2
>
_
2i
m
x
_
+
3(+n)
2m
> n
_
2i
m
x
_
,
es decir,
f
_
2i
m
_
+ n
_
2i
m
_
> f (x) + nx, donde x 1/n < 2i/m < x
Tercer caso: Suponga que (2i +3/2)/m x < (2i +2)/m. Entonces x < (2i +3)/m < x +1/n y, como
antes,
f
_
2i +3
m
_
f (x) = p
_
2i +3
m
_
p(x) + h
_
2i +3
m
_
h(x)
= p

()
_
2i +3
m
x
_
h(x) (para algn )

_
2i +3
m
x
_


2
<
_
2i +3
m
x
_
+
3(+n)
2m
< n
_
2i +3
m
x
_
,
de donde se deduce que
f
_
2i +3
m
_
+ n
_
2i +3
m
_
< f (x) + nx, donde x < (2i +3)/m < x +1/n.
Esto prueba que f A
n
y, as, A
n
es nunca-denso en C[0, 1]. Por esto tenemos que A es un F

de primera
categora en C[0, 1]. Denotemos, nalmente, por B el conjunto
_
f : f A
_
. Entonces B es igualmente un
F

de primera categora en C[0, 1] y se sigue del Teorema de Categora de Baire que el conjunto TNM[0, 1] =
C[0, 1] \(AB) es un G

-denso en C[0, 1].