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 125
2.1.3. Convolucin de funciones continuas nunca diferenciables
Recordemos que

C[0, 2] =
_
f C[0, 2] : f (0) = f (2)
_
es un subespacio cerrado del espacio de Ba-
nach (C[0, 1],

) y, por consiguiente, (

C[0, 2],

) tambin es un espacio de Banach. Si f , g

C[0, 2],
entonces, como ya hemos mencionado, tales funciones se identican con sus extensiones peridicas (mdulo
2) en R. La convolucin de dos funciones f , g

C[0, 2] se dene por
( f g)(t) =
_
2
0
f (t s)g(s)ds.
Observemos que f g

C[0, 2] y se cumple, adems, que
(1) f g = g f , para toda f , g

C[0, 2],
(2) ( f g) h = f (gh), para toda f , g, h

C[0, 2],
(3) f (g+h) =f g+f h, para toda f , g, h

C[0, 2] y todo , R,
(4) f g

2 f

, para toda f , g

C[0, 2]. Usando induccin vemos que
|| f f
. .
(n veces)
||

(2)
n1
f
n

()
para cualquier f

C[0, 2] y todo n N.
La condiciones anteriores nos dice, en particular, que la funcin :

C[0, 2]

C[0, 2]

C[0, 2] deni-
da por
( f , g) = f g, f , g

C[0, 2]
es bilineal (=lineal en cada variable) y continua.
Si f

C[0, 2] es una funcin de Lipschitz, es decir, | f (x) f (y)| M|xy| para todo x, y [0, 2], para
alguna constante M 0, entonces L( f ) denotar la menor de las constantes M que satisfacen la desigualdad
anterior y que llamaremos la constante de Lipschitz de f . Recordemos que si f es continuamente diferencia-
ble, entonces f es de Lipschitz y, en este caso, L( f ) = f

. Adems, si f es continuamente diferenciable,

tambin lo es f g para todo g

C[0, 2] y se cumple que
_
f g
_

= f

g.
En consecuencia, f g es de Lipschitz y
L( f g) =
_
_
f

g
_
_

2
_
_
f

_
_

= 2L( f )g

.
En general, usando induccin, vemos que f g
n1

. . . g es de Lipschitz y
L( f
(n1 veces)
..
g g) =
_
_
_
_
f g
n1

. . . g
_

_
_
_

=
_
_
_ f

g
n1

. . . g
_
_
_

2
_
_
f

_
_

_
_
_g
n1

. . . g
_
_
_

2L( f )(2)
n2
g
n1

= L( f )
_
2g

_
n1
.
En la bsqueda de funciones extraas pero abundantes, el prximo objeto que visualizaremos en nuestra
Galera de Monstruos es la existencia de funciones continuas nunca diferenciables que son convoluciones.
El siguiente resultado fue demostrado por Witold M. Bogdanowicz en [59].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
126 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Teorema 2.1.5 (Bogdanowicz). El conjunto CND[0, 2] de todas las funciones f en

C[0, 2] que satisfacen
que cada una de las funciones
f , f f , f f f , f f f f , . . .
es nunca diferenciable, es residual en
_

C[0, 2],

_
.
La demostracin del Teorema de Bogdanowicz se basa en ciertas propiedades que posee la funcin
:

C[0, 2] [0, +] denida por
( f ) = nf
s[0,2]
sup
_
| f (t) f (s)|
|t s|
: t [0, 2], t = s
_
, f

C[0, 2].
Notemos que, para cualquier f

C[0, 2], 0 ( f ) + y (af ) = |a|( f ) para todo a R.
Lema 2.1.2. La funcin satisface las siguientes propiedades:
(a) es inferiormente semicontinua .
(b) Si f es diferenciable en algn punto s [0, 2], entonces ( f ) < +.
(c) Si g

C[0, 2] satisface una condicin de Lipschitz con constante de Lipschitz L(g) 0, es decir, si
|g(t) g(s)| L(g)|t s|, para todo t, s [0, 2],
entonces se cumple que ( f +g) ( f ) +L(g) para toda f

C[0, 2].
(d) Sean P =
_
0 = s
0
< s
1
< < s
m
= 2
_
una particin de [0, 2] y f una funcin en

C[0, 2] que es
diferenciable en [0, 2]. Si
M =nf
_
| f (s
n
) f (s
n1
)|
|s
n
s
n1
|
: n = 1, 2, . . . , m
_
,
entonces ( f ) M.
Prueba. (a). Sea a R. Vamos a demostrar que el conjunto E
a
() =
_
f

C[0, 2] : ( f ) a
_
es cerrado
en

C[0, 2]. Sea ( f
n
)

n=1
una sucesin en E
a
() tal que lm
n
f
n
= f uniformemente. Entonces f

