Geometría elíptica

La geometría elíptica es un ejemplo de geometría en la que el postulado de las paralelas de Euclides no se cumple. En cambio, como en la geometría esférica , no hay líneas paralelas ya que dos líneas cualesquiera deben cruzarse. Sin embargo, a diferencia de la geometría esférica, generalmente se supone que dos líneas se cruzan en un solo punto (en lugar de dos). Debido a esto, la geometría elíptica descrita en este artículo a veces se denomina geometría elíptica simple , mientras que la geometría esférica a veces se denomina geometría elíptica doble .

La aparición de esta geometría en el siglo XIX estimuló el desarrollo de la geometría no euclidiana en general, incluida la geometría hiperbólica .

La geometría elíptica tiene una variedad de propiedades que difieren de las de la geometría plana euclidiana clásica. Por ejemplo, la suma de los ángulos internos de cualquier triángulo siempre es mayor que 180°.

Definiciones

En geometría elíptica, dos líneas perpendiculares a una línea dada deben cruzarse. De hecho, todas las perpendiculares de un lado se cruzan en un solo punto llamado polo absoluto de esa línea. Las perpendiculares del otro lado también se cruzan en un punto. Sin embargo, a diferencia de la geometría esférica, los polos de ambos lados son los mismos. Esto se debe a que no hay puntos antípodas en la geometría elíptica. Por ejemplo, esto se logra en el modelo hiperesférico (que se describe a continuación) haciendo que los "puntos" de nuestra geometría sean en realidad pares de puntos opuestos en una esfera. La razón para hacer esto es que permite que la geometría elíptica satisfaga el axioma de que hay una línea única que pasa por dos puntos cualesquiera.

Cada punto corresponde a una línea polar absoluta de la cual es el polo absoluto. Cualquier punto de esta línea polar forma un par conjugado absoluto con el polo. Tal par de puntos es ortogonal y la distancia entre ellos es un cuadrante . ^[1]^{: 89}

La distancia entre un par de puntos es proporcional al ángulo entre sus polares absolutos. ^[1]^{: 101}

Como explica HSM Coxeter :

El nombre "elíptica" posiblemente induzca a error. No implica ninguna conexión directa con la curva llamada elipse, sino sólo una analogía bastante descabellada. Una cónica central se llama elipse o hipérbola según no tenga asíntotas o tenga dos asíntotas . De manera análoga, se dice que un plano no euclidiano es elíptico o hiperbólico según que cada una de sus líneas no contenga ningún punto en el infinito o dos puntos en el infinito. ^[2]

Dos dimensiones

Plano elíptico

El plano elíptico es el plano proyectivo real provisto de una métrica . Kepler y Desargues utilizaron la proyección gnomónica para relacionar un plano σ con puntos de un hemisferio tangente a él. Con O como centro del hemisferio, un punto P en σ determina una línea OP que cruza el hemisferio, y cualquier línea L ⊂ σ determina un plano OL que corta el hemisferio en la mitad de un círculo máximo . El hemisferio está limitado por un plano que pasa por O y es paralelo a σ. Ninguna línea ordinaria de σ corresponde a este plano; en su lugar, se añade una línea en el infinito a σ . Como cualquier línea en esta extensión de σ corresponde a un plano que pasa por O , y dado que cualquier par de dichos planos se cruza en una línea que pasa por O , se puede concluir que cualquier par de líneas en la extensión se cruzan: el punto de intersección se encuentra donde el plano la intersección se encuentra con σ o la línea en el infinito. De esta manera se confirma el axioma de la geometría proyectiva, que requiere que todos los pares de líneas en un plano se crucen. ^[3]

Dados P y Q en σ , la distancia elíptica entre ellos es la medida del ángulo POQ , generalmente tomado en radianes. Arthur Cayley inició el estudio de la geometría elíptica cuando escribió "Sobre la definición de distancia". ^[4]^{: 82} Esta incursión en la abstracción en geometría fue seguida por Felix Klein y Bernhard Riemann, lo que condujo a la geometría no euclidiana y la geometría riemanniana .

Comparación con la geometría euclidiana

En la geometría euclidiana, una figura se puede ampliar o reducir de escala indefinidamente, y las figuras resultantes son similares, es decir, tienen los mismos ángulos y las mismas proporciones internas. En geometría elíptica, este no es el caso. Por ejemplo, en el modelo esférico podemos ver que la distancia entre dos puntos cualesquiera debe ser estrictamente menor que la mitad de la circunferencia de la esfera (porque se identifican puntos antípodas). Por lo tanto, un segmento de línea no se puede ampliar indefinidamente.

