Anda di halaman 1dari 13

Universidad

Industrial de
Santander

Geometria Eliptica

Autor
Dario Arciniegas Vega

Presentado a
Sofia Pinzon Duran

Universidad Industrial de Santander


Facultad de Ciencias
Escuela de Matemticas
Bucaramanga
2015
ndice general

Introduccin 2

1. Preliminares 3
1.1. Los Elementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. El V postulado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2. Geometria Eliptica 8
2.1. Principales Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1
Introduccin

La aproximacin de Lobatchevsky y Bolyai a las geometras no euclidianas se hizo a travs


del cuestionamiento del V postulado, pero aceptando los restantes postulados de Euclides. El
postulado relativo a que los segmentos de recta se pueden extender indefinidamente en am-
bos sentidos no es tan evidente, y en efecto, fue por all que Bernhard Riemann (1826-1866)
logr abrirse paso hacia otro tipo de geometra. Poco tiempo despus de que los trabajos
de Lobatchevsky y Bolyai se conocieran, Riemann, en su trabajo de promocin a profesor
universitario, present un enfoque nuevo sobre geometras no euclidianas, originado en una
concepcin diferente de interpretar el concepto de recta.

La idea radica en diferenciar las rectas, entre las que se prolongan al infinito, y las que se
extienden indefinidamente. El ejemplo ms prximo, para interpretar esta idea, lo da el caso
del ecuador terrestre que es finito, pero que se prolonga indefinidamente en dos direcciones,
mientras que la recta euclidiana se supone infinita en ambas direcciones. Siguiendo esta idea
de rectas finitas pero extensibles indefinidamente, se entra a considerar el efecto que esta
suposicin tiene en relacin con el postulado de las paralelas.

2
Captulo 1

Preliminares

Los Elementos es considerado uno de los libros de texto ms divulgado en la historia y el


segundo en nmero de ediciones publicadas despus de la Biblia (ms de 1000). Durante
varios siglos, el quadrivium estaba incluido en el temario de los estudiantes universitarios,
y se exiga el conocimiento de este texto. An hoy se utiliza por algunos educadores como
introduccin bsica de la geometra.

En estos trece volmenes Euclides recopila gran parte del saber matemtico de su poca,
representados en el sistema axiomtico conocido como Postulados de Euclides, los cuales de
una forma sencilla y lgica dan lugar a la Geometra euclidiana.

1.1. Los Elementos


No hay ningn camino real a la geometra

Euclides

Hacia finales del siglo IV apareci publicado un libro titulado Los Elementos que inmortali-
zara a Euclides, el cual resumi en trece libros (que en la actualidad son conocidos simple-
mente como los trece captulos del libro) los desarrollos que haba logrado en esa poca la

3
primera rama fundamental de las matemticas:la Geometra plana. La obra qued dividida en
las siguientes secciones:

Libros I-IV: La Geometra de Tringulos y Crculos

Libros V-VI: Teora de las Proporciones Geomtricas

Libros VII-IX: Teora de los Nmeros

Libro X: Teora de los Nmeros Irracionales

Libros XI-XIII: Geometra Slida

Los elementos establecieron la metodologa rigurosa que an se utiliza hoy en da desde las
matemticas ms elementales de la escuela secundaria hasta las matemticas ms avanzadas
usadas en investigaciones y desarrollos en las universidades: se empieza con un conjunto de
definiciones y de axiomas con los cuales se empiezan a llevar a cabo demostraciones de otras
proposiciones cuya veracidad ya no es tan evidente, proposiciones llamadas teoremas.

Los fundamentos sobre los cuales Euclides construy su obra, sus diez postulados, son los
siguientes:

AXIOMAS DE LA GEOMETRIA EUCLIDEANA

Postulado 1: Entre dos puntos se puede trazar una lnea recta nica.

Postulado 2: Una lnea se puede extender indefinidamente en ambas direcciones.

