Geometria não euclidiana

Em matemática , a geometria não

euclidiana consiste em duas
geometrias baseadas em axiomas
intimamente relacionados àqueles que
especificam a geometria euclidiana .
Como a geometria euclidiana está na
interseção da geometria métrica e da Comportamento das linhas com uma perpendicular comum em
geometria afim , a geometria não cada um dos três tipos de geometria
euclidiana surge quando o requisito
métrico é relaxado ou o postulado
paralelo é substituído por um alternativo. No último caso, obtém-se a geometria hiperbólica e a
geometria elíptica , as tradicionais geometrias não euclidianas. Quando o requisito métrico é
relaxado, então existem planos afins associados às álgebras planasque dão origem a geometrias
cinemáticas que também têm sido chamadas de geometria não euclidiana.

A diferença essencial entre as geometrias métricas é a natureza das linhas paralelas . O quinto
postulado de Euclides , o postulado paralelo , é equivalente ao postulado de Playfair , que afirma que,
dentro de um plano bidimensional, para qualquer linha l e um ponto A , que não está em l , há
exatamente uma linha através de A que não intercepta l . Em geometria hiperbólica, por outro lado,
existem infinitas linhas através de A que não se cruzam com l , enquanto na geometria elíptica,
qualquer linha através de A cruzal .

Outra maneira de descrever as diferenças entre essas geometrias é considerar duas linhas retas
estendidas indefinidamente em um plano bidimensional que são perpendiculares a uma terceira
linha:

Na geometria euclidiana, as linhas permanecem a uma distância constante umas das outras (o
que significa que uma linha desenhada perpendicular a uma linha em qualquer ponto cruzará a
outra linha e o comprimento do segmento de linha que une os pontos de intersecção permanece
constante) e são conhecidas como paralelos.
Na geometria hiperbólica, eles "curvam-se" uns dos outros, aumentando a distância à medida
que nos afastamos dos pontos de intersecção com a perpendicular comum; essas linhas são
freqüentemente chamadas de ultraparalelos .
Na geometria elíptica, as linhas "curvam-se" umas nas outras e se cruzam.

Conteúdo
História
fundo
Descoberta da geometria não euclidiana
Terminologia
Base axiomática da geometria não euclidiana
Modelos de geometria não euclidiana
Geometria elíptica
Geometria hiperbólica
Geometria tridimensional não euclidiana
Propriedades incomuns
Importância
Álgebras planas
Geometrias cinemáticas
Ficção
Veja também
Notas
Referências
links externos

História

Plano de fundo

A geometria euclidiana , em homenagem ao matemático grego Euclides , inclui algumas das

matemáticas mais antigas conhecidas, e geometrias que se desviaram disso não foram amplamente
aceitas como legítimas até o século XIX.

O debate que acabou levando à descoberta das geometrias não euclidianas começou quase assim que
a obra Elementos de Euclides foi escrita. Nos Elementos , Euclides começou com um número
limitado de suposições (23 definições, cinco noções comuns e cinco postulados) e procurou provar
todos os outros resultados ( proposições ) no trabalho. O mais notório dos postulados é
freqüentemente referido como "Quinto Postulado de Euclides", ou simplesmente o " postulado
paralelo ", que na formulação original de Euclides é:

Se uma linha reta cai sobre duas linhas retas de tal maneira que os ângulos internos do
mesmo lado são juntos menos de dois ângulos retos, então as linhas retas, se produzidas
indefinidamente, se encontram naquele lado em que os ângulos são menores que dois
ângulos retos.

Outros matemáticos conceberam formas mais simples dessa propriedade. Independentemente da

forma do postulado, no entanto, ele parece consistentemente mais complicado do que os outros
postulados de Euclides :

1. Para desenhar uma linha reta de qualquer ponto a qualquer ponto.

2. Para produzir [estender] uma linha reta finita continuamente em uma linha reta.

3. Descrever um círculo com qualquer centro e distância [raio].

4. Que todos os ângulos retos são iguais uns aos outros.

Por pelo menos mil anos, os geômetras ficaram preocupados com a complexidade díspar do quinto
postulado e acreditaram que ele poderia ser provado como um teorema dos outros quatro. Muitos
tentaram encontrar uma prova por contradição , incluindo Ibn al-Haytham (Alhazen, século 11), [1]
Omar Khayyám (século 12), Nasīr al-Dīn al-Tūsī (século 13) e Giovanni Girolamo Saccheri (século 18)
)
Os teoremas de Ibn al-Haytham, Khayyam e al-Tusi nos quadriláteros , incluindo o quadrilátero de
Lambert e o quadrilátero de Saccheri , foram "os primeiros teoremas das geometrias hiperbólica e
elíptica ". Esses teoremas, juntamente com seus postulados alternativos, como o axioma de Playfair ,
desempenharam um papel importante no desenvolvimento posterior da geometria não euclidiana.
Essas primeiras tentativas de desafiar o quinto postulado tiveram uma influência considerável em seu
desenvolvimento entre os geômetras europeus posteriores, incluindo Witelo , Levi ben Gerson ,
Alfonso , John Wallis e Saccheri.[2] Todas essas primeiras tentativas feitas na tentativa de formular a
geometria não euclidiana, no entanto, forneceram provas falhas do postulado paralelo, contendo
suposições que eram essencialmente equivalentes ao postulado paralelo. Essas primeiras tentativas,
no entanto, forneceram algumas propriedades iniciais das geometrias hiperbólica e elíptica.