Gran parte de la geometría euclidiana se traslada directamente a la geometría elíptica. Por ejemplo, el primero y el cuarto de los postulados de Euclides, de que hay una línea única entre dos puntos cualesquiera y que todos los ángulos rectos son iguales, se cumplen en la geometría elíptica. El postulado 3, de que se puede construir un círculo con cualquier centro y radio dados, falla si se considera que "cualquier radio" significa "cualquier número real", pero se cumple si se considera que significa "la longitud de cualquier segmento de línea dado". Por lo tanto, cualquier resultado en geometría euclidiana que se derive de estos tres postulados se cumplirá en geometría elíptica, como la proposición 1 del libro I de los Elementos , que establece que dado cualquier segmento de recta, se puede construir un triángulo equilátero con el segmento como base.

La geometría elíptica también es como la geometría euclidiana en que el espacio es continuo, homogéneo, isotrópico y sin límites. La isotropía está garantizada por el cuarto postulado, que todos los ángulos rectos son iguales. Como ejemplo de homogeneidad, observe que la proposición I.1 de Euclides implica que el mismo triángulo equilátero puede construirse en cualquier lugar, no sólo en lugares que sean especiales de alguna manera. La falta de límites se deriva del segundo postulado, la extensibilidad de un segmento de recta.

Una forma en que la geometría elíptica se diferencia de la geometría euclidiana es que la suma de los ángulos interiores de un triángulo es mayor que 180 grados. En el modelo esférico, por ejemplo, se puede construir un triángulo con vértices en los lugares donde los tres ejes de coordenadas cartesianos positivos intersecan la esfera, y sus tres ángulos internos miden 90 grados, lo que suma 270 grados. Para triángulos suficientemente pequeños, el exceso de 180 grados se puede hacer arbitrariamente pequeño.

El teorema de Pitágoras falla en la geometría elíptica. En el triángulo de 90°–90°–90° descrito anteriormente, los tres lados tienen la misma longitud y, en consecuencia, no satisfacen . El resultado pitagórico se recupera en el límite de pequeños triángulos. $a^{2}+b^{2}=c^{2}$

La relación entre la circunferencia de un círculo y su área es menor que en la geometría euclidiana. En general, el área y el volumen no se escalan como la segunda y tercera potencias de las dimensiones lineales.

Espacio elíptico (el caso 3D)

Nota: Esta sección utiliza el término "espacio elíptico" para referirse específicamente a la geometría elíptica tridimensional. Esto contrasta con la sección anterior, que trataba sobre geometría elíptica bidimensional. Los cuaterniones se utilizan para dilucidar este espacio.

El espacio elíptico se puede construir de forma similar a la construcción del espacio vectorial tridimensional: con clases de equivalencia . Se utilizan arcos dirigidos sobre grandes círculos de la esfera. Así como los segmentos de línea dirigidos son equipolentes cuando son paralelos, de la misma longitud y orientados de manera similar, los arcos dirigidos que se encuentran en círculos máximos son equipolentes cuando tienen la misma longitud, orientación y círculo máximo. Estas relaciones de equipolencia producen un espacio vectorial 3D y un espacio elíptico, respectivamente.

El acceso a la estructura del espacio elíptico se proporciona a través del álgebra vectorial de William Rowan Hamilton : imaginó una esfera como un dominio de raíces cuadradas de menos uno. Entonces la fórmula de Euler (donde r está en la esfera) representa el círculo máximo en el plano que contiene 1 y r . Los puntos opuestos r y – r corresponden a círculos con direcciones opuestas. Un arco entre θ y φ es equipolento con uno entre 0 y φ – θ. En el espacio elíptico, la longitud del arco es menor que π, por lo que los arcos pueden parametrizarse con θ en [0, π) o (–π/2, π/2]. ^[5] $\exp(\theta r)=\cos \theta +r\sin \theta$

Porque se dice que el módulo o norma de z es uno (Hamilton lo llamó tensor de z). Pero dado que r se extiende sobre una esfera en el espacio tridimensional, exp(θ r) se extiende sobre una esfera en el espacio 4, ahora llamada 3 esferas , ya que su superficie tiene tres dimensiones. Hamilton llamó cuaterniones a su álgebra y rápidamente se convirtió en una herramienta útil y celebrada de las matemáticas. Su espacio de cuatro dimensiones se desarrolla en coordenadas polares con t en los números reales positivos . $z=\exp(\theta r),\ z^{*}=\exp(-\theta r)\implies zz^{*}=1.$ $t\exp(\theta r),$

