La Proyección Estereográfica

La proyección estereográfica representa una aplicación continua definida desde la esfera de

Riemann hacia el plano (ya sea o ). Sus aplicaciones son numerosas, y van desde
nociones topológicas (como la compactificación de un conjunto) hasta nociones de
geometría diferencial o compleja.

Idea de la construcción: Como en la figura adjunta, trazaremos una recta desde el polo
norte de la esfera unitaria hasta el plano complejo. Esta recta intersecta a la esfera en un
punto distinto al polo, y además al plano. Esta identificación entre puntos de intersección
es la biyección que buscamos establecer.

Sea entonces el polo norte, un punto en la

esfera y el punto del plano determinado por la intersección de la recta que pasa
por y con el plano. Si llamamos a dicha recta y si escribimos como el punto
del plano inmerso en , nos queda

de modo que debemos encontrar tal que la tercera coordenada sea nula. Un punto típico
de la recta tiene la forma , de donde se concluye que es
el parámetro buscado. Con esto, el punto del plano que representa la proyección es de la
forma

Notar que todo punto de , salvo , satisface que su tercera coordenada es distinta de 1,
por lo que está bien definida para todo .

Hemos definido entonces una aplicación . Mostremos que es

inyectiva, en efecto

pero y , lo que implica

con lo que al desarrollar nos queda lo que implica directamente y .

Mostremos ahora que esta aplicación es sobreyectiva. En efecto, para un punto en el

plano, lo consideramos como y escribimos la recta que lo une con

de donde un punto de es de la forma . Un tal punto pertenece a la esfera

si y sólo si . Esto ocurre para (caso que no admitimos
pues consideraríamos el polo norte) o para , por lo que

Mas aún, es claro que definida por

es la inversa deseada.

Por último, debemos notar que sobre cada dominio, la función y su inversa son
continuas. Por lo tanto la proyección estereográfica es un homeomorfismo.
Debemos además recalcar algo demasiado importante. El infinito (del plano) está
representado por el polo norte de la esfera de Riemann.

Proposición: La proyección estereográfica mapea círculos (de la superficie de la esfera) en

círculos (generalizados) del plano.
Por círculos generalizados nos referimos a círculos del plano o rectas.

Demostración:
Estudiemos primero la imagen de un círculo de la esfera vía la proyección. Un tal círculo es
la intersección de un plano de la forma con . La imagen de
los puntos que satisfacen esta ecuación son de la forma y deben satisfacer
(de acuerdo a la fórmula de la pre imagen de la proyección)

lo cual reescribimos como

 ( )

Notemos que hay dos posibilidades, si entonces ( ) es de la

forma la cual representa ciertamente una recta en el plano. En este caso, la
ecuación del plano original se transforma en , y por lo tanto
el plano pasa por el polo norte. Entonces

Círculos esféricos que contienen al polo norte son mapeados en rectas del plano

En cualquier otro caso, la ecuación ( ) representa una circunferencia del plano.

Círculos esféricos que no contienen al polo norte son mapeados en círculos del plano

Y como la proyección es una biyección, si el plano tiene intersección no vacía con la esfera,
entonces siempre obtendremos un círculo generalizado en el plano euclidiano siendo la
imagen de tal intersección no vacía.

Solo queda mostrar el recíproco, es decir, que todo círculo generalizado del plano
euclidiano es la imagen de una circunferencia en la esfera. Para esto, consideremos dos
casos, el primero cuando tenemos una circunferencia del plano de la forma
Definimos entonces tales que , , y . Es
fácil comprobar que el plano $AX+BY+CZ+D=0$ intersecta a la esfera y tal intersección
tiene por imagen todo punto que satisface la ecuación

En el caso en que contamos con una recta del plano de la forma es

suficiente considerar , , .