Khayyam, por exemplo, tentou derivá-lo de um postulado equivalente que formulou a partir de "os
princípios do Filósofo" ( Aristóteles ): " Duas retas convergentes se cruzam e é impossível que duas
retas convergentes divergam na direção em que convergem. " [3]Khayyam então considerou os três
casos certos, obtusos e agudos que os ângulos de cume de um quadrilátero de Saccheri podem
assumir e depois de provar uma série de teoremas sobre eles, ele refutou corretamente os casos
obtusos e agudos com base em seu postulado e, portanto, derivou o postulado clássico de Euclides
que ele não percebeu era equivalente ao seu próprio postulado. Outro exemplo é o filho de al-Tusi,
Sadr al-Din (também conhecido como "Pseudo-Tusi"), que escreveu um livro sobre o assunto em
1298, baseado nos pensamentos posteriores de al-Tusi, que apresentavam outra hipótese equivalente
ao postulado paralelo . "Ele essencialmente revisou o sistema euclidiano de axiomas e postulados e as
provas de muitas proposições dos Elementos ."em 1594 e foi estudado por geômetras europeus,
incluindo Saccheri [4] que criticou este trabalho, bem como o de Wallis. [6]

Giordano Vitale , em seu livro Euclide restituo (1680, 1686), usou o quadrilátero de Saccheri para
provar que se três pontos são equidistantes na base AB e no cume CD, então AB e CD são
equidistantes em todos os lugares.

Em um trabalho intitulado Euclides ab Omni Naevo Vindicatus ( Euclid Freed from All Flaws ),
publicado em 1733, Saccheri rapidamente descartou a geometria elíptica como uma possibilidade
(alguns outros dos axiomas de Euclides devem ser modificados para que a geometria elíptica
funcione) e começou a trabalhar provando um grande número de resultados em geometria
hiperbólica.

Ele finalmente chegou a um ponto em que acreditava que seus resultados demonstravam a
impossibilidade da geometria hiperbólica. Sua afirmação parece ter sido baseada em pressuposições
euclidianas, porque nenhuma contradição lógica estava presente. Nessa tentativa de provar a
geometria euclidiana, ele descobriu, sem querer, uma nova geometria viável, mas não a percebeu.

Em 1766, Johann Lambert escreveu, mas não publicou, Theorie der Parallellinien, na qual ele tentou,
como fez Saccheri, provar o quinto postulado. Ele trabalhou com uma figura que hoje chamamos de
quadrilátero de Lambert, um quadrilátero com três ângulos retos (pode ser considerado a metade de
um quadrilátero de Saccheri). Ele eliminou rapidamente a possibilidade de que o quarto ângulo fosse
obtuso, como Saccheri e Khayyam, e então passou a provar muitos teoremas sob a suposição de um
ângulo agudo. Ao contrário de Saccheri, ele nunca sentiu que havia chegado a uma contradição com
essa suposição. Ele havia provado o resultado não euclidiano de que a soma dos ângulos em um
triângulo aumenta à medida que a área do triângulo diminui, e isso o levou a especular sobre a
possibilidade de um modelo do caso agudo em uma esfera de raio imaginário. Ele não levou essa ideia
adiante. [7]

Naquela época, acreditava-se amplamente que o universo funcionava de acordo com os princípios da
geometria euclidiana. [8]

Descoberta da geometria não-euclidiana

O início do século XIX finalmente testemunharia passos decisivos na criação da geometria não
euclidiana. Por volta de 1813, Carl Friedrich Gauss e, independentemente, por volta de 1818, o
professor de direito alemão Ferdinand Karl Schweikart [9] tiveram as idéias germinativas da
geometria não euclidiana elaboradas, mas nenhum dos dois publicou resultados. O sobrinho de
Schweikart, Franz Taurinus , publicou resultados importantes da trigonometria hiperbólica em dois
artigos em 1825 e 1826, embora admitisse a consistência interna da geometria hiperbólica, ele ainda
acreditava no papel especial da geometria euclidiana. [10]

Então, em 1829–1830, o matemático russo Nikolai Ivanovich Lobachevsky e em 1832 o matemático

húngaro János Bolyai publicaram separadamente e independentemente tratados sobre geometria
hiperbólica. Conseqüentemente, a geometria hiperbólica é chamada de geometria Lobachevskiana ou
Bolyai-Lobachevskiana, pois ambos os matemáticos, independentes um do outro, são os autores
básicos da geometria não euclidiana. Gauss mencionou ao pai de Bolyai, quando mostrado o trabalho
do jovem Bolyai, que ele havia desenvolvido tal geometria vários anos antes, [11]embora ele não
publicasse. Enquanto Lobachevsky criou uma geometria não euclidiana negando o postulado
paralelo, Bolyai elaborou uma geometria onde tanto a geometria euclidiana quanto a hiperbólica são
possíveis dependendo de um parâmetro k . Bolyai termina seu trabalho mencionando que não é
possível decidir apenas pelo raciocínio matemático se a geometria do universo físico é euclidiana ou
não euclidiana; esta é uma tarefa para as ciências físicas.

Bernhard Riemann , em uma palestra famosa em 1854, fundou o campo da geometria Riemanniana ,
discutindo em particular as idéias agora chamadas de variedades , métrica Riemanniana e curvatura .
Ele construiu uma família infinita de geometrias que não são euclidianas, dando uma fórmula para
uma família de métricas Riemannianas na esfera unitária no espaço euclidiano . A mais simples delas
é chamada de geometria elíptica e é considerada uma geometria não euclidiana devido à falta de
linhas paralelas. [12]

