Euclidean and Non-Euclidean geometries, November 25

Slides:



Advertisements
Similar presentations
By: Victoria Leffelman.  Any geometry that is different from Euclidean geometry  Consistent system of definitions, assumptions, and proofs that describe.
Advertisements

Copyright © Cengage Learning. All rights reserved.
Axiomatic systems and Incidence Geometry
Math 409/409G History of Mathematics Books III of the Elements Circles.
Trang Vu La Jolla High School Math for America, San Diego
Learning through failure in mathematics.  Around 300 B.C., Euclid began work in Alexandria on Elements, a veritable “bible of mathematics”  Euclid.
Chapter 1 Using Geogebra Exploration and Conjecture.
Alexander the Great (356–323 BC) Born in Macedonia, son of Philip II At 13, Aristotle became his tutor At 16, as regent in his father’s absence he put.
Hyperbolic Geometry Chapter 9.
MAT 360 Lecture 10 Hyperbolic Geometry. What is the negation of Hilbert’s Axiom? There exists a line l and a point P not on l such that there are at least.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
The Axiomatic Method. The axiomatic method I: Mathematical Proofs Why do we need to prove things? How do we resolve paradoxes?
Euclid’s Elements: The first 4 axioms
Nikolai Lobachevsky ( ) Born: 1 Dec 1792 in Nizhny Novgorod, Russia Died: 24 Feb 1856 in Kazan, Russia Went to school and studied in Kazan under.
Study Guide Timeline Euclid’s five axioms (300 BC) From Proclus (400AD) belief that the fifth axiom is derivable from the first four Saccheri (17 th century):
Math 260 Foundations of Geometry
Non-Euclidean Geometries
Spherical Geometry and World Navigation
History of Mathematics
Chapter 2: Euclid’s Proof of the Pythagorean Theorem
Chapter 6-Non-Euclidean Geometries
Chapter 2. One of the basic axioms of Euclidean geometry says that two points determine a unique line. EXISTENCE AND UNIQUENESS.
ELEMENTARY NUMBER THEORY AND METHODS OF PROOF
Circular Geometry Robust Constructions Proofs Chapter 4.
Euclidean geometry: the only and the first in the past.
Postulates and Paragraph Proofs
The Strange New Worlds: The Non-Euclidean Geometries Presented by: Melinda DeWald Kerry Barrett.
Copyright © Cengage Learning. All rights reserved.
Geometry: Points, Lines, Planes, and Angles
Hyperbolic Geometry Chapter 11. Hyperbolic Lines and Segments Poincaré disk model  Line = circular arc, meets fundamental circle orthogonally Note: 
Math 3121 Abstract Algebra I Section 0: Sets. The axiomatic approach to Mathematics The notion of definition - from the text: "It is impossible to define.
1 Those Incredible Greeks Lecture Three. 2 Outline  Hellenic and Hellenistic periods  Greek numerals  The rise of “modern” mathematics – axiomatic.
Chapter 2 Greek Geometry The Deductive Method The Regular Polyhedra Ruler and Compass Construction Conic Sections Higher-degree curves Biographical Notes:
Mathematical Arguments and Triangle Geometry
MAT 333 Fall  As we discovered with the Pythagorean Theorem examples, we need a system of geometry to convince ourselves why theorems are true.
In the Eye of the Beholder Projective Geometry. How it All Started  During the time of the Renaissance, scientists and philosophers started studying.
Warm-Up The graph shown represents a hyperbola. Draw the solid of revolution formed by rotating the hyperbola around the y -axis.
Euclid’s Postulates 1.Two points determine one and only one straight line 2.A straight line extends indefinitely far in either direction 3. A circle may.
Mathematics. We tend to think of math as an island of certainty in a vast sea of subjectivity, interpretability and chaos. What is it?
A proof that can be proved in Euclidean geometry, yet not in Non-Euclidean geometry.
Copyright © Cengage Learning. All rights reserved. CHAPTER 7 FUNCTIONS.
Euclid The famous mathematician Euclid is credited with being the first person to describe geometry.
Chapter 2 Construction  Proving. Historical Background Euclid’s Elements Greek mathematicians used  Straightedge  Compass – draw circles, copy distances.
Euclid and the “elements”. Euclid (300 BC, 265 BC (?) ) was a Greek mathematician, often referred to as the "Father of Geometry”. Of course this is not.
Non-Euclidean Geometry Part I.
Naïve Set Theory. Basic Definitions Naïve set theory is the non-axiomatic treatment of set theory. In the axiomatic treatment, which we will only allude.
The Non-Euclidean Geometries
Philosophy of Maths Non-Euclidean Geometries. Two lines are parallel if they “go in the same direction”. In Euclidean geometry, we often say they’re parallel.
B divides AC into the golden ratio if
§21.1 Parallelism The student will learn about: Euclidean parallelism,
Sight Words.
The Elements, Book I – Propositions 1 – 10 MONT 104Q – Mathematical Journeys: Known to Unknown September 25, 2015.
Euclidean vs Non-Euclidean Geometry
Warm-Up The graph shown represents a hyperbola. Draw the solid of revolution formed by rotating the hyperbola around the y-axis.
The Parallel Postulate
Copyright © Cengage Learning. All rights reserved. Line and Angle Relationships 1 1 Chapter.
Station 1 (A) Towards the beginning of the semester, many students made the following claim: “A straight line is the shortest distance between 2 points.”
MA.8.G.2.3 Demonstrate that the sum of the angles in a triangle is 180- degrees and apply this fact to find unknown measure of angles. Block 26.
Geometry- Lesson 11 Unknown Angle Proofs- Proofs of Known Facts 1.
3.1 Identify Pairs of Lines and Angles 3.2 Use Parallel Lines and Transversals Objectives: 1.To differentiate between parallel, perpendicular, and skew.
TOK: Mathematics Unit 1 Day 1. 2 – B 2 = AB – B 2 Factorize both sides: (A+B)(A-B) = B(A-B) Divide both sides by (A-B): A = B = B Since A = B, B+B=B Add.
Geometry: Axiomatic System. MA.912.G Analyze the structure of Euclidean geometry as an axiomatic system. Distinguish between undefined terms, definitions,
Foundations of Geometry
A historical introduction to the philosophy of mathematics
Chapter 1: Basics of Geometry
HYPERBOLIC GEOMETRY Paul Klotzle Gabe Richmond.
Euclid’s Postulates Two points determine one and only one straight line A straight line extends indefinitely far in either direction 3. A circle may be.
Lecture 10 Hyperbolic Geometry
The Elements, Book I – Propositions 22 – 28 MONT 104Q – Mathematical Journeys: Known to Unknown October 2, 2015.
Chapter 2 Greek Geometry
Presentation transcript:

Euclidean and Non-Euclidean geometries, November 25 Our last topic this semester will once again connect back to the plane geometry we saw in Book I of Euclid's Elements Even with texts as timeless and historically influential as this one has been, mathematics is never really “finished” We want to see now what emerged from the critical study of Euclidean geometry in Europe through the Renaissance and Enlightenment periods, into the 19th century

Euclidean geometry Euclidean-style of geometry is a prime example of the use of deductive reasoning But we can ask, what is it “about,” really? For some, it seems to be a mathematical description of the properties of the physical world But is that really true? Note: Book I and the next books treat plane geometry, but the final section – Books XI, XII, XIII – is devoted to solid (3D) geometry. That is a big part of Euclid's system too (and perhaps even the ultimate goal, via the “Platonic solids”)

Euclidean geometry for Euclid Hard to say exactly what Euclid would have thought about this question (what is geometry “about?”) But Euclid's approacy became the characteristic way the Hellenistic Greeks approached almost all mathematical and scientific subjects Example – even a work like Archimedes' “On Floating Bodies” starts with a list of Postulates and then works from there by deductive reasoning – not empirical observations

Euclidean geometry The new branches of geometry introduced in the 1500's and 1600's were consistent with Euclid, if viewed properly Analytic geometry, that is, geometry with coordinates, a la Descartes, was understood as a different way to describe the Euclidean plane or space, but the results were the same Projective geometry studied the properties of a new space with ideal points at infinity, but the construction was still based on the Euclidean theory of parallels, and the projective plane contains the Euclidean plane as a subset.

The special status of Postulate 5 As we have said, the way Euclid used the 5th Postulate in the Elements had always been viewed as somewhat questionable Proclus (5th century CE) in reference to Postulate 5: [an extensive discussion along the lines we have mentioned before] “make[s] it clear that we should seek a proof of the theorem that lies before us and that it lacks the special character of a postulate” (my italics) Thabit ibn Qurra, Omar Khayyam and others continued this train of thought

Girolamo Saccheri, S.J. One of the later European mathematicians who took up this idea and pushed it the farthest was an Italian Jesuit priest named Girolamo Saccheri (1667 – 1733) Born in San Remo; entered the Jesuit order in 1685 Taught mathematics and philosophy in the universities at Turin and Pavia in northern Italy for the rest of his life

Saccheri's best-known work