Postulado 3: Se puede dibujar un crculo usando cualquier punto como centro, y el cual
puede tener cualquier radio.

Postulado 4: Todos los ngulos rectos son iguales entre s.

Postulado 5: Si dos lneas rectas, al intersectarse con una tercera, forman ngulos in-
ternos unilaterales cuya suma es menor a dos ngulos rectos (menor que 180 grados),

4
resulta ser que estas dos rectas, al prolongarlas ilimitadamente, se encontrarn por aqul
lado en el que esta suma es inferior a dos ngulos rectos.

Postulado 6: Dos cosas iguales a una tercera son iguales entre s.

Postulado 7: Si a iguales les sumamos iguales, las sumas resultantes sern tambin
iguales.

Postulado 8: Si a iguales les restamos iguales, los remanentes sern iguales.

Postulado 9: Figuras que se pueden hacer coincidir son iguales.

Postulado 10: El todo es mayor que la suma de sus partes.

1.2. El V postulado
Postlese... Y que si una recta al incidir
sobre dos rectas hace los ngulos internos del mismo
lado menores que dos ngulos rectos, las dos rectas
prolongadas indefinidamente se encontrarn en el lado
en el que estn los [[ngulos]] menores que dos rectos.

Euclides

Todos los teoremas de la geometria euclidiana se pueden obtener a partir de los 10 postulados
dados por Euclides.

Sin embargo, si volvemos a leer los diez postulados, resulta de inmediato que el quinto pos-
tulado parece ser demasiado elaborado, demasiado complicado. Lo cual genera de inmediato
una pregunta: no ser posible obtener dicho postulado combinando de varias maneras los
otros nueve postulados? A continuacin se muestra ms claramente lo que nos quiso decir
Euclides con su quinto postulado:

5
E
b

A b

m b

n
C b b

En el diagrama, si dos lneas rectas (en este caso la lnea AB y la lnea CD), las cuales ob-
viamente no son lneas paralelas, al intersectarse con una tercera (en este caso la lnea EF),
forman ngulos internos unilaterales cuya suma es menor a dos ngulos rectos (obsrvese
que la suma de los ngulos internos m y n es menor que 180 grados, lo cual se puede verificar
midiendo los ngulos con un transportador y sumndolos), al prolongarlas ilimitadamente, se
cruzarn por aqul lado en el que esta suma es inferior a dos ngulos rectos, o sea que en este
caso al ser prolongadas se encontrarn por el lado derecho.

Unos 22 siglos despus de que se escribieran los Elementos por fin se llega a una conclusin:
el V postulado es independiente de los otros cuatro. Y se llega a esta respuesta mediante un
camino sorprendente. La prueba de la independencia del V postulado lleva implcita la po-
sibilidad de que existan geometras en los que no se cumple este postulado. Dicho de otro
modo: desde el punto de vista lgico no hay contradiccin ninguna en suponer que por un
punto exterior a una recta puedan pasar ms de una paralela a la recta, o incluso ninguna.

Parece difcil comprender esta afirmacin, puesto que en la experiencia comn sabemos que
(excepto errores de dibujo), el V postulado es cierto. Para comprenderlo debemos hacer un
esfuerzo de abstraccin por intentar olvidar nuestro significado intuitivo de qu es una recta
y acudir nicamente a las definiciones de Euclides.

6
Una lnea es una longitud sin ancho (Elementos, Libro I, Definiciones, 2).

Una lnea recta es aquella que yace por igual respecto de los puntos que estn en ella
(Elementos, Libro I, Definiciones, 4).

Son rectas paralelas las que estando en el mismo plano y siendo prolongadas indefinida-
mente en ambos sentidos, no se encuentran una a otra en ninguno de ellos (Elementos,
Libro I, Definiciones, 23).

Postlese el trazar una lnea recta desde un punto cualquiera hasta un punto cualquiera
(Elementos, Libro I, Postulados, 1).

