Disco de Poincaré

Disco de Poincaré
Disco de Poincaré de gran rombitruncado {3,7} teselado.
Bola de Poincaré en un 3-espacio hiperbólico.

En geometría, el modelo del disco de Poincaré, también llamado representación conforme, es un modelo de la geometría hiperbólica n-dimensional en el que los puntos de la geometría están en un disco n-dimensional , o bola unitaria, y las líneas rectas de la geometría hiperbólica son segmentos de círculos contenidos en el disco ortogonal a la frontera del disco, o sino diámetros 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 geometría hiperbólica era equiconsistente con la geometría euclidiana.

Contenido

Métrica

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

\delta (u, v) = 2 \frac{\lVert u-v \rVert^2}{(1-\lVert u \rVert^2)(1-\lVert v \rVert^2)},\,

donde \lVert \cdot \rVert denota la norma euclidiana usual. La función de distancia es

d(u, v) = \operatorname{arccosh} (1+\delta (u,v)).\,

Esta función de distancia está definida para cualesquiera dos vectores de norma inferior a uno, y el conjunto de tales vectores forman un espacio métrico que es un modelo de espacio hipérbólico de curvatura constante −1. El modelo tiene la propiedad conforme que el ángulo entre las dos curvas que se intersecan en el espacio hipérbólico es el mismo que el ángulo en el modelo.

El tensor métrico asociado al disco de Poincaré está dado por

ds^2 = 4 \frac{\sum_i dx_i^2}{(1-\sum_i x_i^2)^2}

donde las xi son las coordenadas cartesianas del espacio euclídeo ambiente. Las geodésicas del modelo del disco son círculos perpendiculares a la esfera frontera Sn−1.

Relación 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 intersección con una línea 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 fórmulas de conversión son :

y_i = \frac{x_i}{1 + t}
(t, x_i) = \frac {\left( 1+\sum{y_i^2},\, 2 y_i \right)} {1-\sum{y_i^2}}

Compárese las fórmulas con la proyección estereográfica entre una esfera y un plano.

Construcciones de geometría analítica en el plano hiperbólico

Una construcción básica de la geometría analítica 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 círculos con ecuaciones de la forma

x^2 + y^2 + a x + b y + 1 = 0,\,

que es la forma general de un círculo ortogonal al círculo unitario, o sino por diámetros. Dados dos puntos u y v en el disco que no estén en un diámetro, se puede resolver para el círculo de esta forma pasando por ambos puntos, y obtener

\begin{align} & {} \quad x^2 + y^2 + \frac{u_2(v_1^2+v_2^2)-v_2(u_1^2+u_2^2)+u_2-v_2}{u_1v_2-u_2v_1}x \\[8pt] & {} + \frac{v_1(u_1^2+u_2^2)-u_1(v_1^2+v_2^2)+v_1-u_1}{u_1v_2-u_2v_1}y + 1 = 0. \end{align}

Si los puntos u y v son puntos de la frontera del disco que no están en los extremos de un diámetro, esto se simplifica a

x^2+y^2+\frac{2(u_2-v_2)}{u_1v_2-u_2v_1}x - \frac{2(u_1-v_1)}{u_1v_2-u_2v_1}y + 1 = 0.

Ángulos

Puede calcularse el ángulo entre el arco circular cuyos extremos (puntos ideales) están dados por vectores unitarios u y v, y el arco cuyos extremos son s y t, dada una fórmula. Dado que los puntos ideales son los mismos en el modelo de Klein y en el modelo del disco de Poincaré, las fórmulas son idénticas para ambos modelos.

Si las rectas de ambos modelos son diámetros, de modo que v = −u y t = −s, entonces meramente se encuentra el ángulo entre dos vectores unitarios, y la fórmula para el ángulo θ es

\cos(\theta) = u \cdot s.\,

Si v = −u pero no t = −s, la fórmula se convierte, en términos del producto exterior, en

\cos^2(\theta) = \frac{P^2}{QR},