C[0, 2]
y lo que queremos ver es que ( f ) a. Para cada n N, sea
n
> 0 de modo que
n
< 1/n. Puesto que
( f
n
) a, podemos hallar un s
n
[0, 2] tal que
sup
_
| f
n
(t) f
n
(s
n
)|
|t s
n
|
: t [0, 2], t = s
n
_
a+
n
.
De esto se sigue que
| f
n
(t) f
n
(s
n
)| (a+
n
)|t s
n
|, para todo t [0, 2], y todo n = 1, 2, . . ..
Siendo (s
n
)

n01
una sucesin en el compacto [0, 2], existe una subsucesin de ella (que seguiremos denotando
del mismo modo) convergiendo a un punto s
0
[0, 2]. De la convergencia uniforme de la sucesin ( f
n
)

n=1
hacia f sobre [0, 2] tenemos que
| f (t) f (s
0
)| a|t s
0
|, para todo t [0, 2], y todo n = 1, 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 127
Esto prueba que f E
a
().
(b). Si f es diferenciable en s (0, 2), entonces la funcin
g(t) =
f (t) f (s)
t s
, para t [0, 2], t = s
es acotada lo cual implica que ( f ) es nita.
(c). Supongamos que g

C[0, 2] satisface una condicin de Lipschitz con constante de Lipschitz L(g).
Entonces

( f (t) +g(t)) ( f (s) +g(s))

t s

f (t) f (s)

|t s|
+ L(g)
y de esta desigualdad se deduce que ( f +g) ( f ) +L(g).
(d). Para demostrar esta ltima desigualdad debemos probar, antes, el siguiente:
Lema. Suponga que g

C[0, 2] es una funcin diferenciable satisfaciendo g(s
0
) = = g(s
m
) =
0. Fijemos n {1, 2, . . . , m}. Entonces, para cada s [s
n1
, s
n
], o existe un t [s
n1
, s
n
] diferente
de s tal que g(s) = g(t), o bien g

(s) = 0.
Prueba. Puesto que g continua en [s
n1
, s
n
], ella alcanza su mximo en un punto t
1
y su mnimo
en un punto t
2
. Sea s cualquier punto en [s
n1
, s
n
] y suponga que g

(s) = 0. Podemos asumir que

g(s) =0 (y en consecuencia s =s
n1
, s =s
n
), pues en caso contrario la conclusin de la armacin
se cumple. Se sigue de g

(s) = 0 que g(s) < g(t

1
) y g(s) > g(t
2
). Ahora bien, como g(s) = 0,
entonces g(s) > 0 o g(s) < 0. Slamente consideraremos el primer caso pues el segundo caso
trabaja de modo enteramente similar. Tenemos entonces que
0 = g(s
n
) = g(s
n1
) < g(s) < g(t
1
).
Existen slo dos posibilidades para s: o bien s pertenece al intervalo (s
n1
, t
1
) o bien al intervalo
(t
1
, s
n
). Si s pertenece al intervalo (s
n1
, t
1
), entonces podemos encontrar un punto t en el intervalo
(t
1
, s
n
) tal que g(s) = g(t). Un razonamiento similar permite la misma conclusin si s pertenece al
intervalo (t
1
, s
n
). Esto termina la prueba de nuestra lema.
Consideremos ahora la funcin g : [0, 2] R denida por
g(t) = f (s
n1
)
t s
n1
s
n
s
n1
_
f (s
n
) f (s
n1
)
_
para todo t [s
n1
, s
n
], n = 1, 2, . . . , m. Esta funcin satisface las condiciones de nuestro lema. De all que,
para cada n = 1, 2, . . . , m y cada s [s
n1
, s
n
], existe otro punto t, distinto de s, tal que g(s) = g(t) o
g

(s) = 0. En el primer caso tenemos que

f (t) f (s)
t s
=
f (s
n
) f (s
n1
)
s
n
s
n1
,
mientras que para el segundo se obtiene
f

(s) =
f (s
n
) f (s
n1
)
s
n
s
n1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
128 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Cualquiera de los dos casos que ocurra permite concluir que
sup
_

f (t) f (s)
t s

: t [0, 2], t = s
_

f (s
n
) f (s
n1
)
s
n
s
n1

para todo s [s
n
, s
n1
] y todo n {1, 2, . . . , m}. Tomando nmo a ambos lados de esta desigualdad sobre el
conjunto {1, 2, . . . , m} obtenemos lo que queramos demostrar.
Estamos ahora en condiciones de demostrar el Teorema de Bogdanowicz
Prueba del Teorema de Bogdanowicz. Sea F =

C[0, 2] \CND[0, 2]. Nos proponemos demostrar que F
es de primera categora en
_

C[0, 2],

_
. Para cada par de enteros no negativos m, n denamos
F
mn
=
_
f

C[0, 2] : ( f f
. .
(n veces)
) m
_
.
Notemos que si f F, entonces para algn n N, f
n

