Captulo 6

Teora de Baire
1. El teorema de Cantor
En este captulo estudiaremos m as a fondo los espacios metricos comple-
tos. Lo primero que haremos es establecer la equivalencia entre completitud
y la llamada propiedad de Cantor, la cual demostraremos en esta secci on.
Si A es un subconjunto no vaco del espacio metrico (X, d), denimos el
di ametro de A como
di amA =
_
sup
x,yA
d(x, y) si A es acotado
si A no es acotado.
Si A es acotado, entonces el conjunto
{d(x, y) : x, y A}
es acotado ya que, si para alg un x
0
X, d(x, x
0
) M para todo x A,
entonces
d(x, y) d(x, x
0
) +d(x
0
, y) 2M
para todo x, y A. Entonces di amA existe por la completitud de los n ume-
ros reales.
Ahora demostraremos el teorema de Cantor, el cual ofrece una propie-
dad equivalente a completitud en terminos del di ametro de sucesiones de
conjuntos.
Ejemplo 6.1. Sea x X y B
r
(x) la bola de radio r con centro en x.
Entonces
di amB
r
(x) 2r.
99
100 6. Teora de Baire
Para mostrar esto, vemos que, si y, z B
r
(x), entonces, por la desigualdad
del tri angulo,
d(y, z) d(y, x) +d(x, z) < 2r.
Entonces
di amB
r
(x) = sup
y,zBr(x)
d(y, z) 2r.
Aunque no es muy difcil mostrar que di amB
r
(x) = 2r en el espacio R
l
,
tambien es posible que este di ametro sea menor a 2r (ejercicios 1 y 2).
El di ametro satisface las siguientes propiedades.
Proposici on 6.2. Sean A, B X no vacos. Entonces
1. di amA = 0 si, y solo si, A = {x} para alg un x X;
2. Si A B, entonces di amA di amB.
Demostracion. 1. La primera parte se sigue porque d(x, y) = 0 si, y
solo si, x = y.
2. Si A B, entonces
{d(x, y) : x, y A} {d(x, y) : x, y B},
por lo que entonces di amA di amB.

Decimos que (A
n
) es una sucesi on decreciente de conjuntos si A
n+1
A
n
para cada n.
Teorema 6.3 (Cantor). El espacio metrico (X, d) es completo si, y solo si,
para toda sucesi on decreciente de subconjuntos A
n
, no vacos y cerrados en
X, tal que lm
n
di amA
n
= 0, tenemos que

n=1
A
n
= {x
0
}
para alg un x
0
X.
Demostracion. Supongamos que (X, d) es completo, y sea A
n
una sucesion
de conjuntos no vacos cerrados en X, decreciente y tal que
lm
n
di amA
n
= 0.
Tomemos una sucesion (x
n
) en X tal que x
n
A
n
. Observamos que tal suce-
si on es de Cauchy. Para vericarlo, sean > 0 y N > 0 tal que di amA
N
< .
Entonces, para todo n N, A
n
A
N
y, por lo tanto, di amA
n
< , lo cual
implica que si m, n N, entonces
d(x
n
, x
m
) < .
1. El teorema de Cantor 101
Entonces (x
n
) es una sucesion de Cauchy y, por la completitud de X,
converge, digamos x
n
x
0
. Demostraremos que x
0


A
n
= {x
0
}, mos-
trando que x
0
A
n
para todo n.
Para demostrar que x
0
A
n
para todo n, jamos un n
0
y demostraremos
que
B

(x
0
) A
n
0
=
para todo > 0. Esto implica que x
0
A
n
0
y, como A
n
0
es cerrado, x
0
A
n
0
.
Sea > 0. Como x
n
x
0
, existe N > 0 tal que
d(x
n
, x
0
) <
para todo n N. Si tomamos n N y n n
0
, entonces
x
n
B

(x
0
) y x
n
A
n
A
n
0
.
Entonces
x
n
B

(x
0
) A
n
0
.
Por lo tanto x
0
A
n
0
y, como n
0
es arbitrario, x
0
A
n
para todo n.
Ahora bien,
di am
_

n=1
A
n
_
= 0,
ya que

A
n
A
k
para todo A
k
y, adem as, di amA
k
0. Por la proposici on
6.2,