Ao formular a geometria em termos de um tensor de curvatura , Riemann permitiu que a geometria

não euclidiana fosse aplicada a dimensões superiores. Beltrami (1868) foi o primeiro a aplicar a
geometria de Riemann a espaços de curvatura negativa.

Terminologia

Foi Gauss quem cunhou o termo "geometria não euclidiana". [13] Ele estava se referindo ao seu
próprio trabalho que hoje chamamos de geometria hiperbólica . Vários autores modernos ainda
consideram "geometria não euclidiana" e "geometria hiperbólica" como sinônimos.

Arthur Cayley observou que a distância entre os pontos dentro de uma cônica pode ser definida em
termos de logaritmo e da função de razão cruzada projetiva . O método tornou-se chamado de
métrica Cayley-Klein porque Felix Klein o explorou para descrever as geometrias não euclidianas em
artigos [14] em 1871 e 1873 e posteriormente em livro. As métricas de Cayley-Klein forneceram
modelos funcionais de geometrias métricas hiperbólicas e elípticas, bem como geometria euclidiana.

Klein é responsável pelos termos "hiperbólica" e "elíptica" (em seu sistema ele chamou a geometria
euclidiana de "parabólica", um termo que geralmente caiu em desuso [15] ). Sua influência levou ao
uso atual do termo "geometria não euclidiana" para significar geometria "hiperbólica" ou "elíptica".

Existem alguns matemáticos que estenderiam a lista de geometrias que deveriam ser chamadas de
"não euclidianas" de várias maneiras. [16]

Base axiomática da geometria não-euclidiana

A geometria euclidiana pode ser descrita axiomaticamente de várias maneiras. Infelizmente, o
sistema original de cinco postulados (axiomas) de Euclides não é um deles, pois suas provas se
baseavam em várias suposições não declaradas que também deveriam ter sido tomadas como
axiomas. O sistema de Hilbert consistindo de 20 axiomas [17] segue mais de perto a abordagem de
Euclides e fornece a justificativa para todas as provas de Euclides. Outros sistemas, usando diferentes
conjuntos de termos indefinidos, obtêm a mesma geometria por caminhos diferentes. Em todas as
abordagens, entretanto, há um axioma que é logicamente equivalente ao quinto postulado de
Euclides, o postulado paralelo. Hilbert usa a forma de axioma Playfair, enquanto Birkhoff, por
exemplo, usa o axioma que diz que "existe um par de triângulos semelhantes, mas não congruentes".
Em qualquer um desses sistemas, a remoção de um axioma que é equivalente ao postulado paralelo,
em qualquer forma que assuma, e deixando todos os outros axiomas intactos, produz a geometria
absoluta . Como as primeiras 28 proposições de Euclides (em Os Elementos ) não requerem o uso do
postulado paralelo ou qualquer coisa equivalente a ele, são todas afirmações verdadeiras em
geometria absoluta. [18]

Para obter uma geometria não euclidiana, o postulado paralelo (ou seu equivalente) deve ser
substituído por sua negação . A negação da forma axiomática do Playfair , por se tratar de um
enunciado composto (... existe um e apenas um ...), pode ser feito de duas maneiras:

Haverá mais de uma linha passando pelo ponto paralelo à linha dada ou não haverá nenhuma
linha passando pelo ponto paralelo à linha dada. No primeiro caso, substituindo o postulado
paralelo (ou seu equivalente) pela afirmação "Em um plano, dado um ponto P e uma reta l que
não passa por P, existem duas retas que passam por P que não se encontram com l " e
mantendo todos os outros axiomas, produz geometria hiperbólica . [19]
O segundo caso não é tratado com tanta facilidade. A simples substituição do postulado paralelo
pela afirmação: "Em um plano, dado um ponto P e uma linha l que não passa por P, todas as
linhas que passam por P encontram l ", não dá um conjunto consistente de axiomas. Isso ocorre
porque as linhas paralelas existem na geometria absoluta, [20]mas esta afirmação diz que não
existem linhas paralelas. Este problema era conhecido (sob uma aparência diferente) por
Khayyam, Saccheri e Lambert e foi a base para a rejeição do que ficou conhecido como "caso do
ângulo obtuso". Para obter um conjunto consistente de axiomas que inclua este axioma sobre
não ter linhas paralelas, alguns dos outros axiomas devem ser ajustados. Os ajustes a serem
feitos dependem do sistema de axioma que está sendo usado. Entre outros, esses ajustes terão
o efeito de modificar o segundo postulado de Euclides da declaração de que os segmentos de
linha podem ser estendidos indefinidamente para a declaração de que as linhas são ilimitadas. A
geometria elíptica de Riemann surge como a geometria mais natural que satisfaz este axioma.

Todos os modelos de geometria não-euclidiana

A geometria euclidiana bidimensional é modelada por nossa noção de um "plano plano ".

Geometria elíptica

O modelo mais simples para a geometria elíptica é uma esfera, em que as linhas são " grandes
círculos " (como o equador ou os meridianos em um globo ) e pontos opostos entre si (chamados de
pontos antípodais ) são identificados (considerados iguais). Este também é um dos modelos padrão
do plano projetivo real . A diferença é que como um modelo de geometria elíptica é introduzida uma
métrica que permite a medição de comprimentos e ângulos, enquanto como um modelo do plano
projetivo não existe tal métrica.

No modelo elíptico, para qualquer linha l e um ponto A , que não está em l , todas as linhas através de
A se cruzarão com l .
Geometria hiperbólica

Mesmo após o trabalho de Lobachevsky, Gauss

