The Foundations of Geometry and the Non-Euclidean PlaneSpringer Science & Business Media, 6. des. 2012 - 512 sider This book is a text for junior, senior, or first-year graduate courses traditionally titled Foundations of Geometry and/or Non Euclidean Geometry. The first 29 chapters are for a semester or year course on the foundations of geometry. The remaining chap ters may then be used for either a regular course or independent study courses. Another possibility, which is also especially suited for in-service teachers of high school geometry, is to survey the the fundamentals of absolute geometry (Chapters 1 -20) very quickly and begin earnest study with the theory of parallels and isometries (Chapters 21 -30). The text is self-contained, except that the elementary calculus is assumed for some parts of the material on advanced hyperbolic geometry (Chapters 31 -34). There are over 650 exercises, 30 of which are 10-part true-or-false questions. A rigorous ruler-and-protractor axiomatic development of the Euclidean and hyperbolic planes, including the classification of the isometries of these planes, is balanced by the discussion about this development. Models, such as Taxicab Geometry, are used exten sively to illustrate theory. Historical aspects and alternatives to the selected axioms are prominent. The classical axiom systems of Euclid and Hilbert are discussed, as are axiom systems for three and four-dimensional absolute geometry and Pieri's system based on rigid motions. The text is divided into three parts. The Introduction (Chapters 1 -4) is to be read as quickly as possible and then used for ref erence if necessary. |
Inni boken
Resultat 1-5 av 63
Side 5
... Cartesian plane . Thus , thinking of a line as a set of points , our for- midable looking set is the set of all lines in the Cartesian plane . 1.3 RELATIONS If D and C are sets and G CDXC , then the ordered triple ( D , C , G ) is a ...
... Cartesian plane . Thus , thinking of a line as a set of points , our for- midable looking set is the set of all lines in the Cartesian plane . 1.3 RELATIONS If D and C are sets and G CDXC , then the ordered triple ( D , C , G ) is a ...
Side 8
... plane two parallel pencils are disjoint . • 1.6 Describe { ( x , y ) | x , y E R , Ox + 0y + 0 = 0 } and { ( x , y ) | x , y = R , Ox + 0y + 2 = 0 } as sets of points in the Cartesian plane . 1.7 Show " p and q " is equivalent to " not ...
... plane two parallel pencils are disjoint . • 1.6 Describe { ( x , y ) | x , y E R , Ox + 0y + 0 = 0 } and { ( x , y ) | x , y = R , Ox + 0y + 2 = 0 } as sets of points in the Cartesian plane . 1.7 Show " p and q " is equivalent to " not ...
Side 12
... Cartesian plane . We let the x - axis represent the domain and the y - axis represent the co- domain . The graph consists of all points ( x , f ( x ) ) . The range consists of all numbers f ( x ) . See Figure 2.1 , illustrating f : RR ...
... Cartesian plane . We let the x - axis represent the domain and the y - axis represent the co- domain . The graph consists of all points ( x , f ( x ) ) . The range consists of all numbers f ( x ) . See Figure 2.1 , illustrating f : RR ...
Side 37
... Cartesian Inci- dence Plane is an example of the first of three types of incidence planes that we shall consider . Axiom System I An affine plane is an incidence plane such that AXIOM 1 If P and Q are two points , then there exists a ...
... Cartesian Inci- dence Plane is an example of the first of three types of incidence planes that we shall consider . Axiom System I An affine plane is an incidence plane such that AXIOM 1 If P and Q are two points , then there exists a ...
Side 38
... planes perpendicular to an axis , and F given by the usual incidence of Cartesian three - space . Once you get over any prej- udice you might have that a plane in one geometry cannot be a line in some other geometry , it is trivial to ...
... planes perpendicular to an axis , and F given by the usual incidence of Cartesian three - space . Once you get over any prej- udice you might have that a plane in one geometry cannot be a line in some other geometry , it is trivial to ...
Innhold
10 | |
17 | |
24 | |
38 | |
PART ONE ABSOLUTE GEOMETRY | 48 |
INCIDENCE AXIOM AND RULER POSTULATE | 65 |
BETWEENNESS | 75 |
ANGLES AND TRIANGLES | 100 |
SACCHERIS THREE HYPOTHESES | 255 |
19 | 261 |
EUCLIDS PARALLEL POSTULATE | 269 |
BIANGLES | 292 |
26 | 302 |
EXCURSIONS | 317 |
31 | 318 |
PART TWO NONEUCLIDEAN GEOMETRY | 332 |
THE GOLDEN AGE OF GREEK MATHEMATICS | 111 |
EUCLIDS ELEMENTS Optional | 121 |
PASCHS POSTULATE AND PLANE | 131 |
CROSSBAR AND QUADRILATERALS | 144 |
MEASURING ANGLES AND THE PROTRACTOR | 155 |
ALTERNATIVE AXIOM SYSTEMS Optional | 172 |
MIRRORS | 182 |
CONGRUENCE AND THE PENULTIMATE | 192 |
PERPENDICULARS AND INEQUALITIES | 204 |
REFLECTIONS | 216 |
CIRCLES | 226 |
ABSOLUTE GEOMETRY AND SACCHERI | 239 |
15 | 253 |
BRUSHES AND CYCLES | 347 |
22228 | 356 |
ROTATIONS TRANSLATIONS | 360 |
THE CLASSIFICATION OF ISOMETRIES | 371 |
SYMMETRY | 386 |
HOROCIRCLES | 402 |
THE FUNDAMENTAL FORMULA | 421 |
CATEGORICALNESS AND AREA | 444 |
QUADRATURE OF THE CIRCLE | 464 |
Hints and Answers | 494 |
Notation Index | 503 |
Andre utgaver - Vis alle
The Foundations of Geometry and the Non-Euclidean Plane G.E. Martin Ingen forhåndsvisning tilgjengelig - 2011 |
Vanlige uttrykk og setninger
AABC absolute geometry Acute Angle ADEF affine plane Assume axiom system biangle Bolyai Cartesian plane CHAPTER circle with center collinear congruent contains convex set coordinate system Corollary cosh defined definition distance scale distinct points elements equal equation equidistant equivalence relation Euclid's Parallel Postulate Euclid's Proposition Euclidean geometry Euclidean plane exactly FIGURE fixes follows Gauss given glide reflection H₁ H₂ halfplane Hence horocircle horoparallel horopencil hyperbolic geometry hyperparallel Hypothesis implies Incidence Axiom Incidence Plane integer interior angles isometry isomorphic LAVB line intersects Lobachevsky mapping mathematics midpoint non-Euclidean geometry obtuse opposite sides PASCH perpendicular bisector Proof Let Proof Suppose Protractor Protractor Postulate prove radius real numbers right angle Ruler Postulate SABCD Saccheri quadrilateral segment set of points sinh statement straight line symmetry tanh Taxicab Geometry theory of parallels three-space tion unique line unique point vertex y₁ y₂