A
n
= {x
0
}.
Para mostrar la inversa, sea (x
n
) una sucesion de Cauchy en X. Deni-
mos los conjuntos
T
n
= {x
k
: k n},
A
n
= T
n
.
Claramente, cada A
n
es no vaco, cerrado, y A
n+1
A
n
, n = 1, 2, . . ..
Ademas,
di amA
n
= sup
m,kn
d(x
m
, x
k
),
por el ejercicio 3. Como (x
n
) es de Cauchy, dado > 0 existe N > 0 tal que
d(x
m
, x
n
) <

2
para todo m, n N, y por lo tanto
di amA
n
di amA
N


2
<
para todo n N. Entonces di amA
n
0. Por la hip otesis del teorema,

A
n
= {x
0
} para alg un x
0
X, y no es difcil ver que x
n
x
0
(ejercicio
4).
102 6. Teora de Baire
Ejemplo 6.4. Considere el espacio R. Entonces, dada una subsucesi on de
intervalos encajados [a
n
, b
n
] [a
n+1
, b
n+1
],

n=1
[a
n
, b
n
] = .
De hecho, esta propiedad de intesecci on no vaca de intervalos encajados
es equivalente a la completitud de R. No podemos utilizar directamente el
teorema de Cantor, ya que la denicion de di ametro depende de la comple-
titud de R. Sin embargo, podemos reescribir la hip otesis del teorema de la
siguiente manera:
Sean A
n
= , cerrados, A
n
A
n+1
, tales que para todo > 0 existe
n
0
tal que para todos x, y A
n
0
, d(x, y) < . Entonces

A
n
= {x
0
}
para alg un x
0
X.
Este enunciado evita el uso del di ametro de un conjunto, y la equivalencia
con la completitud de R se muestra de la misma manera con la que fue
demostrado el teorema de Cantor (ejercicio 5).
2. El teorema de Baire
En esta secci on mostraremos el teorema de Baire, y daremos algunas
aplicaciones en la siguiente. Aunque este teorema es una simple consecuencia
del teorema de Cantor demostrado en la secci on anterior, su uso ofrece un
metodo muy poderoso para resolver diversos problemas de an alisis.
Recordemos que si S, A X, decimos que S es denso en A si, para todo
> 0 y x A, B

(x) S = ; es decir,

S A.
Es claro que la uni on de conjuntos densos es tambien un conjunto denso.

Esto no es cierto acerca de la intersecci on de conjuntos densos, ya que incluso

esta puede ser vaca, como en el caso Q y R\ Q, los cuales son densos en R
y disjuntos.
Sin embargo, la intersecci on de dos conjuntos densos abiertos en un
espacio metrico completo es un conjunto denso. De hecho, tambien en el
caso de intersecciones contables, como establecemos a continuaci on.
Teorema 6.5 (Baire). Sea (X, d) un espacio metrico completo y {U
n
}

n=1
una familia contable de conjuntos abiertos densos en X. Entonces
U =

n=1
U
n
es denso en X.
Demostracion. Sean x X y > 0. Mostraremos que la intersecci on
B

(x) U no es vaca.
2. El teorema de Baire 103
Como U
1
es denso, existe x
1
B

(x) U
1
. Tanto B

(x) como U
1
son
abiertos, por lo que B

(x) U
1
es tambien abierto y podemos encontrar un

1
> 0 tal que
B

1
(x
1
) B

(x) U
1
.
Sea
r
1
= mn
_

1
2
,

2
_
y
A
1
=

B
r
1
(x
1
).
A
1
es cerrado y es subconjunto de B

(x) U
1
. De igual forma, ya que U
2
es
abierto y denso en X, podemos encontrar x
2
X y r
2


4
tales que
A
2
=

B
r
2
(x
2
) B
r
1
(x
1
) U
2
B

(x) U
2
.
Por induccion, construmos una sucesion decreciente de conjuntos cerrados
no vacos A
n
tal que
di amA
n


2
n
y
A
n
B

(x) U
n
.
Por el teorema de Cantor,

n
A
n
= {x
0
} para alg un x
0
X. Pero entonces
x
0
A
n
B

(x) U
n
para todo n, por lo que concluimos que
x
0
B

(x) U.

Decimos que un subconjunto A X es denso en ninguna parte si el

conjunto X \

A es denso. Es decir, para todo x

