Al definir una variedad suave , generalmente se requiere ser un espacio topológico que satisfaga estos 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.: con topología gruesa)
c) No localmente euclidiana + no Hausdorff + segunda contable
d) Localmente euclidiana + Hausdorff + no segunda contable (Ej.: la línea larga )
e) Localmente euclidiana + no Hausdorff + segunda contable
f) No localmente euclidiana + Hausdorff + segunda contable (Ej.: unión de dos líneas concurrentes en )
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?
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.
rmdmc89
Mees de Vries