Círculo generalizado
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/19/Circle_in_the_complex_plane.png/280px-Circle_in_the_complex_plane.png)
En geometría, un círculo generalizado (o también circunferencia generalizada), a veces denominado clina o circuclina,[1] es un concepto que engloba a rectas y circunferencias en algunas geometrías.
El escenario natural de los círculos generalizados es el plano extendido, un plano junto con un punto del infinito por el que se considera que pasa toda recta. Dados tres puntos distintos en el plano extendido, existe precisamente una circunferencia generalizada que pasa por los tres.
A veces aparecen circunferencias generalizadas en geometría euclídea, que tiene una noción bien definida de distancia entre puntos, y donde cada circunferencia tiene un centro y un radio: el punto en el infinito puede considerarse infinitamente distante de cualquier otro punto, y una línea recta puede considerarse como una circunferencia degenerada sin centro bien definido y con radio infinito (curvatura cero). Una reflexión a través de una línea recta es un isometría euclidiana (transformación que preserva la distancia), que asigna rectas a rectas y circunferencias a circunferencias. Pero una inversión respecto a una circunferencia no lo es, distorsionando distancias y haciendo corresponder a cualquier recta una circunferencia que pasa por el centro de la circunferencia de referencia, y viceversa.
Sin embargo, los círculos generalizados son fundamentales para la geometría inversiva, en la que las circunferencias y las líneas rectas se consideran indistinguibles, el punto en el infinito no se distingue de ningún otro punto y se ignoran las nociones de curvatura y distancia entre puntos. En geometría inversiva, las reflexiones, las inversiones y, más generalmente, sus composiciones, llamadas transformaciones de Möbius, asignan círculos generalizados a círculos generalizados y preservan las relaciones inversas entre objetos.
El plano extendido se puede identificar con la esfera usando una proyección estereográfica. El punto en el infinito se convierte entonces en un punto ordinario de la esfera, y todos los círculos generalizados se convierten en círculos de la esfera.
Plano complejo extendido
El plano euclídeo extendido se puede identificar con la esfera de Riemann, de modo que las ecuaciones de números complejos se pueden utilizar para describir rectas, circunferencias e inversiones.
Ecuación lineal en dos variables
Una circunferencia es el conjunto de puntos en un plano que se encuentran a una distancia de un radio desde un punto central
En el plano complejo, es un número complejo y es un conjunto de números complejos. Usando la propiedad de que un número complejo multiplicado por su conjugado es el cuadrado de su módulo (su distancia euclidiana desde el origen), una función implícita para es:
Esta es una ecuación homogénea polinómica con dos variables en términos de la variable compleja y su conjugado , que adopta la forma
donde los coeficientes y son números reales, y y son conjugados.
Al dividir por y luego invertir los pasos anteriores, el radio y el centro se pueden recuperar de cualquier ecuación de esta forma. La ecuación representa un círculo generalizado en el plano cuando es real, lo que ocurre cuando , de modo que el radio al cuadrado es positivo. Cuando es cero, la ecuación define una línea recta.
Recíproco complejo
Que la transformación recíproca asigna círculos generalizados a círculos generalizados es sencillo de verificar:
Las líneas rectas que pasan por el origen () se asignan a líneas que pasan por el origen; las líneas que no pasan por el origen () se asignan a circunferencias que pasan por el origen; las circunferencias a través del origen () se transforman en líneas rectas que no pasan por el origen; y las circunferencias que no pasan por el origen () se asignan a circunferencias que no pasan por el origen.
Representación matricial compleja
La ecuación definitoria de un círculo generalizado
se puede escribir como una ecuación matricial
Simbólicamente,
con coeficientes colocados en una matriz hermitiana invertible que representa el círculo y un vector que representa un número complejo extendido.
Dos de estas matrices especifican el mismo círculo generalizado si y solo si, una es un múltiplo escalar de la otra.
Para transformar el círculo generalizado representado por mediante una transformación de Möbius se debe aplicar la inversa de la transformación de Möbius al vector en la ecuación implícita:
Entonces, la nueva circunferencia puede representarse mediante la matriz
Referencias
- ↑ Hitchman, Michael P. (2009). Geometry with an Introduction to Cosmic Topology. Jones & Bartlett. p. 43.
Bibliografía
- Hans Schwerdtfeger, Geometry of Complex Numbers, Dover Publications, 1979
- Michael Henle, "Modern Geometry: Non-Euclidean, Projective, and Discrete" (Geometría moderna: no euclidiana, proyectiva y discreta), 2ª edición, Prentice Hall, 2001
- David W. Lyons (2021) Geometría de Möbius en LibreTexts
Datos: Q5532410