A y > 0, B

(x)

A.
En otras palabras, A es denso en ninguna parte si su cerradura

A no
contiene ning un conjunto abierto.
Ejemplo 6.6. El conjunto vaco es denso en ninguna parte.
Ejemplo 6.7. Si X = R
l
, entonces todos sus subconjuntos nitos son densos
en ninguna parte. De hecho, esto es cierto de todos los subespacios discretos
de R
l
, como Z o {1/n}
n1
en R.
Ejemplo 6.8. El conjunto de Cantor, denido en el ejemplo 1.41, es un
conjunto denso en ninguna parte de R. Para vericar esto, sea x C y
> 0. Si n es tal que
1
3
n
< , entonces es claro que
(x , x +) I,
104 6. Teora de Baire
donde I es el intervalo de longitud 3
n
que contiene a x obtenido en la
n-esima iteraci on en la construccion de C (vease el ejemplo 1.41). Entonces
(x , x +) C
y, como C es cerrado en R, concluimos que denso en ninguna parte.
Denicion 6.9. Sea (X, d) un espacio metrico. Decimos que X es un espacio
de primera categora si existe una sucesion de conjuntos E
n
X, densos en
ninguna parte, tales que
X =
_
n
E
n
.
Decimos que X es de segunda categora si no es de primera categora.
Es decir, un espacio es de primera categora si es la uni on contable de
conjuntos densos en ninguna parte, y de segunda categora si no lo es.
Ejemplo 6.10. Un espacio discreto X es de segunda categora, porque no
contiene conjuntos densos en ninguna parte (ejercicio 6).
Corolario 6.11 (Baire). Si (X, d) es un espacio metrico completo, entonces
X es de segunda categora.
Demostracion. Sea {E
n
} una coleccion contable de subconjuntos de X
densos en ninguna parte. Demostraremos que
_
n
E
n
= X.
Sean
U
n
= X \ E
n
.
Entonces cada U
n
es abierto, denso, y, por el teorema de Baire, la interseccion

n
U
n
= X \
_
n
E
n
es un conjunto denso. En particular,
X \
_
n
E
n
=
y, como
_
n
E
n

_
n
E
n
,
X \

E
n
tampoco es vaco. Por lo tanto

E
n
= X.
Tanto el teorema 6.5 como el corolario 6.11 son conocidos como el
teorema de Baire, y nosotros utilizaremos este nombre para referirnos a
cualquiera de estos dos resultados.
3. Aplicaciones 105
3. Aplicaciones
3.1. Cardinalidad. Una consecuencia directa del teorema de Baire es la
incontabilidad de R. Si R fuera contable, entonces sera la uni on contable de
cada uno de sus puntos y, como hemos visto que cada subconjunto nito de
R es denso en niguna parte, esto contradice la completitud de R. Podemos
generalizar este resultado de la siguiente manera.
Teorema 6.12. Sea (X, d) un espacio metrico completo tal que cada uno
de sus puntos es un punto de acumulaci on de X. Entonces X es incontable.
Demostracion. Si x es un punto de acumulaci on de X, entonces todas las
bolas B

(x) contienen puntos de X distintos a x, por lo que entonces el

conjunto X \ {x} es denso. Como {x} es cerrado, {x} es denso en niguna
parte. Si X fuera contable, sera la uni on contable de cada uno de sus puntos,
una contradicci on con la completitud de X, por el teorema de Baire.
Ejemplo 6.13. El conjunto de Cantor es un subespacio completo de R
(porque es cerrado en R y por el teorema 2.20) y no tiene puntos aislados
(ejercicio 18 del captulo 1). Por el teorema 6.12, C es incontable.
3.2. Conjuntos G

y F

. Sabemos que la intersecci on innita de con-

juntos abiertos en un espacio metrico no es, en general, un conjunto abierto,
y lo mismo sucede con uniones innitas de conjuntos cerrados. Sin embargo,
cuando nos referimos a uniones o intersecciones contables, podemos obtener
algunos resultados utiles para resolver varios problemas de an alisis.
Denicion 6.14. Sea (X, d) un espacio metrico. Decimos que A X es un
conjunto G

en X si A es la intersecci on contable de conjuntos abiertos en

X.
Decimos que A es un conjunto F

si es la uni on contable de conjuntos