De todas formas, dado que es ms sencillo para nuestro propsito, consideraremos la defini-
cin dada por Arqumedes en "Sobre la esfera y el cilindro": la recta es la ms corta de todas
las lneas que tienen los mismos extremos.

Ahora bien, excepto porque tenemos una nocin de recta y de plano que nos permiten com-
probar que esas nociones encajan en las definiciones dadas, stas son demasiado difusas
desde el punto de vista lgico como para considerar que no puedan ser vlidas otras interpre-
taciones. Por ejemplo, si consideramos una superficie esfrica y le damos la denominacin
de plano, encaja perfectamente en las definiciones de plano. En este caso, una recta debera
de ser (en virtud de lo dicho, en especial de la propiedad de ser la lnea ms corta) el trozo de
circunferencia mxima (es decir, una circunferencia que pasa por dos puntos diametralmente
opuestos de la superficie esfrica) que pasa por dos puntos dados. En tal situacin, por un
punto exterior a una recta no pasara ninguna recta paralela a la dada.

7
Captulo 2

Geometria Eliptica

En 1867, se publico la conferencia que Bernhard Riemann haba pronunciado aos atrs en
la Universidad de Gttingen, titulada ber die Hypothesen, welche der Geometrie zu Grunde
liegen (Sobre las Hiptesis detrs de los Fundamentos de la Geometra) y en la que sugera la
idea de un tipo importante de geometria no euclidiana, distinguiendo entre espacio ilimitado
y espacio infinito.

2.1. Principales Caractersticas


Considere la grafica siguiente, en la que se muestran los puntos Q que se desplazan a la
derecha y los puntos R movindose hacia la izquierda sobre la recta L, puntos que a su vez
generan familias de rectas, que unen estos puntos,con el punto P exterior a L.

P
b

L b b
b b

R R1 Q1 Q

En la concepcin de Riemann, las rectas originadas cuando el punto Q se desplaza a la derecha, vuelven a salir por la izquierda. As mismo

las rectas RP originadas cuando R se mueve a la izquierda, vuelven a salir por la derecha. En ningn caso las rectas que pasan por el punto

exterior P, se vuelven paralelas a la recta L.

8
En la geometra euclidiana veamos que estas rectas tienden a una recta nica, la recta para-
lela a L que pasa por P. En las geometras no euclidianas, vistas en la seccin anterior, segn
como se muevan las rectas, ellas se aproximan a dos rectas distintas. En la visin de Riemann
las rectas que van por la derecha vuelven a salir por la izquierda a iniciar un nuevo ciclo y de
modo similar, las rectas que van hacia la izquierda saldrn por la derecha, y en ningn caso
logran ser paralelas a L.

La conclusin a la que se llega, es que en este enfoque no hay paralelas a L que pasen por el
punto P. Como si esto no fuera suficiente, Riemann propuso algo todava ms revolucionario,
considerar que dos puntos P y Q podran determinar ms de una recta. Queremos recalcar
aqu, que estas consideraciones hechas en torno a las variantes de los axiomas de Euclides
tienen un carcter puramente lgico, y si este sistema extrao tiene un modelo en la reali-
dad es materia para consideraciones de otra ndole. La motivacin de Riemann para llegar
a su nueva geometra, tuvo que ver con consideraciones relacionadas con una geometra pa-
ra la superficie de una esfera, en donde las rectas sern circunferencias mximas, es decir,
intersecciones de la superficie con planos que pasan por el centro de la esfera. Estas rectas,
determinan la menor distancia entre dos puntos distintos de la esfera.

Se puede decir que geometra de Riemann tiene teoremas comunes con la Euclidiana. Este
es el caso, por ejemplo del teorema que afirma: ngulos opuestos por el vrtice tienen la
misma medida. Similarmente: en todo tringulo a lados iguales, se opone ngulos iguales.
La razn de que estos teoremas valgan en las dos geometras se debe al hecho que se derivan
de axiomas comunes a las dos.

