Vous êtes sur la page 1sur 19

UNIVERSIDAD ABIERTA Y A DISTANCIA DE

MXICO
LICENCIATURA EN MATEMTICAS
DCIMO CUATRIMESTRE

GEOMETRAS NO EUCLIDEANAS
Asignacin a cargo del Facilitador.

FACILITADOR: Mara del Pilar Piones Contreras


ALUMNO: Carlos Alberto Carlos Delgado
FECHA: 7 de Diciembre del 2014

1.
Qu significa la independencia del postulado de las paralelas?
Solucin:
En su obra, Euclides presenta 5 postulados de los cuales parte para obtener
nuevos resultados. El quinto de estos postulados, fue bastante polmico porque
no pareca que fuera una proposicin o verdad evidente, es decir, pareca que
dicha proposicin tendra que ser demostrada. Si esto fuera el caso, entonces
dicho postulado se debera tratar ms bien como un teorema y su
demostracin, al igual que los dems teoremas de la geometra, debera
fundamentarse en los otros cuatro postulados (no necesariamente todos). Por
tanto, si el quinto postulado fuera en realidad un teorema, la prueba del
mismo dependera de los otros postulados y es por ello que a esto se le llama la
dependencia del quinto postulado. Durante mucho tiempo se intent demostrar
o deducir dicha proposicin a partir de las otras cuatro, sin embargo la
bsqueda fue infructuosa. De esto hecho se acepta ahora que el quinto
postulado es independiente de los otros, es decir, que no es posible deducirlo o
demostrar tal proposicin a partir de los otros cuatro. Lo trascendente de esto
es que, dada la independencia, se han construido otras geometras a partir de
suprimir dicho postulado, o sustituirlo por su negacin. Dichas geometras
seran la elptica y la hiperblica respectivamente de las cuales, la ltima,
estudiamos en el presente curso.
2.

Describe el modelo de Poincar de la forma ms clara posible, intenta


hacer como si lo explicaras a alguien con conocimientos mnimos de
geometra de secundaria.
Solucin:
Comenzamos por definir el concepto de paralelas: dos lneas son paralelas si
por ms que se prolonguen jams se cruzan. Ahora en el plano euclideo, esto
significa que si dos lneas son paralelas, estas deben equidistar en todo punto
para garantizar que no se crucen. Sin embargo, en la geometra hiperblica dos
lneas son paralelas pero no necesariamente son equidistantes, una
representacin aproximada de esto sera:

Ntese como aqu tanto la lnea azul como la verde jams se cruzan con la
lnea roja por ms que se prolonguen por lo que, por definicin, sern paralelas
a la lnea roja. Ahora, en nuestra ilustracin las lneas azul y verde no nos
parecen rectas sino ms bien Curvas pero esto es porque es una
representacin hecha de todas maneras en un plano euclideo. Entonces,
podramos necesitar un modelo para representar la geometra hiperblica, es
decir, la geometra donde por un punto exterior a una lnea pasan por lo menos
dos paralelas como la lnea azul y verde de la figura anterior.
Existen varios modelos para representar dicha geometra, como el semiplano
hiperblico y el disco de Poincar. Este ltimo consiste en un disco, es decir,
el conjunto de puntos interiores a un crculo que podemos suponer de radio
igual a 1 pero no necesariamente con esta medida. Ahora, algo importante de
este modelo es que los puntos del contorno del crculo, no pertenecen al plano
hiperblico. Estos puntos los consideramos como un lmite al infinito, es decir,
nos podemos acercar al contorno cuanto queramos, lo que tambin quiere
decir que entre un punto dentro de la circunferencia y el borde, habr una
cantidad infinita de puntos. En el plano euclidiano, a menudo no
representamos este lmite y decimos que una lnea se extiende hasta el
infinito; pues precisamente, una ventaja con el modelo de Poincar es
representar todo el plano hiperblico hasta el infinito.
De lo anterior el modelo de Poincar sera:

En el modelo de Poincar, las lneas rectas tienen dos representaciones. En la


figura anterior, m , que es un dimetro del disco, es una lnea recta. Esta
recta, como es natural, se extiende hasta el infinito en ambos sentidos lo que
implica que el lmite son los puntos rojos sobre el borde del disco. Desde

luego, la recta se prolonga indefinidamente y jams toca el borde, es decir, los


