Dos aplicaciones de la convergencia uniforme

Julián Aguirre

Resumen
Presentamos dos construcciones de funciones con propiedades que parecen contra-
rias a nuestra intuición:
1. Una curva que llena el plano.
2. Una función continua que no es derivable en ningún punto.
Ambas se construyen como el límite uniforme de una sucesión de funciones continuas.

1. Una curva que llena el plano

Referencia: Análisis Matemático, T. M. Apostol, 13.8.

Definición Una curva en el plano es una función continua α : [0, 1] → R2 . Su imagen es el con-
junto α([ 0, 1 ]).

Nuestra intuición nos hace pensar en una curva (o en su imagen) como un objeto uni-
dimensional, una línea que trazamos con un lápiz sobre el papel. Esta línea puede ser muy
complicada, pero ¿podría serlo tanto como para que su imagen sea sólida?
Vamos a construir una función continua α : [0, 1] → R2 tal que α([ 0, 1 ]) = [ 0, 1 ] × [ 0, 1 ].
Tales curvas se dice que llenan el plano. El primer ejemplo se debe al matemático italiano
Giuseppe Peano, 1858–1932.
Sea φ : R → R la función periódica de período 2 cuya restricción al intervalo [ 0, 2 ] es


 0 si 0 6 t < 1/3 ó 5/3 6 t 6 2,


3 t − 1 si 1/3 6 t < 2/3,
φ(t) =

 1 si 2/3 6 t < 4/3,



5 − 3t si 4/3 6 t < 5/3.

Figura 1: Gráfica de φ

1
 φ es continua y 0 6 φ(x) 6 1 para todo x ∈ R. Definimos
∞
X ∞
X
φ(32n−2 t) φ(32n−1 t)
α1 (t) = , α2 (t) = .
2n 2n
n=1 n=1

Por el criterio de Weierstrass ambas series son uniformemente convergentes, ya que cada
sumando está acotado por 2−n . Como cada sumando es una función continua y la conver-
gencia es uniforme, la suma también es continua. Es decir, α1 y α2 son funciones continuas.
Además
∞
X
0 6 αi (t) 6 2−n = 1, i = 1, 2.
n=1

Definimos α : [ 0, 1 ] → [ 0, 1 ] × [ 0, 1 ] como α(t) = (α1 (t), α2 (t)).

Figura 2: La curva definida por los cuatro primeros sumandos en la definición de α.

Vamos a ver que α es sobreyectiva. Sea (a, b) ∈ [ 0, 1 ]×[ 0, 1 ]. Escribimos a y b en base 2:

∞
X ∞
X
an bn
a= , b= , an , bn = 0 ó 1.
2n 2n
n=1 n=1

2
Definimos 
ak si n es impar y n = 2 k − 1,
cn =
bk si n es par y k = 2 k, k = 1, 2, 3, . . .
Es claro que ck = 0 ó 1para todo k. Si
∞
X cn
c=2 ,
3n
n=1
entonces
∞
X 1 1/3
06c62 n
=2 = 1.
3 1 − 1/3
n=1
Vamos a ver que α1 (c) = a y α2 (c) = b. Para ello basta comprobar que
φ(3k c) = ck+1 , k = 0, 1, 2, . . . . (1)
En efecto, si es así, entonces
φ(32n−2 c) = c2n−1 = an ,
φ(32n−1 c) = c2n = bn .
Vamos a demostrar (??).
X
k ∞
X
cn cn
3k c = 2 + 2
3n−k 3n−k
n=1 n=k+1
X
k X∞
cn+k
=2 3k−n cn + 2 .
3n
n=1
| {z } | n=1{z }
entero
| {z } dk
par

Como φ tiene período 2, se sigue que

φ(3k c) = φ(dk ).
Distinguimos dos casos:
1. ck+1 = 0. Entonces
∞
X ∞
X
cn+k 1 1/9 1
0 6 dk = 2 6 2 =2 = ,
3n 3n 1 − 1/3 3
n=2 n=2

lo que implica que φ(3k c) = φ(dk ) = 0 = ck+1 .

