Suponer que están cerrados en y eso estan conectados. Muestra esa y estan conectados.
Mi intento:
Suponer que dónde están abiertos en , no vacío y . Esto induce una separación de :
está abierto en
de lo contrario .
Ahora, necesito mostrar que ambos conjuntos no están vacíos. Lo sabemos está conectado y cerrado en . Entonces, para todos y todos los barrios (en !) de tenemos eso . Podemos elegir . Pero entonces tendría que encontrar un barrio de en . No puedo encontrar uno... ¿Cómo puedo completar este punto?
Gracias.
Seguro que sabes que un espacio es conexo si y solo si cada aplicación continua es constante Aquí con la topología discreta.
Entonces deja ser continuo. Desde está conectado, es constante en . Wlog podemos suponer para . Definir
Kavi Rama Murthy
usuario247327