El Teorema de Baire

Rodrigo Vargas Teorema 1 (Baire). Sea M un espacio mtrico completo. Toda interseccin e o numerable de abiertos densos es un subconjunto denso de M . Denicin 1. Sea M un espacio mtrico. o e (i) Decimos que E M es denso en ninguna parte si E
C

es denso.

(ii) Decimos que F M es de primera categoria si se puede expresar como una unin numerable de conjuntos densos en ninguna parte. o (iii) Decimos que un conjunto es de segunda categoria si no es de primera categoria. Proposicin 1. Sea M un espacio mtrico completo. Entonces no hay o e ningun subconjunto abierto no vacio que sea de primera categor a.

Ejercicios
1. Pruebe que E es denso en ninguna parte si y slo si su clausura tiene o interior vacio. 2. Demuestre que ning n espacio mtrico completo es de primera categor u e a. 3. Considere un espacio mtrico numerable que slo contiene elementos que e o son puntos l mites. Demuestre que tal espacio no es completo. (Catlica, Magister, 2005) o 4. Demuestre que R no es numerable. 5. Sea X espacio mtrico. Decimos que E X es perfecto si E = E . e i) Muestre que un conjunto perfecto no vacio no puede ser numerable en un espacio mtrico completo. e ii) Muestre que [0, 1] no se puede escribir como una unin innita y o disjunta de intervalos cerrados de largo positivo.

iii) Demuestre que el cuadrado X = [0, 1] [0, 1] no puede expresesarse como una unin de dos o ms cuadrados cerrados de interior no vacio o a disjuntos. 6. Sea M un espacio mtrico completo. Todo conjunto de primera categoria e en M tiene interior vacio. 7. i) Mostrar que Q no es un G . ii) Sea f : R R. Mostrar que el conjunto de los puntos de continuidad de f es un G . iii) Mostrar que no existe una funcin continua f : R R cuyos puntos o de continuidad sea Q. iv) Muestre que existe una funcin g : R R que es continua en R \ Q o y discontinua en Q. v) Sea Y el conjunto de los n meros irracionales. Muestre que no existe u una funcin continua h : R R tal que h(Y ) Q y h(Q) = Y . o 8. Demuestre que no existe una sucesin {fn } de funciones continuas de R o en R tal que inf |fn (x)| = 0
n

si y slo si x es racional. o (Catlica, Doctorado, 2003) o

9. Sea M un espacio mtrico completo. Si M = e

n=1

Fn , donde cada Fn es

cerrado en M , entonces existe por lo menos un n tal que int Fn = . 10. Sean M un espacio mtrico completo, E espacio vectorial normado y E e un conjunto de aplicaciones continuas f : M E. Suponga que E es puntualmente acotado. Demuestre que existe un abierto no vacio U tal que E es uniformente acotado en U . 11. Sea f : R R de clase C y suponga que para todo x R existe un natural n tal que f (n) (x) = 0. Demuestre que existe un abierto no vacio U de R donde f es un polinomio.

12. Sea C el espacio de todas las funciones reales continuas en I = [0, 1] con la norma del supremo. Sea Xn el subconjunto de C formado por aquellas funciones f para las que existe un t I tal que |f (s) f (t)| n|s t| para todo s I. Fijese n y demustrese que todo conjunto abierto en e C contiene un conjunto abierto que no corta a Xn . Demuestre que esto implica la existencia de un conjunto G denso en C formado totalmente por funciones que no son diferenciables en ning n punto. u

1. Pruebe que E es denso en ninguna parte si y slo si su clausura tiene o interior vacio. Solucin: Queremos probar que: E es denso int E = o equivao lentemente E C es denso int E = . En efecto, basta notar que int E = x E, > 0 : B(x, ) E x E, > 0 : y B(x, ) con y E C x E, > 0 : B(x, ) E C = EC es denso
C

2. Demuestre que ning n espacio mtrico completo es de primera categor u e a. Solucin: Sea X un espacio mtrico completo y supongamos que X o e es de primera categoria entonces

X=
n=1

Fn

donde cada Fn es cerrado con complemento denso, entonces

C

=X =
n=1 C Fn

Fn

=
n=1

C Fn

Note que

es abierto denso, por el Teorema de Baire

n=1

C Fn es denso,

en particular, no vacio lo que es una contradiccin. o

3. Considere un espacio mtrico numerable que slo contiene elementos que e o son puntos l mites. Demuestre que tal espacio no es completo.

Solucin: Sea X = o
n=1

{xn } espacio mtrico numerable y supongamos e

