Geometry Projective geometry and linear incidence geometry Example
Moulton plane
Builds on Desargues's theoremProjective plane
Example
The points of the Moulton plane are the points of . Its lines are of three kinds:
- the vertical lines ;
- the lines with slope ;
- for each slope and each , the bent line made of the points with and the points with .
So lines of negative slope are bent where they cross the -axis, and their slope doubles on the right. With these lines it is an affine plane: any two points lie on exactly one line. For a fixed , the bent lines with parameter are pairwise parallel, as are the lines of each other slope. Some authors use another factor than ; any positive factor other than gives a plane with the same properties.
The Moulton plane does not satisfy the affine form of Desargues's theorem. Let , , , , and , , . Check:
- , and likewise for and .
- The lines , , have slopes , , , so they are ordinary lines; they contain , , .
- and both have slope , and and both have slope ; these are ordinary distinct lines, so and .
- and lie in on , so is the bent line with , .
- The line through and is bent with and , so and .
Since , the line is not parallel to . In the Euclidean plane the same data would force .
Remarks
Add a line at infinity, with one point for each class of parallel lines, to get a projective plane. In it the triangles and are in perspective from , the points and lie on the line at infinity, but is a finite point. So the three points are not collinear, and the projective completion is a non-Desarguesian plane.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Collinear points concept
- Projective plane concept
- Projective space concept
- Desargues's theorem statement
- Moulton plane example
Where this leads
2 pages build on this one.
Further reading
About this page
| Tag | 3V9GYYXM1H |
|---|---|
| URI | m2://3V9GYYXM1H |
| Kind | example |
| Writing | W0 stub |
| MSC | 51A35, 51A15 |
| Instance of | Affine plane |
| Uses | Desargues's theorem, Projective plane |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.