La Esfera de Riemann

Un elemento importante en matem atica es el concepto de supercie, o mas abstracto a un, conjunto. No es el objetivo el alcanzar mucho nivel de abstracci on asi que, para efecto de este art culo, la noci on intuitiva de supercie ser a m as que suciente, una que podemos deformar y estirar a gusto pero sin llegar a ((arrugarla)) o ((rasgarla)). Cuando se habla sobre la esfera de Riemann, se habla un poco sobre estas cosas. Lo que se tiene es el plano complejo C como el plano R2 de coordenadas xy provisto de un determinado conjunto de operaciones (suma y producto de complejos de elementos (x, y )), y lo que se busca es llevar dicho plano (dicho sea de paso, innito) a una supercie nita (la esfera de Riemann). Para hacer esto se hacen uso de algunas transformaciones biyectivas que deforman el plano complejo, sin arrugarlo ni rasgarlo, y lo ajustan de forma conveniente de modo tal que ahora tenga una extensi on nita. Esto es lo que en este art culo es descrito. Llamaremos esf era de Riemann a la supercie de R3 denida por:
2 2 S := {(x1 , x2 , x3 ) R3 / x2 1 + x2 + x3 = 1}

(1)

y, tomando el plano complejo C como el sub-espacio de R3 que se tiene de hacer z = 0, es decir {(x, y, 0) / x, y R} = C, tenemos que, si consideramos la funci on f : S {N } C p f (p) = w (3) (2)

donde w = (x, y ) es el u nico elemento en que la recta N p corta al plano C R3 , donde N = (0, 0, 1), p = (x1 , x2 , x3 ) S. Para determinar las relaciones entre las coordenadas (x, y ) de w C y las coordenadas de (x1 , x2 , x3 ) de p S notemos que la recta que la recta N p est a dada por N p = {(1 t)N + p / t R} = {(tx1 , tx2 , 1 t + tx3 ) / t R} 1 (4)

z N p y x w=(x,y)

Figura 1: Esto es una representaci on gr aca de la Esfera de Riemann. Si consideramos la ecuaci on (1), el plano xy pasa por el ecuador de la Esfera. Esto u ltimo no tiene gran importancia. Para determinar el punto en que N p y C se intersectan, debemos notar que 1 t + tx3 = 0 ; porque w C = R2 con z = 0 t(x3 1) = 1 1 t= 1 x3

(5)

Luego, como N = p, entonces tenemos la seguridad de que al est ar p S, x3 siempre ser a distinto de 1, de modo que siempre es posible escribir sin lugar a inconsistencias que x = tx1 = x1 1 x3 x2 y = tx2 = 1 x3 (6) (7)

As , la funci on dada en (3) queda denida de forma univoca como w = f (p) = x1 x2 , ,0 1 x3 1 x3 (8)

Esto es, la funci on que a cada punto sobre la esfera de Riemann le asocia un u nico punto sobre el plano complejo.

La funci on inversa f 1 : C S {N } w = (x, y ) f 1 (w) = p = (x1 , x2 , x3 ) (9)

Donde p es el punto en que el segmento N w corta a la esfera de Riemann. Dicho punto se obtiene despejando las coordenadas x1 , x2 y x3 en t erminos de las coordenadas (x, y ) de w desde las ecuaciones (6) y (7) y usando el 2 2 hecho de que x2 1 + x2 + x3 = 1. Se tiene entonces:
2 2 2 2 2 3 2 2 x2 1 + x2 + x3 = x (1 x3 ) + y (1 x ) + x3 = 1

(10)

Como x3 = 1, entonces de (10) y de que |w|2 = x2 + y 2 se tiene que |w|2 (1 x3 )2 = 1 x2 3 2  (1  x (1  x 3 )(1 + x3 )|w | =  3 )(1 + x3 ) 2 2 |w| x3 |w| = 1 + x3 x3 (1 + |w|2 ) = |w|2 1 Luego: de (6) y (11): |w|2 1 |w|2 + 1 |w |2 + 1 +  |w |2 1 x1 = x  |w|2 + 1 2x x1 = |w |2 + 1 x1 = x 1 An alogamente, de (7) y (11): x2 = 2y |w|2 + 1 (13) x3 = |w|2 1 |w|2 + 1

(11)

(12)

Luego, de (11), (12) y (13), la funci on inversa f 1 queda denida de forma univoca por f 1 (w) = 2x 2y |w|2 + 1 , , |w|2 + 1 |w|2 + 1 |w|2 + 1 (14) = w+w ww +1 , , |w|2 + 1 i(|w|2 + 1) |w|2 + 1 |w|2

A un no hemos hablado formalmente de l mite de funciones en C, sin embargo, a un sin una revisi on rigurosa resulta claro que l m f 1 (w) = l m w+w ww |w|2 + 1 , , |w|2 + 1 i(|w|2 + 1) |w|2 + 1 = (0, 0, 1) = N

|w|

|w|

(15) De modo que, cuanto m as se aleje w del origen de coordenadas y sin importar en qu e direcci on se aleje, la funci on f 1 , que a cada punto del plano complejo le asocia un u nico punto de la esfera de Riemann, le asignar a un punto cada vez mas cercano al polo norte; as , en funci on de esta observaci on, se dene el plano complejo extendido como el conjunto C := C {}, donde representa al elemento on el cual se establece una relaci on biunivoca con N mediante la funci on : C S w (w) = f 1 (w) si w C N si w = (16)

Esta aplicaci on es lo que se conoce por el nombre de proyecci on estereogr aca y es evidente que dicha aplicaci on representa una biyecci on entre S y C , y que adem as es continua sobre todo C; es decir, la proyecci on estereogr aca es un homeomorsmo entre los espacios topol ogicos C y S.