. . . f es diferenciable en algn punto de [0, 2] y por

(b) del Lema 2.1.2 tenemos que ( f
n

. . . f ) es nito. Esto nos dice que f debe estar en algn F

mn
para
ciertos m, n N, es decir,
F

_
m,n=1
F
mn
.
Nos proponemos demostrar que cada conjunto F
mn
es cerrado y nunca-denso en

C[0, 2]. Fijemos m, n en N.
Puesto que la aplicacin :

C[0, 2]

C[0, 2] dada por
( f ) = f f
. .
(n veces)
, para toda f

C[0, 2]
es continua (esto sigue de la desigualdad ()), entonces la semicontinuidad inferior de la funcin nos
garantiza que F
mn
es cerrado en

C[0, 2]. Nos queda por ver que F
mn
es nunca-denso en

C[0, 2]. Esto lo
haremos demostrando que la suposicin contraria conlleva a una contradiccin.
Lema. Si F
mn
tiene interior no vaco, entonces existe una constante M 0 tal que
( f f
. .
(n veces)
) M f
n

para toda f

C[0, 2]. ()
1
Prueba. Decir que F
mn
tiene interior no vaco signica que existe una bola abierta, digamos U(g, r), incluida
en F
mn
para alguna g

C[0, 2] y algn r >0, donde como siempre U(g, r) =
_
f

C[0, 2] : f g

< r
_
.
Puesto que el conjunto de las funciones en

C[0, 2] con derivada continua es denso en dicho espacio, podemos
suponer (y as lo haremos) que g posee una derivada continua y, en consecuencia, satisface una condicin
de Lipschitz con constante de Lipschitz L(g) = g

. Observemos que cualquiera que sea f U(g, r), se

cumple que
(1) ( f
n

. . . f ) m,
(2) f

+ f g

< g

+r := d, y
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 129
(3) como hemos visto antes, el hecho de que g tiene una derivada continua, y por consiguiente satisface
una condicin de Lipschitz con L(g) = g

, ello implica que g f

n1

. . . f tambin es una funcin de

Lipschitz con constante de Lipschitz L(g)(2d)
n1
.
Fijemos f U(g, r) y pongamos h = f g. Entonces h U(0, r) y gracias a (c) del Lema 2.1.2, tenemos la
desigualdad
(h f f
. .
(n1 veces)
) ( f f f
. .
(n veces)
) + L(g f f
. .
(n1 veces)
) m + L(g)(2)
n1
.
Lo acabado de probar nos revela que: para cualquier h U(0, r), con f = g+h, se tiene que
(h f f
. .
(n1 veces)
) m + L(g)(2d)
n1
.
De la conmutatividad de la convolucin, la desigualdad anterior e induccin, se deduce la existencia de un
nmero K > 0 tal que
(hh h
. .
(n veces)
) K, para todo h U(0, r).
Sea f

C[0, 2] tal que f =0. Entonces h = (r/2 f

) f U(0, r) y usando el hecho de que la convolucin

es lineal en cada variable y que la aplicacin es homognea obtenemos que
_
r
2 f

_
n
( f f f
. .
(n veces)
) =
_
_
_
_
r
2 f

_
n
f f f
. .
(n veces)
_
_
_
=
_
r
2 f

f
r
2 f

f
r
2 f

f
_
. .
(n veces)
= (hh h
. .
(n veces)
) K.
Finalmente, deniendo M = (2/r)
n
K resulta la desigualdad
( f f f
. .
(n veces)
) M f
n

.
la cual se cumple para todo f

C[0, 2]. Esto termina la demostracin de nuestro lema.
Para cualquier k N, consideremos ahora la funcin f

C[0, 2] denida por f (t) = cos(kt). Puesto que
f (t) =
1
2
e
ikt
+
1
2
e
ikt
se deduce fcilmente que f f =f , y por consiguiente,
f f f
. .
(n veces)
=
n1
f .
De la propiedad (d) del Lema 2.1.2 vemos que si tomamos la particin {0, /k, . . . , 2k/k} se consigue la
desigualdad
( f )
2k

.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
130 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Por otro lado, usando la desigualdad ()
1
del lema anterior tendremos que
2
n2
k ( f f f
. .
(n veces)
) M f
n

= M
para cualquier k N. Esta ltima desigualdad es, por supuesto, imposible para todo k N, de donde se
concluye que F
mn
no puede tener interior no vaco y as F es de primera categora. Por el Teorema de
Categora de Baire, el conjunto CND[0, 2] es residual en

