Usted no necesita cualquier topología algebraica para que!
Por supuesto que no es cierto en general, ya que siempre puede cubrir $Y$ $Y\times F$ donde $F$ es un incontable espacio discreto. Pero usted tiene fuertes presunciones de que excluir este tipo de patología.
También estoy publicando esta respuesta para proporcionar algunos detalles (en el último párrafo) que me parecen importantes y que fueron omitidos en el breve explicación proporcionada por Jim.
Para cada una de las $p\in Y$ uniformemente cubierto de vecindad. Desde que trabajamos con un colector, arreglar un pequeño barrio de $B(p)$ diffeo con una unidad de la bola en $\mathbb R^n$ y una familia de su subneighbourhoods diffeo con bolas formando una base local en $p$. Ahora, tomar una base $\mathcal B'$ $X$ consiste de todas las bolas. Por esta pregunta y la suposición de que hay algunas contables base $\mathcal V$$X$, se puede elegir una contables subbasis de $\mathcal B'$ - vamos a llamar a $\mathcal B$.
Ahora - para cada una de las $B\in \mathcal B$ tenemos $f^{-1}(B)\simeq B\times F_{B}$ para un espacio discreto $F_{B}$. Tenga en cuenta que $F_{B}$ es en la mayoría de los contables debido a que los componentes de $B\times F_{B}$ son exactamente de la forma $B\times \{g\}$ donde $g\in F_{B}$.
Nuestra base de $Y$
$$\tau=\bigcup_{B\in \mathcal B} \left\{B\times \{g\}\ | \ g\in F_{B} \right\}.$$
Es claramente contables como una contables de la unión de la mayoría de los contables de conjuntos.
¿Por qué es una base? Sabemos que $f$ es un local homeomorphism, por lo que conserva local de bases. ¿Utilizamos bien?
Que es donde nuestras bolas (que viene a partir de la suposición de que tenemos que hacer con un colector, no es un azar segundo contables espacio!) se utilizan. Habiendo $p\in B_0\in \mathcal B$ y una hoja de $B_0 \times \{g\}$ de su inversa de la imagen, sabemos que la base local $\mathcal B_p^{B_0}$ $p$ (restringido a los subconjuntos de a $B_0$) es "transportado" a $B_0 \times \{g\}$ (me refiero a que una de las hojas [que forman $\tau$] a través de cualquier conjunto de $\mathcal B_p^{B_0}$ debe estar dentro de $B_0 \times \{g\}$, porque la representación como un producto con un espacio discreto es el mismo para el subconjunto). No tiene que ser cierto en el caso de no estar conectado barrios!