puntos en los extremos de la figura anterior, no pertenecen a la recta y esto
indica que entre cualquier punto de esta lnea y uno de estos puntos de la
frontera, hay infinitos puntos igual que en una lnea del espacio euclidiano, es
decir, debemos pensar que esta lnea que aqu hemos representado, tiene
infinitos puntos o se extiende al infinito. Luego, la otra forma de representar
una lnea es mediante un arco de circunferencia que interseca al disco. Dicha
circunferencia debe ser ortogonal a la circunferencia que delimita el disco.
Esto quiere decir que si prolongamos el radio del disco de Poincar, dicha
prolongacin ser tangente a la otra circunferencia en uno de los puntos de
interseccin, adems, si prolongamos el radio de la otra circunferencia, dicha
prolongacin ser tangente al disco en el mismo punto de interseccin,
grficamente esto es:

Entonces, otra lnea recta en el modelo de Poincar sera la lnea

l:

Al igual que la lnea

m,

la lnea

se extiende al infinito en ambos

sentidos por lo que de igual manera, los extremos en el disco no pertenecen a


dicha recta.
Ahora si podemos ilustrar lo que tenamos en la primera figura (lneas azul y
verde), es decir, dos lneas que pasan por un mismo punto y son paralelas a
m , esto sera:

Ahora si es ms claro que por ms que se prolonguen las lneas azul y verde
hasta el infinito, jams se cruzan con la lnea roja, adems, estas dos lneas
pasan por el mismo punto y ya tenemos que por un punto exterior a la lnea

roja pasan dos lneas que son paralelas a sta. De esta manera, el disco de
Poincar, es un modelo para representar el plano hiperblico y la geometra
hiperblica, de hecho, ya sabemos representar los elementos fundamentales o
primarios de esta geometra, los puntos (que es igual que en el caso euclideo) y
las lneas rectas como dimetros del disco y como arcos de circunferencias
ortogonales al disco.
3.

Representa o ilustra los postulados 1 a 4 en las distintas geometras. Si


no dispones de herramientas TIC adecuadas puedes hacerlo a mano y
enviar imgenes escaneadas.
Solucin:
El postulado 1 dice que por dos puntos distintos A , B pasa una y solo una
recta. En la geometra euclidiana esto se ilustra como:

Para la geometra hiperblica, podemos usar el modelo de Beltrami-Klein pues


las lneas rectas son representadas por dimetros o cuerdas abiertas. Luego
para dos puntos A , B pasa una y solo una recta, pues podemos ver estas
rectas como euclidianas si las prolongamos. Podemos ilustrar esto como:

El postulado 2 dice que todo segmento de extremos

A ,B

puede extenderse

indefinidamente. Entonces, en la geometra euclidiana, esto es una recta que


se extiende en ambos lados y se ilustra como:

Para la geometra hiperblica, podemos considerar el modelo de Beltrami-Klein


y una cuerda abierta, la cual se prolonga indefinidamente en ambos lados, es
decir, por ambos extremos nos podemos acercar indefinidamente al borde del
disco pero sin llegar a un punto sobre el mismo. Grficamente:

El postulado 3 dice que un punto y un segmento dados definen una nica


circunferencia. En la geometra euclidiana, esto es dado un punto y un
segmento de cierta longitud el cual ser el radio, esto es:

En geometra hiperblica, podemos utilizar el modelo de Poincar, y al igual


que en el caso anterior, tomando un segmento hiperblico de cierta longitud
dada y un punto, se traza una nica circunferencia. La ilustracin de esto
sera:

En este caso el punto en cuestin es

y por la forma en que se define la

distancia o medida de un segmento en este modelo, los segmentos


AO , AJ , AN , AH , AP, AI , AM , AB y AG tienen la misma medida, es
decir, son congruentes por lo que hay un segmento congruente a todos ellos

con el cual se hace la construccin. Ntese entonces que todos los segmentos
anteriores son radios de la circunferencia verde y que A es el centro; y
desde luego la circunferencia es diferente a una euclidiana por las
caractersticas de este modelo.
El postulado 4 dice que todos los ngulos rectos son congruentes. En la
geometra euclidiana, esto es porque todos miden 90. La representacin
grfica es:

En la geometra hiperblica, podemos utilizar el modelo de Poincar ya que es


conforme y notar que dos lneas forman ngulos rectos si son dimetros
perpendiculares (mismo sentido que en el espacio euclideo) o si las tangentes
a dos arcos de circunferencia ortogonales (la otra representacin de recta en el
modelo) forman un ngulo recto. Entonces en la siguiente figura se representan
dos ngulos rectos que sern iguales o congruentes, pues en este modelo,
ambos son de 90:

4.

Disea una teselacin regular para el disco de Poincar, explica por qu


