## Sunday, December 02, 2007

### Projective Geometries

A theorem which is valid for a geometry in this sequence is automatically valid for the ones that follow. The theorems of projective geometry are automatically valid theorems of Euclidean geometry. We say that topological geometry is more abstract than projective geometry which is turn is more abstract than Euclidean geometry.

It is always important to see the progression geometries follow. So you have to know "the origins of geometry" before you can begin to expand into the abstract spaces that space will allow and accomadate.

Eventually it was discovered that the parallel postulate is logically independent of the other postulates, and you get a perfectly consistent system even if you assume that parallel postulate is false. This means that it is possible to assign meanings to the terms "point" and "line" in such a way that they satisfy the first four postulates but not the parallel postulate. These are called non-Euclidean geometries. Projective geometry is not really a typical non-Euclidean geometry, but it can still be treated as such.

In this axiomatic approach, projective geometry means any collection of things called "points" and things called "lines" that obey the same first four basic properties that points and lines in a familiar flat plane do, but which, instead of the parallel postulate, satisfy the following opposite property instead:

The projective axiom: Any two lines intersect (in exactly one point).