Saccheri's most important work A book usually referred to as “Euclid Freed From Every Flaw” in English, published in 1733 Key idea here (and also in the earlier work by Omar Khayyam): Try to prove Postulate 5 from other results in Book I, using a proof by contradiction In other words, Saccheri starts from the assumption that Postulate 5 does not hold and tries to deduce consequences that will contradict facts developed using only Postulates 1 – 4, the Common Notions, and things proved using them, but not using Postulate 5.

Saccheri's reasoning In this goal, Saccheri was aided by one very interesting feature of the organization of Book I of the Elements. As we noticed before: The first use of Postulate 5 occurs only in Proposition 29 (If a transversal cuts two parallel lines, the alternate interior angles are equal, the corresponding angles are equal, and the interior angles on one side of the transversal sum to two right angles) Everything before that depends only on Postulates 1 through 4

Saccheri's reasoning Now recall the statement of Postulate 5 In Euclid's form: If a line falling on two other lines makes angles on one side summing to less than two right angles, then the two lines, if extended indefinitely on that side, will eventually intersect An equivalent statement (version proved by Euclid in Proposition 31): Given a line L and a point P not on the line L, there is a unique parallel L' to L passing through P.

Saccheri's reasoning If Postulate 5 is not true, then the equivalent form is not true either So given a line L and a point P not on the line, there are two possibilities – Either (S) There are no parallel lines to L at all passing through P, or else (H) There is more than one parallel line L' to L passing through P In the first (S) case, Saccheri shows that we cannot extend straight lines indefinitely without having them pass through other points on the same line, so Postulate 2 does not hold.

Saccheri's reasoning In the second (H) case, Saccheri (following Omar Khayyam, although it is not clear whether he knew about Khayyam's work or whether he was rediscovering the same ideas) studied the properties of special quadrilaterals, now called Saccheri quadrilaterals. These are analogous to rectangles in usual Euclidean plane, but they have some different properties!

Saccheri quadrilaterals

Saccheri quadrilaterals, continued If (H) holds, though, then the two equal “summit angles” in the Saccheri quadrilateral are acute angles (yes, strictly acute!) and the side CD is part of a line parallel to the line containing AB One of the immediate consequences of this is an unexpected result for the sum of the angles in a triangle Start with ΔABC, let E be the midpoint of AC and F the midpoint of AB as in this figure (I, 10)

Angle sums in triangles under (H)

Saccheri quadrilaterals, continued Drop perpendiculars to DE (extended) from A, B and C, call the feet F, G, H respectively (I, 12) Then ΔECG and ΔEAH are congruent and similarly for ΔDBF and ΔDAH (“AAS,” I 26) Hence GC = FB, so CGFB is a Saccheri quadrilateral Hence the sum of the angles in ΔABC is equal to the sum of the two summit angles in CGFB Therefore the sum of the angles in ΔABC is strictly less than two right angles.

But wait a minute !? Could this be the contradiction Saccheri was aiming for? The answer is, NO. I, 32 is Euclid's proof of the angle sum formula for triangles. But that comes after I, 29 (and depends on it!) So I, 32 is only proved under the assumption that the alternate form of Postulate 5 holds with a unique parallel line. We are assuming (H), along with Saccheri – no contradiction there(!)

But wait a minute !? Saccheri continued, proving more and more stange results about his quadrilaterals and other figures under the assumption (H) Eventually, he got something that just looked too strange and his book concludes with a statement like – this is “repugnant to the nature of straight lines” so there must be a contradiction. But was he right?

The next steps Saccheri died in 1733 and his book, even with its grandiose title, attracted very little attention at the time Other mathematicians, including some of the best in Europe (Legendre, Gauss, … ) thought about these questions too. However, the decisive steps were published first by two relatively obscure mathematicians: Nikolai Ivanovich Lobachevsky (1792 – 1856) Janos Bolyai (1802 – 1860)

Bolyai and Lobachevsky

The next steps What Lobachevsky and Bolyai did was to abandon the idea that (H) would eventually lead to a contradiction(!) In effect, they realized that all the strange results about “familiar” geometric figures proved under the assumption of (H) were really theorems about a different, non-Euclidean, geometry(!) Needless to say, their work was controversial at first

The conundrum After all, if geometry is a mathematical theory of physical space, And we live in just one physical space (at least as far as we can tell) Then, there is only one possible geometry and either Euclid's or Bolyai and Lobachevsky's geometry must be wrong. QED, as Euclid would say! Bolyai and Lobachevsky's geometric results challenged this whole way of thinking (which is actually still pretty common, especially in those without a lot of advanced mathematical training)

Gauss

