Introduo s Geometrias No-Euclidianas

Miguel Abreu
Instituto Superior Tcnico e Sociedade Portuguesa de Matemtica

Fevereiro de 2012

Geometria Euclidiana ( 300 a.C.)- primeiros Axiomas

Plano = conjunto de pontos = {(x , y ) R2 } Axiomas ou Postulados de Euclides (= ferramentas): 1) Dados dois pontos distintos podemos desenhar o segmento de recta que os une. (Podemos usar rgua.) 2) Qualquer segmento de recta pode ser prolongado para uma recta. (A rgua pode ser considerada innita.) 3) Dado dois pontos distintos, podemos desenhar uma circunferncia com centro num e que passa no outro. (Podemos usar compasso.) 4) Todos os ngulos rectos so congruentes. (Podemos usar translaes e rotaes para comparar guras.) E...

Geometria Euclidiana - Axioma da Recta Paralela

5) Dada uma recta e um ponto que no lhe pertence, existe uma e uma s recta que passa nesse ponto e paralela recta inicial. (??????????)

Figure: Verso equivalente do Axioma 5. [Fonte: Wikimedia Commons.]

Geometria Euclidiana
Muitos dos resultados em Geometria Euclidiana podem ser demonstrados sem recorrer ao Axioma da Recta Paralela.

Figure: Existncia de tringulo equiltero com lado dado por um segmento AB arbitrrio. [Fonte: Wikimedia Commons.]

Geometria Euclidiana
No entanto, o Axioma da Recta Paralela necessrio nas demonstraes que se conhecem para alguns resultados fundamentais, tais como: A) A soma dos ngulos internos de um tringulo igual a dois ngulos rectos. B) Existem semelhanas que no so congruncias. tambm necessrio para o Teorema de Pitgoras:

Mas mesmo necessrio? Vamos ver que sim.

Alexander Givental
Title: The Pythagorean Theorem: What Is It About? Source: The American Mathematical Monthly, Vol. 113, No. 3 (Mar., 2006), pp. 261265.

"Perhaps the scaling self-similarity property of the Euclidean geometry is the fundamental ingredient eternalizing the Pythagorean theorem."

Geometria Esfrica
Superfcie de uma esfera = {(x , y , z ) R3 : x 2 + y 2 + z 2 = R 2 } "Rectas" = interseco com planos que passam na origem. Pontos anti-podais tm mais do que uma recta a uni-los. No existem rectas paralelas e qualquer semelhana uma congruncia.

b a

Figure: [Fonte: Wikimedia Commons.]

Geometria Esfrica
Teorema: rea() = R 2 ( + + ). Em particular, + + > .

Figure: [Fonte: Wikimedia Commons.]

Geometria Hiperblica ( 1830)

Descoberta/Inventada na primeira metade do sculo XIX, de forma independente por: Johann Carl Friedrich Gauss (17771855), matemtico alemo. Jnos Bolyai (18021860), matemtico hngaro. Nikolai Ivanovich Lobachevsky (17921856), matemtico russo. A sua existncia mostra que o Axioma da Recta Paralela , de facto, necessrio na Geometria Euclidiana. Foram precisos mais de 2000 anos para provar que Euclides tinha razo!!

Geometria Hiperblica - modelo local

Figure: [Fonte: Wikimedia Commons.]

Geometria Hiperblica - modelo de Poincar ( 1868)

Disco: D = {(x , y ) R2 : x 2 + y 2 < 1} = {z C : |z | < 1} "Rectas" = dimetros de D e arcos circulares ortogonais fronteira de D. Propriedades: 1) Existe um nico segmento de recta entre cada dois pontos distintos. 2) Qualquer segmento de recta pode ser prolongado para uma recta. 3) Dado dois pontos distintos, existe uma circunferncia com centro num e que passa no outro. 4) Todos os ngulos rectos so congruentes. (Podemos usar transformaes de Moebius para comparar guras.) 5) Dada uma recta e um ponto que no lhe pertence, existem muitas rectas que passam nesse ponto e so paralelas recta inicial.

Geometria Hiperblica - modelo de Poincar

Figure: Innidade de rectas com um ponto em comum e paralelas a uma outra recta arbitrria. [Fonte: Wikimedia Commons.]

Geometria Hiperblica - modelo de Poincar

Mais propriedades: A) distncia(0, P ) = 1 log 2 1 + |P | 1 |P |

B) rea() = ( + + ). Em particular, + + < e rea() < para qualquer tringulo hiperblico.

Figure: Tringulo hiperblico. [Fonte: Wikimedia Commons.]

Geometria Hiperblica - modelo de Poincar

Mais propriedades: C) De forma mais geral, temos que
n

rea de um polgono com n lados = (n 2)

i =1

Figure: Polgonos ideais. [Fonte: Math and the Art of M. C. Escher.]

D) Qualquer semelhana uma congruncia dada por uma transformao de Moebius, i.e. : D D da forma (z ) = ei z +a , com R e a D. 1 + az

Geometria Hiperblica - modelo de Poincar

Figure: Pavimentao com tringulos hiperblicos ideais. [Fonte: Wikimedia Commons.]

Geometria Hiperblica - modelo de Poincar

Figure: Pavimentao com quadrilteros regulares de ngulo /3 e rea 2/3. [Fonte: Math and the Art of M. C. Escher.]

Geometria Hiperblica - modelo de Poincar

Figure: Pavimentao com pentgonos regulares de ngulo /2 e rea /2. [Fonte: Math and the Art of M. C. Escher.]

Arte Hiperblica

Figure: Circle Limit III de M. C. Escher. [Fonte: Math and the Art of M. C. Escher.]

Curvatura de Gauss
Vericamos nas 3 geometrias anteriores que < 0 , Hiperblica; ++ = constante = = 0 , Euclidiana; rea() > 0 , Esfrica.

Figure: [Fonte: Wikimedia Commons.]

Curvatura de Gauss e Teorema de Gauss-Bonnet

De forma mais geral, dene-se Curvatura de Gauss: K := lim ++ rea() 0

que, em geral, varia de ponto para ponto. Teorema de Gauss-Bonnet ( 1850): relao entre o valor total (i.e. o integral) da curvatura de Gauss e a topologia global da superfcie. Por exemplo, K = 2 (g )
g

em que g = superfcie de gnero g e (g ) = caracterstica de Euler de g = 2(1 g ) .

Curvatura de Gauss e Teorema de Gauss-Bonnet

Figure: g = 0 e

K = 4 > 0. [Fonte: Wikimedia Commons.]

Figure: g = 1 e

K = 0. [Fonte: Wikimedia Commons.]

Curvatura de Gauss e Teorema de Gauss-Bonnet

Figure: g > 1 e

K = 4 (1 g ) < 0. [Fonte: Wikimedia Commons.]

Nota Final: muita da Geometria desenvolvida no sculo XX, tanto a puramente Matemtica como a relacionada com a Fsica do Universo, est relacionada com generalizaes e aplicaes do Teorema de Gauss-Bonnet.