2. ck+1 = 1. Entonces 2/3 6 dk 6 1, de donde φ(3k c) = φ(dk ) = 1 = ck+1 .
¿Cómo son las funciones αi ? Vemos por la gráfica de α1 que son muy complicadas. Sea
x ∈ [ 0, 1 ]. Para todo y ∈ [ 0, 1 ] existe ty ∈ [ 0, 1 ] tal que
α(ty ) = (x, y).
Si y, y 0 ∈ [ 0, 1 ] e y 6= y 0 , entonces ty 6= ty 0 . Por lo tanto para cada x ∈ [ 0, 1 ] el conjunto de
soluciones de la ecuación
α1 (t) = x
tiene la cardinalidad del intervalo [ 0, 1 ] (o sea C).

3
Figura 3: Gráfica de la función definida por los cinco primeros sumandos en la definición
de α1 .

2. Una función continua no derivable en ningún punto

Referencia: Principios de Análisis Matemático, W. Rudin, Teorema 7.18.
La función |x| es continua en R y derivable en todos los puntos excepto en x = 0. El
principio de condensación de singularidades permite construir funciones como
∞
X | sen(n! π x)|
,
(n!)2
n=1

que es continua en R pero no es derivable en un conjunto denso, en este caso Q. Vamos a

construir una función aún más extraña, continua en R pero que no es derivable en ningún
punto. El primer ejemplo propuesto de una tal función de debe a Bernhard Riemman (1826–
1866):
∞
X sen(n2 π x)
f(x) = .
n2
n=1

Sin embargo f es derivable en los puntos de la forma (2 m + 1)/(2 n + 1) con m, n ∈ Z.

Karl Weierstrass (1815–1897) dio en 1872 el primer ejemplo de una función continua y no
derivable en ningún punto:
∞
X cos(ωn x)
f(x) = , ω > 1, 0 < γ < 1.
ωγn
n=1

A continuación presentamos un ejemplo basado en la construcción de Weierstrass.

Sea ψ : R → R la función periódica de período 2 cuya restricción al intervalo [ 0, 2 ] es

x si 0 6 x 6 1,
ψ(x) =
2 − x si 1 < x 6 2.

ψ es continua y tal que |ψ(x) − ψ(y)| 6 |x − y| para todo x, y ∈ R.

4
 Figura 4: Gráfica de ψ.

Definimos
∞  
X 3 n
f(x) = ψ(4n x), x ∈ R.
4
n=1

Figura 5: Gráfica de la función definida por los cinco primeros sumandos en la definición
de f.
Por el criterio de Weierstrass la serie converge uniformemente, y como cada sumando
es continuo, su suma f es una función continua. Queremos ver que f no es derivable en
ningún punto.
Dados x ∈ R y m ∈ N, sea k = [4m x] (donde [ · ] es la función parte entera), de manera
que k 6 4m x < k + 1. Sean
am = 4−m k,
bm = 4−m (k + 1) = am + 4−m .
Entonces
am 6 x 6 bm y lı́m (bm − am ) = 0.
m→∞
Para determinar la existencia o no de derivada de f en x vamos a estudiar el cociente
incremental
f(bm ) − f(am )
.
b m − am

5
Distinguimos tres casos:

1. n > m. Entonces 4n bm − 4n am = 4n−m es un entero par. Como ψ tiene período 2,

ψ(4n bm ) − ψ(4n am ) = 0.

2. n = m. En este caso 4n am = k y 4n bm = k + 1 son enteros consecutivos y

ψ(4n bm ) − ψ(4n am ) = ±1.

3. n < m. Entonces

|ψ(4n bm ) − ψ(4n am )| 6 |4n bm − 4n am | = 4n−m .

Por lo tanto
X∞
 3 n 
|f(bm ) − f(am )| =  n n

ψ(4 bm ) − ψ(4 am )

4

n=1
X
  3 m m−1  3 n 
= ± + ψ(4n bm ) − ψ(4n am )

4 4

n=1
 3 m X
m−1
n−m 3
 n
> − 4
4 4
n=1
 3 m X
m−1
−m
> −4 3n
4
n=1
 3 m 3m − 1
= − 4−m
4 2
1  3 m
> .
2 4
Finalmente  f(b ) − f(a )  1
m m 
 > 3m .

b m − am 2


Haciendo m tender a infinito se deduce que f no es diferenciable en x.