C[0, 2].
Comentario Adicional 2.1.2 En el mismo artculo, Bogdanowicz (Witold M. Bogdanowicz posteriormente
se cambi de nombre hacindose llamar Victor M. Bogdan) considera el espacio de Frchet (= espacio
vectorial topolgico completamente metrizable) C[0, +) de todas las funciones f : [0, +) R que
son continuas cuya topologa es generada por la familia de semi-normas
f
n
= sup
_
| f (t)| : t [0, n]
_
, n = 1, 2, . . .
Como antes, la convolucin de dos funciones f , g en C[0, +) viene dada por
( f g)(t) =
_
t
0
f (t s)g(s)ds.
Teorema (Bodganowicz). El conjunto E, formado por todas las funciones f C[0, +) tal
que las funciones
f , f f , f f f , . . .
son nunca diferenciables en el intervalo (0, +), es residual en C[0, +).
2.1.4. Funciones diferenciables nunca montonas
Como ya hemos visto, el Teorema de Categora de Baire ha servido como un vehculo importante en la
prueba de existencia de funciones que eran muy difciles de construir y, por supuesto, tambin difciles de
visualizar. Tal es el caso, por ejemplo, de las funciones continuas nunca diferenciables. Nuestro objetivo es
esta seccin es probar, como en el caso anterior, la abundancia de funciones diferenciables nunca montonas.
Una funcin f : [0, 1] R que no es montona en ningn subintervalo no degenerado de [0, 1] se llama
nunca montona o siempre oscilante. Que toda funcin continua nunca diferenciable es nunca montona
es consecuencia del siguiente resultado clsico, cuya prueba puede verse, por ejemplo, en [364], Theorem 3,
p. 418, o tambin, [384], p. 96.
Teorema de Diferenciabilidad de Lebesgue. Si F : [a, b] Res una funcin montona, entonces
F

existe -casi siempre.

Por consiguiente, si NM[0, 1] representa el subconjunto de C[0, 1] formado por todas las funciones continuas
que son nunca montonas, entonces NM[0, 1] es residual en (C[0, 1],

). Este resultado lo volveremos a

demostrar ms adelante sin apelar al Teorema de Banach-Mazurkiewicz.
En el transcurso del siglo XVIII a los matemticos les era totalmente imposible determinar si existan
funciones que fueran siempre diferenciables pero nunca montonas. Es importante destacar que para que
exista una funcin diferenciable nunca montona f debe ocurrir que los conjuntos
{x : f

(x) > 0} y {x : f

(x) < 0}
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 131
sean ambos densos en R. Dini era uno de los que crean que tales funciones podan existir, mientras que P. du
Bois-Reymond tena la presuncin de que las funciones nunca montonas no podan ser diferenciables. En
1887, Kpcke a fuerza de coraje y perseverancia dio a conocer explcitamente, a travs de una construccin
increblemente complicada, una funcin diferenciable nunca montona. Esa construccin permiti que se
unieran al clan con nuevas funciones de este tipo matemticos como Denjoy, Pereno, Hobson, etc. Todas
esas construcciones seguan siendo difciles y largas (la ms corta constaba de 10 pginas). Casi 100 aos
despus, en 1974, Y. Katznelson y K. Stromberg [254] reviven la investigacin al construir otra funcin
diferenciable nunca montona pero mucho ms simple que la dada por Kpcke. Fundamentalmente lo que
Katznelson y Stromberg probaron fue el siguiente resultado:
Teorema de Katznelson-Stromberg. Existe una funcin f : R R tal que:
(1) f es siempre diferenciable sobre R;
(2) f

es acotada sobre R y
(3) f no es montona en ningn subintervalo de R.
Una exposicin detallada del resultado anterior se puede leer en su fuente original o en el libro de A. B.
Kharazishvili [253], pg. 69-77. La funcin f , construida por Katznelson y Stromberg, disfruta de algunas
propiedades interesantes: por ejemplo, f

, por ser acotada, implica que f es una funcin Lipschitziana. En
particular, f es absolutamente continua, lo cual implica que f

es Lebesgue-integrable en cada subintervalo
[a, b] de R; en segundo lugar, f

no es Riemann-integrable en ningn subintervalo [a, b] de R. Ms an,
f

es una funcin de la primera clase de Baire; es decir, se puede representar como lmite puntual de una
sucesin de funciones continuas y, por consiguiente, el conjunto de puntos donde ella es continua es un
G

-denso (Teorema Genrico de Baire-Kuratowski, pgina 90). Por ltimo, los conjuntos {x : f

(x) > 0}
y {x : f

(x) < 0}, adems de ser disjuntos, son medibles Lebesgue y, para cada subintervalo [a, b] de R,
(a < b), se cumple que

_
_
{x : f

(x) > 0}
_
[a, b]
_
> 0 y
_
_
{x : f

(x) < 0}
_
[a, b]
_
> 0.
Dos aos ms tarde de la aparicin del resultado de Y. Katznelson y K. Stromberg, Clifford E. Weil
[440], usando el Teorema de Categora de Baire, prueba la existencia de abundantes funciones de ese tipo
en apenas 2 pginas. Veamos ahora el procedimiento que Weil sigui para demostrar la abundancia de las
funciones diferenciables nunca montonas usando el Teorema de Categora de Baire. Para probar lo que hizo
Weil necesitaremos las siguientes nociones y herramientas:
Como siempre, B

