Non-Euclidean geometry and consistency
description
Transcript of Non-Euclidean geometry and consistency
![Page 1: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/1.jpg)
Non-Euclidean geometry and consistency
![Page 2: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/2.jpg)
Euclidean Geometry
Remember we said that a mathematical system depends on its basic assumptions – its axioms.
These should be self-evident.
a + b = b + a
![Page 3: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/3.jpg)
Euclidean Geometry
Axioms of Euclidean Geometry
![Page 4: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/4.jpg)
Euclidean Geometry
1. It shall be possible to draw a straight line joining any two points
![Page 5: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/5.jpg)
Euclidean Geometry
2. A finite straight line may be extended without limit in either direction.
![Page 6: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/6.jpg)
Euclidean Geometry
3. It shall be possible to draw a circle with a given centre and through a given point.
![Page 7: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/7.jpg)
Euclidean Geometry
4. All right angles are equal to one another.
![Page 8: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/8.jpg)
Euclidean Geometry
5. There is just one straight line through a given point which is parallel to a given line
![Page 9: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/9.jpg)
Non-Euclidean geometry
The last axiom of Euclid is not quite as self evident as the others.
In the 19th century, Georg Friedrich Bernard Riemann came up with the idea of replacing Euclid’s axioms with their opposites
![Page 10: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/10.jpg)
Non-Euclidean geometry
• Two points may determine more than one line (instead of axiom 1)
• All lines are finite in length but endless (i.e. circles!) (instead of axiom 2)
• There are no parallel lines (instead of axiom 5)
![Page 11: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/11.jpg)
Non-Euclidean geometry
People expected these new axioms to throw up inconsistencies….. But they didn’t!
![Page 12: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/12.jpg)
Non-Euclidean geometry
Among the theorems that can be deduced from these new axioms are
1. All perpendiculars to a straight line meet at one point.
2. Two straight lines enclose an area3. The sum of the angles of a triangle are
grater than 180°
![Page 13: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/13.jpg)
Do these make sense?!
1. All perpendiculars to a straight line meet at one point.
2. Two straight lines enclose an area3. The sum of the angles of a triangle are
grater than 180°
![Page 14: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/14.jpg)
Do these make sense?!
They do if we imagine space is like the surface of a sphere!
1. All perpendiculars to a straight line meet at one point.
2. Two straight lines enclose an area3. The sum of the angles of a triangle are
grater than 180°
![Page 15: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/15.jpg)
Non-Euclidean geometry
On the surface of a sphere, it can be shown that the shortest distance between two points is always the arc of a circle. This means in Riemannian geometry, a straight line will appear as a curve when represented in two dimensions.
![Page 16: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/16.jpg)
Although these look curved, you can be sure the airlines are following the
shortest route to save money!
![Page 17: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/17.jpg)
Straight lines in Riemannian geometry
Once we have clarified the meaning of a straight line in Riemannian geometry, we can give a meaning to the three theorems given earlier.
![Page 18: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/18.jpg)
All perpendiculars to a straight line meet at one point.
Lines of longitude are perpendicular to the equator but meet at the North pole
![Page 19: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/19.jpg)
Two straight lines enclose an area
Any two lines of longitude (straight lines) meet at both the North and South poles so define an area.
![Page 20: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/20.jpg)
The sum of the angles of a triangle are greater than 180°
![Page 21: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/21.jpg)
General relativity
According to Einstein’s general theory of relativity, the Universe obeys the rules of Riemannian geometry not that of Euclid. According to Einstein, space is curved!
![Page 22: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/22.jpg)
Consistency
It would seem that it is easy to have a system of mathematics that is consistent. Not so!
![Page 23: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/23.jpg)
Set theory
At the heart of set theory is a contradiction
![Page 24: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/24.jpg)
Set theory
A feeling for the contradiction can be found in the following story;
![Page 25: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/25.jpg)
Set theory
A barber had an affair with a princess. The king was very angry and wanted the barber executed. The princess begged for his life and the king agreed, provided that………
![Page 26: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/26.jpg)
Set theory
……the barber went back to his village and only shaved all the inhabitants that did not shave themselves.
![Page 27: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/27.jpg)
Set theory
“That’s easy” said the barber.
Is it?
![Page 28: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/28.jpg)
Set theory
Another example is to imagine catalogues in a library. Some catalogues are for novels, some for reference, poetry etc.
The librarian notices that some catalogues list themselves inside, some don’t.
![Page 29: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/29.jpg)
Set theory
The librarian decides to make two more catalogues, one which lists all te catalogues which do list themselves, and more interestingly, a catalogue which lists all the catalogues which do not list themselves.
![Page 30: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/30.jpg)
Set theory
Catalogues which list themselves
Catalogues which do not list themselves
![Page 31: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/31.jpg)
Set theory
Should the catalogue which lists all the catalogues which do not list themselves be listed in itself?
If it is listed, then by definition it should not be listed, and if it is not listed, it should be listed!
![Page 32: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/32.jpg)
Gödel’s incompleteness theory
Kurt Gödel (1906-1978) was able to prove that it is impossible to prove that any formal system of mathematics is without contradictions.
![Page 33: Non-Euclidean geometry and consistency](https://reader036.fdocuments.us/reader036/viewer/2022081418/568160cc550346895dcfff36/html5/thumbnails/33.jpg)
Mathematicians’ certainty is an illusion!