Preface |
|
xiii | |
|
Chapter 0 About Euclidean Geometry |
|
|
1 | (32) |
|
§0.1 The axioms of Euclidean plane geometry |
|
|
2 | (3) |
|
|
5 | (2) |
|
|
7 | (4) |
|
§0.4 Parallel translations and vectors |
|
|
11 | (2) |
|
§0.5 Triangles: congruence, properties |
|
|
13 | (2) |
|
§0.6 Homothety and similitude |
|
|
15 | (3) |
|
§0.7 Angle measure and trigonometry |
|
|
18 | (2) |
|
§0.8 Properties of the circle |
|
|
20 | (4) |
|
§0.9 Isometries of the plane |
|
|
24 | (4) |
|
|
28 | (5) |
|
Chapter 1 Toy Geometries and Main Definitions |
|
|
33 | (20) |
|
§1.1 Isometries of the Euclidean plane and space |
|
|
33 | (2) |
|
§1.2 Symmetries of some figures |
|
|
35 | (6) |
|
§1.3 Transformation groups |
|
|
41 | (5) |
|
§1.4 The category of geometries |
|
|
46 | (3) |
|
§1.5 Some philosophical remarks |
|
|
49 | (1) |
|
|
50 | (3) |
|
Chapter 2 Abstract Groups and Group Presentations |
|
|
53 | (14) |
|
|
53 | (4) |
|
|
57 | (1) |
|
|
58 | (1) |
|
§2.4 The Lagrange theorem |
|
|
59 | (1) |
|
|
60 | (1) |
|
§2.6 Free groups and permutations |
|
|
61 | (1) |
|
|
62 | (2) |
|
|
64 | (1) |
|
|
65 | (2) |
|
Chapter 3 Finite Subgroups of SO(3) and the Platonic Bodies |
|
|
67 | (18) |
|
§3.1 The Platonic bodies in art, philosophy, and science |
|
|
68 | (2) |
|
§3.2 Finite subgroups of SO(3) |
|
|
70 | (7) |
|
§3.3 The five regular polyhedra |
|
|
77 | (1) |
|
§3.4 The five Kepler cubes |
|
|
78 | (1) |
|
§3.5 Regular polyhedra in higher dimensions |
|
|
79 | (2) |
|
|
81 | (4) |
|
Chapter 4 Discrete Subgroups of the Isometry Group of the Plane and Tilings |
|
|
85 | (14) |
|
§4.1 Tilings in architecture, art, and science |
|
|
85 | (2) |
|
§4.2 Tilings and crystallography |
|
|
87 | (2) |
|
§4.3 Isometries of the plane |
|
|
89 | (1) |
|
§4.4 Discrete groups and discrete geometries |
|
|
90 | (1) |
|
§4.5 The seventeen regular tilings |
|
|
90 | (5) |
|
§4.6 The 230 crystallographic groups |
|
|
95 | (1) |
|
|
95 | (4) |
|
Chapter 5 Reflection Groups and Coxeter Geometries |
|
|
99 | (10) |
|
§5.1 An example: the kaleidoscope |
|
|
99 | (1) |
|
§5.2 Coxeter polygons and polyhedra |
|
|
100 | (1) |
|
§5.3 Coxeter geometries on the plane |
|
|
101 | (2) |
|
§5.4 Coxeter geometries in Euclidean space R3 |
|
|
103 | (2) |
|
§5.5 Coxeter schemes and the classification theorem |
|
|
105 | (2) |
|
|
107 | (2) |
|
Chapter 6 Spherical Geometry |
|
|
109 | (16) |
|
§6.1 A list of classical continuous geometries |
|
|
109 | (4) |
|
§6.2 Some basic facts from Euclidean plane geometry |
|
|
113 | (1) |
|
§6.3 Lines, distances, angles, polars, and perpendiculars |
|
|
114 | (2) |
|
§6.4 Biangles and triangles in S2 |
|
|
116 | (4) |
|
§6.5 Other theorems about triangles |
|
|
120 | (1) |
|
§6.6 Coxeter triangles on the sphere S2 |
|
|
121 | (1) |
|
§6.7 Two-dimensional elliptic geometry |
|
|
121 | (2) |
|
|
123 | (2) |
|
Chapter 7 The Poincare Disk Model of Hyperbolic Geometry |
|
|
125 | (18) |
|
§7.1 Inversion and orthogonal circles |
|
|
126 | (5) |
|
§7.2 Definition of the disk model |
|
|
131 | (2) |
|
§7.3 Points and lines in the hyperbolic plane |
|
|
133 | (1) |
|
|
134 | (1) |
|
§7.5 Parallels and nonintersecting lines |
|
|
134 | (1) |
|
§7.6 Sum of the angles of a triangle |
|
|
135 | (1) |
|
§7.7 Rotations and circles in the hyperbolic plane |
|
|
136 | (2) |
|
§7.8 Hyperbolic geometry and the physical world |
|
|
138 | (1) |
|
|
139 | (4) |
|
Chapter 8 The Poincare Half-Plane Model |
|
|
143 | (10) |
|
§8.1 Affine and linear-fractional transformations of C |
|
|
144 | (3) |
|
§8.2 The Poincare half-plane model |
|
|
147 | (1) |
|
§8.3 Perpendiculars and parallels |
|
|
148 | (2) |
|
§8.4 Isometries w.r.t. Mobius distance |
|
|
150 | (1) |
|
|
151 | (2) |
|
Chapter 9 The Cayley-Klein Model |
|
|
153 | (10) |
|
§9.1 Isometry and the Cayley-Klein model |
|
|
153 | (3) |
|
§9.2 Parallels in the Cayley-Klein model |
|
|
156 | (2) |
|
§9.3 Perpendiculars in the Cayley-Klein model |
|
|
158 | (1) |
|
§9.4 The hyperbolic line and relativity |
|
|
159 | (1) |
|
|
160 | (3) |
|
Chapter 10 Hyperbolic Trigonometry and Absolute Constants |
|
|
163 | (14) |
|
§10.1 Isomorphism between the two disk models |
|
|
163 | (5) |
|
§10.2 Isomorphism between the two Poincare models |
|
|
168 | (1) |
|
§10.3 Hyperbolic functions |
|
|
169 | (1) |
|
§10.4 Trigonometry on the hyperbolic plane |
|
|
170 | (1) |
|
§10.5 Angle of parallelism and Schweikart constant |
|
|
170 | (3) |
|
|
173 | (4) |
|
Chapter 11 History of Non-Euclidean Geometry |
|
|
177 | (8) |
|
§11.1 Euclid's Fifth Postulate |
|
|
177 | (1) |
|
§11.2 Statements equivalent to the Fifth Postulate |
|
|
178 | (1) |
|
|
179 | (1) |
|
|
180 | (2) |
|
|
182 | (1) |
|
§11.6 Beltrami, Helmholtz, Lie, Cayley, Klein, Poincare |
|
|
183 | (1) |
|
|
184 | (1) |
|
Chapter 12 Projective Geometry |
|
|
185 | (18) |
|
§12.1 The projective plane as a geometry |
|
|
185 | (1) |
|
§12.2 Homogeneous coordinates |
|
|
186 | (2) |
|
§12.3 Projective transformations |
|
|
188 | (3) |
|
§12.4 Cross ratio of collinear points |
|
|
191 | (1) |
|
|
192 | (2) |
|
|
194 | (1) |
|
§12.7 The Desargues, Pappus, and Pascal theorems |
|
|
194 | (5) |
|
§12.8 Projective space RP3 |
|
|
199 | (1) |
|
|
200 | (3) |
|
Chapter 13 "Projective Geometry Is All Geometry" |
|
|
203 | (8) |
|
|
203 | (1) |
|
§13.2 The Euclidean plane as a subgeometry of the projective plane RP2 |
|
|
204 | (1) |
|
§13.3 The hyperbolic plane as a subgeometry of the projective plane RP2 |
|
|
205 | (2) |
|
§13.4 The elliptic plane as a subgeometry of RP2 |
|
|
207 | (2) |
|
|
209 | (2) |
|
Chapter 14 Finite Geometries |
|
|
211 | (18) |
|
§14.1 Small finite geometries |
|
|
212 | (1) |
|
|
212 | (1) |
|
§14.3 Example: the finite affine plane over F(5) |
|
|
213 | (2) |
|
§14.4 Example: the finite affine plane over F(22) |
|
|
215 | (1) |
|
§14.5 Example of a finite projective plane |
|
|
216 | (1) |
|
§14.6 Axioms for finite affine planes |
|
|
217 | (1) |
|
§14.7 Axioms for finite projective planes |
|
|
218 | (2) |
|
§14.8 Constructing projective planes over finite fields |
|
|
220 | (1) |
|
§14.9 The Desargues theorem |
|
|
221 | (2) |
|
§14.10 Algebraic structures in finite projective planes |
|
|
223 | (3) |
|
§14.11 Open problems and conjectures |
|
|
226 | (1) |
|
|
227 | (2) |
|
Chapter 15 The Hierarchy of Geometries |
|
|
229 | (12) |
|
§15.1 Dimension one: lines |
|
|
230 | (2) |
|
§15.2 Dimension two: planes |
|
|
232 | (2) |
|
§15.3 From metric to affine to projective |
|
|
234 | (1) |
|
§15.4 Three-dimensional space geometries |
|
|
235 | (1) |
|
§15.5 Finite and discrete geometries |
|
|
236 | (1) |
|
§15.6 The hierarchy of geometries |
|
|
236 | (2) |
|
|
238 | (3) |
|
Chapter 16 Morphisms of Geometries |
|
|
241 | (14) |
|
§16.1 Examples of geometric covering spaces |
|
|
242 | (3) |
|
§16.2 Examples of geometric G-bundles |
|
|
245 | (2) |
|
|
247 | (1) |
|
§16.4 Examples of geometric vector bundles |
|
|
248 | (2) |
|
§16.5 Geometric G-bundles |
|
|
250 | (1) |
|
§16.6 The Milnor construction |
|
|
251 | (1) |
|
|
252 | (3) |
|
Appendix A Excerpts from Euclid's "Elements" |
|
|
255 | (16) |
|
|
256 | (1) |
|
|
257 | (1) |
|
The Definitions of Book I |
|
|
258 | (4) |
|
The Propositions of Book I |
|
|
262 | (7) |
|
|
269 | (2) |
|
Appendix B Hilbert's Axioms for Plane Geometry |
|
|
271 | (12) |
|
|
272 | (2) |
|
|
274 | (1) |
|
|
275 | (1) |
|
|
276 | (3) |
|
|
279 | (4) |
|
Consistency of Hilbert's axioms |
|
|
280 | (1) |
|
|
281 | (2) |
|
|
283 | (14) |
|
|
283 | (2) |
|
|
285 | (1) |
|
|
286 | (2) |
|
|
288 | (2) |
|
|
290 | (1) |
|
|
290 | (1) |
|
|
291 | (3) |
|
|
294 | (1) |
|
|
294 | (1) |
|
|
295 | (1) |
|
|
295 | (1) |
|
|
296 | (1) |
|
|
296 | (1) |
|
|
296 | (1) |
|
|
296 | (1) |
Bibliography |
|
297 | (2) |
Index |
|
299 | |