Projective plane
In geometry, a projective plane is an incidence structure comprising points and lines . A projective plane over a body consists of the 1-dimensional subspaces of the 3-dimensional vector space as points and the 2-dimensional subspaces of as straight lines. In abstract terms, projective planes can essentially be characterized by two requirements (axioms), namely that every two straight lines have a (unambiguous) intersection and every two points have a (unambiguous) connecting straight line . Since these requirements are very weak, there are many examples that meet them. Only through further restrictions, e.g. B. Using Desargues ' theorem , one obtains algebraically well describable examples whose properties are examined in the context of projective geometry . In addition to projective planes, there are also projective spaces , as in affine geometry .
motivation
Theorems on the geometry of the (affine) plane known from school, in which straight lines occur, must almost always differentiate in their formulation between parallel and intersecting straight lines. The construction of the projective plane is intended to expand the affine plane in such a way that this distinction is no longer necessary because all straight lines intersect. For this purpose, one takes points at infinity as intersection points of parallel lines to the plane, namely one point at infinity for any set of parallel lines (in any direction).
This can be realized mathematically as follows. The affine plane is embedded using
into the 3-dimensional Euclidean space . Then there is a unique straight line through the origin (straight line through the zero point) through each point of the image plane . However, not all straight lines through the origin intersect the image plane, namely the straight lines lying in the plane do not.
Now the points at infinity should correspond to the sets of parallel straight lines im and these in turn correspond uniquely to the straight lines through the origin im (each straight line is parallel to a unique straight line through the origin ) or, which is the same, in . So we establish that the points at infinity clearly correspond to the straight line through the origin lying in the plane and the points in or, which is the same thing, in the plane clearly correspond to the straight line through the origin not lying in the plane .
This results in the definition of the (real) projective plane as a set of straight lines through the origin im . The projective plane defined in this way contains both the affine plane and the points at infinity (equivalence classes of parallel straight lines) of the plane. (An analogous definition can be carried out for arbitrary bodies instead .)
Formally, this can be defined as , where two vectors are considered equivalent if they are linearly dependent, i.e. if they are true for a real number . The point of the projective plane corresponding to a point is noted . It then applies
for everyone . There is no point because no straight line through the origin is defined.
The points of the projective plane thus correspond to the straight lines through the origin im , the straight lines of the projective plane correspond to the original planes im . One can show that every two (different) straight lines of the projective plane intersect at exactly one point (and that there is exactly one straight line running through these points for every two different points of the projective plane). The special role of parallel straight lines existing in the affine plane is thus canceled out in the projective plane, all points and straight lines have equal rights.
Projective plane over a body
It is a body . The projective plane is the set of all straight lines through the zero point im . Formally, this is defined as follows.
To be the equivalence relation
Are defined. In words this means that if and only if there is a such that it is equivalent to . All points on a straight line through the origin - the origin is not included - are therefore identified with one another and no longer differentiated. The quotient space is called the projective plane and is also noted.
Straight lines correspond to points of the projective plane, planes correspond to straight lines to the projective plane. Points and straight lines of the projective plane form an incidence structure . For every two points there is a clear straight line , for every two straight lines there is a clear intersection point.
If the body is clear from the context, the projective level is often just referred to as or .
Homogeneous coordinates
Every point of the projective plane can be in homogeneous coordinates as
with be shown with all true and this representation is but clearly otherwise.
Especially in infinity
The affine plane sits naturally in the projective plane as a set of all 1-dimensional subspaces that are not contained in the xy plane, i.e. as
- .
Its complement forms the so-called projective straight line at infinity
- .
Similarly, one can also construct a decomposition for every other 2-dimensional subspace . The corresponding subset is called the affine map .
Automorphisms
The group of projective transformations is the projective linear group . For every two ordered 4-tuples of points in there is an unambiguous projective transformation which converts one 4-tuple into the other.
In the case one has an isomorphism .
Dual level
For a firmly chosen body we denote the space of the straight lines in the projective plane (i.e. the 2-dimensional subspaces in ). The incidence relation assigns two straight lines to their clear intersection.
A duality mapping is a projective-linear mapping of on , i.e. a homeomorphism that maps collinear points onto intersecting straight lines. Every duality induces a dual mapping by means of . A duality mapping swaps the terms “point” and “straight line” in : It maps points from to points in , that is, straight lines in , and is compatible with the incidence relations.
A polarity is one of a scalar product on induced duality Figure: Each 1-dimensional sub-space is arranged with respect to the scalar orthogonal 2-dimensional sub-space. To this defines a mapping .
Projective planes in topology, differential geometry and finite geometry
Real projective plane
The real projective plane as the quotient set of a sphere
In some respects, especially as far as the topology is concerned, one can understand a real projective plane as what one obtains when one has antipodes on a sphere (surface of a sphere in 3-dimensional space), i.e. points of the sphere that are on both Ends of a diameter are "equated". To put it more precisely, this means that the points of the projective plane are each pair of antipodes and the straight lines of them are the great circles, i.e. the circles that intersect the sphere with an ordinary plane passing through the center of the sphere. The real projective plane thus also becomes topologically the quotient topology of the sphere.
The projective tangential bundle of the projective plane is the plume manifold
- .
By means of the polarity defined by a scalar product, one can understand planes in as 1-forms and then also define the projective tangential bundle as
- .
The real projective plane as a non-orientable surface
The sphere itself is an orientable surface ; it is no longer the projective plane resulting from this process of quotient formation, since the antipodal image, as a reflection around the center point, is not a rotation and is therefore not an orientation-preserving image.
The real projective plane (in this context usually just referred to as the projective plane ) is the simplest example of a non-orientable surface, it is the non-orientable surface of gender 1. Every other non-orientable surface is obtained as a connected sum of one ( in this context also referred to as cross hood ) projective plane or two projective planes with a number of tori, or also equivalently as a coherent sum of projective planes - this follows from the classification of the surfaces and the identity .
The decomposition provides a decomposition of as a CW complex with one cell each in dimensions 2,1,0. With this decomposition, the homology groups can be calculated, one obtains:
- .
Immersions of the real projective plane in 3-dimensional space
The real projective plane can be represented as a surface in three-dimensional space. Examples of this are the Boy area and the Roman area . Exactly as with the likewise non-orientable Klein bottle, it is not possible to embed the projective plane in the three-dimensional space without self-penetration.
Among the immersions of the projective plane in the , the Bryant-Kusner parameterization realizes the immersion of minimal Willmore energy .
Complex projective plane
The complex projective plane is fundamental in algebraic geometry and algebraic topology.
Subsets defined by a homogeneous polynomial
are called algebraic curves , they are Riemann surfaces and the simplest examples of algebraic varieties .
The decomposition yields a decomposition of as a CW complex with one cell each in dimensions 4,2,0. With this decomposition, the homology groups can be calculated, one obtains:
- .
The second homology group is isomorphic to the integers and the homologue class defined by a smooth algebraic curve corresponds to the degree of the defining polynomial under this isomorphism. Is the gender of a Riemann surface defined by a polynomial of degree . The Thom conjecture , proven by the Seiberg-Witten theory , states that algebraic curves are the surfaces of minimal gender in their homology classes.
The complex projective plane is important in cobordism theory and the theory of characteristic classes . The following applies to the orientable cobordism ring
- ,
in particular, the 4-dimensional oriented cobordism group of is generated.
The Hopf fiber realizes the complex projective plane as the basis of a fiber bundle
- .
The complex projective plane is a homogeneous space and even a Hermitian symmetrical space with the Fubini Study metric . The Kähler form of this metric is . The section curvature fulfills the inequality , the maximum section curvature of complex subspaces and the minimum section curvature of totally real subspaces is realized.
Projective plane over a finite body
Let it be a finite body with elements, then the projective plane has points and just as many straight lines. Every straight line has points and every point lies on straight lines. The projective level above is therefore a 2 - block plan .
An example is the Fano level that you get for .
Projective levels as an incidence structure
definition
An incidence structure is called a projective level if:
- For every two different points there is exactly one straight line that intersects with both.
- For every two different straight lines there is exactly one point that incides with both.
- There is a complete quadrilateral ; H. four points, no three of which incise with the same straight line.
Examples
- If one understands the two-dimensional subspaces as straight lines and the one-dimensional subspaces as points in the three-dimensional vector spaces above the real numbers or the complex numbers , one obtains models of a projective plane. The incidence relation is the usual inclusion . These levels together with the similarly obtained levels above the quaternions or the octonions are also referred to as classical levels . Instead of real or complex numbers, you can use any field , even an oblique field like the quaternions.
- A projective plane can be realized as a projective plane over a body if and only if Pappus' theorem applies to it.
- A projective plane can be realized as a projective plane over an inclined body if and only if Desargues' theorem applies to it. Such projective planes over oblique bodies are therefore called desarguean projective planes .
- The smallest possible finite projective plane (minimal model) consists of seven straight lines and seven points (see fig.). In this case, the field that only consists of the 0 and the 1 and in which 1 + 1 = 0 is the remainder class field .
- There are also non-Desargue projective planes . They can be coordinated by (finite or infinite) ternary bodies in a similar way as the desarguesses by oblique bodies. → See also classification of projective planes .
Remarks
Principle of duality
One can show that there are always four straight lines in a projective plane, none of which go through the same point. From this and from the symmetrical formulation of the first two axioms it can be seen that by exchanging the terms point and straight line, a projective plane is obtained again. The points and lines of form the lines and points of the plane to be dual . The principle of duality is the fact that universal statements about projective levels remain correct even if the roles of points and lines are reversed in their formulations.
Connection with affine planes
If one adds a further improper point to an affine plane for each family of parallel straight lines , which is supposed to incise with exactly the straight lines of its family, and if one extends by the improper straight line that contains exactly these points, then one gets a projective plane, the projective completion of . Conversely, an affine part of a projective plane is obtained by deleting an arbitrary straight line with all its points. It should be noted:
- The affine planes created by deleting two different straight lines from a projective plane do not have to be isomorphic to one another.
- In particular, the termination of an affine plane by a distant line and subsequent deletion of another straight line (also called slitting along a straight line ) in the projective plane thus formed always provides a new affine plane, which is not necessarily isomorphic to the original affine plane.
The projective planes, in which all the slotted sections are isomorphic affine planes to one another, are precisely the Moufan planes .
Finite projective planes
As the minimal model described above shows, projective planes can be finite, that is, they can only contain a finite number of points and lines. If a straight line contains points, then all straight lines contain points, straight lines pass through each point and, in total, there are straight lines and points. in this case is called the order of the plane. A finite projective plane of order can be combinatorially as a symmetrical - block plan conceived. The smallest possible order of a finite projective plane is two. For every order that is a prime power , a finite projective plane can be constructed as a projective plane over the finite field of the corresponding order. Whether there is such a level, the order of which is not a prime power, is an unsolved problem. Partial results: The non-existence of a projective plane of order 10 was proven with great use of computers. The Bruck-Ryser-Chowla theorem says: If the order is a projective plane or , then is the sum of two whole square numbers. According to this, there are no projective levels of orders 6, 14, 21, 22, 30, 33, 38, 42, 46, ... Whether there are those of orders 12, 15, 18, 20, 24, 28, ... there is unknown.
A special class of finite projective planes of order n can be completely described by a set of only natural numbers: the planes that are derived from a set of differences . It is known that every desargue finite level belongs to this class and it is assumed that every level of this class is desargue.
classification
Closure rates
Obvious is a classification of the projective planes purely based on the concept of incidence. This is done by determining whether certain geometric propositions of the form "if a certain configuration of incidences is present, another incidence also applies" in a plane. Examples of such inference clauses are the theorems of Desargues and Pappos (sometimes also called Pappos-Pascal theorem ) known from the real plane (and valid there ). Levels in which the above sentences apply are called Desarguessian or Papposian levels . A level in which Desargues' little projective theorem is generally valid is called the Moufang level . Every Papposian level is desargue and every desargue is a Moufang level.
Coordination
Another common method in geometry is the introduction of coordinates to make algebraic methods useful . These establish a connection between the geometrical structure of the plane and the algebraic structure of an underlying coordinate range. Coordinates can be introduced in every projective plane: For this purpose, a projective point base is selected in the plane, which defines a straight line to the distance line (→ see projective coordinate system ). Then a ternary body with a ternary link , which can be described purely geometrically, can be constructed as a set of coordinates on the affine plane, which is created by cutting out this long line . The calculation rules in a body do not generally apply in the associated coordinate area, the ternary body.
There is a direct relationship between the geometric structure of the plane and the algebraic structure of the coordinate range, which characterizes the planes in a certain way. The Moufang levels are z. B. Exactly the projective planes whose coordinate area is an alternative body , the Desarguessian planes are exactly those that have a sloping body as a coordinate area. If the coordinate area is a commutative body , then the plane is Papposian. In this case, homogeneous coordinates are mostly used (→ see the main article Homogeneous coordinates ). From Wedderburn's theorem it follows that finite Desarguean planes are always papposian. Ruth Moufang succeeded in proving that even every finite Moufang plane is papposian.
Collineations
The straight bijjections are the structure-preserving images (or isomorphisms ) between projective planes. Such a bijection maps the points onto the points and the straight lines onto the straight lines in such a way that the incidence is retained. The collineations , that is, the true-to-the-line bijections of a projective plane onto itself, form a group , the so-called collineation group of the plane. Examples of collineations that operate in the slotted projective plane, that is, as affine collineations , are translations or rotations and, more generally, affinities .
On the projective level itself, the group of projectivities is a subgroup of the collineation group. This subgroup is defined in synthetic geometry as the product of the subset of perspectivities in the collineation group. The study of the operations of certain subgroups of the collineation group on the plane is another way of classification.
literature
- David Hilbert , Stefan Cohn-Vossen : Descriptive Geometry . Springer, Berlin a. a. 1932.
- Anatole Katok ; Vaughn Climenhaga: Lectures on surfaces. (Almost) everything you wanted to know about them. Student Mathematical Library, 46th American Mathematical Society, Providence, RI; Mathematics Advanced Study Semesters, University Park, PA, 2008. ISBN 978-0-8218-4679-7
- Jean Gallier; Dianna Xu: A guide to the classification theorem for compact surfaces. Geometry and Computing, 9. Springer, Heidelberg, 2013. ISBN 978-3-642-34363-6 ; 978-3-642-34364-3
- Günter Pickert : Projective levels . 2nd Edition. Springer, Berlin a. a. 1975, ISBN 3-540-07280-2 .
- Daniel R. Hughes, Fred C. Piper: Projective Planes . Springer, Berlin a. a. 1973, ISBN 3-540-90044-6 .
- Hanfried Lenz : Lectures on projective geometry . Geest & Portig, Leipzig 1965.
- Wendelin Degen and Lothar Profke: Fundamentals of affine and Euclidean geometry , Teubner, Stuttgart, 1976, ISBN 3-519-02751-8
- Peter Dembowski : Finite geometries . Springer, Berlin a. a. 1968.
- Helmut Salzmann et al .: Compact projective planes . de Gruyter, Berlin a. a. 1995, ISBN 3-11-011480-1 .
Web links
- The real projective level (Duco van Straten, Oliver Labs, Uni Mainz)
- Survey of Non-Desarguesian Planes (Charles Weibel, Notices of the AMS 2007)
- Projective Planes (Marshall Hall, Transactions of the AMS 1943)