Me gustaría que alguien especificara los fallos en mi esquema de la prueba de la afirmación anterior. Estoy siguiendo la definición de colector topológico utilizada en Introduction to Smooth Manifolds de Lee. (es el segundo contable)
Dejemos que $X$ para ser un espacio topológico Hausdorff localmente euclidiano.
$\Rightarrow$ : Si $X$ es una variedad topológica, entonces tiene una base contable de bolas de coordenadas precompactas por un lema. Por tanto, existe un conjunto contable de bolas de coordenadas precompactas que cubren $X$ y el conjunto de cierre de estas bolas es el conjunto de subespacios contables compactos que cubren $X$ . Así, $X$ es $\sigma$ -compacto.
$\Leftarrow$ : Si $X$ es $\sigma$ -compacto, existe un conjunto de conjuntos contables compactos que cubren $X$ . Sea $C$ sea un conjunto compacto arbitrario de este conjunto. Dado que $X$ (y $C$ ) es localmente euclidiano, $C$ es localmente metrizable. Dado que $C$ es un espacio compacto de Hausdorff localmente metrizable, es metrizable y, por tanto, 2º contable. Así, siendo la unión contable de estos espacios compactos con base contable, $X$ es 2° contable y, por lo tanto, un colector topológico.
¿Debo añadir una prueba de que un espacio Hausdorff compacto localmente metrizable es metrizable? He encontrado esta afirmación en la Topología de Munkre, pero ¿es realmente un hecho ampliamente conocido?