que X es completo. Sabemos que int {x} = si y slo si x no es aislado, o entonces como cada xn es punto l mite tenemos que int {xn } = int {xn } = . Entonces, X es un conjunto completo de primera categoria. Por problema anterior, esto es absurdo. 4

4. Demuestre que R no es numerable.

Solucin: Supongamos que R es numerable entonces R = o todo punto de R no es aislado tenemos que int{xn } = int{xn } =
n=1

{xn } como

luego R es un conjunto completo de primera categoria, lo que es imposible por problema 2. 5. Sea X espacio mtrico. Decimos que E X es perfecto si E = E . e i) Muestre que un conjunto perfecto no vacio no puede ser numerable en un espacio mtrico completo. e ii) Muestre que [0, 1] no se puede escribir como una unin innita y o disjunta de intervalos cerrados de largo positivo. iii) Demuestre que el cuadrado X = [0, 1] [0, 1] no puede expresesarse como una unin de dos o ms cuadrados cerrados de interior no vacio o a disjuntos. Solucin: o i) Primero probaremos que E es completo. Sea (xn ) E una sucesin o de Cauchy, entonces (xn ) es sucesin de Cauchy en X, luego existe x o tal que xn x E = E. Por lo tanto, E es completo. Ahora bien,

supongamos que E es numerable entonces E = sus puntos son puntos l mites entonces int{en } = int{en } =
n=1

{en }, como todos

entonces E es completo de primera categoria, lo que es imposible por problema 2. ii) Supongamos que [0, 1] =
A

[a , b ] es una unin disjunta con b o

a > 0. Notemos que la aplicacin o Q [0, 1] A q 5 tal que q [a , b ]

es sobre entonces A es numerable. Por lo tanto, [0, 1] =

n=1

[an , bn ] y

E =
n=1

{an , bn } es un conjunto perfecto, por parte i) no puede ser

numerable. iii) Ocupando la densidad de los puntos con coordenadas racionales en X podemos concluir que tal unin es numerable, tal como se hizo o

en ii), entonces X =
n=1

Cn . Consideremos el conjunto D =
n=1

Dn

donde Dn = Cn . Tenemos que D es cerrado, al ser complemento de un abierto (la unin de los interiores de los cuadrados), luego es o completo. Armamos que cada Dn es cerrado con interior vacio. En efecto, cada Dn es cerrado en X luego en D y adems si x Dn a C entonces para todo > 0 se tiene que B(x, ) Dn = lo que implica que int Dn = (ver problema 1). Es decir, D es un conjunto completo de primera categoria, lo que es imposible por problema 2. 6. Sea M un espacio mtrico completo. Todo conjunto de primera categoria e en M tiene interior vacio.

Solucin: Sea F = o interior vacio, entonces

n=1

Fn , donde cada Fn es cerrado en M y tiene

=
n=1

C Fn

donde cada FnC es abierto denso, por el Teorema de Baire tenemos que F C es denso en M , lo que implica por el problema 1 que int F = . 7. i) Mostrar que Q no es un G . ii) Sea f : R R. Mostrar que el conjunto de los puntos de continuidad de f es un G . iii) Mostrar que no existe una funcin continua f : R R cuyos puntos o de continuidad sea Q. iv) Muestre que existe una funcin g : R R que es continua en R \ Q o y discontinua en Q. 6

v) Sea Y el conjunto de los n meros irracionales. Muestre que no existe u una funcin continua h : R R tal que h(Y ) Q y h(Q) = Y . o Solucin: o

i) Supongamos que Q =
n=1

An con An abierto, entonces para cada

n N se tiene que Q An lo que implica que An es denso. Sea Bn = R {qn } donde Q = {q1 , . . . , qn , . . .} entonces Bn es abierto denso. Luego, por el Teorema de Baire el conjunto

D=
n=1

An
n=1

Bn

es denso en R, pero por construccin D = , lo que es una cono tradiccin. Por lo tanto, Q no es un G . o ii) Si f es continua en x entonces para todo > 0, existe una vecindad Vx de x tal que f (Vx ) B(f (x), ) . Entonces, O = x tenemos que
pto de cont. de

Vx es abierto para todo > 0. Por lo tanto, f

O=
n=1

O1/n = {x R | f es continua en x}

es un G . iii) Supongamos que existe f : R R cuyos puntos de continuidad son Q sabemos por i) que Q no es un G , pero por ii) los puntos de continuidad son un G , lo que es una contradiccin. o iv) Basta considerar g : R R denida por g(x) = 0 si x R \ Q y g p = 1 si (p, q) = 1 y g(0) = 1. q q v) Supongamos que existe h : R R tal que h(Y ) Q y h(Q) Y y considere la funcin = g h donde g es la funcin denida en iv), o o entonces (Q) = (g h)(Q) g(Y ) 7

