Foundations of Geometry

Description

Enjoyable

Hilbert gives his new system of axioms and studies their consistency, independence and necessity. Consider for example the theorem that the angle sum in any triangle cannot be greater than two right angles. We can prove it as follows. Consider a triangle ABC with the angles labelled so that ABC<=ACB. Let D be the midpoint of BC. Draw AD and extend it to E so that AD=DE. By SAS, ACD=BDE, so that angle CAD=angle BAE and angle DBE=angle ACB. Thus ABC has the same angle sum as ABE. ABC<=ACB means that AC=BE<=AB, so angle BAE<=angle AEB, so angle BAE<=angle BAC/2. In other words: for any angle A in any triangle we can construct a new triangle with equal angle sum that has as one of its angles A/2. By repeating this process we can make the angle A as small as we like. Thus, if the angle sum of some triangle was greater than two right angles, and we applied this procedure, we would get a new triangle where two of the angles are greater than two right angles, which is impossible. The "as small as we like" part gives away the fact that we are relying on Archimedes' axiom, which is necessary. "The investigation of this matter which [Max] Dehn has undertaken at my urging led to a complete clarification of this problem. ... If Archimedes' axiom is dropped then from the assumption of infinitely many parallels through a point it does not follow that the sum of the angles in a triangle is less than two right angles. Moreover, there exists a geometry (the non-Legendrian geometry) in which it is possible to draw through a point infinitely many parallels to a line and in which nevertheless the theorems of Riemannian (elliptic) geometry hold. On the other hand there exists a geometry (the semi-Euclidean geometry) in which there exists infinitely many parallels to line through a point and in which the theorems of Euclidean geometry still hold. From the assumption that there exist no parallels it always follows that the sum of the angles in a triangle is greater than two right angles." Another interesting topic is the connection between laws of algebra and the theorems of Pappus (which Hilbert calls Pascal's) and Desargues. Geometrically, we can multiply two numbers a and b using only the axioms of projective geometry as follows. We choose a line to be the "x-axis" and call one of its points the origin O and another of its points the unit 1. Mark Oa and Ob on this line. Draw another line, the "y-axis", through O. Pick some point i on the y-axis. Connect 1 and i, and draw the parallel to this line through b, meeting the y-axis at b' (as usual, "parallel to l" means: meets l at an arbitrarily designated line called the line at infinity). Connect a and 1 and draw the parallel to this line through b'. In Euclidean geometry this line cuts the x-axis at ab. In general, then, we may define multiplication in this way. The algebraic identity ab=ba now becomes a geometric theorem. This is the beautiful part: ab=ba is not just any old geometric theorem, it is in fact equivalent to Pappus's theorem: the construction of ab consisted of the line connecting 1 and i and three more lines, the construction of ba consists of the line connecting 1 and i and three more lines, each of which is parallel to one of the lines from the ab construction. Therefore, deleting the line connecting 1 and i, Pappus applies and says ab=ba. Similarly, Desargues is equivalent to a(bc)=(ab)c.



Very old book -> 1902, more than a hundred years ago.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Foundations of Geometry" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1463
2. Projective Geometry: From Foundations to Applications
3. Fractal Geometry: Mathematical Foundations and Applications
4. Fractal.Geometry.Mathematical.Foundations.and.Applications.Second.Edition
5. Fractal Geometry: Mathematical Foundations and Applications, 2 Ed.(Reupload)
6. Spacetime: Foundations of General Relativity and Differential Geometry (repost)
7. Spacetime: Foundations of General Relativity and Differential Geometry (Lecture Notes in Physics Monographs)
8. An Essay on the Foundations of Modern Geometry (Dover Phoenix Editions) (Hardcover): Bertrand Russell
9. Modern Geometry - Methods and Applications: Part I: The Geometry of Surfaces, Transformation Groups,
10. Modern Geometry - Methods and Applications: Part I: The Geometry of Surfaces, Transformation Groups, and Fields
11. Geometry IV: Non-regular Riemannian Geometry (Encyclopaedia of Mathematical Sciences)
12. Geometry IV: Non-regular Riemannian Geometry (Encyclopaedia of Mathematical Sciences)
13. The Geometry of Syzygies: A Second Course in Algebraic Geometry and Commutative Algebra
14. Geometry VI: Riemannian Geometry (Encyclopaedia of Mathematical Sciences)
15. Foundations of Object-Oriented Programming Using .NET 2.0 Patterns (Foundations)
16. Foundations of Cryptography: A Primer (Foundations and Trends in Theoretical Computer Science,)