e Bolyai, a questão permaneceu: "Esse modelo
existe para geometria hiperbólica ?". O modelo
para geometria hiperbólica foi respondido por
Eugenio Beltrami , em 1868, que primeiro
mostrou que uma superfície chamada de
pseudosfera tem a curvatura adequada para
modelar uma porção do espaço hiperbólico e
em um segundo artigo no mesmo ano, definiu
o modelo de Klein que modela a totalidade do
espaço hiperbólico, e usei isso para mostrar
que a geometria euclidiana e a geometria
hiperbólica eram equiconsistentes, de modo
que a geometria hiperbólica era logicamente
consistentese e somente se a geometria Em uma esfera, a soma dos ângulos de um triângulo não
é igual a 180 °. A superfície de uma esfera não é um
euclidiana fosse. (A implicação inversa segue
espaço euclidiano, mas localmente as leis da geometria
do modelo da horosfera da geometria
euclidiana são boas aproximações. Em um pequeno
euclidiana.)
triângulo na face da Terra, a soma dos ângulos é quase
180 °.
No modelo hiperbólico, dentro de um plano
bidimensional, para qualquer linha l e um
ponto A , que não está em l , existem infinitas
linhas através de A que não se cruzam com l .

Nestes modelos, os conceitos de geometrias não euclidianas estão sendo representados por objetos
euclidianos em um ambiente euclidiano. Isso introduz uma distorção perceptiva em que as linhas
retas da geometria não euclidiana estão sendo representadas por curvas euclidianas que se dobram
visualmente. Essa "dobra" não é uma propriedade das linhas não euclidianas, apenas um artifício da
forma como estão sendo representadas.

Tridimensional de geometria não-euclidiana

Em três dimensões, existem oito modelos de geometrias. [21] Existem geometrias euclidiana, elíptica e
hiperbólica, como no caso bidimensional; geometrias mistas que são parcialmente euclidianas e
parcialmente hiperbólicas ou esféricas; versões torcidas das geometrias mistas; e uma geometria
incomum que é completamente anisotrópica (ou seja, cada direção se comporta de maneira
diferente).

Propriedades incomuns
As geometrias euclidiana e não euclidiana têm naturalmente muitas
propriedades semelhantes, a saber, aquelas que não dependem da
natureza do paralelismo. Essa semelhança é o assunto da geometria
absoluta (também chamada de geometria neutra ). No entanto, as
propriedades que distinguem uma geometria das outras são as que
historicamente têm recebido mais atenção.

Além do comportamento das linhas em relação a uma perpendicular

Quadrilátero de Lambert
em geometria hiperbólica
comum, mencionada na introdução, também temos o seguinte:
 Um quadrilátero de Lambert é um quadrilátero que tem três ângulos
retos. O quarto ângulo de um quadrilátero de Lambert é agudo se a
geometria for hiperbólica, um ângulo reto se a geometria for euclidiana
ou obtusa se a geometria for elíptica. Conseqüentemente, os
retângulos existem (uma afirmação equivalente ao postulado paralelo)
apenas na geometria euclidiana.
Um quadrilátero de Saccheri é um quadrilátero que tem dois lados de
igual comprimento, ambos perpendiculares a um lado denominado
base . Os outros dois ângulos de um quadrilátero de Saccheri são
chamados de ângulos do cume e têm igual medida. Os ângulos de
cume de um quadrilátero de Saccheri são agudos se a geometria for
hiperbólica, ângulos retos se a geometria for euclidiana e ângulos
obtusos se a geometria for elíptica.
A soma das medidas dos ângulos de qualquer triângulo é menor que
180 ° se a geometria for hiperbólica, igual a 180 ° se a geometria for
euclidiana e maior que 180 ° se a geometria for elíptica. O defeito de
um triângulo é o valor numérico (180 ° - soma das medidas dos
ângulos do triângulo). Este resultado também pode ser declarado
como: o defeito dos triângulos na geometria hiperbólica é positivo, o
defeito dos triângulos na geometria euclidiana é zero e o defeito dos
triângulos na geometria elíptica é negativo.
Quadriláteros de
Saccheri nas três
Importância geometrias

Antes que os modelos de um plano não euclidiano fossem apresentados por

Beltrami, Klein e Poincaré, a geometria euclidiana permanecia incontestada como o modelo
matemático do espaço . Além disso, uma vez que a substância do sujeito na geometria sintética era
uma demonstração principal de racionalidade, o ponto de vista euclidiano representava autoridade
absoluta.

A descoberta das geometrias não euclidianas teve um efeito cascata que foi muito além dos limites da
matemática e da ciência. O tratamento dado pelo filósofo Immanuel Kant ao conhecimento humano
teve um papel especial para a geometria. Foi seu principal exemplo de conhecimento sintético a
priori; não derivado dos sentidos nem deduzido através da lógica - nosso conhecimento do espaço era
uma verdade com a qual nascemos. Infelizmente para Kant, seu conceito dessa geometria
inalteravelmente verdadeira era euclidiano. A teologia também foi afetada pela mudança da verdade
absoluta para a verdade relativa na forma como a matemática se relaciona com o mundo ao seu
redor, que foi um resultado dessa mudança de paradigma. [22]

A geometria não euclidiana é um exemplo de revolução científica na história da ciência , na qual

matemáticos e cientistas mudaram a maneira como viam seus assuntos. [23] Alguns geômetras
chamaram Lobachevsky de " Copérnico da Geometria" devido ao caráter revolucionário de seu
trabalho. [24] [25]

