Math 2.0

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 ℝ2\R^2. Its lines are of three kinds:

  1. the vertical lines x=cx = c;
  2. the lines y=mx+by = m x + b with slope m≥0m \ge 0;
  3. for each slope m<0m < 0 and each b∈ℝb \in \R, the bent line made of the points (x,mx+b)(x, m x + b) with x≤0x \le 0 and the points (x,2mx+b)(x, 2 m x + b) with x≥0x \ge 0.

So lines of negative slope are bent where they cross the yy-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 m<0m < 0, the bent lines with parameter mm are pairwise parallel, as are the lines of each other slope. Some authors use another factor than 22; any positive factor other than 11 gives a plane with the same properties.

The Moulton plane does not satisfy the affine form of Desargues's theorem. Let O=(−10,−10)O = (-10, -10), A=(−8,−6)A = (-8, -6), B=(−6,2)B = (-6, 2), C=(−2,−2)C = (-2, -2), and A′=(−7,−4)A' = (-7, -4), B′=(−4,8)B' = (-4, 8), C′=(2,2)C' = (2, 2). Check:

  • A′=O+32(A−O)A' = O + \tfrac{3}{2}(A - O), and likewise for B′B' and C′C'.
  • The lines OAOA, OBOB, OCOC have slopes 22, 33, 11, so they are ordinary lines; they contain A′A', B′B', C′C'.
  • ABAB and A′B′A'B' both have slope 44, and ACAC and A′C′A'C' both have slope 2/32/3; these are ordinary distinct lines, so AB∥A′B′AB \parallel A'B' and AC∥A′C′AC \parallel A'C'.
  • BB and CC lie in x<0x < 0 on y=−x−4y = -x - 4, so BCBC is the bent line with m=−1m = -1, b=−4b = -4.
  • The line through B′B' and C′C' is bent with 8=−4m+b8 = -4m + b and 2=4m+b2 = 4m + b, so m=−3/4m = -3/4 and b=5b = 5.

Since −3/4≠−1-3/4 \ne -1, the line B′C′B'C' is not parallel to BCBC. In the Euclidean plane the same data would force BC∥B′C′BC \parallel B'C'.

Remarks

Add a line at infinity, with one point for each class of parallel lines, to get a projective plane. In it the triangles ABCABC and A′B′C′A'B'C' are in perspective from OO, the points AB∩A′B′AB \cap A'B' and AC∩A′C′AC \cap A'C' lie on the line at infinity, but BC∩B′C′BC \cap B'C' 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Collinear points concept
  2. Projective plane concept
  3. Projective space concept
  4. Desargues's theorem statement
  5. Moulton plane example

Where this leads

2 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Moulton_plane
About this page
Tag3V9GYYXM1H
URIm2://3V9GYYXM1H
Kindexample
WritingW0 stub
MSC51A35, 51A15
Instance ofAffine plane
UsesDesargues'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.

What links here

Used by