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
donde es
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
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.
Disco de Poincar Comprese las frmulas con la proyeccin estereogrfica entre una esfera y un plano.
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
donde
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
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/