Al hacer trigonometría en la Tierra o en la esfera celeste , los lados de los triángulos son arcos de círculo máximo. El primer éxito de los cuaterniones fue la conversión de la trigonometría esférica al álgebra. ^[6] Hamilton llamó versor a un cuaternión de norma uno , y estos son los puntos del espacio elíptico.

Con $r$ fija, los versores

e^{ar},\quad 0\leq a<\pi

formar una línea elíptica . La distancia de a 1 $es$ . Para un versor arbitrario $u$ , la distancia será aquella θ para la cual $cos θ = ($ $u$ $+$ $u$ $*$ $)/2$ ya que esta es la fórmula para la parte escalar de cualquier cuaternión. $e^{ar}$

Un movimiento elíptico se describe mediante el mapeo de cuaterniones.

q\mapsto uqv,

donde

u

v

son versores fijos.

Las distancias entre puntos son las mismas que entre puntos de imagen de un movimiento elíptico. En el caso de que $u$ y $v$ sean cuaterniones conjugados entre sí, el movimiento es una rotación espacial y su parte vectorial es el eje de rotación. En el caso $u = 1,$ el movimiento elíptico se denomina traslación de Clifford recta o parataxia . El caso $v$ $= 1$ corresponde a la traducción de Clifford izquierda.

Las líneas elípticas que pasan por el versor $u$ pueden tener la forma

\lbrace ue^{ar}:0\leq a<\pi \rbrace

o para un fijo

r

\lbrace e^{ar}u:0\leq a<\pi \rbrace

Son las traslaciones de Clifford derecha e izquierda de $u$ a lo largo de una línea elíptica que pasa por 1. El espacio elíptico se forma a partir de $S 3$ identificando puntos antípodas. ^[7]

El espacio elíptico tiene estructuras especiales llamadas paralelos de Clifford y superficies de Clifford .

Los puntos versores del espacio elíptico se asignan mediante la transformada de Cayley a ℝ ³ para obtener una representación alternativa del espacio.

Espacios de dimensiones superiores

Modelo hiperesférico

El modelo hiperesférico es la generalización del modelo esférico a dimensiones superiores. Los puntos del espacio elíptico de n dimensiones son los pares de vectores unitarios $(x, - x)$ en R ^{n +1} , es decir, pares de puntos antípodas en la superficie de la bola unitaria en el espacio de dimensiones ( n + 1 ) ( la hiperesfera n -dimensional). Las líneas en este modelo son círculos máximos , es decir, intersecciones de la hiperesfera con hipersuperficies planas de dimensión n que pasan por el origen.

Geometría elíptica proyectiva

En el modelo proyectivo de geometría elíptica, los puntos del espacio proyectivo real de n dimensiones se utilizan como puntos del modelo. Esto modela una geometría elíptica abstracta que también se conoce como geometría proyectiva .

Los puntos del espacio proyectivo n -dimensional se pueden identificar con líneas que pasan por el origen en el espacio ( n + 1) -dimensional, y se pueden representar de forma no única mediante vectores distintos de cero en R ^{n +1} , en el entendido de que $u$ y $λ u$ , para cualquier escalar distinto de cero $λ$ , representan el mismo punto. La distancia se define usando la métrica.

d(u,v)=\arccos \left({\frac {|u\cdot v|}{\|u\|\ \|v\|}}\right);

es decir, la distancia entre dos puntos es el ángulo entre sus líneas correspondientes en R ^{n +1} . La fórmula de la distancia es homogénea en cada variable, con $d (λ u, μ v) = d (u, v)$ si $λ$ y $μ$ son escalares distintos de cero, por lo que define una distancia en los puntos del espacio proyectivo.

Una propiedad notable de la geometría elíptica proyectiva es que para dimensiones pares, como el plano, la geometría no es orientable . Borra la distinción entre rotación en sentido horario y antihorario identificándolas.

modelo estereográfico

Mediante proyección estereográfica se puede obtener un modelo que represente el mismo espacio que el modelo hiperesférico . Sea E ⁿ representar R ⁿ ∪ {∞}, es decir, un espacio real de $n$ dimensiones extendido por un solo punto en el infinito. Podemos definir una métrica, la métrica cordal , en E ⁿ por

\delta (u,v)={\frac {2\|u-v\|}{\sqrt {(1+\|u\|^{2})(1+\|v\|^{2})}}}