cerrados en X.
Ejemplo 6.15. Todo subconjunto contable de X es un conjunto F

en X.
Esto se debe a que cada punto de X es cerrado en X.
Ejemplo 6.16. Si x X, entonces
{x} =

n=1
B
1/n
(x),
por lo que entonces el conjunto {x} es un conjunto G

en X.
Si A es un conjunto G

en X, entonces X\A es un conjunto F

. Esto se
sigue por la leyes de De Morgan. De la misma forma, si A es F

, entonces
X \ A es G

en X (ejercicio 8).
106 6. Teora de Baire
Por el ejemplo 6.15, si X \ A es contable, entonces A es un conjunto G

en X.
Ejemplo 6.17. Los conjuntos Q y R \ Q son conjuntos F

y G

en R,
respectivamente.
El ejemplo 6.17 da origen a la siguiente pregunta: es el conjunto Q
un conjunto G

en R? La respuesta a esta pregunta es negativa, como lo

establece el siguiente teorema.
Teorema 6.18. El conjunto Q no es G

en R.
Demostracion. Supongamos que
Q =

n=1
U
n
,
donde los conjuntos U
n
son abiertos en R. Como Q es denso, cada U
n
es
denso, y por lo tanto los conjuntos E
n
= R \ U
n
son densos en ninguna
parte. Entonces podemos escribir
R =
_
E
n

_
qQ
{q},
la uni on contable de conjuntos densos en ninguna parte (Q es contable).
Esto contradice el teorema de Baire y la completitud de R.
3.3. Continuidad de funciones. Consideremos las funciones, en R, da-
das por
f(x) =
_
1 si x Q
0 si x R \ Q,
(6.1)
g(x) =
_
_
_
1
q
si x Q y x =
p
q
, mcd(p, q) = 1
0 si x R \ Q,
(6.2)
donde mcd(p, q) denota el m aximo com un divisor de los enteros p y q. La
funcion f es discontinua en todos los puntos de R, mientras que g es continua
precisamente en los n umeros irracionales (ejercicios 12 y 13).
Tales funciones nos hacen pensar en la siguiente pregunta: existe una
funcion en R que sea continua precisamente en los n umeros racionales, es
decir, continua en Q y discontinua en R\Q? Demostraremos que tal funcion
no existe utilizando el teorema de Baire.
Denicion 6.19. Dada una funcion f : X Y , donde (X, d) y (Y, d

) son
dos espacios metricos, denimos el conjunto de continuidades de f como el
conjunto
C
f
= {x X : f es continua en x}.
3. Aplicaciones 107
Para contestar la pregunta anterior, estudiaremos algunas propiedades
del conjunto C
f
. Para esto, consideremos las siguientes funciones.
Denicion 6.20. Sea f : X Y . Para x X y > 0 denimos
O
f
(x, ) =
_
sup{d

(f(y), f(z)) : y, z B

(x)} si f es acotada en B

(x)
de otra forma.
Denimos ahora, para x X,
O
f
(x) = nf
>0
O(x, ).
La funcion O
f
(x) es llamada la oscilaci on de f en x.
Notamos que, si

, entonces O
f
(x, ) O
f
(x,

), por lo que
O
f
(x) = lm
0
O
f
(x, )
si O
f
(x, ) < para alg un > 0.
Ejemplo 6.21. Sea X = (0, 1) y f(x) =
1
x
. Entonces
O
f
_
1
4
,
_
=
si 1/4. Sin embargo, como f es continua en 1/4, para cada > 0 existe
> 0 tal que
f
_
B

_
1
4
_
_
B

_
f
_
1
4
_
_
= B

(4),
por lo que
O
f
_
1
4
,
_
2.
Entonces, como > 0 es arbitrario, O
f
(1/4) = 0.
En general, si f es continua en x, entonces O
f
(x) = 0. La inversa tambien
es cierta, como mostramos a continuaci on.
Proposici on 6.22. Sean (X, d) y (Y, d

) dos espacios metricos, f : X Y

y x X. Entonces f es continua en x si y solo si O
f
(x) = 0.
Demostracion. Supongamos que f es continua en x y sea > 0. Entonces
existe > 0 tal que
f(B

(x)) B
/2
(f(x)).
Entonces, si y, z B

(x),
d

