Esfera de Riemann

Manera de representar al plano de números complejos sobre una esfera.
Stereographic projection in 3D.png fig.1: Proyección estereográfica del plano complejo extendido sobre la "esfera de Riemann".
RiemannKugel.svg fig.2: La "esfera de Riemann" puede ser visualizada como el plano complejo envuelto alrededor de una esfera.

En matemática, la esfera de Riemann (o plano complejo extendido), llamada así en honor al matemático del siglo XIX Bernhard Riemann, es una esfera obtenida del plano complejo mediante la adición de un punto del infinito. La esfera es la representación geométrica de los números complejos extendidos, denotado como ó ,[1]​ (véase fig.1 y fig.2), la cual consiste en los números complejos ordinarios en conjunción con el símbolo para representar el infinito.

Los números complejos extendidos son comunes en análisis complejo porque permiten la división por cero en algunas circunstancias, en el sentido de hacer expresiones bien definidas tales como:

Por ejemplo, cualquier función racional sobre el plano complejo puede ser extendida como una función continua sobre la esfera de Riemann, con los polos de la función racional mapeados al infinito. Más generalmente, cualquier función meromorfa puede ser pensada como una función continua cuyo codominio es la esfera de Riemann.

En geometría, la esfera de Riemann es el ejemplo prototípico de una superficie de Riemann, y una de las más simples variedades complejas. En geometría proyectiva, la esfera puede ser pensada como la recta proyectiva compleja , el espacio proyectivo de todos las rectas complejas en . Como con cualquier superficie de Riemann compacta, la esfera también puede ser vista como una curva algebraica proyectiva, haciendo de esto un ejemplo fundamental de geometría algebraica. También encuentra utilidad en otras disciplinas que dependen del análisis y de la geometría, como puede ser la mecánica cuántica y otras ramas de la física.

Números complejos extendidosEditar

Los números complejos extendidos consisten de números complejos   junto con  . El conjunto de números complejos extendidos puede ser expresado como  , y a menudo es indicado agregando algún símbolo a la letra  , por ejemplo

 

También a veces se utiliza la notación  , pero como esta notación también se utiliza para el plano perforado  , el uso de la misma puede dar lugar a cierta ambigüedad.[2]

Desde un punto de vista geométrico, el conjunto de los números complejos extendidos es denominado la esfera de Riemann (o plano complejo extendido).

Operaciones aritméticasEditar

La suma de números complejos puede extenderse si se define, para  ,

 

para todo número complejor  , y la multiplicación se define como

 

para todos los números complejos diostintos del cero  , con  . Es de notar que   y   quedan indeterminados. A diferencia de los números complejos, los números complejos extendidos no constituyen un campo, dado que   no posee inversos aditivos o multiplicativos. Sin embargo, es costumbre definir la división en   como

 

para todos los números complejos distintos del cero   con   y  . Los cocientes   y   quedan indefinidos.

Funciones racionalesEditar

Toda función racional   (en otras palabras,   es la relación de funciones polinómicas   y   de   con coeficientes complejos, tales que   y   no poseen un factor común) pueden ser estendidas a una función continua en la esfera de Riemann. Específicamente, si   es un número complejo tal que el denominador   es cero pero el numerador   no es cero, entonces se puede definir   como  . Además,   puede ser definido como el límite de   cuando  , el cual puede ser finito o infinito.

El conjunto de funciones racionales complejas cuyo símbolo matemático es  — constituyen todas las funciones holomorfas posibles de la esfera de Riemann en sí misma, cuando se la analiza como una superficie de Riemann, excepto para el caso de la función constante que toma el valor   siempre. Las funciones de   forman un campo algebraico, denominado el campo de las funciones racionales en la esfera.

Por ejemplo, dada la función

 

se puede definir  , ya que el denominador vale cero en  , y   ya que   al tender  . Utilizando estas definiciones,   se convierte en una función continua de la esfera de Riemann en sí misma.

Como una variedad complejaEditar

Como una variedad compleja unidimensional, la esfera de Riemann se puede describir mediante dos gráficos, ambos con dominio igual al plano numérico complejo.  . Sea   un número complejo en una copia de  , y sea   un número complejo en otra copia de  . Identifica cada número complejo distinto de cero   del primero   con el número complejo distinto de cero   del segundo  . Entonces el mapa  

se llama el mapa de transición entre las dos copias de   de los denominados gráficos topológicos, vinculándolos entre sí. Dado que los mapas de transición son holomorfos, definen una variedad compleja, llamada esfera de Riemann. Al ser una variedad compleja de 1 dimensión compleja (es decir, 2 dimensiones reales), también se la denomina superficie de Riemann.

Intuitivamente, los mapas de transición indican cómo unir dos planos para formar la esfera de Riemann. Los planos están pegados "de adentro hacia afuera", de modo que se superponen en casi todas partes, y cada plano contribuye con solo un punto (su origen) que falta en el otro plano. En otras palabras, (casi) cada punto en la esfera de Riemann tiene tanto un valor   y un valor   , y los dos valores están relacionados mediante  . El punto donde   debe entonces tener un valor   " "; en este sentido, el origen   del gráfico desempeña el rol de   en el gráfico  . Simétricamente el origen   del gráfico desempeña el rol de   en el gráfico  .

Topológicamente , el espacio resultante es la compactación de un punto de un plano en la esfera. Sin embargo, la esfera de Riemann no es simplemente una esfera topológica. Es una esfera con una estructura compleja bien definida , de modo que alrededor de cada punto de la esfera hay una vecindad que se puede identificar biholomorficamente con  .

Por otro lado, el teorema de uniformización, un resultado central en la clasificación de las superficies de Riemann, establece que toda superficie de Riemann simplemente conectada es biholomorfa al plano complejo, al plano hiperbólico o a la esfera de Riemann. De estos, la esfera de Riemann es la única que es una superficie cerrada (una superficie compacta sin límite ). Por lo tanto, la esfera bidimensional admite una estructura compleja única que la convierte en una variedad compleja unidimensional.

Véase tambiénEditar

Notas y referenciasEditar

  1. En la esfera de Riemann el punto del infinito representa el horizonte infinito del plano complejo, es un infinito positivo   tal que permite a la proyección del plano complejo "cerrarse" sobre dicha esfera.
  2. «C^*». Archivado desde el original el October 8, 2021. Consultado el December 12, 2021. 

BibliografíaEditar