A existência de geometrias não euclidianas impactou a vida intelectual da Inglaterra vitoriana de

muitas maneiras [26] e, em particular, foi um dos principais fatores que causou um reexame do ensino
da geometria com base nos Elementos de Euclides . Essa questão curricular foi calorosamente
debatida na época e foi até mesmo tema de um livro, Euclid and his Modern Rivals , escrito por
Charles Lutwidge Dodgson (1832-1898) mais conhecido como Lewis Carroll , o autor de Alice no País
das Maravilhas .

Álgebras planares
Em geometria analítica, um plano é descrito com coordenadas cartesianas : C = {( x, y ): x , y ∈ ℝ}.
2
Os pontos às vezes são identificados com números complexos z = x + y ε onde ε ∈ {–1, 0, 1}.
2
O plano euclidiano corresponde ao caso ε = −1 uma vez que o módulo de z é dado por

e essa quantidade é o quadrado da distância euclidiana entre z e a origem. Por exemplo, { z | zz * = 1

} é o círculo unitário .
2
Para álgebra plana, a geometria não euclidiana surge nos outros casos. Quando ε = +1 , então z é
um número complexo dividido e convencionalmente j substitui o épsilon. Então

e { z | zz * = 1 } é a hipérbole unitária .
2
Quando ε = 0 , então z é um número dual . [27]
Esta abordagem da geometria não euclidiana explica os ângulos não euclidianos: os parâmetros de
inclinação no plano de número dual e ângulo hiperbólico no plano do complexo dividido
correspondem ao ângulo na geometria euclidiana. Na verdade, cada um deles surge na decomposição
polar de um número complexo z . [28]

Geometrias cinemáticas
A geometria hiperbólica encontrou uma aplicação na cinemática com a cosmologia física introduzida
por Hermann Minkowski em 1908. Minkowski introduziu termos como linha de mundo e tempo
próprio na física matemática . Ele percebeu que a subvariedade , de eventos em um momento de
tempo apropriado no futuro, poderia ser considerada um espaço hiperbólico de três dimensões.
[29] [30] Já na década de 1890, Alexander Macfarlane estava mapeando essa subvariedade por meio de
sua Álgebra da Física e quatérnios hiperbólicos, embora Macfarlane não usasse a linguagem
cosmológica como Minkowski fez em 1908. A estrutura relevante é agora chamada de modelo
hiperbolóide de geometria hiperbólica.

As álgebras planas não euclidianas suportam geometrias cinemáticas no plano. Por exemplo, o
j
número complexo de divisão z = e a pode representar um evento do espaço-tempo um momento no
futuro de um referencial de rapidez a . Além disso, a multiplicação por z equivale a um aumento de
Lorentz mapeando o quadro com rapidez zero para aquele com rapidez a .

O estudo cinemático faz uso dos números duais para representar a descrição
clássica do movimento em tempo e espaço absolutos : As equações são
equivalentes a um mapeamento de cisalhamento em álgebra linear:

Com números duplos, o mapeamento é [31]

Outra visão da relatividade especial como uma geometria não-euclidiana foi avançada por EB Wilson
e Gilbert Lewis em Proceedings of the American Academy of Arts and Sciences em 1912. Eles
reformularam a geometria analítica implícita na álgebra numérica do complexo dividido em
geometria sintética de premissas e deduções. [32] [33]

Ficção
A geometria não euclidiana freqüentemente aparece em obras de ficção científica e fantasia .

Em 1895, HG Wells publicou o conto "O notável caso dos olhos de Davidson". Para apreciar esta
história, deve-se saber como os pontos antípodais em uma esfera são identificados em um
modelo do plano elíptico. Na história, no meio de uma tempestade, Sidney Davidson vê "Ondas e
uma escuna incrivelmente limpa" enquanto trabalhava em um laboratório elétrico no Harlow
Technical College. No final da história, Davidson prova ter testemunhado o HMS Fulmar na Ilha
Antipodes .
A geometria não euclidiana às vezes está conectada com a influência do escritor de ficção de
terror do século 20, HP Lovecraft . Em suas obras, muitas coisas não naturais seguem suas
próprias leis de geometria: No Cthulhu Mythos de Lovecraft , a cidade submersa de R'lyeh é
caracterizada por sua geometria não euclidiana. Está fortemente implícito que isso é conseguido
como um efeito colateral de não seguir as leis naturais deste universo, em vez de simplesmente
usar um modelo geométrico alternativo, já que o puro erro inato dele é considerado capaz de
levar à loucura aqueles que olham para ele. [34]
O personagem principal Robert Pirsig 's Zen ea Arte da Manutenção de Motocicletas
mencionado Geometria Riemanniana em várias ocasiões.
Em Os irmãos Karamazov , Dostoiévski discute a geometria não euclidiana por meio de seu
personagem principal, Ivan.
O romance Inverted World de Christopher Priest descreve a luta de viver em um planeta com a
forma de uma pseudosfera giratória .
O número da besta, de Robert Heinlein, utiliza geometria não euclidiana para explicar o
transporte instantâneo através do espaço e do tempo e entre universos paralelos e fictícios.
O HyperRogue de Zeno Rogue é um jogo roguelike ambientado no plano hiperbólico , permitindo
ao jogador experimentar muitas propriedades dessa geometria. Muitas mecânicas, missões e
locais são fortemente dependentes das características da geometria hiperbólica. [35]
No cenário de ficção científica da Renegade Legion para o jogo de guerra , RPG e ficção da
FASA , viagens e comunicações mais rápidas do que a luz são possíveis por meio do uso da
Geometria Polidimensional Não Euclidiana de Hsieh Ho, publicada em algum momento no meio
do Século 22.
Em Flatterland de Ian Stewart, a protagonista Victoria Line visita todos os tipos de mundos não
euclidianos.
Em Jean-Pierre Petit 's Aqui está olhando para Euclides (e não olhando para Euclides) Archibald
Higgins tropeça na geometria esférica [36]
No wiki da Fundação SCP , existem alguns objetos contidos (SCPs) envolvendo geometrias não
euclidianas, como SCP-1898 ( conjuntos de construção que permitem ao usuário criar suas
próprias geometrias não euclidianas), [37] SCP-419 (a janela para uma paisagem urbana com
geometrias não euclidianas), [38] e SCP-2282 (um mamífero , semelhante a uma cabra , cujo
trato digestivo é uma matriz de distorções não euclidianas). [39]

