Jump to content

Projective geometry axioms

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 146.186.131.40 (talk) at 21:52, 8 May 2008. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, an axiomatic projective space S is a set P (the set of points), together with a set of subsets of P (the set of lines), all of which have at least three elements, satisfying these axioms :

  • Each two distinct points p and q are in exactly one line.
  • Veblen's axiom : When a line L intersects the line through p and q (different from p and q), and intersects the line through q and r (different from q and r), it also intersects the line through p and r.
  • There is a point p and a line L that are disjoint.

The last axiom is there to prevent degenerations.

A subspace of the projective space is a subset X, such that any line containing two points of X is a subset of X. The full space and the empty space are also considered subspaces.

The geometric dimension of the space is said to be n if that is the largest number for which there is a strictly ascending chain of subspaces of this form : As a consequence of the third axiom : .

Classification

Oswald Veblen and John Wesley Young (1879-1932) proved that, if , every axiomatic projective space is isomorphic with a PG(n,K), the n-dimensional projective space over some division ring K. This is now known as the Veblen-Young theorem, and appeared in the first volume, from 1910, of their two-volume book Projective Geometry.

The two-dimensional case

One can check that the definition for n = 2 is completely equivalent with that of an projective plane (identifying lines with the set of points incident with it). However it turns out that these are much harder to classify, as not all of them are isomorphic with a PG(d,K). Tits generalized this phenomenon with his generalized n-gons : the generalized 3-gons with at least three points on every line are precisely the axiomatic projective planes.

http://mathworld.wolfram.com/ProjectiveSpace.html
http://eom.springer.de/P/p075350.htm
http://planetmath.org/encyclopedia/ProjectiveSpace.html

References

Beutelspacher A./Rosenbaum U. : Projective Geometry. From Foundations to Applications: Cambridge University Press (1998)
Coxeter,H.S.M. : Projective Geometry: University of Toronto Press (1974)
Dembowski,P. : Finite Geometries. Springer (1968)