Esfera de Riemann
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
- ↑ 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.
- ↑ «C^*». Archivado desde el original el October 8, 2021. Consultado el December 12, 2021.
BibliografíaEditar
- Brown, James and Churchill, Ruel (1989). Complex Variables and Applications. Nueva York: McGraw-Hill. ISBN 0070109052.
- Griffiths, Phillip and Harris, Joseph (1978). Principles of Algebraic Geometry. John Wiley & Sons. ISBN 0-471-32792-1.
- Penrose, Roger (2005). The Road to Reality. Nueva York: Knopf. ISBN 0-679-45443-8.
- Rudin, Walter (1987). Real and Complex Analysis. Nueva York: McGraw-Hill. ISBN 0071002766.
- Weisstein, Eric W. «Riemann sphere». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.