En geometría no euclidiana , el modelo de semiplano de Poincaré es el semiplano superior , indicado a continuación como H , junto con una métrica , la métrica de Poincaré , que lo convierte en un modelo de geometría hiperbólica bidimensional .
De manera equivalente, el modelo de semiplano de Poincaré a veces se describe como un plano complejo donde la parte imaginaria (la coordenada y mencionada anteriormente) es positiva.
El modelo de semiplano de Poincaré lleva el nombre de Henri Poincaré , pero se originó con Eugenio Beltrami , quien lo usó, junto con el modelo de Klein y el modelo de disco de Poincaré (debido a Bernhard Riemann ), para mostrar que la geometría hiperbólica era igual a la geometría euclidiana. .
Este modelo es conforme, lo que significa que los ángulos medidos en un punto son los mismos en el modelo que en el plano hiperbólico real.
La transformada de Cayley proporciona una isometría entre el modelo de medio plano y el modelo de disco de Poincaré.
Este modelo se puede generalizar para modelar un espacio hiperbólico dimensional reemplazando el número real x por un vector en un espacio vectorial euclidiano de n dimensiones.
Métrico
La métrica del modelo en el semiplano, es:
donde s mide la longitud a lo largo de una línea (posiblemente curva). Las líneas rectas en el plano hiperbólico ( geodésicas para este tensor métrico, es decir, curvas que minimizan la distancia) están representadas en este modelo por arcos circulares perpendiculares al eje x (semicírculos cuyo origen está en el eje x ) y Rayos verticales rectos perpendiculares al eje x .
Cálculo de distancia
En general, la distancia entre dos puntos medidos en esta métrica a lo largo de dicha geodésica es:
donde arcosh y arsinh son funciones hiperbólicas inversas
Algunos casos especiales se pueden simplificar:
- . [1]
Otra forma de calcular la distancia entre dos puntos que están en un semicírculo (euclidiano) es:
dónde son los puntos donde los semicírculos se encuentran con la línea límite y es la longitud euclidiana del segmento de línea que conecta los puntos P y Q en el modelo.
Puntos y curvas especiales
- Los puntos ideales (puntos en el infinito) en el modelo de semiplano de Poincaré son de dos tipos:
- los puntos en el eje x , y
- un punto imaginario en que es el punto ideal al que convergen todas las líneas ortogonales al eje x .
- Las líneas rectas , las geodésicas (el camino más corto entre los puntos que contiene) se modelan mediante:
- semicírculos cuyo origen está en el eje x
- Rayos verticales rectos ortogonales al eje x
- Un círculo (curvas equidistantes de un punto central) con centro y radio está modelado por:
- un circulo con centro y radio
- Un hiperciclo (una curva equidistante de una línea recta, su eje) se modela mediante:
- un arco circular que corta el eje x en los mismos dos puntos ideales que el semicírculo que modela su eje pero en un ángulo agudo u obtuso
- una línea recta que corta el eje x en el mismo punto que la línea vertical que modela su eje, pero en un ángulo agudo u obtuso .
- Un horociclo (una curva cuyas normales convergen asintóticamente en la misma dirección, su centro) se modela mediante:
- un círculo tangente al eje x (pero excluyendo el punto ideal de intersección, que es su centro)
- una línea paralela al eje x , en este caso el centro es el punto ideal en.
Sinopsis euclidiana
Un círculo euclidiano con centro y radio representa:
- cuando el círculo está completamente dentro del semiplano, un círculo hiperbólico con centro
- y radio
- cuando el círculo está completamente dentro del semiplano y toca el límite un horociclo centrado alrededor del punto ideal
- cuando el círculo se cruza con el límite ortogonal una línea hiperbólica
- cuando el círculo se cruza con el límite no ortogonal, un hiperciclo.
Construcciones con brújula y regla
Así es como se pueden usar construcciones de compás y regla en el modelo para lograr el efecto de las construcciones básicas en el plano hiperbólico . [2] Por ejemplo, cómo construir el semicírculo en el semiplano euclidiano que modela una línea en el plano hiperbólico a través de dos puntos dados.
Creando la línea a través de dos puntos existentes
Dibuja el segmento de línea entre los dos puntos. Construye la bisectriz perpendicular del segmento de recta. Encuentre su intersección con el eje x . Dibuja el círculo alrededor de la intersección que pasa por los puntos dados. Borre la parte que está sobre o debajo del eje x .
O en el caso especial donde los dos puntos dados se encuentran en una línea vertical, dibuje esa línea vertical a través de los dos puntos y borre la parte que está en o debajo del eje x .
Creando el círculo a través de un punto con centro en otro punto
- Si los dos puntos no están en una línea vertical:
Dibuja la línea radial (semicírculo) entre los dos puntos dados como en el caso anterior. Construya una tangente a esa línea en el punto no central. Suelta una perpendicular desde el punto central dado hasta el eje x . Encuentre la intersección de estas dos líneas para obtener el centro del círculo modelo. Dibuja el círculo modelo alrededor de ese nuevo centro y pasa por el punto no central dado.
- Si los dos puntos dados se encuentran en una línea vertical y el centro dado está por encima del otro punto dado:
Dibuja un círculo alrededor de la intersección de la línea vertical y el eje x que pasa por el punto central dado. Dibuja una línea horizontal a través del punto no central. Construya la tangente al círculo en su intersección con esa línea horizontal.
El punto medio entre la intersección de la tangente con la línea vertical y el punto no central dado es el centro del círculo modelo. Dibuja el círculo modelo alrededor de ese nuevo centro y pasa por el punto no central dado.
- Si los dos puntos dados se encuentran en una línea vertical y el centro dado está debajo del otro punto dado:
Dibuja un círculo alrededor de la intersección de la línea vertical y el eje x que pasa por el punto central dado. Dibuja una línea tangente al círculo que pasa por el punto no central dado. Dibuja una línea horizontal a través de ese punto de tangencia y encuentra su intersección con la línea vertical.
El punto medio entre esa intersección y el punto no central dado es el centro del círculo del modelo. Dibuja el círculo modelo alrededor de ese nuevo centro y pasa por el punto no central dado.
Dado un círculo, encuentre su centro (hiperbólico)
Suelta una p perpendicular desde el centro euclidiano del círculo hasta el eje x .
Sea el punto q la intersección de esta línea y el eje x .
Dibuja una línea tangente al círculo que pasa por q .
Dibuja el semicírculo h con centro q pasando por el punto donde se unen la tangente y el círculo.
El centro (hiperbólico) es el punto donde h y p se cruzan. [3]
Otras construcciones
- Creando el punto que es la intersección de dos líneas existentes, si se cruzan:
Encuentra la intersección de los dos semicírculos (o líneas verticales) dados.
- Creando uno o dos puntos en la intersección de una línea y un círculo (si se cruzan):
Encuentra la intersección del semicírculo dado (o línea vertical) con el círculo dado.
- Creando uno o dos puntos en la intersección de dos círculos (si se cruzan):
Encuentra la intersección de los dos círculos dados.
Grupos de simetría
El grupo lineal proyectivo PGL (2, C ) actúa sobre la esfera de Riemann mediante las transformaciones de Möbius . El subgrupo que mapea el semiplano superior, H , sobre sí mismo es PSL (2, R ), las transformadas con coeficientes reales, y estos actúan de forma transitiva e isométrica en el semiplano superior, convirtiéndolo en un espacio homogéneo .
Hay cuatro grupos de Lie estrechamente relacionados que actúan en el semiplano superior mediante transformaciones lineales fraccionarias y preservan la distancia hiperbólica.
- El grupo lineal especial SL (2, R ) que consiste en el conjunto de matrices 2 × 2 con entradas reales cuyo determinante es igual a +1. Tenga en cuenta que muchos textos (incluida Wikipedia) suelen decir SL (2, R ) cuando en realidad se refieren a PSL (2, R ).
- El grupo S * L (2, R ) formado por el conjunto de matrices 2 × 2 con entradas reales cuyo determinante es igual a +1 o −1. Tenga en cuenta que SL (2, R ) es un subgrupo de este grupo.
- El grupo lineal especial proyectivo PSL (2, R ) = SL (2, R ) / {± I }, que consta de las matrices en SL (2, R ) módulo más o menos la matriz identidad.
- El grupo PS * L (2, R ) = S * L (2, R ) / {± I } = PGL (2, R ) es nuevamente un grupo proyectivo, y nuevamente, módulo más o menos la matriz de identidad. PSL (2, R ) está contenido como un subgrupo normal de índice dos, siendo la otra clase lateral el conjunto de matrices 2 × 2 con entradas reales cuyo determinante es igual a -1, módulo más o menos la identidad.
La relación de estos grupos con el modelo de Poincaré es la siguiente:
- El grupo de todas las isometrías de H , a veces denotado como Isom ( H ), es isomorfo a PS * L (2, R ). Esto incluye tanto las isometrías que conservan la orientación como las que invierten la orientación. El mapa de inversión de orientación (el mapa de espejo) es.
- El grupo de isometrías que conservan la orientación de H , a veces denotado como Isom + ( H ), es isomorfo a PSL (2, R ).
Los subgrupos importantes del grupo de isometría son los grupos fucsianos .
También se ve con frecuencia el grupo modular SL (2, Z ). Este grupo es importante de dos formas. Primero, es un grupo de simetría del retículo de puntos cuadrado 2x2 . Por lo tanto, las funciones que son periódicas en una cuadrícula, como las formas modulares y las funciones elípticas , heredarán una simetría SL (2, Z ) de la cuadrícula. En segundo lugar, SL (2, Z ) es, por supuesto, un subgrupo de SL (2, R ) y, por tanto, tiene un comportamiento hiperbólico incrustado en él. En particular, SL (2, Z ) puede usarse para teselar el plano hiperbólico en celdas de área igual (Poincaré).
Simetría isométrica
La acción grupal del grupo lineal especial proyectivo en es definido por
Tenga en cuenta que la acción es transitiva : para cualquier, existe un tal que . También es fiel, en que si para todos entonces g = e .
El estabilizador o subgrupo de isotropía de un elemento. es el conjunto de que dejan z sin cambios: gz = z . El estabilizador de i es el grupo de rotación
Dado que cualquier elemento se asigna a i por algún elemento de, esto significa que el subgrupo de isotropía de cualquier z es isomorfo a SO (2). Por lo tanto,. Alternativamente, el paquete de vectores tangentes de longitud unitaria en el semiplano superior, llamado paquete unitario tangente , es isomorfo a.
El semiplano superior está teselado en conjuntos regulares libres por el grupo modular
Geodésicas
Las geodésicas para este tensor métrico son arcos circulares perpendiculares al eje real (semicírculos cuyo origen está en el eje real) y líneas verticales rectas que terminan en el eje real.
La geodésica de velocidad unitaria que sube verticalmente, a través del punto i, está dada por
Debido a que PSL (2, R ) actúa de manera transitiva por isometrías del semiplano superior, esta geodésica se mapea en las otras geodésicas mediante la acción de PSL (2, R ). Por lo tanto, la geodésica de velocidad unitaria general está dada por
Esto proporciona una descripción básica del flujo geodésico en el haz tangente de longitud unitaria ( haz de líneas complejas ) en el semiplano superior. A partir de este modelo, se puede obtener el flujo en superficies arbitrarias de Riemann , como se describe en el artículo sobre el flujo de Anosov .
El modelo en tres dimensiones
La métrica del modelo en el medio espacio.
es dado por
donde s mide la longitud a lo largo de una línea posiblemente curva. Las líneas rectas en el espacio hiperbólico ( geodésicas para este tensor métrico, es decir, curvas que minimizan la distancia) están representadas en este modelo por arcos circulares normales al plano z = 0 (semicírculos cuyo origen está en el z = 0 - plano) y rayos verticales rectos normales al plano z = 0 .
La distancia entre dos puntos medidos en esta métrica a lo largo de dicha geodésica es:
El modelo en n dimensiones
Este modelo se puede generalizar para modelar un espacio hiperbólico dimensional reemplazando el número real x por un vector en un espacio vectorial euclidiano de n dimensiones.
Ver también
- Ángulo de paralelismo
- Flujo anosov
- Grupo fucsia
- Modelo fucsia
- Movimiento hiperbólico
- Modelo kleiniano
- Modelos del plano hiperbólico
- Pseudoesfera
- Teorema de Schwarz-Ahlfors-Pick
- Teorema ultraparalelo
Referencias
- Notas
- ^ "Fórmula de distancia para puntos en el modelo de medio plano de Poincaré en una" geodésica vertical " " . stackexchange de matemáticas. 6 de agosto de 2015 . Consultado el 19 de septiembre de 2015 .
- ^ Bochaca, Judit Abardia. "Herramientas para trabajar con el modelo Half-Plane" . Herramientas para trabajar con el modo Half-Plane . Consultado el 25 de junio de 2015 .
- ^ Sabores de Geometría, Publicaciones de MSRI, Volumen 31, 1997, Geometría hiperbólica, JW Cannon, WJ Floyd, R. Kenyon y WR Parry, página 87, Figura 19. Construcción del centro hiperbólico de un círculo
- Fuentes
- Eugenio Beltrami , Teoria fondamentale degli spazi di curvatura constante , Annali di Matematica Pura ed Applicata , ser II 2 (1868), 232–255
- Henri Poincaré (1882) "Théorie des Groupes Fuchsiens", Acta Mathematica v.1, p. 1. Primer artículo de una serie legendaria que explota el modelo de semiplano. Una copia archivada está disponible gratuitamente. En la página 52 se puede ver un ejemplo de los diagramas de semicírculo tan característicos del modelo.
- Hershel M. Farkas e Irwin Kra , Riemann Surfaces (1980), Springer-Verlag, Nueva York. ISBN 0-387-90465-4 .
- Jürgen Jost , Compact Riemann Surfaces (2002), Springer-Verlag, Nueva York. ISBN 3-540-43299-X (consulte la sección 2.3) .
- Saul Stahl, El medio plano de Poincaré , Jones y Bartlett, 1993, ISBN 0-86720-298-X .
- John Stillwell (1998) Números y geometría , págs. 100-104, Springer-Verlag, NY ISBN 0-387-98289-2 . Una introducción elemental al modelo de semiplano de Poincaré del plano hiperbólico.