[0, 1] denota el conjunto de todas las funciones f : [0, 1] R que son acotadas dotado
de la mtrica uniforme
d

( f , g) = sup
x[0,1]
| f (x) g(x)|,
para todo f , g B

[0, 1]. Como ya hemos armado, es bien conocido que (B

[0, 1], d

) es un espacio
mtrico completo. Recordemos que una funcin f : [0, 1] R es una derivada, si existe al menos una
funcin diferenciable F : [0, 1] R tal que F

(x) = f (x) para todo x [0, 1] (por supuesto, en los puntos
extremos 0 y 1, se requiere que las derivadas laterales a la derecha y a la izquierda, respectivamente, existan).
Consideremos ahora el conjunto D[0, 1] formado por los elementos de B

[0, 1] que son derivadas, es

decir,
D[0, 1] =
_
f B

[0, 1] : existe F C[0, 1] tal que F

= f
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
132 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Observemos que C[0, 1] D[0, 1] pues, si f C[0, 1], entonces la funcin F : [0, 1] R denida por
F(x) =
_
x
0
f (t)dt, para todo x [0, 1]
es, gracias al Teorema Fundamental del Clculo, una funcin diferenciable satisfaciendo F

= f . Adems,
(D[0, 1], d

) es cerrado en B

[0, 1] y, en consecuencia, un espacio mtrico completo. Para ver esto ltimo,

sea ( f
n
)

n=1
una sucesin en D[0, 1] tal que lm
n
d

( f
n
, f ) = 0 y sea F
n
: [0, 1] R tal que F

n
= f
n
para
todo n N. Haciendo uso del siguiente resultado conocido, (vase, por ejemplo, [386] Theorem 7.17, p.
152):
Teorema C
1
. Si (G
n
)

n=1
es una sucesin de funciones en D[0, 1] convergiendo uniformemente
a una funcin G, entonces la sucesin (G

n
(x))

n=1
converge uniformemente a una funcin g(x)
y, adems, G

(x) = g(x).
se sigue que la sucesin (F
n
)

n=1
converge uniformemente a una funcin diferenciable F y F

es el lmite
uniforme de ( f
n
)

n=1
; es decir, F

= f D[0, 1]. Esto prueba que (D[0, 1], d

) es cerrado en B

[0, 1].
Para cada f D[0, 1] pongamos, como antes, Z( f ) = {x [0, 1] : f (x) = 0} y denamos
D
0
[0, 1] =
_
f D[0, 1] : Z( f ) es denso en [0, 1]
_
.
Notemos que si f D
0
[0, 1], entonces Z( f ) es, por el Ejemplo 2, pgina 101, un subconjunto G

-denso de
[0, 1]. Similar al argumento de la prueba del Teorema 2.1.8, vamos a demostrar que D
0
[0, 1] es cerrado en
D[0, 1]. En efecto, sea ( f
n
)

n=1
una sucesin en D
0
[0, 1] tal que f
n
f uniformemente, donde f D[0, 1].
Como cada Z( f
n
) es un G

-denso de [0, 1], el Teorema de Categora de Baire nos revela que

Z =

n=1
Z( f
n
)
es denso en [0, 1] y ya que f
n
f uniformemente, entonces Z Z( f ), de donde se sigue que f D
0
[0, 1].
Esto prueba que (D
0
[0, 1], d

) es cerrado en (D[0, 1], d

) y, en consecuencia, un espacio mtrico completo.

Exactamente como en la demostracin del Teorema 2.1.8 se verica que D
0
[0, 1] es, en realidad, un espacio
vectorial sobre R. Es sobre ste espacio que Clifford Weil, usando el Teorema de Categora de Baire, prueba
la abundancia de funciones diferenciables nunca montonas. El espacio D
0
[0, 1] ser interesante en la medida
en que podamos demostrar que l, como espacio vectorial, es no trivial. Ese es el contenido de la siguiente:
Armacin 1. D
0
[0, 1] = {0}.
Prueba de la Armacin 1. El Teorema de Katznelson-Stromberg nos garantiza la existencia de una funcin
0 = f D
0
[0, 1]. He aqu otra tal funcin obtenida explcitamente a la que llamaremos funcin de Pompeiu.
Observemos, en primer lugar, que si d es cualquier nmero real, entonces la funcin g
d
(x) = (xd)
1/3
tiene
derivada nita excepto en x = d, donde su derivada es innita.
Sea (d
n
)

n=1
una sucesin densa en [0, 1] y para cada x [0, 1], denamos
F(x) =

n=1
(x d
n
)
1
3
2
n
=

