TOPICS
Search

Projective Plane


A projective plane, sometimes called a twisted sphere (Henle 1994, p. 110), is a surface without boundary derived from a usual plane by addition of a line at infinity. Just as a straight line in projective geometry contains a single point at infinity at which the endpoints meet, a plane in projective geometry contains a single line at infinity at which the edges of the plane meet. A projective plane can be constructed by gluing both pairs of opposite edges of a rectangle together giving both pairs a half-twist. It is a one-sided surface, but cannot be realized in three-dimensional space without crossing itself.

A finite projective plane of order n is formally defined as a set of n^2+n+1 points with the properties that:

1. Any two points determine a line,

2. Any two lines determine a point,

3. Every point has n+1 lines on it, and

4. Every line contains n+1 points.

(Note that some of these properties are redundant.) A projective plane is therefore a symmetric (n^2+n+1, n+1, 1) block design. An affine plane of order n exists iff a projective plane of order n exists.

A finite projective plane exists when the order n is a power of a prime, i.e., n=p^a for a>=1. It is conjectured that these are the only possible projective planes, but proving this remains one of the most important unsolved problems in combinatorics. The first few orders that are powers of primes are 2, 3, 4, 5, 7, 8, 9, 11, 13, 16, ... (OEIS A000961). The first few orders that are not of this form are 6, 10, 12, 14, 15, ... (OEIS A024619).

FanoPlane

The smallest finite projective plane is of order n=2, and consists of the 7_3 configuration known as the Fano plane, illustrated above.

The remarkable Bruck-Ryser-Chowla theorem says that if a projective plane of order n exists, and n=1 or 2 (mod 4), then n is the sum of two squares. This rules out n=6. By answering Lam's problem in the negative using massive computer calculations on top of some mathematics, it has been proved that there are no finite projective planes of order 10 (Lam 1991). The status of the order 12 projective plane remains open.

The projective plane of order 2, also known as the Fano plane, is denoted PG(2, 2). It has incidence matrix

 [1 1 1 0 0 0 0; 1 0 0 1 1 0 0; 1 0 0 0 0 1 1; 0 1 0 1 0 1 0; 0 1 0 0 1 0 1; 0 0 1 1 0 0 1; 0 0 1 0 1 1 0].

Every row and column contains 3 1s, and any pair of rows/columns has a single 1 in common.

PetersenProjectiveColoring

The projective plane has Euler characteristic 1, and the Heawood conjecture therefore shows that any set of regions on it can be colored using six colors only (Saaty 1986). The Petersen graph provides a 6-color coloring of the projective plane.


See also

Affine Plane, Block Design, Bruck-Ryser-Chowla Theorem, Complex Projective Plane, Configuration, Fano Plane, Hyperoval, Lam's Problem, Map Coloring, Moufang Plane, Oval, Projective Plane PK2, Projective Space, Real Projective Plane, Symmetric Block Design Explore this topic in the MathWorld classroom

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

References

Ball, W. W. R. and Coxeter, H. S. M. Mathematical Recreations and Essays, 13th ed. New York: Dover, pp. 281-287, 1987.Bondy, J. A. and Murty, U. S. R. Graph Theory with Applications. New York: North Holland, p. 243, 1976.Bruck, R. H. and Ryser, H. J. "The Nonexistence of Certain Finite Projective Planes." Canad. J. Math. 1, 88-93, 1949.Henle, M. A Combinatorial Introduction to Topology. New York: Dover, pp. 110-111, 1994.Lam, C. W. H. "The Search for a Finite Projective Plane of Order 10." Amer. Math. Monthly 98, 305-318, 1991.Lindner, C. C. and Rodger, C. A. Design Theory. Boca Raton, FL: CRC Press, 1997.Pinkall, U. "Models of the Real Projective Plane." Ch. 6 in Mathematical Models from the Collections of Universities and Museums (Ed. G. Fischer). Braunschweig, Germany: Vieweg, pp. 63-67, 1986.Saaty, T. L. and Kainen, P. C. The Four-Color Problem: Assaults and Conquest. New York: Dover, p. 45, 1986.Sloane, N. J. A. Sequences A000961/M0517 and A024619 in "The On-Line Encyclopedia of Integer Sequences."Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. London: Penguin, pp. 72 and 195-197, 1991.

Referenced on Wolfram|Alpha

Projective Plane

Cite this as:

Weisstein, Eric W. "Projective Plane." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ProjectivePlane.html

Subject classifications