Funciones notables

Javier Martnez Perales

3 de octubre de 2017

1. El -conjunto de Cantor.
Vamos a construir, de manera precisa, la funcin singular de Lebesgue, una funcin
continua pero no absolutamente continua. Tambin construiremos la funcin de Volterra,
una funcin derivable con derivada acotada y no integrable Riemann.

Para ello, primero, recordamos la construccin del conjunto de Cantor.

Sea (0, 1]. Sea I = [0, 1].

Paso 1. Eliminamos, del intervalo I, el intervalo abierto central de longitud 3 ,

 
1 1 1
I1 = , + .
2 32 2 32

Lo que queda al eliminar el intervalo I11 del intervalo I es la unin disjunta de dos
(21 ) intervalos cerrados
J11 y J21 ,
cada uno de ellos con longitud
1 3
m(J11 ) = m(J21 ) = .
2

Definimos, entonces,

H1 = I11 ; C1 = I\H1 = J11 J21 .

Paso 2. En cada uno de los cerrados J11 y J21 , repetimos este proceso. Es decir, eliminamos el
intervalo central de longitud 32 . Se eliminan, entonces, en C1 , dos (221 ) intervalos
abiertos
I12 y I22 .
Lo que queda al eliminar dichos intervalos abiertos son cuatro (22 ) intervalos
cerrados,
J12 , J22 , J32 , J42 .

1
 Obtenemos, as,
