|
Duality (projective Geometry)
In projective geometry, duality or plane duality is a formalization of the striking symmetry of the roles played by Point (geometry), points and Line (geometry), lines in the definitions and theorems of projective planes. There are two approaches to the subject of duality, one through language () and the other a more functional approach through special Map (mathematics), mappings. These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. In the functional approach there is a map between related geometries that is called a ''duality''. Such a map can be constructed in many ways. The concept of plane duality readily extends to ''space duality'' and beyond that to duality in any finite-dimensional projective geometry. Principle of duality A projective plane may be defined axiomatically as an incidence structure, in terms of a set of ''points'', a set of ''lines'', and an incidence relation that de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting (''projective space'') and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points (called "Point at infinity, points at infinity") to Euclidean points, and vice versa. Properties meaningful for projective geometry are respected by this new idea of transformation, which is more radical in its effects than can be expressed by a transformation matrix and translation (geometry), translations (the affine transformations). The first issue for geometers is what kind of geometry is adequate for a novel situation. Unlike in Euclidean geometry, the concept of an angle does not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Menelaus' Theorem
In Euclidean geometry, Menelaus's theorem, named for Menelaus of Alexandria, is a proposition about triangles in plane geometry. Suppose we have a triangle , and a Transversal (geometry), transversal line that crosses at points respectively, with distinct from . A weak version of the theorem states that \left, \frac\ \times \left, \frac\ \times \left, \frac\ = 1, where ", , " denotes absolute value (i.e., all segment lengths are positive). The theorem can be strengthened to a statement about Line_segment#Directed_line_segment, signed lengths of segments, which provides some additional information about the relative order of collinear points. Here, the length is taken to be positive or negative according to whether is to the left or right of in some fixed orientation of the line; for example, \tfrac is defined as having positive value when is between and and negative otherwise. The signed version of Menelaus's theorem states \frac \times \frac \times \frac = - 1. Equ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Theorem Of Projective Geometry
In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, some collineations are not homographies, but the fundamental theorem of projective geometry asserts that is not so in the case of real projective spaces of dimension at least two. Synonyms include projectivity, projective transformation, and projective collineation. Historically, homographies (and projective spaces) have been introduced to study perspective and projections in Euclidean geometry, and the term ''homography'', which, etymologically, roughly means "similar drawing", dates from this time. At the end of the 19th century, formal definitions of projective spaces were introduced, which extended Euclidean and affine spaces by the addition of new points called points at infinity. The term "projective transformation" originated ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Desarguesian Plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of lines (namely, parallel lines) that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus ''any'' two distinct lines in a projective plane intersect at exactly one point. Renaissance artists, in developing the techniques of drawing in perspective, laid the groundwork for this mathematical topic. The archetypical example is the real projective plane, also known as the extended Euclidean plane. This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by , RP2, or P2(R), among other notations. There are many other projective planes, both infinite, such as the complex projective plane, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Correlation (projective Geometry)
In projective geometry, a correlation is a transformation of a ''d''-dimensional projective space that maps subspaces of dimension ''k'' to subspaces of dimension , reversing inclusion and preserving incidence. Correlations are also called reciprocities or reciprocal transformations. In two dimensions In the real projective plane, points and lines are dual to each other. As expressed by Coxeter, :A correlation is a point-to-line and a line-to-point transformation that preserves the relation of incidence in accordance with the principle of duality. Thus it transforms ranges into pencils, pencils into ranges, ompletequadrangles into ompletequadrilaterals, and so on. Given a line ''m'' and ''P'' a point not on ''m'', an elementary correlation is obtained as follows: for every ''Q'' on ''m'' form the line ''PQ''. The inverse correlation starts with the pencil on ''P'': for any line ''q'' in this pencil take the point . The composition of two correlations that share the same p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Incidence Relation
In geometry, an incidence relation is a heterogeneous relation that captures the idea being expressed when phrases such as "a point ''lies on'' a line" or "a line is ''contained in'' a plane" are used. The most basic incidence relation is that between a point, , and a line, , sometimes denoted . If ''P'' and ''l'' are incident, , the pair is called a ''flag''. There are many expressions used in common language to describe incidence (for example, a line ''passes through'' a point, a point ''lies in'' a plane, etc.) but the term "incidence" is preferred because it does not have the additional connotations that these other terms have, and it can be used in a symmetric manner. Statements such as "line intersects line " are also statements about incidence relations, but in this case, it is because this is a shorthand way of saying that "there exists a point that is incident with both line and line ". When one type of object can be thought of as a set of the other type of object (''vi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Wedge
In geometry, a double wedge is the ( closure of) the symmetric difference of two half-spaces whose boundaries are not parallel to each other. For instance, in the Cartesian plane, the union of the positive and negative quadrants forms a double wedge, and more generally in two dimensions a double wedge consists of the set of points within two vertical angles defined by a pair of lines. In projective geometry double wedges are the projective duals of line segment In geometry, a line segment is a part of a line (mathematics), straight line that is bounded by two distinct endpoints (its extreme points), and contains every Point (geometry), point on the line that is between its endpoints. It is a special c ...s.; see section 6, "Reporting all empty double wedges for a point set", p. 384 References Euclidean geometry {{geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Segment
In geometry, a line segment is a part of a line (mathematics), straight line that is bounded by two distinct endpoints (its extreme points), and contains every Point (geometry), point on the line that is between its endpoints. It is a special case of an ''arc (geometry), arc'', with zero curvature. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using an overline (vinculum (symbol), vinculum) above the symbols for the two endpoints, such as in . Examples of line segments include the sides of a triangle or square. More generally, when both of the segment's end points are vertices of a polygon or polyhedron, the line segment is either an edge (geometry), edge (of that polygon or polyhedron) if they are adjacent vertices, or a diagonal. Wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pencil (mathematics)
In geometry, a pencil is a family of geometric objects with a common property, for example the set of Line (geometry), lines that pass through a given point in a plane (mathematics), plane, or the set of circles that pass through two given points in a plane. Although the definition of a pencil is rather vague, the common characteristic is that the pencil is completely determined by any two of its members. Analogously, a set of geometric objects that are determined by any three of its members is called a bundle. Thus, the set of all lines through a point in three-space is a bundle of lines, any two of which determine a pencil of lines. To emphasize the two-dimensional nature of such a pencil, it is sometimes referred to as a ''flat pencil''. Any geometric object can be used in a pencil. The common ones are lines, planes, circles, conics, spheres, and general curves. Even points can be used. A pencil of points is the set of all points on a given line. A more common term for this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Range
In mathematics, a projective range is a set of points in projective geometry considered in a unified fashion. A projective range may be a projective line or a conic. A projective range is the dual of a pencil of lines on a given point. For instance, a correlation interchanges the points of a projective range with the lines of a pencil. A projectivity is said to act from one range to another, though the two ranges may coincide as sets. A projective range expresses projective invariance of the relation of projective harmonic conjugates. Indeed, three points on a projective line determine a fourth by this relation. Application of a projectivity to this quadruple results in four points likewise in the harmonic relation. Such a quadruple of points is termed a harmonic range. In 1940 Julian Coolidge described this structure and identified its originator: :Two fundamental one-dimensional forms such as point ranges, pencils of lines, or of planes are defined as projective, when their mem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
