LOS NUMEROS COMPLEIOS @ 29 Definicién 1.6.2 Se llama proyeccién estereogréfica a una transformacién biunivoca del plano complejo, C, en I esfera de Riemann, S, sin el polo norte: S\(NN} definida haciendo corresponder a cada punto el plano z € € el punto de ta esfera w € S en el que corta a S Ia recta que pasa por zy por el polo norte N = (0, 0, 1). Se dice que w € S es la proyeccién estereogrifica de z € C, 0 también ala inversa, que z € C es la proyeccién estereogrifica de w € S La proyeccién estereogrifica establece la correspondencia entre los puntos de C y los de $ tal que a cada punto del plano z € € le corresponde el punto de la esfera w € S en el que corta la recta que pasa por z y por el polo norte N = (0, 0, 1). Por tanto, las ecuaciones de la pro- yeccin estereogrifica se calculan fécilmente. La relacidn explicita entre z = x + iy y su proyec- x +i Ciba (zy 3,22) sobre Ia esfera es (x,y, 0) > (X49), Siendo.x + yi =" ——*, y siendo: iis (tz tele as tumad= (Gory ieee ee ey Sieel punto de la esfera esta en el hemisferio norte, x; > 0, entonces su correspondiente del plano tiene su médulo mayor que uno, mientras que si el punto de la esfera pertenece al hemis- ferio sur, x, <0, el correspondiente del plano tiene su médulo menor que uno. Si el punto esté enel ecuador, se transforma en é1 mismo y su médulo es igual a uno. Tomando como métrica la distancia euclidea usual se comprucba que la esfera de Riemann €s un espacio métrico compacto y completo. ‘A medida que los puntos en el plano complejo van estando mas lejos del origen, sus image- nes en la esfera de Riemann van aproximéndose al polo norte, P, lo que permite interpretar el iransformado del polo P como el punto del infinito, co. Se afiade un tinico punto del infinito, haciendo corresponder al polo norte de la esfera el punto del infinito. De esta forma se obtiene el plano complejo ampliado que es topolégicamente equivalente a la esfera de Riemann. Definicién 1.6.3 El plano complejo ampliado es el plano complejo al que se le ha afiadido un punto del infini- to: C=Cu(} Esto permite decir que el plano complejo ampliado C= € U {20} se identifica con la esfe- rade Riemann S.