n=1
g
n
(x)
2
n
,
donde hemos puesto g
n
(x) = (x d
n
)
1/3
. Por el M-Test de Weierstrass, la serie converge uniformemente y,
por lo tanto, F es una funcin continua sobre [0, 1]. Pero adems, como cada g
n
es montona creciente, F
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 133
es montona creciente y entonces el Teorema de Diferenciabilidad de Lebesgue nos dice que su derivada
F

existe -c.s., donde es la medida de Lebesgue sobre R restringida a [0, 1]. Observe que de la igualdad
ab =
_
a
1/3
b
1/3
__
a
2/3
+a
1/3
b
1/3
+b
2/3
_
, vlida para todo a, b R, se sigue que
F(t) F(x)
t x
=

n=1
1
_
(t d
n
)
2
3
+(t d
n
)
1
3
(x d
n
)
1
3
+(x d
n
)
2
3
_
2
n
.
Denamos
K =
_
x [0, 1] :

n=1
1
3(x d
n
)
2
3
2
n
converge
_
,
y notemos que como K {d
n
: n N} = , entonces [0, 1] \K es denso. Si usamos las siguientes desigual-
dades
1
2
(a
2
+b
2
) a
2
+ab+b
2

3
2
(a
2
+b
2
), donde a, b R, tendremos que
si x K, entonces F

(x) existe y F

(x) =

n=1
1
3(x d
n
)
2
3
2
n
> 0, y
si x K, entonces F

(x) = lm
tx
F(t) F(x)
t x
=.
Siendo F una funcin estrictamente creciente, F[0, 1] = [F(0), F(1)]. Sea G : [F(0), F(1)] [0, 1] la inversa
de la funcin F. Entonces G es montona creciente y, gracias al Teorema de Diferenciabilidad de Lebesgue,
G

es diferenciable -casi siempre. sobre [F(0), F(1)], adems se cumple que G

(F(x)) = 1/F

(x) para casi
todo x. Notemos que G

es acotada y que G

(F(x)) = 0 si, y slo si, x K. De esto se sigue que G

= 0
sobre un subconjunto denso de [F(0), F(1)]. Finalmente, si sustituimos G por G , donde es cualquier
aplicacin lineal de [0, 1] sobre [F(0), F(1)], entonces resultar que 0 = G D
0
[0, 1].
Armacin 2. El conjunto
E =
_
f D
0
[0, 1] : existe un intervalo abierto I [0, 1] tal que f (I) [0, +) o f (I) (, 0]
_
es de primera categora en D
0
[0, 1].
Prueba de la Armacin 2. Sea (I
n
)

n=1
una enumeracin de todos los subintervalos abiertos no vacos de
[0, 1] con extremos racionales distintos, y para cada n N pongamos
E
n
=
_
f D
0
[0, 1] : f (I
n
) [0, +)
_
y F
n
=
_
f D
0
[0, 1] : f (I
n
) (, 0]
_
.
Entonces
E =

_
n=1
(E
n
F
n
),
y es suciente demostrar que tanto E
n
as como F
n
son cerrados y nunca-densos, para cada n N. El argu-
mento ser llevado a cabo slo para E
n
ya que un procedimiento similar trabaja para F
n
.
Que E
n
es cerrado es inmediato. Para demostrar que E
n
tiene interior vaco, supongamos que f E
n
y sea > 0. Puesto que f D
0
[0, 1], entonces Z( f ) es denso en [0, 1] y por lo tanto Z( f ) I
n
= . Sea
x
0
Z( f ) I
n
. Entonces x
0
I
n
y f (x
0
) = 0. Sea 0 = h D
0
[0, 1] y suponga que h(x
1
) < 0 para algn
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
134 Cap. 2 Aplicaciones del Teorema de Categora de Baire
x
1
[0, 1]. Dena ahora g = h , donde es un difeomorsmo de [0, 1] sobre [0, 1] tal que (x
0
) = x
1
.
Tenemos entonces que g D
0
[0, 1] satisface g(x
0
) < 0. Sea M > 0 tal que
M > sup
_
| g(x)| : x [0, 1]
_
.
Entonces
d

_
f ,

M
g+ f
_
<.
Como g y f estn en el espacio vectorial D
0
[0, 1], resulta que

M
g+ f D
0
[0, 1]. Observemos, sin embargo,
que
_

M
g + f
_
(x
0
) < 0, lo cual dice que

M
g + f no es un elemento de E
n
. Esto prueba que E
n
no puede
contener ninguna bola abierta y, as, E
n
es nunca-denso.
Teorema 2.1.6 (Weil). El conjunto DNM[0, 1] =
_
F

D
0
[0, 1] : F es nunca montona
_
es residual en
(D
0
[0, 1],

).
Prueba. Sea E el conjunto denido en la Armacin 2 del pargrafo anterior. Es claro que D
0
[0, 1] \ E
DNM[0, 1]. Puesto que E es de primera categora en D
0
[0, 1], el Teorema de Categora de Baire nos garantiza
que D
0
[0, 1] \E es un G

