Processing math: 100%

4 votos

Demostrando que f:(0,2π]S1 no es un homeomorfismo

Quiero demostrar que f:(0,2π]S1 definido por t(sint,cost) no es un homeomorfismo. Lo haré demostrando que su inversa no es continua.

La inversa se define por (sint,cost)t . Así que en (0,1) queremos tener |2(1cost)|<δ|t2π|<ϵ para cualquier ϵ . Si tomamos ϵ=π/2 No importa lo cerca que esté cost y 1 son siempre habrá t 's cerca de 0 . Así que f1 no es continua.

¿Qué le parece? ¿Hay algún error?

3voto

Noldorin Puntos 67794

Su prueba es la correcta, pero podría haber ahorrado algo de trabajo:

S1 es compacto, (0,2π] no lo es. Por lo tanto, imposible de ser homeomórficos.

Esto no sólo demuestra que f no es un homeomorphism, pero también que ningún otro mapa de (0,2π]S1 puede ser nunca un homeomorphism.

Nota: Para ampliar un poco en este comentario:

Si A es compacto y B no es compacto, entonces no puede existir un homeomorphism f:BA, debido a la inversa de la f1 tendría un mapa de la no-espacio compacto B sobre el espacio compacto A. Que es imposible, por lo f1 no puede ser continua.

0voto

Michael Hardy Puntos 128804

Intuitivamente, como (cost,sint) pasa por el punto de (1,0) sobre el círculo, a continuación, t salta abruptamente de 0 2πo vice-versa, por lo que tiene una discontinuidad de salto.

Su ε-δ la prueba está a la derecha.

Uno también puede decir esto: en una función continua (en este caso f1), la inversa de la imagen de cada conjunto abierto es abierto. Con esta función, la inversa de la imagen del conjunto abierto {(cost,\sent):0t<110} es un subconjunto del círculo que no está abierto.

0voto

Rivera Puntos 261

S1 no puede ser homeomorfo a ningún subconjunto de la recta real. En efecto, S1 menos un punto es conexo, mientras que cualquier conexo (intervalo) de R menos un punto de su interior no está conectado.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X