Localmente Euclidiana, Hausdorff y Segunda Contable son condiciones independientes

Al definir una variedad suave METRO , generalmente se requiere METRO ser un espacio topológico que satisfaga estos 3 condiciones:

1) Localmente euclidiana

2) Hausdorf

3) Segundo contable

Quiero verificar que estas son condiciones independientes, es decir, que uno puede encontrar un espacio topológico para cada combinación:

a) Localmente euclidiana + no Hausdorff + no segunda contable

b) No localmente euclidiana + Hausdorff + no segunda contable (Ej.: R con topología gruesa)

c) No localmente euclidiana + no Hausdorff + segunda contable

d) Localmente euclidiana + Hausdorff + no segunda contable (Ej.: la línea larga ω 1 × [ 0 , 1 ) { ( 0 , 0 ) } )

e) Localmente euclidiana + no Hausdorff + segunda contable

f) No localmente euclidiana + Hausdorff + segunda contable (Ej.: unión de dos líneas concurrentes en R 2 )

Todavía estoy luchando con a), c) y e), ya que los espacios que no son de Hausdorff siempre son tan difíciles de pensar... ¿Alguna idea?

Respuestas (1)

Para (e), tome la línea real con el origen duplicado. (Es decir, tiene dos orígenes y un conjunto abierto alrededor de cualquier origen debe contener ese origen y un intervalo alrededor del origen, pero no necesariamente el otro origen).

Para (a), tome un ejemplo como el anterior, pero use la línea larga en su lugar.

Para (c), podría hacer "básicamente cualquier cosa", porque localmente Euclidean es fácilmente la "más fuerte" de las condiciones. Por ejemplo, tomar el espacio indiscreto en 2 puntos.

¿Qué quiere decir con espacio indiscreto en 2 puntos?
@AguirreK, un espacio de dos puntos X con topología { , X } .