donde

P = u \cdot (s-t),\,
Q = u \cdot u,\,
R = (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t).\,

Si ambas cuerdas no son diámetros, la fórmula general obtiene

\cos^2(\theta) = \frac{P^2}{QR},

donde

P = (u-v) \cdot (s-t) - (u \wedge v) \cdot (s \wedge t),\,
Q = (u-v) \cdot (u-v) - (u \wedge v) \cdot (u \wedge v),\,
R = (s-t) \cdot (s-t) - (s \wedge t) \cdot (s \wedge t).\,

Utilizando la identidad de Binet–Cauchy y el hecho de que estos vectores son unitarios, las expresiones precedentes pueden rescribirse en términos puramente del producto escalar, como

P = (u-v) \cdot (s-t) + (u \cdot t)(v \cdot s) - (u \cdot s)(v \cdot t),\,
Q = (1 - u \cdot v)^2,\,
R = (1 - s \cdot t)^2.\,

Realizaciones artísticas

La edición Circle Limit IV por M.C. Escher, es una visualización artística del disco de Poincaré.

Véase también

  • Geometría hiperbólica
  • Modelo de Klein
  • Semiplano de Poincaré
  • Métrica de Poincaré
  • Pseudoesfera
  • Modelo del hiperboloide
  • Geometría inversiva
  • Teselados uniformes en plano hiperbólico

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

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Horociclo — Disco de Poincaré. En azul: horociclo. En rojo: normales que convergen asintóticamente al punto superior central. En geometría hiperbólica, un horociclo (también llamado oriciclo u oricírculo) del griego όριο + κύκλος, es una curva cuyas normales …   Wikipedia Español

  • Geometría hiperbólica — La geometría hiperbólica (o lobachevskiana) es un modelo de geometría que satisface solo los cuatro primeros postulados de la geometría euclidiana. Aunque es similar en muchos aspectos y muchos de los teoremas de la geometría euclidiana siguen… …   Wikipedia Español

  • Pseudoesfera — Saltar a navegación, búsqueda Pseudoesfera Tractriz (curva en azul) …   Wikipedia Español

  • Teselado regular — Un teselado regular, teselación regular o teselado con polígonos regulares es una teselación o teselado del plano que emplea un solo tipo de polígonos regulares,[1] que ha sido ampliamente utilizada desde la antigüedad. Solo son posibles… …   Wikipedia Español

  • Historia del electromagnetismo — La Historia del electromagnetismo, que es el conocimiento y el uso registrado de las fuerzas electromagnéticas, data de hace más de dos mil años. En la antigüedad ya estaban familiarizados con los efectos de la electricidad atmosférica, en… …   Wikipedia Español

  • Teorema de la bola peluda — Si un campo vectorial sobre una esfera se simboliza por pelos de longitud constante, el teorema de la bola peluda estipula que la esfera contiene al menos un rizo. La figura contiene dos, uno en cada polo. En matemática, y más precisamente en… …   Wikipedia Español

  • Les Trois-Maisons (Meurthe-et-Moselle) — Nancy  Cet article concerne la ville française. Pour les autres significations, voir Nancy (homonymie). Nancy Vue de la place Stanislas …   Wikipédia en Français

  • Nancy — Cet article concerne la ville française. Pour les autres significations, voir Nancy (homonymie). 48° 41′ 37″ N 6° 11′ 05″  …   Wikipédia en Français

  • Notre-Dame-de-Bon-Secours (Meurthe-et-Moselle) — Nancy  Cet article concerne la ville française. Pour les autres significations, voir Nancy (homonymie). Nancy Vue de la place Stanislas …   Wikipédia en Français

  • Ion Barbu — Ion Barbu. Ion Barbu es el seudónimo del matemático y poeta rumano Dan Barbilian, considerado uno de los mejores poetas rumanos del siglo XX. Su obra fue apreciada por los críticos desde su debut y Alexandru Ciorănescu (también conocido como… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”