Veja também
Espaço hiperbólico
Esfera Lénárt
Geometria projetiva
 Crescimento de superfície não euclidiana

Notas
1. Eder, Michelle (2000), Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval
Islam (http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html) , Rutgers University ,
recuperado em 23/01/2008
2. Boris A. Rosenfeld e Adolf P. Youschkevitch, "Geometry", p. 470, em Roshdi Rashed & Régis
Morelon (1996), Encyclopedia of the History of Arab Science , Vol. 2, pp. 447-494, Routledge ,
Londres e Nova York:

Com seus trabalhos sobre a teoria das linhas paralelas, os matemáticos árabes
influenciaram diretamente as investigações relevantes de seus colegas europeus. A
primeira tentativa europeia de provar o postulado em linhas paralelas - feita porWitelo
, os cientistas poloneses do século XIII, ao revisar o Livro de Óptica de Ibn al-
Haytham ( Kitab al-Manazir ) - foi indubitavelmente inspirado por fontes árabes. As
provas apresentadas no século XIV pelo estudioso judeu Levi ben Gerson , que viveu
no sul da França, e pelo mencionado Alfonso, da Espanha, fazem fronteira direta
com a demonstração de Ibn al-Haytham. Acima, demonstramos que a Exposição de
Euclides de Pseudo-Tusi estimulou os estudos de borth J. Wallis e G. Saccheri sobre
a teoria das linhas paralelas. "

3. Boris A. Rosenfeld & Adolf P. Youschkevitch (1996), "Geometria", p. 467, em Roshdi Rashed &
Régis Morelon (1996), Encyclopedia of the History of Arab Science , Vol. 2, pp. 447-494,
Routledge , ISBN 0-415-12411-5
4. Victor J. Katz (1998),History of Mathematics: An Introduction, p. 270–271,Addison –
Wesley,ISBN0-321-01618-1:

"Mas em um manuscrito provavelmente escrito por seu filho Sadr al-Din em 1298,
baseado nos pensamentos posteriores de Nasir al-Din sobre o assunto, há um novo
argumento baseado em outra hipótese, também equivalente à de Euclides, [...] A
importância deste último trabalho é que ele foi publicado em Roma em 1594 e foi
estudado por geômetras europeus. Em particular, ele se tornou o ponto de partida
para o trabalho de Saccheri e, finalmente, para a descoberta da geometria não
euclidiana. "

5. Boris A. Rosenfeld e Adolf P. Youschkevitch (1996), "Geometria", em Roshdi Rashed, ed.,

Encyclopedia of the History of Arab Science , Vol. 2, pág. 447-494 [469], Routledge , Londres e
Nova York:

"Na Exposição de Euclides de Pseudo-Tusi , [...] outra afirmação é usada em vez de

um postulado. Era independente do postulado euclidiano V e fácil de provar. [...] Ele
essencialmente revisou ambos o sistema euclidiano de axiomas e postulados e as
provas de muitas proposições dos Elementos . "

6. Giovanni Girolamo Saccheri de MacTutor (http://www-history.mcs.st-andrews.ac.uk/Biographies/

Saccheri.html)
7. O'Connor, JJ; Robertson, EF "Johann Heinrich Lambert" (http://www-history.mcs.st-andrews.ac.u
k/Biographies/Lambert.html). Retirado em 16 de setembro de 2011 .
 8. Uma exceção notável é David Hume, que já em 1739 considerou seriamente a possibilidade de
