Disco de Poincar

Disco de Poincar
En geometra, el modelo del disco de Poincar, tambin llamado representacin conforme, es un modelo de la geometra hiperblica n-dimensional en el que los puntos de la geometra estn en un disco n-dimensional , o bola unitaria, y las lneas rectas de la geometra hiperblica son segmentos de crculos contenidos en el disco ortogonal a la frontera del disco, o bien dimetros del disco. Junto con el modelo de Klein y el modelo del semiespacio de Poincar, fue propuesto por Eugenio Beltrami quien utiliz estos modelos para mostrar que la geometra hiperblica era equiconsistente con la geometra euclidiana.

Mtrica
Si u y v son dos vectores en un espacio vectorial real n-dimensional R con la norma euclidiana usual, ambos de norma inferior a uno, entonces se puede definir un invariante isomtrico por
n

Disco de Poincar de gran rombitruncado {3,7} teselado.

donde es

denota la norma euclidiana usual. La funcin de distancia

Esta funcin de distancia est definida para cualesquiera dos vectores de norma inferior a uno, y el conjunto de tales vectores forman un espacio mtrico que es un modelo de espacio hiprblico de curvatura constante 1. El modelo tiene la propiedad conforme que el ngulo entre las dos curvas que se intersecan en el espacio hiprblico es el mismo que el ngulo en el modelo. El tensor mtrico asociado al disco de Poincar est dado por

Bola de Poincar en un 3-espacio hiperblico.

donde las xi son las coordenadas cartesianas del espacio eucldeo ambiente. Las geodsicas del modelo del disco son crculos perpendiculares a la esfera frontera Sn1.

Relacin con el modelo del hiperboloide

El modelo del disco de Poincar, as como el modelo de Klein, se relacionan con el modelo del hiperboloide proyectivamente. Dado un punto [t,x1,...,xn] sobre la hoja superior de un hiperboloide del modelo del hiperboloide, se define un punto del modelo del hiperboloide, que se puede proyectar sobre la hipersuperficie t=0 haciendo la interseccin con una lnea trazada desde [1, 0, ..., 0]. El resultado es el correspondiente punto del disco de Poincar. Para las coordenadas cartesianas (t,xi) del hiperboloide e (yi) del plano, las frmulas de conversin son :

Disco de Poincar Comprese las frmulas con la proyeccin estereogrfica entre una esfera y un plano.

Construcciones de geometra analtica en el plano hiperblico

Una construccin bsica de la geometra analtica es la de hallar una recta que pase por dos puntos dados. En el modelo del disco de Poincar, las rectas del plano se definen por porciones de crculos con ecuaciones de la forma

que es la forma general de un crculo ortogonal al crculo unitario, o sino por dimetros. Dados dos puntos u y v en el disco que no estn en un dimetro, se puede resolver para el crculo de esta forma pasando por ambos puntos, y obtener

Si los puntos u y v son puntos de la frontera del disco que no estn en los extremos de un dimetro, esto se simplifica a

ngulos
Puede calcularse el ngulo entre el arco circular cuyos extremos (puntos ideales) estn dados por vectores unitarios u y v, y el arco cuyos extremos son s y t, dada una frmula. Dado que los puntos ideales son los mismos en el modelo de Klein y en el modelo del disco de Poincar, las frmulas son idnticas para ambos modelos. Si las rectas de ambos modelos son dimetros, de modo que v = u y t = s, entonces meramente se encuentra el ngulo entre dos vectores unitarios, y la frmula para el ngulo es

Si v = u pero no t = s, la frmula se convierte, en trminos del producto exterior, en

donde

Si ambas cuerdas no son dimetros, la frmula general obtiene

donde

Utilizando la identidad de BinetCauchy y el hecho de que estos vectores son unitarios, las expresiones precedentes pueden rescribirse en trminos puramente del producto escalar, como

Disco de Poincar

Realizaciones artsticas
La edicin Circle Limit IV [1] por M.C. Escher, es una visualizacin artstica del disco de Poincar.

Referencias
James W. Anderson, Hyperbolic Geometry, second edition, Springer, 2005 Eugenio Beltrami, Teoria fondamentale degli spazii di curvatura costante, Annali. di Mat., ser II 2 (1868), 232-255 Saul Stahl, The Poincar Half-Plane, Jones and Bartlett, 1993

Referencias
[1] http:/ / www. mcescher. com/ Gallery/ recogn-bmp/ LW436. jpg

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Disco de Poincar Fuente: http://es.wikipedia.org/w/index.php?oldid=65355381 Contribuyentes: Jerowiki, Raulshc

Fuentes de imagen, Licencias y contribuyentes

Image:Hyperbolic tiling omnitruncated 3-7.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Hyperbolic_tiling_omnitruncated_3-7.png Licencia: Public Domain Contribuyentes: Davius, Jean-Christophe BENOIST, Kilom691, Marcus erronius, Stannic File:Hyperb icosahedral hc.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Hyperb_icosahedral_hc.png Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: Claudio Rocchini

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/