en efecto es teselacin y por qu elegiste esos elementos.
Solucin:
Una teselacin es la forma de cubrir un plano totalmente (sin dejar huecos)
mediante una figura geomtrica. As por ejemplo, podemos cubrir un plano
euclideo con cuadrados como si fuera un piso o mosaico. Cuando dichas figuras
geomtricas son regulares, se dice que la teselacin es regular. Intentar
disear la teselacin {4,6}, es decir, aquella conformada por polgonos
regulares de cuatro lados y en donde en cada vrtice convergen 6 figuras. Para
hacerlo utilizamos el software GeoGebra y empezamos por construir el plano
hiperblico como el disco de Poincar, para esto, trazamos tambin dos rectas
perpendiculares que pasan por el centro del disco, de manera que se tiene:

Luego se procede a construir el polgono central o regin fundamental, en este


caso ser un cuadrado hiperblico. Para esto, primero se traza un cuadrado
euclidiano centrado en el disco:

Ahora, utilizando la forma de construir circunferencias ortogonales al disco de


Poincar, construimos una que pase por los dos puntos de la derecha del
cuadrado (por ejemplo) y por el inverso de uno de estos puntos (mtodo usado
en la pgina 59 del material desarrollado Unidad 3), esto es:

Hacemos el mismo procedimiento para los cuatro lados de nuestro cuadrado


central:

De esta forma, los arcos de estas circunferencias con extremos en el cuadrado


central forman el cuadrado hiperblico:

Ahora lo que se hace es reflejar el polgono central a travs de cada uno de sus
lados. Esto equivale a invertir los crculos que generan los lados del polgono
respecto de cada uno, por ejemplo, para el lado derecho del cuadrado,
invertimos los crculos que generan los otros tres lados, con lo que se tiene:

Hemos hecho una inversin de las circunferencias


circunferencia

t , c 1 ,d 1

respecto la

y los arcos de estas circunferencias y sus intersecciones

forman el nuevo polgono a la derecha del central:

Repitiendo este proceso para cada uno de los lados restantes, se tiene:

Ahora por cada uno de los 4 nuevos polgonos, hacemos reflexiones de cada
polgono a travs de sus lados, esto, al igual que el caso anterior, equivale a
inversiones de las circunferencias que definen dichos lados unas respecto a las
otras. De este modo, para el cuadrado de la derecha y su lado superior
tenemos:

Se van a invertir las circunferencias

q1 , p 1

respecto

r'

y los arcos

de la nueva circunferencia, formaran los lados del nuevo polgono sobre el lado
superior del cuadrado hiperblico en cuestin, es decir:

Con esto se tiene el nuevo cuadrado:

Haciendo esto por cada lado de cada uno de los cuatro cuadrados, tenemos:

Entonces, se hace el mismo procedimiento para cada nuevo polgono, es decir,


inversiones de los mismos a travs de sus lados. Este procedimiento seguira
hasta el infinito para cubrir todo el plano de Poincar y se aprecia que los
polgono se reducen con forme se acercan al permetro del disco y tambin
sufren cierta deformacin. Si ahora eliminamos las lneas perpendiculares que
utilizamos al principio y los puntos de los vrtices, la figura luce:

Con ms polgonos:

Coloreamos los teselados para que luzca mejor y se tiene:

De esta forma tenemos nuestra teselacin para el modelo de Poincar, la cual


se representa como {4,6} pues los polgonos regulares tienen cuatro lados y en
cada vrtice convergen 6 de estos polgonos.
Por otra parte, es efectivamente una teselacin para dicho plano pues ste es
cubierto totalmente por los cuadrados hiperblicos regulares sin dejar
huecos. Los elementos que se eligieron para la construccin son en principio
la construccin de un cuadrado hiperblico utilizando el teorema 3.6 del
material desarrollado, pues este nos brinda la posibilidad de construir
circunferencias ortogonales al disco de Poincar, y los arcos de dichas
circunferencias, nos definen lneas y segmentos que en este caso nos ayudaron
a construir los lados del cuadrado central. A partir de all, se utiliz la
isometra de inversin de los lados del cuadrado respecto a cada uno de sus
lados para construir 4 nuevos cuadrados y por cada uno de ellos, se utiliz
iteradamente la misma tcnica para cubrir el plano. Por ltimo, las figuras que
describen este proceso se hicieron en Geo-Gebra siguiendo la tcnica
mencionada, sin embargo, la figura final con todo el plano cubierto fue creada
utilizando el software Tessellation y fue coloreada mediante un editor de
imgenes.