A geometria hiperbólica e sua consistência

Detalhes bibliográficos
Ano de defesa: 1989
Autor(a) principal: Terdiman, Esther Wajskop
Orientador(a): Castrucci, Benedito
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Pontifícia Universidade Católica de São Paulo
Programa de Pós-Graduação: Programa de Estudos Pós-Graduados em Educação Matemática
Departamento: Educação
País: BR
Palavras-chave em Português:
Área do conhecimento CNPq:
Link de acesso: https://tede2.pucsp.br/handle/handle/11290
Resumo: Históricamente, sabemos que as tentativas infrutíferas da demonstração do Postulado das Paralelas de Euclides levaram à conclusão da independência desse axioma. O trabalho de Saccheri, nesse sentido, partindo da demonstração por absurdo da famosa proposição, resultou no aparecimento dos primeiros teoremas básicos da Geometria não-Euclidiana. Nosso propósito é fazer uma exposição axiomática da Geometria Hiperbólica, com demonstração de todos teoremas necessários a esse estudo. A seguir, verificamos a consistência do sistema axiomático relativamente a um plano Euclidiano, utilizando para isso a inversão em relação à circunferência, bem como introduzindo os conceitos de razão dupla, quádruplas harmônicas e perspectividade, para justificar a construção das paralelas-limite de Janos Bolyai. A consistência esta apresentada por meio do primeiro modelo de Poincaré, por isomorfismo.