(f(y), f(z)) d

(f(y), f(x)) +d

(f(x), f(z)) <

2
+

2
= ,
por lo que entonces
O
f
(x, ) .
Como > 0 es arbitrario, esto demuestra que O
f
(x) = 0.
108 6. Teora de Baire
De manera inversa, supongamos que O
f
(x) = 0, y sea > 0. Como
lm
0
O
f
(x, ) = 0,
existe > 0 tal que O
f
(x, ) < ; es decir, para y, z B

(x),
d

(f(y), f(z)) < .

Pero esto implica que f(y) B

(f(x)) para todo y B

(x) y, por lo tanto,

f es continua en x.
Tenemos entonces que
C
f
= {x X : O
f
(x) = 0}.
Ejemplo 6.23. Sea X = [0, 1] y f la funcion
f(x) =
_
_
_
0 x = 0
1
x
0 < x 1.
Entonces O
f
(0, ) = para todo > 0.
Ejemplo 6.24. Consideremos ahora X = [0, 1] y f la funcion
f(x) =
_
_
_
0 x = 0
sin
_
1
x
_
0 < x 1.
Vease la gura 1. Entonces O
f
(0, ) = 2 para todo > 0.
0.2 0.4 0.6 0.8 1
-1
-0.5
0.5
1
Figura 1. Graca de la funcion f en [0, 1].
Ejemplo 6.25. Si f : R R es la funcion denida por (6.1), entonces
O
f
(x, ) = 1 para todo x R y > 0, ya que cualquier intervalo (x, x+)
contiene n umeros racionales e irracionales, por lo que
sup{|f(y) f(z)| : y, z (x , x +} = 1.
Entonces O
f
(x) = 1 para todo x [0, 1].
3. Aplicaciones 109
Ejemplo 6.26. Si g : R R es la funcion denida por (6.2), entonces
O
g
(x) = g(x) (ejercicio 14).
Los ejemplos anteriores describen la funcion oscilaci on en distintos pun-
tos del dominio de una funcion. Sabemos que O
f
(x) = 0 si f es continua en
x y O
f
(x) > 0 si f no es continua en x (o , si f no es acotada en ninguna
vecindad de x). Ahora bien, si denimos el conjunto
O
f
() = {x X : O
f
(x) < },
tenemos el siguiente resultado.
Lema 6.27. El conjunto O
f
() es abierto en X.
Demostracion. Sea x O
f
(). Queremos encontrar un > 0 tal que
B

(x) O
f
(),
es decir, O
f
(y) < para todo y B

(x). Ahora bien, como x O

f
(),
existe un n umero
0
tal que O
f
(x,
0
) < . De hecho, para alg un
0
> 0,
O
f
(x,
0
)
0
, es decir,
d

(f(y), f(z))
0
para todo y, z B

0
(x).
Sea =
0
/2. Demostraremos que B

(x) O
f
(). Para esto, sea y B

(x).
Si d(z, y) < , entonces
d(z, x) d(z, y) +d(y, x) < + =
0
,
por lo que
B

(y) B

0
(x)
y entonces, si z, z

(y), z, z

0
(x) y
d

(f(z), f(z

))
0
.
Esto signica que O
f
(y, )
0
, y por lo tanto O
f
(y) < .
Tenemos entonces el resultado principal de esta secci on.
Teorema 6.28. El conjunto C
f
es un conjunto G

.
Demostracion. Ya hemos visto que C
f
= {x X : O
f
(x) = 0}, por lo que
entonces
C
f
=

n=1
O
f
(1/n).
Cada O
f
(1/n) es abierto por el lema 6.27 y, por lo tanto, C
f
es un conjunto
G

.
Como el conjunto de los n umeros racionales no es un conjunto G

en R,
por el teorema 6.18 tenemos entonces la respuesta a la pregunta hecha al
inicio de estas notas.
110 6. Teora de Baire
Corolario 6.29. No existe una funci on f : R R tal que C
f
= Q.
3.4. Diferenciabilidad de funciones. En esta secci on demostraremos
la existencia de una funcion continua y no diferenciable en todo su dominio.
De hecho, mostraremos que el conjunto de funciones continuas diferenciables
en al menos un punto en [0, 1] es de primera categora en C([0, 1]).
Lema 6.30. Sea F
n
el conjunto
F
n
= {f C([0, 1]) : existe x
0
[0, 1 1/n] tal que,
para todo x [x
0
, 1), |f(x) f(x
0
)| n(x x
0
)}.
Entonces
1. F
n
es cerrado en C([0, 1]).
2. F
n
es denso en ninguna parte.
Demostracion. 1. Sea (f
k
) una sucesion en F
n
que converge unifor-
memente, digamos f
k
f. Demostraremos que f F
n
. Para esto,
escogemos, para cada k, x
k
[0, 1 1/n] tal que
|f
k
(x) f(x
k
)| n(x x
0
)
para todo x [x
k
, 1). Como [0, 1 1/n] es compacto, (x
k
) tiene una
subsucesi on convergente, digamos x
k
l
x
0
. Demostraremos que
|f(x) f(x
0
)| n(x x
0
)
para todo x [x
0
, 1).
Sea > 0. Sea K tal que, para k, l K,
|f
k
(x) f(x)| <

5
y |f
k
(x) f
l
(x)| <

5
para todo x [0, 1]. Ahora, sea > 0 tal que, si |xx
0
| < , entonces
|f
K
(x) f
K
(x
0
)| <

5
.
Escogemos L tal que k
L
K y, si l L, entonces
|x
k
l
x
0
| < mn{,

5n
}.
3. Aplicaciones 111
Sea x [x
0
, 1). Si x x
k
L
,
|f(x) f(x
0
)| |f(x) f
k
L
(x)| +|f
k
L
(x) f
k
L
(x
k
L
)|
+|f
k
L
(x
k
L
) f
K
(x
k
L
)| +|f
K
(x
k
L
) f
K
(x
0
)|
+|f
K
(x
0
) f(x
0
)|
<

5
+n(x x
k
L
) +

5
+

5
+

5
=

5
+n(x x
0
+x
0
x
k
L
) +

5
+

5
+

5
<

5
+n(x x
0
) +n

5n
+

5
+

5
+

5
= n(x x
0
) +.
Si x < x
k
L
, x
0
x < x
k
L
, por lo que |x x
0
| < . Entonces
|f(x) f(x
0
)| |f(x) f
K
(x)| +|f
K
(x) f
K
(x
0
)| +|f
K
(x
0
) f(x
0
)|
<

5
+

5
+

5
=
3
5
< n(x x
0
) +.
Como > 0 es arbitrario, entonces
|f(x) f(x
0
)| n(x x
0
)
para todo x [x
0
, 1).
2. Sean f C([0, 1]) y > 0. Tenemos que encontrar g C([0, 1]) tal
que ||f g||
u
< y g F
n
.
Como f es uniformemente continua, existe
0
tal que, si |xy| <

0
, entonces |f(x) f(y)| < /5.
Sea = mn{
0
, /(5n)}, y tomamos
x
0
= 0 < x
1
< . . . < x
m
= 1
tales que x
i
x
i1
< . Denimos g : [0, 1] R como
g(x
i
) = f(x
i
) +
(1)
i

5
, i = 1, 2, . . .
g(x) = g(x
i
) +
g(x
i
) g(x
i1
)
x
i
x
i1
(x x
i
), x
i1
x x
i
.
(Vease la gura 2.)
Ahora bien, para x [0, 1], si x
i1
x x
i
,
|f(x) g(x)| |f(x) f(x
i
)| +|f(x
i
) g(x
i
)| +|g(x
i
) g(x)|
<

5
+

5
+|g(x
i
) g(x
i1
)|
=
2
5
+|f(x
i
) f(x
i1
) + (1)
i
2
5
|

4
5
+|f(x
i
) f(x
i1
)| < .
Por lo tanto ||f g||
u
< .
112 6. Teora de Baire
Figura 2. Construccion de la funcion g en la demostracion del lema 6.30.
Para mostrar que g F
n
, es suciente con demostrar que las
pendientes de las rectas que denen la funcion g son mayores, en
valor absoluto, a n. Pero esto es

g(x
i
) g(x
i1
)
x
i
x
i1

f(x
i
) f(x
i1
) + (1)
i
2
5
x
i
x
i1

2
5
|f(x
i
) f(x
i1
)|
|x
i
x
i1
|
>
2
5


5

5n
= n.

El conjunto F
n
es el conjunto de funciones f tales que, para alg un x
0

[0, 1 1/n], las secantes a la gr aca de f que pasan por x
0
y por otro punto
a la derecha de x
0
, tienen pendiente menor que n, en valor absoluto. Es facil
de ver, entonces, que los F
n
contienen a todas las funciones diferenciables
en al menos un punto.
Lema 6.31. Sea f : [0, 1] R diferenciable en x
0
[0, 1). Entonces existe
n tal que f F
n
.
Demostracion. Como f es diferenciable en x
0
, existe > 0 tal que, si
|x x
0
| < , entonces
|f(x) f(x
0
)|
_
|f

(x
0
)| + 1
_
|x x
0
|.
Ejercicios 113
Si M > 0 es tal que |f(x)| M para todo x [0, 1], entonces, si
x x
0
+,
|f(x) f(x
0
)| 2M
2M

|x x
0
|.
Entonces, si n > m ax{|f

(x
0
)| + 1,
2M

}, entonces f F
n
.
Hemos llegado entonces a nuestro objetivo.
Teorema 6.32. Existe f C([0, 1]) tal que, para todo x [0, 1], f no es
diferenciable en x.
Demostracion. Por el lema 6.31, si f es diferenciable en x
0
[0, 1), en-
tonces f F
n
para alg un n. Pero, por el lema 6.30, cada F
n
es denso en
ninguna parte, por lo que
C([0, 1]) =

_
n=2
F
n
,
por el teorema de Baire. Si g C([0, 1]) \

_
n=2
F
n
, entonces g no es diferen-
ciable en ning un punto de [0, 1). Si
h(x) =
_
_
_
(x 1) sen
_
1
x 1
_
x [0, 1)
0 x = 1,
entonces h no es diferenciable en 1 y, por lo tanto, f = g +h no es diferen-
ciable en ning un punto de [0, 1].
Ejercicios
1. Si B
r
(x) es la bola en R
l
de radio r con centro en x, entonces
di amB
r
(x) = 2r.
2. De un ejemplo de un espacio X y una bola B
r
(x) en X tal que
di amB
r
(x) = 2r.
3. Para todo subconjunto A del espacio metrico (X, d),
di amA = di am

A.
4. Sea A
n
una sucesion de subconjuntos de (X, d) tales que di amA
n
0.
Si

A
n
= {x} y x
n
A
n
para cada n, entonces x
n
x.
5. Los siguientes enunciados son equivalentes:
114 6. Teora de Baire
* Sea S un subconjunto no vaco de R, acotado por arriba. Entonces
S tiene un supremo.
** Sea [a
n
, b
n
] una sucesion de intervalos encajados, es decir
[a
n+1
, b
n+1
] [a
n
, b
n
].
Entonces

[a
n
, b
n
] = .
El enunciado (**) es utilizado como Axioma de Completitud en el
texto de Courant y John [1].
6. a) Si X es un espacio discreto, entonces ning un subconjunto no vaco
de X es denso en ninguna parte.
b) Si X es un espacio discreto, entonces es de segunda categora.
7. Sea A X denso en X. Si E es cerrado en X y E A = , entonces E
es denso en ninguna parte.
8. a) Si A es un conjunto G

en X, entonces X \ A es F

en X.
b) Si A es un conjunto F

en X, entonces X \ A es G

en X.
9. Si A X es G

y denso en X, entonces X \ A es de primera categora.

10. Si A y X \ A son densos en el espacio completo X, entonces s olo uno de
ellos puede ser F

en X.
11. Sea A X contable y denso en el espacio completo X. Entonces A no
es G

.
12. La funcion f : R R denida por (6.1) es discontinua en todo punto
de R.
13. La funcion g : R R denida por (6.2) es continua en los irracionales
y discontinua en los racionales.
14. Si g : R R est a denida por (6.2), entonces O
g
(x) = g(x).
15. Enumeramos los racionales entre 0 y 1 como Q (0, 1) = {r
n
: n 1}
y, para cada n, denimos la funcion
g
n
(x) =
_
_
_
0 0 x < r
n
1
2
n
r
n
x 1.
a) La serie

n=1
g
n
converge uniformemente.
b) Si g(x) =

n=1
g
n
(x), calcule O
g
(x) para cada x [0, 1].