que nosso universo fosse não euclidiano; ver David Hume (1739/1978) A Treatise of Human
Nature , LA Selby-Bigge, ed. (Oxford: Oxford University Press), pp. 51-52.
9. Em uma carta de dezembro de 1818, Ferdinand Karl Schweikart (1780-1859) esboçou alguns
insights sobre a geometria não euclidiana. A carta foi enviada a Gauss em 1819 pelo ex-aluno de
Gauss, Gerling. Em sua resposta a Gerling, Gauss elogiou Schweikart e mencionou sua própria
pesquisa anterior sobre geometria não euclidiana. Vejo:
Carl Friedrich Gauss, Werke (Leipzig, Germany: BG Teubner, 1900), volume 8, páginas 180-
182. (http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN236010751&DMDID=DMDLO
G_0058&LOGID=LOG_0058&PHYSID=PHYS_0187)
As traduções em inglês da carta de Schweikart e a resposta de Gauss a Gerling aparecem
em: Notas do curso: "Gauss and non-Euclidean geometry", University of Waterloo, Ontario,
Canada (http://www.math.uwaterloo.ca/~snburris/htdocs/noneucl.pdf) ; veja especialmente as
páginas 10 e 11.
Cartas de Schweikart e os escritos de seu sobrinho Franz Adolph Taurinus , que também se
interessava pela geometria não euclidiana e que em 1825 publicou um breve livro sobre o
axioma paralelo, aparecem em: Paul Stäckel e Friedrich Engel, Die Theorie der Parallellinien
von Euklid bis auf Gauss, eine Urkundensammlung der nichteuklidischen Geometrie (A teoria
das linhas paralelas de Euclides a Gauss, um arquivo de geometria não euclidiana), (Leipzig,
Alemanha: BG Teubner, 1895), páginas 243 e seguintes. (http://quod.lib.umich.edu/u/umhistm
ath/abq9565.0001.001/254?rgn=full+text;view=pdf)
10. Bonola, R. (1912). Geometria não euclidiana: um estudo crítico e histórico do seu
desenvolvimento (https://archive.org/details/noneuclideangeom00bono) . Chicago: Open Court.
11. Na carta aos Wolfgang (Farkas) Bolyai de 6 de março de 1832 Gauss alega ter trabalhado no
problema por trinta ou trinta e cinco anos ( Faber 1983 , pg. 162). Em sua carta de 1824 a
Taurinus ( Faber 1983 , pg. 158), ele afirmou que estava trabalhando no problema por mais de
30 anos e forneceu detalhes suficientes para mostrar que ele realmente havia resolvido os
detalhes. De acordo com Faber (1983 , pg. 156), foi somente por volta de 1813 que Gauss
passou a aceitar a existência de uma nova geometria.
12. No entanto, outros axiomas além do postulado paralelo devem ser alterados a fim de tornar esta
geometria viável.
13. Felix Klein, Elementary Mathematics from an Advanced Standpoint: Geometry , Dover, 1948
(reimpressão da tradução inglesa da 3ª edição, 1940. Primeira edição em alemão, 1908) pág.
176
14. F. Klein, Über die sogenannte nichteuklidische Geometrie, Mathematische Annalen , 4 (1871).
15. O plano euclidiano ainda é referido como "parabólico" no contexto da geometria conforme :
consulte o teorema da uniformização .
16. por exemplo, Manning 1963 e Yaglom 1968
17. um 21º axioma apareceu na tradução francesa de Grundlagen der Geometrie de Hilbert
deacordo com Smart 1997 , pg. 416
18. ( Smart 1997 , pág.366)
19. enquanto apenas duas linhas são postuladas, é facilmente mostrado que deve haver um número
infinito de tais linhas.
20. Livro I Proposição 27 da de Euclides Elements
21. * William Thurston . Geometria e topologia tridimensional. Vol. 1 . Editado por Silvio Levy.
Princeton Mathematical Series, 35. Princeton University Press, Princeton, NJ, 1997. x + 311 pp.
ISBN 0-691-08304-5 (explicação detalhada das oito geometrias e a prova de que existem
apenas oito)
22. Imre Toth, "Gott und Geometrie: Eine viktorianische Kontroverse," Evolutionstheorie und ihre
Evolution , Dieter Henrich, ed. (Schriftenreihe der Universität Regensburg, banda 7, 1982) pp.
141–204.
23. ver Trudeau 1987 , p. vii-viii
24. Bell, ET (1986). Men of Mathematics . Livros Touchstone. p. 294. ISBN 978-0-671-62818-5.O
autor atribui esta citação a outro matemático, William Kingdon Clifford .
25. Esta é uma citação do prefácio do tradutor de GB Halsted à sua tradução de 1914 da Teoria dos
Paralelos : "O que Vesalius foi para Galeno , o que Copérnico foi para Ptolomeu que foi
Lobachevsky para Euclides ." - WK Clifford
26. ( Richards 1988 )
27. Isaak Yaglom (1968) Complex Numbers in Geometry , traduzido por E. Primrose do original
russo de 1963, apêndice "Geometrias não euclidianas no plano e números complexos", pp 195–
219, Academic Press , NY
28. Richard C. Tolman (2004) Teoria da Relatividade do Movimento, página 194, §180 Ângulo não
euclidiano, §181 Interpretação cinemática do ângulo em termos de velocidade
29. Hermann Minkowski (1908-199). "Espaço e Tempo" (Wikisource).
30. Scott Walter (1999) Estilo Não-Euclidiano da Relatividade Especial (http://www.univ-nancy2.fr/De
pPhilo/walter/papers/nes.pdf)
31. Isaak Yaglom (1979) Uma geometria não euclidiana simples e sua base física: um relato
elementar da geometria galileana e o princípio da relatividade galileano, Springer ISBN 0-387-
90332-1
32. Edwin B. Wilson & Gilbert N. Lewis (1912) "The Space-time Manifold of Relativity. The Non-
Euclidean Geometry of Mechanics and Electromagnetics" Proceedings of the American Academy
of Arts and Sciences 48: 387–507
33. Synthetic Spacetime (https://www.webcitation.org/5koAax8ct?url=http://ca.geocities.com/cocklebi
o/synsptm.html) , um resumo dos axiomas usados e teoremas provados por Wilson e Lewis.
Arquivado por WebCite
34. "O Chamado de Cthulhu" (http://www.hplovecraft.com/writings/texts/fiction/cc.aspx) .
35. "Site do HyperRogue" (http://www.roguetemple.com/z/hyper/) .
36. Jean-Pierre Petit . "Aqui está olhando para Euclides" (http://www.savoir-sans-frontieres.com/JPP/
telechargeables/English/here_s_looking_at_euclid.htm) . savoir-sans-frontieres . Retirado em
30 de agosto de 2015 .
37. "SCP-1898- Fundação SCP" (http://www.scp-wiki.net/scp-1898) .
38. "SCP-419- Fundação SCP" (http://www.scp-wiki.net/scp-419) .
39. "SCP-2282- Fundação SCP" (http://www.scp-wiki.net/scp-2282) .

Referências
A'CAMPO, NORBERT E PAPADOPOULOS, ATHANASE , (2012) Notas sobre geometria hiperbólica , em:
Strasbourg Master class on Geometry, pp. 1–182, IRMA Lectures in Mathematics and Theoretical
Physics, Vol. 18, Zürich: European Mathematical Society (EMS), 461 páginas, ISBN 978-3-
03719-105-7 , DOI: 10.4171 / 105 .
Anderson, James W. Hyperbolic Geometry , segunda edição, Springer, 2005
Beltrami, Eugenio Teoria fondamentale degli spazî di curvatura costante , Annali. di Mat., ser II 2
(1868), 232-255
Blumenthal, Leonard M. (1980), A Modern View of Geometry , Nova York: Dover, ISBN 0-486-
63962-2
Carroll, Lewis Euclid and His Modern Rivals , Nova York: Barnes and Noble, 2009 (reimpressão)
ISBN 978-1-4351-2348-9
HSM Coxeter (1942) Non-Euclidean Geometry , University of Toronto Press , reeditado em 1998
pela Mathematical Association of America , ISBN 0-88385-522-4 .
Faber, Richard L. (1983), Foundations of Euclidean and Non-Euclidean Geometry , New York:
Marcel Dekker, ISBN 0-8247-1748-1
Jeremy Gray (1989) Ideas of Space: Euclidean, Non-Euclidean, and Relativistic , 2ª edição,
Clarendon Press .
 Greenberg, Marvin Jay Euclidean and Non-Euclidean Geometries: Development and History , 4ª
ed., Nova York: WH Freeman, 2007. ISBN 0-7167-9948-0
Morris Kline (1972) Mathematical Thought from Ancient to Modern Times , Capítulo 36 Non-
Euclidean Geometry, pp 861-81, Oxford University Press .
Bernard H. Lavenda , (2012) "A New Perspective on Relativity: An Odyssey In Non-Euclidean
Geometries", World Scientific , pp. 696, ISBN 9789814340489 .
Nikolai Lobachevsky (2010) Pangeometria , Tradutor e Editor: A. Papadopoulos, Heritage of
European Mathematics Series, Vol. 4, European Mathematical Society .
Manning, Henry Parker (1963), Introductory Non-Euclidean Geometry , New York: Dover
Meschkowski, Herbert (1964), Noneuclidean Geometry , New York: Academic Press
Milnor, John W. (1982) Hyperbolic geometry: The first 150 years (http://projecteuclid.org/euclid.ba
ms/1183548588) , Bull. Amer. Matemática. Soc. (NS) Volume 6, Número 1, pp. 9–24.
Richards, Joan L. (1988), Mathematical Visions: The Pursuit of Geometry in Victorian England ,
Boston: Academic Press, ISBN 0-12-587445-6
Smart, James R. (1997), Modern Geometries (5ª Ed.) , Pacific Grove: Brooks / Cole, ISBN 0-534-
35188-3
Stewart, Ian (2001) Flatterland , New York: Perseus Publishing ISBN 0-7382-0675-X (capa mole)
John Stillwell (1996) Sources of Hyperbolic Geometry , American Mathematical Society ISBN 0-
8218-0529-0 .
Trudeau, Richard J. (1987), The Non-Euclidean Revolution (https://archive.org/details/noneuclide
anrevo0000trud) , Boston: Birkhauser, ISBN 0-8176-3311-1
A. Papadopoulos et Guillaume Théret (2014) La théorie des parallèles de Johann Heinrich
Lambert, (Critical edition of Lambert's memoir with a French translation, with historical and
mathematical notes and commentaries éd. Blanchard, coll. Sciences dans l'Histoire, Paris
ISBN 978-2-85367-266-5

External links
Roberto Bonola (1912) Non-Euclidean Geometry (https://archive.org/details/noneuclideangeom00
bonorich), Open Court, Chicago.
MacTutor Archive article on non-Euclidean geometry (http://www-groups.dcs.st-and.ac.uk/~histor
y/HistTopics/Non-Euclidean_geometry.html)
Non-euclidean geometry (https://planetmath.org/{{{urlname}}}) at PlanetMath.org.
Geometrias não euclidianas (http://www.encyclopediaofmath.org/index.php/Non-Euclidean_geom
etries) da Encyclopedia of Math of European Mathematical Society e Springer Science +
Business Media
Synthetic Spacetime (https://www.webcitation.org/5koAax8ct?url=http://ca.geocities.com/cocklebi
o/synsptm.html) , um resumo dos axiomas usados, e teoremas provados, por Wilson e Lewis.
Arquivado por WebCite .

Retrieved from "https://en.wikipedia.org/w/index.php?title=Non-Euclidean_geometry&oldid=970965627"

Esta página foi editada pela última vez em 3 de agosto de 2020, às 12h10 (UTC) .

O texto está disponível sob a licença Creative Commons Attribution-ShareAlike ; termos adicionais podem ser aplicados.
Ao usar este site, você concorda com os Termos de Uso e Política de Privacidade . Wikipedia® é uma marca registrada
da Wikimedia Foundation, Inc. , uma organização sem fins lucrativos.