como g es continua en Y entonces es continua en Q y (Y ) = (g h)(Y ) g(Q) como g es discontinua en Q luego es discontinua en Y , lo que contradice iii). 8. Demuestre que no existe una sucesin {fn } de funciones continuas de R o en R tal que inf |fn (x)| = 0
n

si y slo si x es racional. o Solucin: Supongamos que existe una sucesin fn : R R de funciones o o continuas tal que inf |fn (x)| = 0 x Q .
n

Para cada n N denimos el conjunto An = x R | inf |fm (x)| <

m

1 n

entonces cada An es abierto y

An = {x R | inf |fm (x)| = 0} = Q

n=1 m

luego Q es un G , lo que es una contradiccin seg n problema 7 i) o u

9. Sea M un espacio mtrico completo. Si M = e

n=1

Fn , donde cada Fn es

cerrado en M , entonces existe por lo menos un n tal que int Fn = . Solucin: Supongamos que int Fn = para todo n N entonces M o es espacio mtrico completo de primera categoria, lo cual es imposible e por problema 2. 10. Sean M un espacio mtrico completo, E espacio vectorial normado y E e un conjunto de aplicaciones continuas f : M E. Suponga que E es puntualmente acotado. Demuestre que existe un abierto no vacio U tal que E es uniformente acotado en U . 8

Solucin: Como E es puntualmente acotado para todo x M existe o cx > 0 tal que f (x) cx para toda f E. Consideremos para cada n N el conjunto Fn = {x M | f (x) n para toda f E} entonces cada Fn es cerrado y como E es puntualmente acotado para cada

x M existe alg n n tal que x Fn . Es decir, M = u

n=1

Fn . Por problema

9 existe alg n n0 tal que int Fn0 = , sea U = int Fn0 . Entonces para todo u x U y toda f E tenemos que f (x) n0 , luego E es uniformemente acotado en en el abierto no vacio U . 11. Sea f : R R de clase C y suponga que para todo x R existe un natural n tal que f (n) (x) = 0. Demuestre que existe un abierto no vacio U de R donde f es un polinomio. Solucin: Para cada n N consideremos el conjunto o Fn = {x R | f (n) (x) = 0}. Cada Fn es cerrado y como para cada x R existe n tal que f (n) (x) = 0

entonces x Fn es decir, R =
n=1

Fn entonces por problema 9 existe

alg n n tal que U = int Fn = . Entonces, para cada x U se tiene que u (n) f (x) = 0, es decir, f es un polinomio de grado n. 12. Sea C el espacio de todas las funciones reales continuas en I = [0, 1] con la norma del supremo. Sea Xn el subconjunto de C formado por aquellas funciones f para las que existe un t I tal que |f (s) f (t)| n|s t| para todo s I. Fijese n y demustrese que todo conjunto abierto en e C contiene un conjunto abierto que no corta a Xn . Demuestre que esto implica la existencia de un conjunto G denso en C formado totalmente por funciones que no son diferenciables en ning n punto. u Solucin: Para cada n N consideremos el conjunto o Xn = {f C | s I, t : |f (s) f (t)| n|s t|} . 9

Consideremos el completo de este conjunto An = C \ Xn = {f C | s I, t : |f (s) f (t)| > n|s t|} . Probar que todo conjunto abierto en C contiene un conjunto abierto que no corta a Xn es equivalente a probar que An es denso en C. En efecto, dados > 0 y f C, probaremos que existe g An tal que g f < . Por la continuidad unifrome de f , existe > 0 tal que |x y| < |f (x) f (y)| < . Por lo tanto, si subdividimos el intervalo [0, 1] en un n mero nito de subintervalos I1 , . . . , Ir de largo menor u que , el graco de f en cada una de estos subintervalos cabe en un rectngulo de altura menor que . Construimos ahora una funcin cona o tinua g : [0, 1] R, cumnpliendo las condiciones g f < y g An , haciendo que g coindida con f en los extremos de cada intervalo Ij y en el interior de cada Ij , el grco de g tiene la forma de una sierra cuyos a dientes tienen aristas con inclinacin mayor que n. o g f

Ij

Por otro lado, Se sigue inmediatamente de la denicin de derivada que o si f An para todo n N entonces f no posee derivada en ning n punto u del intervalo I. Como cada An es abierto denso en C y C es un espacio mtrico completo entonces por el Teorema de Baire e

A=
n=1

An

es denso en C y A es un G formado por funciones que no son diferenciable en ning n punto. u

10