Horociclo

En geometría hiperbólica , un horociclo ( de raíces griegas que significan "círculo límite"), a veces llamado oriciclo o círculo límite , es una curva de curvatura constante donde todas las geodésicas perpendiculares ( normales ) a través de un punto en un horociclo son paralelas limitantes , y todas convergen asintóticamente a un único punto ideal llamado centro del horociclo. En algunos modelos de geometría hiperbólica parece que los dos "extremos" de un horociclo se acercan cada vez más entre sí y se acercan a su centro, esto no es cierto; los dos "extremos" de un horociclo se alejan cada vez más entre sí y permanecen a una distancia infinita de su centro. Una horosfera es la versión tridimensional de un horociclo.

En el espacio euclidiano , todas las curvas de curvatura constante son líneas rectas (geodésicas) o círculos , pero en un espacio hiperbólico de curvatura seccional las curvas de curvatura constante son de cuatro tipos: geodésicas con curvatura, hiperciclos con curvatura , horociclos con curvatura y círculos con curvatura.${\estilo de visualización -1,}$${\displaystyle \kappa = 0,}$ ${\displaystyle 0<|\kappa |<1,}$${\displaystyle |\kappa |=1,}$${\displaystyle |\kappa |>1.}$

Dos horociclos cualesquiera son congruentes y pueden superponerse mediante una isometría (traslación y rotación) del plano hiperbólico.

Un horociclo también puede describirse como el límite de los círculos que comparten una tangente en un punto dado, cuando sus radios tienden a infinito , o como el límite de los hiperciclos tangentes en el punto cuando las distancias desde sus ejes tienden a infinito.

Dos horociclos con el mismo centro se denominan concéntricos . En cuanto a los círculos concéntricos, cualquier geodésica perpendicular a un horociclo también es perpendicular a todo horociclo concéntrico.

• Por cada par de puntos hay 2 horociclos. Los centros de los horociclos son los puntos ideales de la mediatriz del segmento comprendido entre ellos.
• No hay tres puntos de un horociclo en una línea, círculo o hiperciclo.
• Todos los horociclos son congruentes . (Incluso los horociclos concéntricos son congruentes entre sí)
• Una línea recta , un círculo , un hiperciclo u otro horociclo corta a un horociclo en dos puntos como máximo.
• La bisectriz perpendicular de una cuerda de un horociclo es una normal de ese horociclo y la bisectriz biseca el arco subtendido por la cuerda y es un eje de simetría de ese horociclo.
• La longitud de un arco de un horociclo entre dos puntos es:

más largo que la longitud del segmento de línea entre esos dos puntos,

más largo que la longitud del arco de un hiperciclo entre esos dos puntos y

más corto que la longitud de cualquier arco circular entre esos dos puntos.

• La distancia de un horociclo a su centro es infinita, y aunque en algunos modelos de geometría hiperbólica parece que los dos "extremos" de un horociclo se acercan cada vez más y se acercan a su centro, esto no es cierto; los dos "extremos" de un horociclo se alejan cada vez más uno del otro.
• Un apeirógono regular está circunscrito por un horociclo o un hiperciclo.
• Si C es el centro de un horociclo y A y B son puntos del horociclo, entonces los ángulos CAB y CBA son iguales. ^[1]
• El área de un sector de un horociclo (el área entre dos radios y el horociclo) es finita. ^[2]

Cuando el plano hiperbólico tiene la curvatura gaussiana estandarizada K de −1:

• La longitud s de un arco de un horociclo entre dos puntos es: donde d es la distancia entre los dos puntos, y sinh y cosh son funciones hiperbólicas . ^[3]$${\displaystyle s=2\sinh \left({\frac {1}{2}}d\right)={\sqrt {2(\cosh d-1)}}}$$
• La longitud de un arco de un horociclo tal que la tangente en un extremo es paralela al radio que pasa por el otro extremo es 1. ^[4] el área encerrada entre este horociclo y los radios es 1. ^[5]
• La relación de las longitudes de arco entre dos radios de dos horociclos concéntricos donde los horociclos están separados por una distancia de 1 es e  : 1. ^[6]

