Hola! como estas? para ver que no es segundo numerable, una manera simple es
Si fuera segundo numerable, entonces por teorema es lindeloff, por lo tanto de todo cubrimiento por abiertos tendría un sub-cubrimiento numerable
pero el cubrimiento \( \{ \{0,x \} ,x \in \mathbb{R} \} \) no puede tener un sub cubrimiento numerable, ya que si le sacas algún \( \{0, y \} \) ya no es un cubrimiento
por tanto no puede ser segundo numerable
Y para ver que es separable, un tener un conjunto denso, es equivalente a tener un conjunto que interseque a todos los abiertos de la topología, si no ves esa demostración avisanos, pero se prueba que un \( A \) denso en \( \tau \Longleftrightarrow{} \) \( A\cap{U}\neq{\emptyset} ; \forall \ U\in \tau \)
Luego con esa equivalencia es fácil ver que un conjunto que interseca a todos los abiertos de la topología es \( \{ 0 \} \), ya que todos los abiertos de la topología están obligados a tener al \( 0 \)
Entonces \( \{0 \} \) es tu conjunto denso y numerable
Este es un ejemplo de una topología que es separable pero no es segundo numerable
por tanto separable \( \not\Longrightarrow{} \) segundo numerable
para que esa implicancia sea cierta se necesita una estructura de espacio métrico, es decir en espacios métricos si es cierto
Cualquier duda ya sabes, pregunta!
