Two Models of Projective Geometry

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
In the first model of 2D elliptic geometry, "points" and "lines" are the lines and planes through the origin in 3D, respectively. These axioms are satisfied: two "points" determine a "line" (because the two ordinary lines determine an ordinary plane), and two "lines" determine a "point" (intersect the two ordinary planes to get an ordinary line). There are no parallel "lines", because all ordinary planes intersect.
[more]
Contributed by: George Beck (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"Two Models of Projective Geometry"
http://demonstrations.wolfram.com/TwoModelsOfProjectiveGeometry/
Wolfram Demonstrations Project
Published: March 7 2011