22
[
H2 = I12 I22 ; C2 = C1 \H2 = Ji2 .
i=1

..
.

Paso n. Si repetimos este procedimiento, en el paso n eliminamos de Cn1 el conjunto

n1
2[
Hn = Iin ,
i=1

donde cada Iin es un intervalo abierto de longitud 3n
, obteniendo el conjunto
2 n
[
Cn = Cn1 \Hn = Jin ,
i=1

que es unin de intervalos cerrados.

Definicin. Sea (0, 1]. El -conjunto de Cantor es el conjunto

\
[
C = Cn = I\ Hn .
n=1 n=1

Proposicin (Propiedades del -conjunto de Cantor).

1. 0 C .

2. C es compacto.

3. m(C ) = 1 .

4. I\C es denso en I.

5. C no tiene ningn punto aislado.

Demostracin.

1. Esto es claro, basta tener en cuenta que 0 Cn para cada n N.

2. C es claramente cerrado (es interseccin de cerrados). Adems, es acotado, pues

C I.

2
 3. En efecto,

!!
[
m(C ) = m I\ Hn , siendo
n=1

!  n
[ X X 2n1 X 2 23
m Hn = m(Hn ) = = = 2 = .
n=1 n=1 n=1
3n 2 n=1 3 21 3

Por tanto,

!!
[
m(C ) = m I\ Hn = 1 .
n=1

4. Sea x I. Veamos que existe una sucesin {yn }nN , yn I\C , con {yn }nN x.
Si x I\C , entonces no hay nada que probar (basta tomar la sucesin que vale
constantemente x).
Si x C . Entonces x
T
con lo que x Cn para cada n N. Sea n N.
n=1 Cn , S n
Entonces Cn es la unin disjunta 2i=1 Jin , con lo que existe k {1, 2, . . . , 2n } tal
que x Jkn . Definimos, entonces
sup Jkn nf Jkn
yn = (el punto medio de Jkn )
2
La sucesin {yn }nN es una sucesin de puntos de I\C (obsrvese que, segn la
eleccin de yn , ste punto no se encuentra en Cn+1 , con lo que no est en C ).
Adems,
 sup Jkn nf Jkn
 

|yn x| = 
 x < n ,
2 3
n n
ya que x, yn Jk , siendo m(Jk ) = 3n por construccin.
Por tanto, {yn }nN es una sucesin de puntos de I\C que converge a x.
5. Basta tomar, dado x C como antes, la sucesin {xn }nN dada por

n
nf Jk
si x = sup Jkn
xn = sup Jkn si x = nf Jkn

nf Jkn si x int(Jkn )

sta es una sucesin de puntos de C (son extremos de los intervalos cerrados de

Cn ) que verifica, para cada n N, la desigualdad
1
|xn x| .
3n
Adems, para cada n N, se tiene xn 6= x, con lo que x no es un punto aislado (es
lmite de una sucesin de puntos de C distintos de x).

Definicin. Llamaremos conjunto de Cantor o conjunto ternario de Cantor al

conjunto C1 .

3
2. Una funcin derivable con derivada no acotada.
En el intervalo [0, 1], consideremos la funcin f : [0, 1] R definida por
(
x2 sin x12 si x 6= 0,
f (x) =
0 si x = 0

La funcin f es derivable en [0, 1], pero su derivada no es acotada.

En efecto, la funcin f es derivable en cada punto x del intervalo (0, 1] con derivada
f 0 (x) = 2x sin x12 x2 cos x12 . Adems, en el punto 0 tenemos

x2 sin x12 1
f 0 (0) = lm = lm x sin 2 .
x0 x x0 x
1
Pero x converge a 0 y sin 2 es una funcin acotada, con lo que el lmite anterior vale 0.
x
As, tenemos que la derivada de f es
(
2x sin x12 x2 cos x12 si x 6= 0
f 0 (x) =
0 si x = 0

Es fcil ver que la funcin f 0 no es acotada. En efecto, para cada k N, se tiene que,
si xk = k12 [0, 1], entonces f 0 (xk ) > k.

Figura 1: Grfica de f

4
 3. La funcin de Volterra.
Construimos, a continuacin, una funcin derivable, con derivada acotada y no
integrable en el sentido de Riemann. Este ejemplo es debido al matemtico italiano
Vito Volterra. Su construccin se basa en el 1/2-conjunto de Cantor.

Haremos la construccin en varios pasos.

Paso 1. Sea a R. Definimos la funcin fa : R R por

(
1
(x a)2 sin xa si x 6= a
fa (x)
0 si x = a

Figura 2: Grfica de f0

La funcin fa es claramente derivable en cada punto. En efecto, dado x 6= a, fa es

claramente derivable con derivada
1 (1) 1 1 1
fa0 (x) = 2(xa) sin +(xa)2 2
cos = 2(xa) sin cos .
xa (x a) xa xa xa

En el punto a se tiene
1
(x a)2 sin xa 1
fa0 (a) = lm = lm (x a) sin = 0.
xa xa xa xa

5
 En resumen, (
1 1
2(x a) sin xa cos xa si x 6= a
fa0 (x) =
0 si x = a

Ntese que fa0 es continua en cada punto distinto de a.

Paso 2. Sean a, b R con a < b y definamos

(a + b)
a sup{x : a < x y fa0 (x) = 0}.
2
(a+b)
Proposicin. El conjunto {x : a < x 2
y fa0 (x) = 0} es no vaco.

Demostracin. En efecto, considrese la funcin g : (a, a+b 2

] R definida
1
mediante g(x) = xa . Esta funcin es continua, decreciente y, adems, se tiene,
 
a+b 1
g = a+b
< y lm g(x) = .
2 2
a xa

Por tanto, existen, en el intervalo (a, a+b

2

], puntos x tales que g(x) es de la
forma
k, k N. Es ms, si k0 g (a, 2 ] , entonces (k0 + n) g (a, a+b
a+b
2
] para
a+b 0
cada n N. As, existen, en el intervalo (a, 2 ], puntos en los que fa vale 1
y puntos en los que fa0 vale 1 (fa0 oscila entre 1 y 1 infinitas veces). Por el
Teorema de Bolzano, como fa0 es continua en el intervalo (a, a+b 2
], existen, en dicho
0
intervalo,puntos en los que fa vale 0.
(a+b)
Proposicin. El nmero a es mximo del conjunto {x : a < x 2
y fa0 (x) = 0}.

Demostracin. Como a es supremo de {x : a < x (a+b) 2

y fa0 (x) = 0}, existe
(a+b)
una sucesin de puntos de {x : a < x 2 y fa0 (x) = 0}, {xk }kN , tal que
a = lmk xk . Como fa0 es continua en (a, b), debe ser lmk fa0 (xk ) = fa0 (a ).
Pero fa0 (xk ) = 0 para todo k N.
(a+b)
Por tanto, fa0 (a ) = 0, luego a {x : a < x 2
y fa0 (x) = 0}.

El punto a es el punto ms alejado de a en el intervalo (a, (a+b)

2
] en el cual se
anula la derivada de fa .
Definimos la funcin fa,b : (a, b) R como sigue:

fa (x)
si a < x a
fa,b (x) fa (a ) si a x b (a a)

fa (b + a x) si b (a a) x < b

La funcin fa,b est definida como fa entre a y el punto ms alejado de a en el cual

se anula fa0 dentro de la mitad del intervalo (a, b); es constante con valor fa (a )

6
entre dicho punto a y la mitad del intervalo (a, b). Por ltimo, en ( (a+b)
2
, b), fa,b
(a+b)
no es ms que fa (x) reflejada sobre la recta vertical x = 2 .
Obsrvese que, si x [b (a a), b), entonces

1
fa,b (x) = fa (b + a x) = (b + a x a)2 sin =
b+axa
1 1
= (b x)2 sin = (b x)2 sin = fb (x).
bx xb

Como fa,b (x) = fb (x) para cada x [b (a a), b), tenemos

|fa,b (x)| max{(b x)2 , (a x)2 }, para cada x (a, b),

pues, si x (a, b (a a)), entonces

|fa,b (x)| max {|fa (x)|} max {(a x)2 }

x(a,b(a a)) x(a,b(a a))

y, si x [b (a a), b), entonces

|fa,b (x)| max {|fb (x)|} max {(b x)2 }.

x[b(a a),b) x[b(a a),b)

La derivabilidad de fa,b se deduce inmediatamente de su definicin y de la

derivabilidad de fa y fb (no hay problemas en a ni b (a a)) ya que, en estos
puntos, fa0 y fb0 , respectivamente, tienen derivada nula). Adems, basta observar
las derivadas de fa y fb para obtener
0
|fa,b (x)| 2(b a) + 1 para cada x (a, b). (1)

En realidad, se tiene
0
|fa,b (x)| 3 para cada x (a, b),

pues sin(t) t para cada t 0.

Se tiene, tambin (basta considerar la definicin de fa,b ), que, para puntos x
cercanos a a (es suficiente que x a ),

0 1 1
fa,b (x) = fa0 (x) = 2(x a) sin cos .
xa xa

As, si elegimos n N suficientemente grande, siempre podemos encontrar (como

1 0
en la Proposicin 3) un x tan cercano a a tal que xa = n, con lo que fa,b (x) = 1
(la funcin oscila entre 1 y 1). De manera anloga, cerca de b (recordemos que, a
0
partir de la mitad de (a, b), fa,b se define como el reflejo de fa ) la funcin fa,b oscila
infinitas veces entre 1 y 1.

7
Paso 3. Consideremos el 1/2-conjunto de Cantor, C1/2 .

Definicin. Definimos la funcin de Volterra, F : [0, 1] R, por

(
0 si x C1/2
F (x)
fa,b (x) si x Ijn1 (a, b) para algn n N, con 1 j 2n1

Figura 3: Funcin de Volterra construida en H1 H2 H3 .

Proposicin. La funcion F es derivable en cada punto y su derivada tiene una

discontinuidad en cada punto de C1/2 .

Demostracin. Si x / C1/2 , existe un intervalo (a, b) [0, 1]\C1/2 (uno de los Ijk tal que
x (a, b). Por definicion, F (x) = fa,b (x) en (a, b), con lo que F es derivable en (a, b) y,
ademas, F 0 (x) = fa,b
0
(x).

Sea, ahora, x C1/2 . Sea > 0. Consideremos un punto y [0, 1] tal que |y x| < .
Si y C1/2 , entonces  
 F (y) F (x) 
  = 0.
 yx 

/ C1/2 , existe un intervalo Ijn (a, b), para algn n N y algn j {1, 2, . . . , 2n1 }
Si y
tal que y Ijn .
Supongamos que |a y| < |b y| (entonces y est ms cerca de a que de b). Entonces,
  1 

 F (y) F (x)   F (y)   (y a)2 sin ya
  
= =  |y x| < ,
 
 yx   yx   yx 

8
donde, en la penltima desigualdad, se ha usado que, como x / (a, b) y |a y| < |b y|,
se tiene que |a y| |y x|. En efecto, si x < y, el que x no pertenezca a (a, b) implica,
tambin, que x < a, de donde |a y| < |x y|; si x > y, debe ser, razonando como
antes, x > b, de donde |b y| |x y|. Como estamos suponiendo que |b y| > |a y|,
tenemos, efectivamente, que |a y| |x y|.

De la misma manera, si suponemos que |a y| < |b y|, entonces, utilizando la

simetra de la funcin fa,b ,
  1 

 F (y) F (x)   F (y)   (y b)2 sin yb
  
= =  |y x| < .
 
 yx   yx   yx 

As pues, como esto es para cada > 0, F 0 (x) = 0 para cada x C1/2 .

Hemos probado, entonces, que F es derivable en todo punto y, adems,

|F 0 (x)| |fa,b
0
(x)| 3 para cada x [0, 1] (recordar (1)).

Por ltimo, la funcin F 0 no es continua en ninguno de los puntos del conjunto de

Cantor.
En efecto, sea x C1/2 y consideremos un > 0 cualquiera. Podemos elegir y
/ C1/2
0 0
tal que |y x| < y F (y) = fa,b (y) = 1.
0
Hemos usado aqu la densidad de [0, 1]\C1/2 y el hecho de que fa,b (x) oscila
0
infinitamente cerca de a y b entre 1 y 1. As, F no es continua en ningn punto
x de C1/2 (no existe el lmite cuando y tiende a x de F 0 ).

Proposicin. La funcin de Volterra es una funcin derivable con derivada acotada y

no integrable en el sentido de Riemann.

Demostracin.
Como el conjunto C1/2 es un conjunto con medida positiva (m(C1/2 ) = 12 ), tenemos, por
la caracterizacin de la integrabilidad de funciones en el sentido de Riemann mediante
sus puntos de discontinuidad, que F 0 no es integrable en el sentido de Riemann, como
queramos probar.

Observacin. Observemos que, para cada (0, 1), podemos definir una funcin
anloga a la funcin de Volterra con la misma propiedad que sta, pues, para cada
(0, 1), el -conjunto de Cantor C tiene medida positiva . El 1/2-conjunto de Cantor
se llama conjunto de SmithVolterraCantor.

9
4. La funcin singular de Lebesgue.
La funcin de Lebesgue se definir a partir del conjunto ternario de Cantor. La
construiremos como el lmite uniforme de una sucesin de funciones.
Procedemos, a continuacin, a la construccin de dicha sucesin de funciones
continuas:

x
si x = 0, x = 1
f1 (x) = 1/2 si x I11

afn si x C1

x si x = 0, x = 1

f (x)
n1 si x Hn1
fn (x) = 2k1 para cada n > 1.
m si x Ikn , 1 k 2n1
2


afn si x Cn

Es claro que, dado n N, la funcin fn es creciente (la parte afn une, de manera
continua y lineal los extremos de los intervalos en donde est definida).

Por otro lado, dados n N y x [0, 1] hay tres posibilidades:

Si x Hn1 , entonces existen m {1, . . . , n} y k {1, . . . , 2m1 } nicos tales
que x Ikm (la unicidad se sigue del hecho de que los Ijp son disjuntos). Se tiene,
entonces, que, para tales m y k,
2k 1
fn1 (x) = fn (x) = ,
2m
de donde |fn (x) fn1 (x)| = 0.
Si x Cn \Hn , entonces, x Cn1 (recordar que Cj Ci si i j), con lo que fn
y fn1 estn definidas de forma afn en ese punto. La imagen de la parte afn de
fn est contenida en un intervalo didico de longitud 2n , Dn , mientras que la de
la parte afn de fn1 est contenida en el intervalo didico de longitud 2(n1) que
contiene a Dn .
As pues,
1
|fn (x) fn1 (x)| .
2n1
Si x Hn , entonces existen 1 m n y 1 k 2m1 tales que x Ikm , con lo
que fn (x) = 2k1
2m
, que, de nuevo, es un valor contenido en el intervalo didico que
1
contiene a fn1 (x), de donde se deduce, de nuevo, que |fn (x) fn1 (x)| 2n1 .
Hemos probado, entonces, que, para cada x [0, 1] y cada n N,
1
|fn+1 (x) fn (x)| .
2n
Se deduce de aqu la convergencia uniforme de la sucesin {fn }nN .

10
Proposicin. La sucesin de funciones {fn }nN converge uniformemente.

Demostracin. En efecto, sea > 0. Para cada n N,

1
|fn+1 (x) fn (x)| < .
2n
Ahora bien, sean n, p N. Entonces se tiene que, para cada x [0, 1],
 p1 
X 
|fn+p (x) fn (x)| =  (fn+k+1 (x) fn+k (x))
 
 
k=0

p1 p1
X X 1
|fn+k+1 (x) fn+k (x)| n+k
=
k=0 k=0
2
p1
1 X 1 1 1 21p 1 1 1
= n k
= n 1 < n 1 = .
2 k=0 2 2 1 2 2 1 2
2n+1
1
Como la sucesin 2n+1 converge a cero, hemos encontrado, para cada > 0, un nmero
natural n0 tal que, si n n0 y m N, entonces

|fm+n (x) fn (x)| < para cada x [0, 1],

luego {fn }nN es uniformemente de Cauchy y, por tanto, uniformemente convergente.

Definicin. Se define la funcin de Cantor-Lebesgue como la funcin f lmite

uniforme de la sucesin {fn }nN .

Figura 4: Funcin de Cantor-Lebesgue.

A continuacin estudiamos algunas propiedades de la funcin de Cantor-Lebesgue.

11
Proposicin (Propiedades de la funcin de Cantor-Lebesgue). La funcin f de Cantor-
Lebesgue (en adelante, funcin C-L) verifica las siguientes propiedades:
i) Es una funcin continua.

ii) Es una funcin montona creciente (no estrictamente).

iii) Es constante en cada intervalo de [0, 1]\C, donde C es el conjunto ternario de

Cantor.

iv) Es derivable en casi todo punto del intervalo [0, 1]. Adems, en los puntos donde
es derivable, su derivada es nula.

v) No es absolutamente continua.
Demostracin.

i) Es trivial, pues el lmite uniforme de una sucesin de funciones continuas es una

funcin continua.

ii) Sean x, y [0, 1] con x < y. Como cada fn es una funcin creciente, dado n N,
se tiene que fn (x) fn (y). Por tanto, en el lmite,

f (x) = lm fn (x) lm fn (y) = f (y).

n n

iii) Por la definicin de la sucesin {fn }nN , dado x [0, 1]\C, es claro que existe
un n0 N tal que, si n n0 , entonces x est contenido en un intervalo del
complemento en [0, 1] del conjunto de Cantor. Segn lo visto antes, es claro,
tambin, que, para este intervalo I, se tiene que, si n n0 , entonces fn es constante
en I. Por tanto, f es constante en dicho intervalo I.

iv) Por la forma en que la funcin C-L est definida, es claro que sta es constante a
trozos salvo en los puntos del conjunto de Cantor, que tiene medida cero. Como es
constante en el resto de puntos, es derivable y con derivada nula.

v) Como f tiene derivada nula en casi todo punto sin ser una funcin constante, f no
puede ser absolutamente continua.

A continuacin, probamos que la funcin C-L no es absolutamente continua por

definicin. Para ello, vamos a encontrar un 0 tal que, para cada > 0, existe una
familia de intervalos disjuntos, {(aj (), bj ())}nj=1 dentro de [0, 1] con
n
X n
X
|bj () aj ()| < y |f (bj ()) f (aj ())| 0 .
j=1 j=1

Elijamos 0 = 1. Sea > 0.

12
 Obsrvese que, si tomamos la familia de intervalos cerrados
2 n
[
Cn = Jin ,
i=1

obtenemos una familia disjunta de subintervalos de [0, 1] con

2 n  n
X 2
m(Jin ) = .
i=1
3

2 n


Como 3
0 cuando n , podemos encontrar un n0 N tal que m(Cn0 ) =
2 n0


3
< .
Por cmo est definida la funcin f (dado n N, f (sup Jin ) = f (nf Jin ) para cada
i = 1, . . . , 2n ) y por su crecimiento, tenemos que
2 n
X
f (sup Jin ) f (nf Jin ) = f (1) f (0) = 1 0 = 1 = 0 .
i=1

Por tanto, la funcin C-L no es absolutamente continua.

Otra prueba de este hecho es la que se deduce del siguiente resultado:

Proposicin. Si C es el conjunto de Cantor y f es la funcin de Cantor-Lebesgue,

entonces
f (C) = [0, 1].

Demostracin. Recordemos que

\
C= Cn .
n=1

Es fcil ver que f1 (C) = [0, 1]. En efecto, sea y [0, 1]. Si y [0, 21 ) ( 21 , 1], es
claro (por el teorema de los valores intermedios) que y f (C1 ). Si y = 21 , entonces
y = f (sup J11 ).
De manera anloga (usando el teorema de los valores intermedios y la definicin de
f en los extremos de los Jkm ), se prueba que, para cada n N, fn (C) = [0, 1].

Sea, ahora, y [0, 1]. Sea > 0.

Para n = 1, existe x1 C tal que f1 (x1 ) = y.

Para n = 2, existe x2 C tal que f2 (x2 ) = y

..
.

Para n N, existe xn C tal que fn (xn ) = y.

13
 Obtenemos, as, una sucesin de puntos de C. Como C es compacto, tiene una
subsucesin, {xnk }kN , convergente a un punto x C. Como las funciones fn son
continuas, existe k0 N tal que, si k k0 , entonces

|fn (xnk ) fn (x)| < para cada n N.
2
En particular, si k k0 , entonces

|fnk (xnk ) fnk (x)| = |y fnk (x)| < .
2
Como {fn }nN converge a f uniformemente, lo hace, en particular, de manera puntual.
As pues, existe k1 N tal que, si k k1 , entonces

|fnk (x) f (x)| < .
2
Por tanto, si k max{k0 , k1 }, entonces

|y f (x)| = |y fnk (x) + fnk (x) f (x)| < + = ,
2 2
esto es, f (x) = y.

Corolario. La funcin de Cantor-Lebesgue no es absolutamente continua.

Demostracin. En efecto. Recurdese que las funciones absolutamente continuas

transforman conjuntos de medida cero en conjuntos de medida cero. Como C tiene
medida cero y el intervalo [0, 1] no, la funcin f no puede ser absolutamente continua.

14