Escuela Profesional de Matemática Practica Dirigida 09 de Análisis Funcional
IX. TEOREMA DE BAIRE.
Definición 1. Dado un espacio métrico (X, d), diremos que un subconjunto A es magro en X, cuando es una unión enumerable A = ∪An , tal que para cada n ∈ N se tiene que (An )◦ = φ. Teorema(Baire). Todo conjunto magro en (X, d) e.m.c. tiene interior vacı́o. Definición 2. Sea X un espacio métrico. a) E ⊆ X es raro o denso en ninguna parte si (E)c es denso. b) F ⊆ X es de primera categorı́a si se puede expresar como una unión nu- merable de conjuntos raros. c) Un conjunto es de segunda categorı́a si no es de primera categorı́a. Resolver los siguientes ejercicios: 1. Sea X un e.m.c. Entonces no hay ningún subconjunto abierto no vacı́o que sea de primera categorı́a. 2. Pruebe que E es raro si y solo si su clausura tiene interior vacı́o. 3. Demuestre que ningún espacio métrico completo es de primera categorı́a. 4. Considere un espacio métrico numerable que solo contiene elementos que son puntos lı́mites. Demuestre que tal espacio no es completo. 5. Demuestre que R no es numerable. 6. Teorema(Categorı́a de Baire). Si un espacio métrico X 6= φ es completo, entonces X es de segunda categorı́a. 0 7. Sea (X, d) un espacio métrico. Decimos que E ⊆ X es perfecto si E = E . a)Muestre que un conjunto perfecto no vacı́o no puede ser numerable en un espacio métrico completo. b)Muestre que [0, 1] no se puede escribir como una unión infinita y disjunta de intervalos cerrados no degenerados. 8. Sea X un espacio métrico completo. Todo conjunto de primera categorı́a en X tiene interior vacı́o. 9. Sean X un espacio métrico completo, E espacio vectorial normado y ε un conjunto de aplicaciones continuas f : X → E. Suponga que ε es puntualmente acotado. Demuestre que existe un abierto no vacı́o U tal que ε es uniformente acotado en U . 10. 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 vacı́o U de R donde f es un polinomio. WDBM. 19 NOVIEMBRE 2019 Sem. 2019-II