Gauss weighs in Bolyai's father, also a mathematician, sent his son's work to one of the greatest mathematicians of that (or any) era – Carl Friedrich Gauss (1777 – 1855), asked for an opinion Gauss's motto: “pauca sed matura” (“few but ripe”) – worked in every field of mathematics and physics and made fundamental contributions in almost all, but preferred to publish only when he could put his results in a highly “polished” state; also very proud and averse to criticism His reply to Bolyai, senior: “Oh, yes – I did all that years ago; your son's work is all right”

End of the search for a contradiction By the middle of the 19th century (in the world of pure mathematics research at least), it was starting to be accepted that Euclid's geometry is not the only one possible Namely, there is another form of plane geometry, now called hyperbolic geometry, in which Euclid's Postulate 5 does not hold and the alternate (H) postulate does hold. But, how do we know there is not some error involved here? Might non-Euclidean geometry contain some contradiction after all?

After Thanksgiving We'll look at one way mathematicians have convinced themselves there is no contradiction . We'll see some remarkable images created by M.C. Escher inspired by these geometries and that illustrate what they “look like” We'll also look at some of the “fallout” from these discoveries – especially How the existence of other geometries has changed the way we think about what mathematics is and what mathematicians do

What does a non-Euclidean geometry “look like?” – December 2 The final step of showing that hyperbolic geometry is as consistent as Euclidean geometry was provided by work of a number of different 19th century mathematicians who showed that models of hyperbolic geometry could be constructed within the Euclidean plane. If there were any contradictions, there would be contradictions in Euclidean geometry as well. (This sort of argument is known as a relative consistency proof in ``the foundations of mathematics biz.'')

What does a non-Euclidean geometry “look like?” Today, we will look at one such model that was provided by a 19th and early 20th century French mathematician named Henri Poincaré (1854 - 1925)

What does a non-Euclidean geometry “look like?” To start, we must free ourselves from preconceptions about lines that only hold under Euclid's Postulate 5: Points in the Poincaré disk model are points (strictly) inside the unit circle in the plane Lines in the Poincaré model are either open diameters of the circle (i.e. not containing the two endpoints) or open arcs of circles that would intersect the boundary of the disk at right angles The following diagram shows several such lines

The Poincaré disk model

What does a non-Euclidean geometry “look like?” Technical aspects of the Poincaré model (that we will not discuss) include specified methods for computing distances and angles Angles are the same as in the picture within the Euclidean plane (“conformal” property) Distances, areas, etc. are not the same as Euclidean distances, areas, etc. though In particular, to understand distances and areas within Poincaré's world, need to know that everything gets magnified as we move toward the outer circle, and the total area is infinite(!)

But, wait a second! Why was Poincaré justified in thinking of these as lines?? They don't look “straight!” The point is that they do have the same properties as straight lines in Euclidean geometry – Postulates 1 and 2 hold in usual form, for instance More convincing to mathematicians: the technical methods used to compute lengths come from Bernhard Riemann (1826-1866) – a “metric tensor” allows one to compute lengths using calculus; Poincaré's lines are shortest-distance curves between points (“geodesics”)

Observe, though It is clearly the “hyperbolic” form (H) of the parallel postulate that holds in this geometry – Given any line L and a point P not on L, there are infinitely many lines through P that do not meet L There are infinitely many “parallels” (!)

An interesting connection As several of you know from your papers, the 20th century Dutch artist M.C. Escher (1898-1972) had a close but somewhat conflicted relation with mathematics through his work. His art often involves ideas that come from mathematics and even seems to be “about” those ideas, even though he might describe them differently from his point of view

“Day and Night”

“Möbius Strip”

One aspect of Escher's art Escher had life-long fascination with using “regular subdivisions,” or repeated patterns to “tile” or cover the plane with designs Can see how he drew on this even in other works like “Day and Night” Also studied it “for its own” sake in an amazing series of notebooks of drawings where he essentially created a classification of different ways to create such patterns

Two Escher symmetry drawings

Escher on his art and mathematics “In mathematical quarters, the regular division of the plane has been considered theoretically. ... [Mathematicians] have opened the gate leading to an extensive domain, but they have not entered this domain themselves. By their very nature they are more interested in the way in which the gate is opened than in the garden lying behind it.”

Escher and Coxeter Eventually Escher started a correspondence with a famous British/Canadian geometer named H.S.M. Coxeter (1907-2003) – University of Toronto – who was interested in the art for its mathematical connections Escher claimed not to be able to follow any of the mathematics that Coxeter used to try to explain things that Escher asked him about But a diagram Coxeter sent to Escher did plant a seed in Escher's intuition about hyperbolic non-Euclidean analogs of the regular subdivisions

Escher's “Circle Limit I”

Escher's “Circle Limit III”