Projective space
The projective space is a term from the mathematical branch of geometry . This space can be understood as the set of all straight lines through the origin of a vector space . If the real two-dimensional vector space is , it is called a real projective line , and in the case it is called a real projective plane . Analogously, projective straight lines and projective planes over arbitrary bodies are defined as the sets of straight lines through the origin in a two- or three-dimensional vector space over the respective body. Projective planes can also be characterized axiomatically in the incidence geometry, and projective planes are also obtained that do not correspond to the straight lines in a vector space.
The idea of projective spaces is related to the central projection from descriptive geometry and map design theory , or to the way in which the eye or a camera projects a three-dimensional scene onto a two-dimensional image. All points that are on a line with the lens of the camera are projected onto a common point. In this example, the underlying vector space is , the camera lens is the origin, and the projective space corresponds to the pixels.
definition
The real-projective space is the set of all straight lines through the zero point in . Formally, it is defined as a set of equivalence classes 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 with the quotient topology is called real, -dimensional projective space and is also noted.
In the case one speaks of the projective straight line (also: projective line ) and in the case of a projective plane .
If one chooses instead of the complex vector space , one obtains with the analog definition with the complex projective space of the (complex) dimension as the space of the complex one-dimensional subspaces of the .
The coordinates of the points of the projective space, which are equivalence classes of points , are noted by and are called homogeneous coordinates . (Correspondingly for the complex-projective space.) For the figure defines a bijection between and .
More generally, projective spaces can also be constructed over any other bodies (instead of or ).
A more general term for projective space is used in synthetic geometry , especially in the case of the projective plane . The axiomatic of this more general term is presented in the main article Projective Geometry .
Projective linear group (collineations)
The projective linear group is the group of invertible projective mappings, it is defined as the quotient of below the equivalence relation
- .
The effect of on gives a well-defined effect of on . The images corresponding to the elements are projective, that is, collineations true to the double ratio here . In other words:
- They map the set of projective points bijectively onto themselves.
- You map each straight line as a set of points onto a straight line (thus preserving the incidence structure).
- The double ratio of any 4 points that lie on a straight line remains unchanged. This distinguishes projectivities from bijective, genuinely semilinear self-mapping of vector space.
An effect of on is defined analogously .
In the case of the projective straight acting on a pass-linear transformations. After the identification of with (or with ) takes effect or through .
Example: Riemann number ball
According to the above definition, the complex-projective straight line is the set of complex straight lines in which go through the origin .
The complex projective straight line can also be called the real two-dimensional sphere or Riemann's number sphere
grasp. The agreement with the above terms is as follows: Designate with the "North Pole". Look at the stereographic projection
- ,
which is given by . Clearly, a (real) straight line is laid through and the north pole and the point of intersection of this straight line with the equatorial plane is selected as the image point of the figure, with the north pole being identified. The correspondence between and in homogeneous coordinates is then .
properties
- The real and complex projective spaces are compact manifolds .
- The projective space is an example of a non-affine algebraic variety or a non-affine schema . In addition, the projective space has the structure of a toric variety . In the algebraic-geometric context, any body can be used instead of real or complex numbers .
- Sub- varieties of projective space are called projective varieties (also obsolete as projective manifolds).
- Locally homogeneous manifolds modeled locally according to the projective space are called projective manifolds .
topology
The projective straight line is homeomorphic to the circle . For the fundamental group of the projective space is the group Z / 2Z , the 2-fold superposition of the is the sphere .
For odd it is orientable , for even it is not orientable.
The projective plane is a non-orientable surface that cannot be embedded in the . But there are immersions of the in , for example the so-called Boyian surface .
The complex projective straight line is homeomorphic to the sphere , the quaternionic projective straight line is homeomorphic to , the Cayley projective straight line is homeomorphic to .
All complex or quaternionic projective spaces are simply connected .
The Hopf fibers represent (for ) the unit sphere in on , the fiber is the unit sphere in . Fibers are obtained in this way
- .
These fibers have Hopf invariant 1.
Projective sub-spaces and derived spaces
In this section, in the sense of the above general definition, a -dimensional projective space over any body is assumed, so the points of the space can be viewed as one-dimensional subspaces of .
- Each -dimensional subspace of is assigned a -dimensional projective subspace of . One also calls a (generalized, projective) plane , for hyperplane , for straight line in . The empty set is also regarded here as a projective subspace to which the null space of and is assigned as a dimension .
- The intersection of two projective sub-spaces is in turn a projective sub-space.
- If one forms the linear envelope of their union set in to the subspaces, which are assigned to two projective spaces and , then a projective subspace, the connecting space (also noted as the sum ) of and , belongs to this subspace again .
- The projective dimensional formula applies to the intersection and connection of projective sub-spaces :
- .
- The set of all sub-spaces of the projective space forms a modular, complementary association of finite length with regard to the links “cut” and “connection” .
- Each projective point can be assigned a homogeneous coordinate equation via its coordinates, the solution set of which describes a hyperplane. With the hyperplane coordinates defined in this way, the hyperplanes in turn form points of a projective space, the dual space (→ see projective coordinate system # coordinate equations and hyperplane coordinates ).
- More generally, the set of hyperplanes, which contain a fixed -dimensional subspace , forms a projective space, which is called a bundle , in a special case a tuft of hyperplanes. is called the carrier of the bundle or tuft.
Axiomatic approach
When, in the second half of the 19th century, geometry was taken in a strictly axiomatic form and the axioms were then systematically varied, it made sense to replace the axiom of parallels by stipulating that two straight lines lying in one plane always intersect have to. However, this is incompatible with the axiom of arrangement II.3 .
If one restricts oneself to the incidence axioms , however, very simple and highly symmetrical axiom systems result, which also include the laws of known projective space.
Such a system of axioms, which only gets by with the basic terms “point”, “straight line” and “ incidence ”, is:
- (Just Axiom) Are and two different points, so there is exactly one line , with and incised .
- ( Axiom of Veblen-Young ) are , , , four points, making and incident with a common point, so incise also and to a common point.
- (1st axiom of richness) Every straight line incurs with at least three points.
- (2. Abundance axiom) There are at least two different straight lines.
An incidence structure that fulfills these axioms is then called a projective geometry .
The first axiom is a short version of the incidence axioms I.1 and I.2 .
The second axiom replaces the parallel axiom. If the term “plane” is appropriately defined within the framework of the other axioms, it just means that two straight lines of a plane always intersect. Replace it with the simpler (and stricter) axiom
- 2E. If and are two different straight lines, then there is exactly one point that incurs with and ,
so the corresponding structure is called a projective level .
The richness axioms 3 and 4 replace Hilbert's axiom I.8 . Structures that only fulfill axioms 1 to 3, but not 4, are called degenerate projective geometries . (Without exception, they are projective planes .)
Since both the arrangement axiom III.4 and the completeness axiom V.2 are missing, finite models for projective geometries are possible.
The simplest non-degenerate example is the Fano plane , which consists of seven points and seven straight lines; In the picture on the right, the "points" are the thick marked points, the "straight lines" are the lines and the circle.
A set of points of a projective space , which with two different points always also contains all points on their (according to axiom 1. unique) connecting line , is called a linear set . Linear sets play the role of the projective subspaces in projective geometry, so one also writes when is a linear set.
- The simplest (though not the smallest) type of linear set is a series of points, i.e. the set of points on a straight line.
- An arbitrary set of points in space produces a well-defined minimal linear set
- the intersection of all linear sets in which is contained as a subset.
- If and for every point , then a minimal generating system or a point basis is called of . The number of elements of such a point base is independent of the choice of point base. The number is called the projective dimension of , it can be a natural number or more generally an infinite cardinal number , in the latter case the linear set is often only called infinitely dimensional .
- Examples
- According to the definition mentioned, the empty set is itself a linear set: it contains the points of all necessary connecting lines, namely none. Your dimension is .
- Likewise, every single-point set is a linear set, so its dimension is always .
- Every row of points is a one-dimensional linear set, because it is generated by any two different points on the carrier line.
These three types of linear sets meet (together with the at most one straight line that goes through two different points of the linear set and the incidence restricted to this partial structure) the first three incidence axioms (more or less trivial) but not the fourth are degenerate projective spaces . A linear set that contains three points that do not lie on a common straight line also satisfies the fourth axiom of incidence and is therefore itself a projective space. The dimension of this linear set is then at least 2. Please note that the term plane in the description above is to be understood axiomatically and is not directly related to the dimension term for linear sets. Degenerate projective planes , which are linear quantities in a projective space, always belong to one of the three types mentioned above and therefore have a projective dimension as linear quantities . The total space is of course also a linear quantity and accordingly has a well-defined dimension.
Additional axioms
Closure properties
As additional axioms, two classical inference theorems , the Desargues theorem and the Pappos theorem, are particularly important: These axioms are each equivalent to the fact that the geometry can be coordinated via a class of ternary bodies determined by the axioms :
- Exactly when Desargues' theorem applies to every two-dimensional linear set of space, space can be coordinated by a sloping body . These conditions are always met for at least three-dimensional spaces. This last statement is a sentence by David Hilbert .
- Exactly when Pappos's theorem applies to every two-dimensional linear set of space, space can be coordinated by a commutative body . These conditions are not always met even for three- and higher-dimensional ones .
The inference theorems were (implicitly) proved as theorems that apply in real two- or three-dimensional geometry by the mathematicians after whom they are named. Implicit because in their time there was neither an axiomatic description of the modern algebraic concept of the body nor even of the field of real numbers . A modern "no-closure axiom" is the Fano axiom . It is of great importance when studying quadrics . For these investigations one usually has to demand Pappos' axiom. If the Fano axiom also applies, then the coordinate body of the space does not have the characteristic , that is, a quadratic equation "mostly" has no or two solutions and one can, for example, distinguish between tangents and non- tangents in a conic section .
Order properties and topological properties
A projective space is arranged if a separating relationship is defined on each straight line in such a way that this relationship is retained for any projectivities . The separating relationship continues the above-described Hilbert affine arrangement projectively: If a point is affine between the points , then the pair of points separates the point from the far point of the (projectively closed) straight line . The interrelation on the affine line satisfies Pasch's axiom . If the product topology is formed from the order topology on any straight line ( is the dimension of the affine space), then this is a "compatible" topology for the space on the basis of Pasch's axiom: The affinities of the space are continuous with regard to this topology .
This topology can now be continued (initially on individual straight lines) by making the affine sets of intermediate points ("open intervals") the basis of a topology on the projective straight line with any choice of the far point and providing the space with the corresponding product topology. Thus a projective plane becomes a topological projective plane and a higher-dimensional space (more precisely: the set of its points) becomes a topological space in which the projectivities are homeomorphisms .
Such an arrangement of the affine and projective spaces is only possible (necessary condition) if the following applies in a coordinate ternary body : If this "sum" is bracketed with more than one summand (in the ternary body, the associative law does not have to apply for the addition, is one Loop ) then is . From this it follows for every arranged space: it and its coordinate range is infinite. If the space is also Desargue's, i.e. if it fulfills Desargue's closure axiom, then its coordinate oblique body has the characteristic 0.
More generally, one can also define a topology axiomatically in a topological space; this is shown for the two-dimensional case in the article Topological projective plane . Each projective space allows at least one topology in the sense of the requirements presented there, namely the discrete topology . This is usually not an "interesting" topology.
On projective spaces over oblique bodies or bodies such as the body of complex numbers and the real quaternion oblique body , which are finite-dimensional vector spaces over an arranged lower body (in the examples ), one can use the affine section (more precisely: in the group of projective perspectives with a fixed Fixed point hyperplane and any centers on this hyperplane) introduce a topology: This group, the affine translation group, is a (left) vector space above and thus also above , which means that the order topology, which originates from the arrangement of the straight lines, can also be applied to the affine and projective space transferred over .
properties
In the following we understand by a projective space a structure of points and straight lines with an incidence relation which fulfills the axioms of Veblen-Young mentioned above and in which there are two straight lines that are foreign to the point; the projective planes are therefore excluded. Then the following theorems apply:
Desargues' theorem applies to every projective space of dimension : If there are different points such that , and determine three different straight lines, then the three points of intersection of with , with and with lie on a straight line. With the help of this theorem it can be shown: Every projective space can be described by homogeneous coordinates in a left vector space over a sloping body . The left vector space is at least four-dimensional, but its dimension can also be any infinite cardinal number . The inclined body is commutative, i.e. a body if and only if the Pappos theorem (-Pascal) applies in the geometry of this space . This is always the case in finite Desarguese planes (because finite skew bodies are necessarily commutative according to Wedderburn's theorem ).
In synthetic geometry, the “non-Desargues” planes, in which Desargues's theorem does not apply, are of particular interest, especially the finite ones. The order of a finite projective plane is the number of points on one, i.e. each, straight line, reduced by 1. It is an unproven conjecture that any finite projective plane is of prime power order (like the Desarguean planes). A sentence by Bruck and Ryser excludes many orders. He says: if or is the order of a projective plane, then is the sum of two square numbers. The following numbers are therefore not orders of projective planes:
With great use of computers it was shown that no projective level of order exists. The smallest orders, for which the question of existence or non-existence is unsolved, are The smallest order of a non-Desarguean projective plane , compare the section Examples of order 9 in the article Ternary bodies .
literature
- ↑ ^{a } ^{b } ^{c } ^{d } ^{e } ^{f} Beutelspacher (1982)
- ↑ ^{a } ^{b} David Hilbert: Fundamentals of Geometry . 14th edition. Teubner, Stuttgart 1999, ISBN 3-519-00237-X ( archive.org - first edition: 1899).
- ↑ Historically, it should also be noted that, contrary to the implication: “The Desargues theorem follows from the Pappos theorem”, the Hessenberg theorem does not follow trivially from the fact that every oblique body is a body: Only the Desarguesian sentence is suitable (based on current knowledge) for the introduction of coordinates. Therefore, the validity of Hessenberg's theorem must be proven in any projective space without coordinates .
- D. Hilbert, S. Cohn-Vossen: Illustrative geometry. With an appendix: The simplest basic concepts of topology by Paul Alexandroff. Reprint of the 1932 edition. Scientific Book Society, Darmstadt, 1973
- W. Massey: Algebraic topology: An introduction. Harcourt, Brace & World, Inc., New York 1967.
- R. Hartshorne: Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977. ISBN 0-387-90244-9