Perspective mapping
Perspective assignment is a term from projective geometry and describes in a projective plane a special relationship between one-dimensional basic structures , i.e. a row of points (all points of a straight line) or a straight line (all straight lines through a fixed point).
In the simplest case, the projection of one row of points onto another from one point represents a perspective assignment of two rows of points. However, a straight line can also be assigned to a row of points. Perspective assignments can be continued under sufficient conditions to perspectives (collineations) of the projective level.
A projective assignment between two basic structures is the execution of a finite number of perspective assignments one after the other. If two basic structures are assigned to one another through perspective or projective assignment, one also says that they are in a perspective or projective position .
The importance of perspective or projective assignments can be seen in the main theorem of projective geometry and Steiner's theorem on the creation of a conic section.
Row of dots and straight lines in perspective position
The geometrically simplest perspective assignment of one-dimensional structures in a projective plane is the assignment between a row of points , i.e. the set of points of a straight line in the plane and a line bundle of the same plane, i.e. the set of straight lines through a fixed point on the plane that is not with incised. The assignment can be formally defined as follows:
This means that each point on the connecting line is assigned to the picture see the upper right. The assignment is well-defined and bijective based on the incidence axioms for projective levels alone. This shows:
- In a projective plane, each projective row of points is, as an incidence structure, isomorphic to the incidence structure given by the tuft structure, provided it is not located on. You can see that this last condition can be omitted by repeated perspective assignment.
- This results in: In every projective plane all rows of points are incidence isomorphic to one another and to all straight line tufts. In particular, the “point sets” of these structures are equally powerful .
- In concrete terms, this means for finite levels: every straight line contains the same number of points , every tuft contains the same number of straight lines and it is . That means: every finite level is a symmetrical - block diagram . The number here is the order of the finite plane.
- In every Papposian level there is a correlation of the level into its (in the sense of the incidence structure) dual level , which continues the assignment .
- In each Desargue's projective level, a double ratio defined on a row of points can be transferred to point clusters and vice versa through the assignment.
- In every arranged level , the arrangement of a row of points can be transferred to a cluster of points and vice versa through the assignment.
- In every topological projective plane , point clusters and point rows are homeomorphic .
Two rows of points in perspective
If one a perspective assignment of the row of points on a straight line on the dot clusters of the straight line passing through a point having such a tuft from the same point on the dot row another line composed , then one obtains a perspective mapping between the rows of and . The prerequisite is that the common center does not lie on either of the two straight lines :
You can also define this assignment yourself:
The intersection of the connecting straight line with the straight line is assigned to a point. The second definition is preferable because the central perspective mapping from the point of the picture may theoretically easier (no duality!) And goes on under weaker conditions:
- In a Desarguese level there is at least one projectivity that continues. It can be chosen as a perspective with the center and its axis, if the plane also satisfies the Fano axiom , can be constructed from two different point-image point pairs, if there is not the intersection point below that, which is assigned by itself , see also The figure on the right: The (only possible) center for perspectivity is the intersection of the two tracks . A fixed point , ie a point on the axis is determined as the intersection of prototype line with its image straight so .
- A second point of the axis results from two point-image point pairs by connecting them “crosswise” as shown in the figure (the lines etc. in the figure). Please note that the triangles highlighted in color are from central perspective and that the axis for this configuration according to Desargue's theorem is: The intersection points of assigned triangle sides are the two "cross intersection points" shown in the picture and the fixed point described above .
- In any projective plane is the general plane in a resumable collineation when in the bilge Barlotti figure the plane to a pair with belongs. The collineation does not need to be clearly defined, but then, if the plane fulfills the Fano axiom, there is also a projectivity that continues the assignment, a perspectivity with a center .
The (central) perspective assignment between two projective straight lines can also be specialized in an affine manner: If a far point, then induces a bijective parallel projection on the affine subsets of the point rows . These parallel projections play a similar central role in synthetic affine geometry as do the perspectives in projective geometry.
- notation
The fact that an ordered set of collinear points lies in perspective of an ordered set of the same kind can be used to define a relation on the set of all - tuples of collinear points . This relation is (in the example in the figure above right) as
- etc. noted
or more precisely, with the mediating center above the relation symbol as
written down. If this applies to (not necessarily different) centers , then you write . If one continues this relation transitively (over a finite number instead of just two mediating centers) then the relation in and in each subset is an equivalence relation . One then says of the points that they are projectively related to one another or they are also projective to one another . Note:
- For the perspective position to one another (relation ) and the projective position (relation ) to one another of points, the sequence of both point sets is important! The tuple notation used here, which formally ensures this, is usually not (consistently) used in the literature .
- In general, there must be no collineation for two tuples that are perspective or projectively related to one another, which maps one tuple to the other! If such a collineation exists, then there is also a projectivity with this property. This is always the case for projectively related tuples over a Desarguean plane, and over every plane trivially if the two tuples are identical. Each tuple from is apparently projective to itself, usually it is agreed that such a tuple should even be in perspective to itself, the mediating center outside the carrier line is then arbitrary. Since identity is a projectivity, there is also a continuing collineation with it, but this can at most be the only continuation for one level of Lenz-Barlotti class I.1 .
- The modern notation explained here for ways of speaking of the 19th century is basically a superfluous formalism due to the language of modern set theory : The bijective mapping given by is itself a relation; the point series can be used as a counting set by itself, using it if necessary , equips it with a well-order , and thus any arbitrary, even infinite, subset of the series of points from correctly "numbering". The same applies to the rows of points that are projectively assigned to one another, that is to say are in the relation to one another.
Two straight lines in a perspective position
Dual perspectives for assignment of two dot rows of a center of the position of two perspective pencil of lines (with the points is as carriers) from an axis of defined. The axis must not lie in any of the assigned clusters, i.e. it must not contain any of the points .
Independent definition:
For this perspective mapping (axial-) of straight tuft through to the pencil of lines through the axis of apply the dual to the statements of the previous paragraph statements.
The relation notation (relation ) and a transitive continuation (relation ) between tuples of straight lines from each point cluster is agreed analogously to the one described above for point tuples, the ways of speaking are also analogous: triples with lying (from the axis ) perspective to each other , are therefore also projectively related to one another , etc.
Row of dots and conic section or oval in perspective position
![](https://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Perspectivity_cirle2line.svg/220px-Perspectivity_cirle2line.svg.png)
The figure on the right shows a circle and a straight line , the point sets of which are in perspective to one another from the center on the circular line. The assignment assigns the intersection point (in the projectively closed plane) to each point of the row of points , which is different from , unless this intersection only contains this center . The connecting lines that convey the assignment are shown in the figure by blue half-lines. The "connecting straight line " is the tangent to at the point , because this tangent has a "double-counting" intersection with . With this choice, this straight line meets this straight line at its far point, indicated in the picture by two arrows.
It was already explained above that the mapping bijectively assigns the row of points to the set of straight lines. The answers to the following three questions about the relationship between points on a circular line (more generally: points on a non-degenerate conic section ) say that it is a bijective function (the injectivity is then trivially given):
- Does every straight line through except the tangent in the conic section intersect the conic section again, so is it definable for every point?
- Can the mapping be clearly defined or can there be straight lines that meet more than twice?
- Is the mapping surjective, so is every point on the circular line hit by a straight line?
- Justifications
- If a straight line did not intersect the conic section at any other point except in , then this straight line would also be a tangent at the point . However, for purely computational reasons (non-degenerate conic section!), This only occurs once when inserting the linear equations into the quadratic equation. In the picture when the far point is from .
- Straight lines that meet the conic section more than twice cannot exist, otherwise the conic section would have degenerated.
- A point not hit has a straight line connecting it with the center, but this intersects , so it is hit.
- Inferences
For an oval in a Papposian plane, which satisfies the Fano axiom, the perspective assignment from a center to a straight line is also a bijective, perspective assignment; this is exactly how the ovals are defined. Therefore the following statements apply to every quadric as well as to every oval in such a plane:
- The question of continuability does not arise for the assignment , since collinear points are related to non-collinear points.
- If the plane is finite, then contains exactly elements, where is the order of the plane.
- To be (in various ways, depending on the choice of ) one-dimensional coordinate introduce, thus this curve to a one-dimensional projective space above the body of the coordinate plane.
- An arrangement of the projective plane induces a unique arrangement on each circle and vice versa.
- In a topological projective plane is homeomorphic to every projective line. Special: A straight line in a topological projective plane is a topological circle.
Projective mappings and the law of projective geometry
![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Perspectivity_lines.svg/220px-Perspectivity_lines.svg.png)
- A projective assignment is a concatenation of perspective assignments (see above) between the rows of points of two different projective straight lines.
The following statement was in the geometry of the location of the 19th century as a law of projective geometry refers to:
- A projectivity is determined when three points of a straight line and the corresponding three of the other straight lines are given.
With this formulation of the sentence should be noted:
- “Projectivity” here denotes a projective assignment , and not a projective collineation of the entire plane or even of space! Nothing is said here about the existence or uniqueness of such a continuation .
- In this context, it is assumed that both projective straight lines lie in a common plane, i.e. that they intersect each other equally. The linked perspective assignments can then also be made entirely on this level.
- The correspondence of the sentence ("corresponding points") is in the more modern formulation a relation between point triples , that is, between ordered sets of three points ( different for this sentence ). In other words: It is important for the sentence which of the three points on the first straight line “corresponds” to which on the second.
A modern formulation that takes these three conditions into account is:
- Axiom P7 ′: Let there be different straight lines in a projective plane. Let there be triples of different points. Then there is exactly one projective assignment , so that applies to this projective assignment, see also the first figure on the right.
The following variants of the main clause are equivalent statements about a projective level and equivalent to Pappos's theorem (PA):
- Axiom P7 ′
- Axiom P7: Let it be a straight line in a projective plane. Let there be two triples from three different points . Then there is at most one projective assignment with respect to which applies.
- Axiom P7 ″: Let there be different straight lines in a projective plane, their point of intersection. Then every projective assignment that fixes (that is, with ) a perspective assignment.
For each projective level, the three named P7 statements are equivalent to the dualized statements. As an example, the dual form of P7 :
- D7: Let it be a point in a projective plane. Let two triples from three different straight lines go through . Then there is at most one projective assignment with respect to which applies.
literature
- Albrecht Beutelspacher , Ute Rosenbaum: Projective geometry . From the basics to the applications (= Vieweg Studium: advanced course in mathematics ). 2nd, revised and expanded edition. Vieweg, Wiesbaden 2004, ISBN 3-528-17241-X .
- Arrigo Bonisoli: On collineation groups of finite planes . Socrates Intensive Program, Dipartimento di Matematic a Università della Basilicata, Potenza, Italy ( ugent.be [PDF; accessed on January 8, 2012] As the title suggests: group structure of the collineation group).
- Harold Scott MacDonald Coxeter : Real Projective Geometry of the Plane . After the 2nd engl. Edition translated by W. Burau. Ed .: Wilhelm Blaschke (= Mathematical Individual Writings . Volume 3 ). 1st German edition. R. Oldenbourg, Munich 1955 (The textbook brings the classic, real "geometry of the situation" of the 19th century in a relatively modern formulation. Above all, the author or translator explains in detail who certain ideas and ways of speaking are based on and the translator explains differences between German and American usage).
- Erich Hartmann: Projective Geometry . Technical University, Darmstadt 2006 ( mathematik.tu-darmstadt.de [PDF; accessed on January 8, 2012] short script).
- Lars Kadison, Matthias T. Kromann: Projective Geometry and Modern Algebra . Birkhäuser, Boston / Basel / Berlin 1996, ISBN 3-7643-3900-4 (Consequences of the Fano axiom and the theorems of Desargues and Pappos for the transitivity properties of projective groups).
- Günter Pickert : Projective levels . 2nd Edition. Springer, Berlin / Heidelberg / New York 1975, ISBN 3-540-07280-2 (application of perspectives especially in non-Desarguese levels).
- Hans Walser: Projective images, graphic approach . Eidgenössische Technische Hochschule, Zurich ( ethz.ch [PDF; accessed on January 8, 2012] lecture notes; numerous illustrations, most of which, however, belong to exercises and must therefore be completed (following instructions in the text)).
Law of Projective Geometry
- Harold Scott MacDonald Coxeter : Real Projective Geometry of the Plane . After the 2nd engl. Edition translated by W. Burau. Ed .: Wilhelm Blaschke (= Mathematical Individual Writings . Volume 3 ). 1st German edition. R. Oldenbourg, Munich 1955 (The textbook brings the classic, real "geometry of the situation" of the 19th century in a relatively modern formulation. Above all, the author or translator explains in detail who certain ideas and ways of speaking are based on and the translator explains differences between German and American usage).
- Karl Georg Christian von Staudt : Geometry of the situation . 1857, § 110, p. 52 (formulation and proof of the main theorem of projective geometry for the real case).
References and comments
- ↑ a b c The plus sign between points is understood here according to Pickert (1975) in such a way that the sum of the points represents the straight line connecting them. In Desargue's case, the standard model is actually the sum of two subspaces of a (left) vector space.
- ↑ denotes the incidence relation restricted to the row of points .
- ↑ For the parameters in the designation one applies the incidence axiom: Two straight lines intersect at exactly one point. For the total number of points, all points on all straight lines are counted from one point . This number is . In doing so, you initially counted several times, namely times, and therefore deducted from the product. Beutelspacher and Rosenbaum (2004)
- ↑ a b c For this it is not necessary that the perspective assignment to a correlation of the entire level can be continued on its dual level.
- ↑ If one looks at two cross- sectional configurations and the triangles in isolation, then one also has a pappus configuration, but because the triples are in perspective to each other, Desargue's sentence applies. Kadison and Kromann (1996), chapter 6: The Fundamental theorem for perspectivities on a line
- ↑ After Coxeter (1955) p. 27. According to Coxeter, the notation goes to Veblen and Young: Projective Geometry . tape I . Boston 1910. back.
- ↑ In any planes, if it is possible over a finite number of centers, a maximum of 4 mediating centers is sufficient, in Desargue’s planes three if the point tuples are on the same straight line, otherwise two. Pickert (1975)
- ↑ For example also in Coxeter (1955)!
- ↑ Coxeter (1955), p. 28.
- ↑ a b c Beutelsbacher, Rosenbaum (2004), Chapter 4: Quadratic sets .
- ↑ The choice of the center on the circular line is essential for this argument: The quadratic equation to be solved has a solution in the coordinate field (Pappos plane) and thus (assuming the Fano axiom, which applies) also a second solution, which is either double -counting is the same or different from the first.
- ↑ by Staudt (1857)
- ↑ Name and formulation of the sentence from Coxeter (1955), 4: Theorem of Pappos , 4.2: The main law of projective geometry .
- ↑ a b Translated from Kadison and Kromann (1996): 6.1: The Fundamental theorem: Axiom P7.
- ↑ The intersection point may also appear in one or both triples! Kadison and Kromann (1996): 6.1: The Fundamental theorem: Axiom P7
- ↑ Translated from Kadison and Kromann (1996): 6.1: The Fundamental theorem: Axiom P7.