|
Collineation
In projective geometry, a collineation is a one-to-one and onto map (a bijection) from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. A collineation is thus an ''isomorphism'' between projective spaces, or an automorphism from a projective space to itself. Some authors restrict the definition of collineation to the case where it is an automorphism. The set of all collineations of a space to itself form a group, called the collineation group. Definition Simply, a collineation is a one-to-one map from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. One may formalize this using various ways of presenting a projective space. Also, the case of the projective line is special, and hence generally treated differently. Linear algebra For a projective space defined in terms of linear algebra (as the projectiviza ... [...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 differed from extending Euclidean or affine spaces by adding points at infinity. The term "projective transformation" originated in these abstra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homography
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 differed from extending Euclidean or affine spaces by adding points at infinity. The term "projective transformation" originated in these abstra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duality (projective Geometry)
In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. There are two approaches to the subject of duality, one through language () and the other a more functional approach through special 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 determines which points lie on which lines. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collinear
In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row". Points on a line In any geometry, the set of points on a line are said to be collinear. In Euclidean geometry this relation is intuitively visualized by points lying in a row on a "straight line". However, in most geometries (including Euclidean) a line is typically a primitive (undefined) object type, so such visualizations will not necessarily be appropriate. A model for the geometry offers an interpretation of how the points, lines and other object types relate to one another and a notion such as collinearity must be interpreted within the context of that model. For instance, in spherical geometry, where lines are represented in the standard model by great circles of a spher ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Desarguesian Plane
In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective spaces of dimension not 2; in other words, the only projective spaces of dimension not equal to 2 are the classical projective geometries over a field (or division ring). However, David Hilbert found that some projective planes do not satisfy it. The current state of knowledge of these examples is not complete. Examples There are many examples of both finite and infinite non-Desarguesian planes. Some of the known examples of infinite non-Desarguesian planes include: *The Moulton plane. *Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions. Since all finite alternative division rings are fields (Artin–Zorn theorem), the only non-Desarguesian Moufang planes are infinite. ... [...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, quadrangles into quadrilaterals, 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 pencil is a perspect ... [...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 fol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphic Collineations
Automorphic may refer to *Automorphic number, in mathematics *Automorphic form, in mathematics * Automorphic representation, in mathematics * Automorphic L-function, in mathematics *Automorphism In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms ..., in mathematics * Rock microstructure#Crystal shapes {{disambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semilinear Map
In linear algebra, particularly projective geometry, a semilinear map between vector spaces ''V'' and ''W'' over a field ''K'' is a function that is a linear map "up to a twist", hence ''semi''-linear, where "twist" means "field automorphism of ''K''". Explicitly, it is a function that is: * additive with respect to vector addition: T(v+v') = T(v)+T(v') * there exists a field automorphism ''θ'' of ''K'' such that T(\lambda v) = \lambda^\theta T(v), where \lambda^\theta is the image of the scalar \lambda under the automorphism. If such an automorphism exists and ''T'' is nonzero, it is unique, and ''T'' is called ''θ''-semilinear. Where the domain and codomain are the same space (i.e. ), it may be termed a semilinear transformation. The invertible semilinear transforms of a given vector space ''V'' (for all choices of field automorphism) form a group, called the general semilinear group and denoted \operatorname(V), by analogy with and extending the general linear group. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Examples Of Vector Spaces
This page lists some examples of vector spaces. See vector space for the definitions of terms used on this page. See also: dimension, basis. ''Notation''. Let ''F'' denote an arbitrary field such as the real numbers R or the complex numbers C. Trivial or zero vector space The simplest example of a vector space is the trivial one: , which contains only the zero vector (see the third axiom in the Vector space article). Both vector addition and scalar multiplication are trivial. A basis for this vector space is the empty set, so that is the 0- dimensional vector space over ''F''. Every vector space over ''F'' contains a subspace isomorphic to this one. The zero vector space is conceptually different from the null space of a linear operator ''L'', which is the kernel of ''L''. (Incidentally, the null space of ''L'' is a zero space if and only if ''L'' is injective.) Field The next simplest example is the field ''F'' itself. Vector addition is just field addition, and scalar mul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the representatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension (vector Space)
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is if the dimension of V is finite, and if its dimension is infinite. The dimension of the vector space V over the field F can be written as \dim_F(V) or as : F read "dimension of V over F". When F can be inferred from context, \dim(V) is typically written. Examples The vector space \R^3 has \left\ as a standard basis, and therefore \dim_(\R^3) = 3. More generally, \dim_(\R^n) = n, and even more generally, \dim_(F^n) = n for any field F. The complex numbers \Complex are both a real and complex vector space; we have ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
