Punto ideal
En geometría hiperbólica, un punto ideal, punto omega[1] o punto en el infinito es un punto bien definido fuera del plano o espacio hiperbólico.
Dada una línea recta l y un punto P que no está en l, las paralelas límite derecha e izquierda a la rectal que pasan a través de P convergen con l en puntos ideales.
A diferencia del caso proyectivo, los puntos ideales forman una variedad, no una subvariedad. Entonces, estas líneas no se cortan en un punto ideal y tales puntos, aunque bien definidos, no pertenecen al espacio hiperbólico en sí mismo.
Los puntos ideales juntos forman el absoluto de Cayley o límite de una geometría hiperbólica.
Por ejemplo, la circunferencia goniométrica forma el absoluto de Cayley del disco de Poincaré y del modelo de disco de Klein. Por otro lado, la recta real forma el absoluto de Cayley del modelo de semiplano de Poincaré.[2]
El axioma de Pasch y el teorema del ángulo exterior siguen siendo válidos para un triángulo omega, definido por dos puntos en el espacio hiperbólico y un punto omega.[3]
Propiedades editar
- La distancia hiperbólica entre un punto ideal y cualquier otro punto o punto ideal es infinita.
- Los centros de horociclos y horobolas son puntos ideales; dos horociclos son concéntricos cuando tienen el mismo centro.
Polígonos con vértices ideales editar
Triángulos ideales editar
Si todos los vértices de un triángulo hiperbólico son puntos ideales, el triángulo es un triángulo ideal.
Algunas propiedades de los triángulos ideales son:
- Todos los triángulos ideales son congruentes.
- Los ángulos interiores de un triángulo ideal son todos cero.
- Cualquier triángulo ideal tiene un perímetro infinito.
- Cualquier triángulo ideal tiene un área , donde K es la curvatura (negativa) del plano hiperbólico.[4]
Cuadriláteros ideales editar
Si todos los vértices de un cuadrilátero son puntos ideales, el cuadrilátero es un cuadrilátero ideal.
Si bien todos los triángulos ideales son congruentes, no todos los cuadriláteros lo son; las diagonales pueden formar diferentes ángulos entre sí dando como resultado cuadriláteros no congruentes. En consecuencia:
- Los ángulos interiores de un cuadrilátero ideal son todos cero.
- Cualquier cuadrilátero ideal tiene un perímetro infinito.
- Cualquier cuadrilátero ideal (convexo no autointersecante) tiene un área donde K es la curvatura (negativa) del plano.
Cuadrado ideal editar
El cuadrilátero ideal donde las dos diagonales son perpendiculares entre sí forman un cuadrado ideal.
Fue utilizado por Ferdinand Karl Schweikart en su memorándum sobre lo que llamó "geometría astral", una de las primeras publicaciones que reconoció la posibilidad de la geometría hiperbólica.[5]
n-ágonos ideales editar
Un "n"-ágono ideal se puede subdividir en triángulos ideales (n − 2), con un área (n − 2) multiplicada por el área de un triángulo ideal.
Representaciones en modelos de geometría hiperbólica editar
En el modelo del dico de Klein y en el disco de Poincaré del plano hiperbólico los puntos ideales están en la circunferencia goniométrica (plano hiperbólico) o en la 1-esfera (para dimensiones superiores), que es el límite inalcanzable del plano hiperbólico.
Al proyectar la misma línea hiperbólica al modelo del disco de Klein y al disco de Poincaré, ambas líneas pasan por los mismos dos puntos ideales (los puntos ideales en ambos modelos están en el mismo lugar).
Modelo del disco de Klein editar
Dados dos puntos distintos p y q en el disco unitario abierto, la única línea recta que los conecta corta el círculo unitario en dos puntos ideales, a y b, etiquetados de modo que los puntos son, en orden, a, p, q, b, de modo que |aq| > |ap| y |pb| > |qb|. Entonces la distancia hiperbólica entre p y q se expresa como
Modelo del disco de Poincaré editar
Dados dos puntos p y q distintos en el disco unitario abierto, entonces el único arco de circunferencia ortogonal a la circunferencia exterior que los conecta interseca al círculo unitario en dos puntos ideales, a y b, etiquetados de modo que los puntos sean, en orden, a, p, q, b de modo que |aq| > |ap| y |pb| > |qb|. Entonces la distancia hiperbólica entre p y q se expresa como
donde las distancias se miden en los segmentos (en línea recta) aq, ap, pb y qb.
Modelo de semiplano de Poincaré editar
En el modelo de semiplano de Poincaré los puntos ideales son los puntos sobre el eje de contorno. También hay otro punto ideal que no está representado en el modelo de semiplano (pero los rayos paralelos al eje y positivo se acercan a él).
Modelo hiperboloide editar
En el modelo hiperboloide no hay puntos ideales.
Véase también editar
- Triángulo ideal
- Poliedro ideal
- Punto del infinito para usos en otras geometrías.
Referencias editar
- ↑ Sibley, Thomas Q. (1998). The geometric viewpoint : a survey of geometries. Reading, Mass.: Addison-Wesley. p. 109. ISBN 0-201-87450-4.
- ↑ Struve, Horst; Struve, Rolf (2010), «Non-euclidean geometries: the Cayley-Klein approach», Journal of Geometry 89 (1): 151-170, ISSN 0047-2468, MR 2739193, doi:10.1007/s00022-010-0053-z.
- ↑ Hvidsten, Michael (2005). Geometry with Geometry Explorer. New York, NY: McGraw-Hill. pp. 276–283. ISBN 0-07-312990-9.
- ↑ Thurston, Dylan (Fall 2012). «274 Curves on Surfaces, Lecture 5». Consultado el 23 de julio de 2013.
- ↑ Bonola, Roberto (1955). Non-Euclidean geometry : a critical and historical study of its developments (Unabridged and unaltered republ. of the 1. English translation 1912. edición). New York, NY: Dover. pp. 75–77. ISBN 0486600270. (requiere registro).
Datos: Q11831792
