Definition:Non-Euclidean Geometry

From ProofWiki
Jump to navigation Jump to search

Definition

Non-Euclidean geometry is branch of geometry in which Euclid's fifth postulate does not hold.


Also see

  • Results about non-Euclidean geometry can be found here.


Historical Note

Giovanni Girolamo Saccheri was among those attempted to derive Euclid's fifth postulate from the other four, in the process just failing to discover a non-Euclidean geometry.

Johann Heinrich Lambert made a number of conjectures regarding non-Euclidean space.


Non-Euclidean geometry as a concept in its own right was worked on by Carl Friedrich Gauss for some years, and by $1820$ he had established the main theorems.

However, he kept this all to himself, and it was up to Nikolai Ivanovich Lobachevsky, between $1826$ and $1829$, and János Bolyai in $1832$ (independently of each other and Gauss to publish their own work (János Bolyai publishing it as an appendix to Tentamen iuventutem studiosam in elementa matheosos introducendi by his father Wolfgang Bolyai).


The reason that Gauss did not publish his own work was because he recognised that the philosophical climate of Germany at the time would have been unable to accept it.

As he wrote to Friedrich Wilhelm Bessel:

I shall probably not put my very extensive investigations on this subject [ the foundations of geometry ] into publishable form for a long time, perhaps not in my lifetime, for I dread the shrieks we would hear from the Boeotians if I were to express myself fully on this matter.

The Boeotians were a tribe of the ancient Greeks, renowned for being of low intelligence.


In the $1850$s, Bernhard Riemann came up with a different non-Euclidean geometry in which no straight line can be drawn through a point parallel to a given straight line.

This sort of non-Euclidean geometry is known as Riemannian geometry.


Sources