Demostrar que S1S1 no es homeomorfo a [0,1][0,1]
Así que cuando traté de demostrar esto, traté de buscar propiedades topológicas que S1S1 tenía pero [0,1][0,1] no lo hice porque tratar de demostrarlo por contradicción parecía mucho más difícil, y no estoy seguro de cómo podría demostrarlo directamente.
Las únicas propiedades topológicas que S1S1 tiene que se me ocurra que [0,1][0,1] no tiene es el hecho de que S1S1 es una variedad topológica sin límites y [0,1][0,1] es una variedad topológica con límite, es decir, el conjunto {0,1}{0,1} por lo que si suponemos que son homeomorfas llegaríamos a una contradicción ya que una variedad topológica con límite no puede ser homeomorfa a una variedad topológica sin límite.
Pero parece un poco exagerado utilizar la teoría de los colectores topológicos para demostrar este problema algo elemental. ¿Alguien conoce una prueba más elemental?