-denso y, por consiguiente, DNM[0, 1] es residual en (D

0
[0, 1],

).
Del resultado de Weil se sigue, en particular, la existencia de abundantes funciones satisfaciendo las
condiciones (1), (2) y (3) del Teorema de Katznelson-Stromberg.
Teorema 2.1.7 (Cater, [88]). Sea
D
00
=
_
f D
0
[0, 1] :
_
Z( f )
_
= 0
_
.
Entonces D
00
es residual en (D
0
[0, 1],

).
Prueba. Para cada n N, dena
G
n
=
_
f D
0
[0, 1] :
_
Z( f )
_
1/n
_
.
Veamos en primer lugar que cada G
n
es cerrado en D
0
[0, 1]. Fijemos n N y tomemos cualquier sucesin
( f
k
)

k=1
en G
n
tal que lm
k
f
k
f

= 0 para alguna funcin f D

00
. Puesto que f
k
G
n
, tenemos que

_
Z( f
k
)
_
1/n para todo k N. Sea
Z =

j=1

_
k=j
Z( f
k
).
Resulta que para cualquier x Z, f (x) = 0, es decir, Z = Z( f ) y como (Z) lmsup
k
(Z( f
k
)) 1/n,
tenemos que f G
n
. Esto prueba que G
n
es cerrado.
Nuestro siguiente paso es demostrar que G
n
es nunca-denso en D
0
[0, 1]. En efecto, jemos un f G
n
y
sea > 0. Escojamos ahora una funcin g D
00
tal que 0 g 1. Teniendo en cuenta que f G
n
, resulta
que

_
{x [0, 1] : | f (x)| > 0}
_
=
_
[0, 1] \Z( f )
_
< 1/n
y, en consecuencia, podemos determinar un 0 <c < de modo tal que
_
{x [0, 1] : 0 < | f (x)| < c}
_
< 1/n.
De esto se sigue que

_
{x [0, 1] : f (x) = cg(x)}
_
< 1/n,
y, por consiguiente,

_
{x [0, 1] : f (x) +cg(x) = 0}
_
< 1/n.
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 135
Esto prueba que f +cg G
n
y, como, f +cg f

= cg

c <, tenemos que G

n
no puede contener
ninguna bola abierta, es decir, G
n
es nunca-denso.
Finalmente, puesto que D
00
=D
0
[0, 1] \

n=1
G
n
, el Teorema de Categora de Baire nos revela que D
00
es residual en (D
0
[0, 1],

).
Si se considera el espacio D
1
[0, 1], formado por todas las funciones f : [0, 1] R que poseen derivadas
acotadas sobre [0, 1] con la norma
f
1
= sup
x[0,1]
| f (x)| + sup
x[0,1]
| f

(x)| = f

+
_
_
f

_
_

,
entonces (D
1
[0, 1],
1
) resulta ser un espacio de Banach incluido en C[0, 1]. Tibor alt [395], demuestra
el siguiente:
Teorema 2.1.8 (alt). El conjunto NM
1
[0, 1], formado por todas las funciones en D
1
[0, 1] que son nunca
montonas en [0, 1], es nunca-denso en (D
1
[0, 1],
1
).
Prueba. Si f es cualquier funcin a valores reales denida sobre [0, 1], denotaremos por Z( f ) el conjunto de
los ceros de la funcin f , es decir, Z( f ) = {x [0, 1] : f (x) = 0}. Consideremos ahora el conjunto
D
0
[0, 1] =
_
f D
1
[0, 1] : Z( f

) es denso en [0, 1]
_
.
Notemos en primer lugar que si f NM
1
[0, 1], entonces se verica que Z( f

) es denso en [0, 1]. En efecto,
puesto que f

cambia de signo en cada subintervalo de [0, 1] y como f

posee la propiedad de Darboux (esto
signica que si f

(a) < d < f

(b) para cualesquiera a, b [0, 1] con a < b, entonces existe un c (a, b) tal
que f

(c) = d), entonces Z( f

) es denso en [0, 1], de donde se sigue que
NM
1
[0, 1] D
0
[0, 1].
De inmediato probaremos que D
0
[0, 1] es cerrado en D
1
[0, 1]. Sea ( f
n
)

n=1
una sucesin en D
0
[0, 1] con-
vergiendo a una funcin f D
1
[0, 1], es decir, lm
n
f
n
f
1
= 0. Se sigue de la denicin de la norma

1
que ( f
n
)

n=1
converge uniformemente a f y la sucesin de derivadas, ( f
n

)

n=1
, converge uniformemente
a f

. Puesto que las derivadas f
n

(n = 1, 2, . . .) pertenecen a la primera clase de Baire, B
1
[0, 1], (vase,
Ejemplo 7, pgina 493), cada uno de los conjuntos Z( f
n

) (n = 1, 2, . . .) es un G