En el modelo de disco de Poincaré del plano hiperbólico, los horociclos están representados por círculos tangentes al círculo límite; el centro del horociclo es el punto ideal donde el horociclo toca el círculo límite.

La construcción con regla y compás de los dos horociclos a través de dos puntos es la misma construcción de la construcción CPP para los casos especiales del problema de Apolonio donde ambos puntos están dentro del círculo.

En el modelo del disco de Poincaré, parece que los puntos cercanos a los "extremos" opuestos de un horociclo se acercan entre sí y al centro del horociclo (en el círculo límite), pero en la geometría hiperbólica cada punto de un horociclo está infinitamente distante del centro del horociclo. Además, la distancia entre los puntos en los "extremos" opuestos del horociclo aumenta a medida que aumenta la longitud del arco entre esos puntos. (La intuición euclidiana puede ser engañosa porque la escala del modelo aumenta hasta el infinito en el círculo límite).

En el modelo de semiplano de Poincaré , los horociclos se representan mediante círculos tangentes a la línea límite, en cuyo caso su centro es el punto ideal donde el círculo toca la línea límite.

Cuando el centro del horociclo es el punto ideal, entonces el horociclo es una línea paralela a la línea límite. ${\displaystyle y=\infty}$

La construcción con compás y regla en el primer caso es la misma construcción que la construcción LPP para los casos especiales del problema de Apolonio .

En el modelo hiperboloide, los horociclos se representan mediante intersecciones del hiperboloide con planos cuya normal se encuentra en el cono asintótico (es decir, es un vector nulo en el espacio tridimensional de Minkowski ).

Si la métrica se normaliza para tener una curvatura gaussiana  −1, entonces el horociclo es una curva de curvatura geodésica  1 en cada punto.

Todo horociclo es la órbita de un subgrupo unipotente de PSL(2,R) en el plano hiperbólico. Además, el desplazamiento a velocidad unitaria a lo largo del horociclo tangente a un vector tangente unitario dado induce un flujo en el fibrado tangente unitario del plano hiperbólico. Este flujo se denomina flujo del horociclo del plano hiperbólico.

Identificando el fibrado tangente unitario con el grupo PSL(2,R) , el flujo del horociclo viene dado por la acción derecha del subgrupo unipotente , donde: Es decir, el flujo en el momento que parte de un vector representado por es igual a . ${\displaystyle U=\{u_{t},\,t\in \mathbb {R} \}}$$${\displaystyle u_{t}=\pm \left({\begin{array}{cc}1&t\\0&1\end{array}}\right).}$$${\estilo de visualización t}$${\displaystyle g\in \mathrm {PSL} _{2}(\mathbb {R} )}$$estilo de visualización gu_t$

Si es una superficie hiperbólica, su fibrado tangente unitario también admite un flujo de horociclo. Si está uniformizado, ya que el fibrado tangente unitario se identifica con y el flujo que comienza en está dado por . Cuando es compacto, o más generalmente cuando es una red , este flujo es ergódico (con respecto a la medida de Liouville normalizada ). Además, en este contexto, los teoremas de Ratner describen con mucha precisión los posibles cierres para sus órbitas. ^[7]${\estilo de visualización S}$${\estilo de visualización S}$${\displaystyle S=\Gamma \barra invertida \mathbb {H} ^{2}}$${\displaystyle \Gamma \barra invertida \mathrm {PSL} _{2}(\mathbb {R} )}$${\displaystyle \Gamma g}$${\displaystyle t\mapsto \Gamma gu_{t}}$${\estilo de visualización S}$${\estilo de visualización \Gamma}$

• Horóscopo
• Hiperciclo (geometría)

• HSM Coxeter (1961) Introducción a la geometría , §16.6: "Círculos, horociclos y curvas equidistantes", página 300, 1, John Wiley & Sons .
• John Stillwell (2005) Los cuatro pilares de la geometría , cap. 8, "Geometría no euclidiana", pág. 198, ISBN 0-387-25530-3