El conjunto {z∈C:|z|≥1}{z∈C:|z|≥1}\{z\in \mathbb C: |z|\geq 1\} con punto en el infinito es homeomorfo a unidad cerrada disco.

Mientras leía acerca de una manera de descomponer el plano complejo extendido (o C PAG 1 ), vi sin pruebas que el conjunto { z C : | z | 1 } con un punto en el infinito agregado es homeomorfo al disco unitario cerrado.

No estoy seguro exactamente de cómo funciona esto. Sé que el semiplano superior es homeomorfo al disco unitario abierto, pero no estoy seguro de si esto ayuda.

¿Podría alguien explicar cómo obtenemos el homomorfismo deseado?

z 1 z ?

Respuestas (1)

El conjunto C { } es homeomorfo a S 2 , por ejemplo por proyección estereográfica . Bajo este homeomorfismo, { } es enviado al "polo norte". El hemisferio superior corresponde precisamente a { z C : | z | 1 } . Para ello dibuja la línea que pasa por el polo norte y cada punto de la esfera hasta llegar al plano complejo. ..