Sin embargo, otros resultados de la geometra de Riemann, rien con similares de la geome-
tra euclidiana, como:

9
1. Todas las perpendiculares a una recta dada, se encuentran en un punto; estas rectas en
la geometra euclidianas seran paralelas.

En la geometra de Riemann, las perpendiculares a una misma recta se encuentran en un punto. Por ejemplo los meridianos son

perpendiculares al Ecuador y se encuentran en el Polo Norte.

2. Dos rectas encierran una superficie. Esto se muestra en la figura. Este hecho se puede
visualizar, por ejemplo, en los llamados husos horarios, que ocurren en la asignacin
de la hora en referencia al meridiano de Greenwich. Por ejemplo Colombia est en el
mismo huso horario que Miami y Nueva York. Los husos horarios corresponden a las
reas entre dos meridianos sucesivos.

En la geometra de Riemann dos rectas encierran una superficie, como es el caso de dos meridianos consecutivos de la tierra que

encierran lo que se llama un huso horario.

3. En la geometra de Euclides: Dados tres puntos distintos A, B y C de una recta, slo


uno de ellos est en medio de los otros dos

b
A b
B b
C

10
En la geometra de Riemann: Dados tres puntos arbitrarios C, D, E, distintos en una
recta, hay tres casos que se cumplen simultneamente, a saber: a) D est entre E y C;
b) C est entre D y E; c) E est entre C y D

C E
b
b
D b

Teoremas que sorprenden son los siguientes: La suma de los ngulos interiores de un tringu-
lo mide ms de 180o , y, entre dos tringulos, el que tiene mayor suma angular, tiene la mayor
rea.

En relacin al propsito de la geometra riemanniana, ms all de lo que podra interpretar-


se como mera especulacin de los matemticos, nos podemos preguntar si la geometra de
Riemann tiene algn modelo donde ella pueda validarse, o un mundo que pueda visualizarse
con esta geometra. La respuesta es afirmativa y el modelo lo tenemos ms cerca de lo que
pensamos: la geometra de Riemann se visualiza en el mundo fsico que nos rodea, donde las
rectas, los ngulos, los tringulos y el concepto de distancia se acomodan a lo que dictamina
la geometra de Riemann; la esfera es el modelo preciso y la tierra que se asemeja a una esfera
sirve de modelo a esta geometra.

La curva que conecta dos puntos de la esfera de tal modo que su distancia sea mnima,
es el arco de la circunferencia mxima que pasa por esos dos puntos y tal que su centro
coincide con el de la esfera. Estos arcos se asemejan a los segmentos de recta en la geometra
euclidiana.

11
2.2. Conclusiones
Por aos se nos ha enseado que una afirmacin no puede ser falsa y verdadera al mismo
tiempo. No hay nada que sea medianamente falso y medianamente verdadero a la vez, o la
proposicin es totalmente falsa o es totalmente verdadera. Esta "verdad evidente.es conocida
dentro de la lgica como "la ley del medio excludo".

La geometra Euclideana nos dice que por un punto exterior a una recta dada slo es posible
trazar una paralela a dicha recta.

Pero la geometra elptica, de la cual la geometra esfrica es un caso especial, nos dice que
simple y sencillamente no es posible trazar ni siquiera una paralela a otra recta por un punto
exterior a dicha recta.

Por su parte, la geometra hiperblica nos dice que no slo es posible trazar una paralela a
una recta por un punto exterior a la misma, sino que inclusive es posible trazar ms de una
recta paralela a otra recta dada a travs de un punto exterior a la misma.

Si en el universo en que vivimos solo una de las geometras puede ser la correcta, lo cual
hara a las dems geometras falsas, entonces cul de todas es la geometra verdadera? O
ser posible que todas sean igualmente ciertas en el universo en el que vivimos? Ser posible
que tres enunciados contradictorios sean sin embargo verdaderos a la vez?

12