donde $u$ y $v$ son dos vectores cualesquiera en R ⁿ y es la norma euclidiana habitual. También definimos $\|\cdot \|$

\delta (u,\infty )=\delta (\infty ,u)={\frac {2}{\sqrt {1+\|u\|^{2}}}}.

El resultado es un espacio métrico en En , que representa la distancia a lo largo de una cuerda de los puntos correspondientes en ^el modelo hiperesférico, al que se asigna biyectivamente mediante proyección estereográfica. Obtenemos un modelo de geometría esférica si utilizamos la métrica

d(u,v)=2\arcsin \left({\frac {\delta (u,v)}{2}}\right).

La geometría elíptica se obtiene a partir de esto identificando los puntos antípodas $u$ y $- u / ‖ u ‖ 2$ , y tomando la distancia de $v$ a este par como el mínimo de las distancias de $v$ a cada uno de estos dos puntos.

Autoconsistencia

Debido a que la geometría elíptica esférica se puede modelar como, por ejemplo, un subespacio esférico de un espacio euclidiano, se deduce que si la geometría euclidiana es autoconsistente, también lo es la geometría elíptica esférica. Por tanto, no es posible probar el postulado de las paralelas basándose en los otros cuatro postulados de la geometría euclidiana.

Tarski demostró que la geometría euclidiana elemental es completa : existe un algoritmo que, para cada proposición, puede demostrar que es verdadera o falsa. ^[8] (Esto no viola el teorema de Gödel , porque la geometría euclidiana no puede describir una cantidad suficiente de aritmética para que se aplique el teorema. ^[9] ) Por lo tanto, se deduce que la geometría elíptica elemental también es autoconsistente y completa.

Ver también

Notas

^ ab Duncan Sommerville (1914) Los elementos de la geometría no euclidiana , capítulo 3 Geometría elíptica, págs. 88 a 122, George Bell & Sons
^ Coxeter 1969 94
^ HSM Coxeter (1965) Introducción a la geometría, página 92
^ Cayley, Arthur (1859), "Una sexta memoria sobre cuántica", Philosophical Transactions of the Royal Society of London , 149 : 61–90, doi : 10.1098/rstl.1859.0004 , ISSN 0080-4614, JSTOR 108690
^ Rafael Artzy (1965) Geometría lineal , Capítulo 3–8 Cuaterniones y tres espacios elípticos, págs. 186–94, Addison-Wesley
^ WR Hamilton (1844 a 1850) Sobre cuaterniones o un nuevo sistema de imaginarios en álgebra, Philosophical Magazine , enlace a la colección de David R. Wilkins en Trinity College, Dublín
^ Lemaître, Georges (1948), "Quaternions et espace elliptique", Pontificia Academia Scientiarum, Acta , 12 : 57–78, ISSN 0370-2138
^ Tarski (1951)
^ Franzén 2005, págs. 25-26.

Referencias

Alan F. Beardon, La geometría de grupos discretos , Springer-Verlag, 1983
HSM Coxeter (1942) Geometría no euclidiana , capítulos 5, 6 y 7: Geometría elíptica en 1, 2 y 3 dimensiones, University of Toronto Press , reeditado en 1998 por la Mathematical Association of America , ISBN 0-88385-522-4 .
HSM Coxeter (1969) Introducción a la geometría , §6.9 El plano elíptico, págs. John Wiley e hijos .
"Geometría elíptica", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
Felix Klein (1871) "Sobre la llamada geometría no euclidiana" Mathematische Annalen 4:573–625, traducido e introducido en John Stillwell (1996) Fuentes de geometría hiperbólica , Sociedad Matemática Estadounidense ISBN 0-8218-0529-0 .
Boris Odehnal "Sobre las congruencias isotrópicas de líneas en tres espacios elípticos"
Eduard Study (1913) Traductor de DH Delphenich, "Fundamentos y objetivos de la cinemática analítica", página 20.
Alfred Tarski (1951) Un método de decisión para álgebra y geometría elementales . Univ. de Prensa de California.
Franzen, Torkel (2005). Teorema de Gödel: una guía incompleta para su uso y abuso . AK Peters. ISBN 1-56881-238-8.
Alfred North Whitehead (1898) Álgebra universal Archivado el 3 de septiembre de 2014 en Wayback Machine , Libro VI Capítulo 2: Geometría elíptica, págs.

enlaces externos

Medios relacionados con la geometría elíptica en Wikimedia Commons