en [0, 1], y como adems,

f
n
D
0
[0, 1] (n = 1, 2, . . .), tales conjuntos resultan tambin ser densos en [0, 1]. Se sigue del Teorema de
Categora de Baire que

n=1
Z( f
n

)
es un G

-denso en [0, 1] y claramente dicho conjunto es un subconjunto de Z( f

). Esto prueba que Z( f

)
es denso en [0, 1] y, por lo tanto, f D
0
[0, 1]. Con lo anterior hemos demostrado que D
0
[0, 1] es cerrado en
D
1
[0, 1]. En realidad, D
0
[0, 1] es un subespacio lineal cerrado propio del espacio D
1
[0, 1]. En efecto, sean
f , g D
0
[0, 1]. Por el Teorema de Categora de Baire, Z( f

) Z(g

) es un G

-denso de [0, 1] y claramente

Z( f

)Z(g

) Z(( f +g)

), por lo que f +g D
0
[0, 1]. Tambin es claro que si f D
0
[0, 1] y r R, entonces
r f D
0
[0, 1]. Por el Ejemplo B-2, pgina 212, D
0
[0, 1] es nunca-denso en D
1
[0, 1] y, por consiguiente,
tambin lo es NM
1
[0, 1].
Comentario Adicional 2.1.3 1) Otra demostracin de la existencia de funciones diferenciables nunca
montonas se puede ver en un artculo recientemente publicado por R. Aron, V. I. Gurariy y J.
B. Seoane ([18], Corollary 3.3).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
136 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2) Haciendo uso del siguiente resultado de Petruska y Laczkovich ([76], Theorem 2.1, p. 226)
Teorema de Petruska-Laczkovich. Sea J [0, 1]. Para cualquier f B
1
[0, 1], la restriccin
de f sobre J se puede extender a una derivada sobre [0, 1] si, y slo si, (J) = 0.
se prueba sin mucha dicultad que la aplicacin
f (x) =
_

_
0 si x es irracional
1
q
si x =
p
q
es irreducible con q par

1
q
si x =
p
q
es irreducible con q impar
genera una funcin diferenciable nunca montona. En efecto, es fcil vericar que f es continua
en cada punto irracional de [0, 1] y, por lo tanto, f B
1
[0, 1], donde B
1
[0, 1] es el espacio de
todas las funciones de la primera clase de Baire (el hecho de que f B
1
[0, 1] se puede deducir
del Teorema Grande de Baire (b), vase el Captulo 3 para detalles). Puesto que los racionales
en [0, 1] forman un conjunto J de medida (de Lebesgue) cero, la restriccin de f a J puede,
por el Teorema de Petruska-Laczkovich, ser extendida a una funcin derivada

f sobre todo [0, 1].
Puesto que

f >0 sobre el conjunto denso Q
1
={p/q Q[0, 1] : p/q es irreducible con q par}
y

f < 0 sobre el conjunto denso Q
2
= {p/q Q[0, 1] : p/q es irreducible con q impar}, se
sigue que si F

=

f sobre [0, 1], entonces F es una funcin diferenciable nunca montona.
3) Sea f : [0, 1] R una funcin. Recordemos que el grco de f es el conjunto Gra( f ) denido
por Gra( f ) = {(x, f (x)) : x [0, 1]}. Denotemos por L(, c) = {(x, x +c) : x R} una recta no
vertical en R
2
para algn , c R. Un conjunto de nivel de f es un subconjunto E de [0, 1] tal
que {(x, f (x)) : x E} es la interseccin de Gra( f ) con alguna lnea recta no vertical L(, c). A
todo conjunto de nivel lo denotaremos por Z( f , E, , c) := {(x, f (x)) : x E, f (x) =x +c}. En
[80], A. M. Bruckner and K. M. Garg demostraron la existencia de un subconjunto residual G
de (C[0, 1],

) tal que los conjuntos de nivel de cada miembro de G consisten de un conjunto

perfecto o la unin de un conjunto perfecto con un de tipo I, donde un conjunto es de tipo I si
ste contiene uno o, a lo sumo, dos puntos.
Tambin es interesante mirar el trabajo de U. B. Darji y M. L. Morayne [112]. Un poco ms
tarde, F. S. Cater en [87] demuestra que:
Teorema 2.1.9 (Cater, [87]). El conjunto
G =
_
f C[0, 1] : Z( f , E, , c) posee medida (lineal) cero
_
es residual en (C[0, 1],

).
Ms aun, (compare con el Teorema 2.1.7),
Teorema 2.1.10 (Cater, [87]). El conjunto
G
0
=
_
f D[0, 1] : Z( f , E, , c) es nunca-denso y de medida (lineal) cero
_
forma un subconjunto residual de (D[0, 1],

).