|
Homogeneous Spaces
In mathematics, a homogeneous space is, very informally, a space that looks the same everywhere, as you move through it, with movement given by the Group action (mathematics), action of a Group (mathematics), group. Homogeneous spaces occur in the theories of Lie groups, algebraic groups and topological groups. More precisely, a homogeneous space for a Group (mathematics), group ''G'' is a Empty set, non-empty manifold or topological space ''X'' on which ''G'' Group action (mathematics), acts Group action (mathematics)#Transitivity properties, transitively. The elements of ''G'' are called the symmetries of ''X''. A special case of this is when the group ''G'' in question is the automorphism group of the space ''X'' – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, ''X'' is homogeneous if intuitively ''X'' looks locally the same at each point, either in the sense of isometry (rigid geometry), diffeomorphism (differen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution, also known as a ring torus. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a Lemon (geometry), spindle torus (or ''self-crossing torus'' or ''self-intersecting torus''). If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit (group Theory)
In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group also acts on triangles by transforming triangles into triangles. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures draw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperboloid Model
In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of ''n''-dimensional hyperbolic geometry in which points are represented by points on the forward sheet ''S''+ of a two-sheeted hyperboloid in (''n''+1)-dimensional Minkowski space or by the displacement vectors from the origin to those points, and ''m''-planes are represented by the intersections of (''m''+1)-planes passing through the origin in Minkowski space with ''S''+ or by wedge products of ''m'' vectors. Hyperbolic space is embedded isometrically in Minkowski space; that is, the hyperbolic distance function is inherited from Minkowski space, analogous to the way spherical distance is inherited from Euclidean distance when the ''n''-sphere is embedded in (''n''+1)-dimensional Euclidean space. Other models of hyperbolic space can be thought of as map projections of ''S''+: the Beltrami–Klein model is the projection of ''S''+ through the origin onto a plane perpe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthochronous Lorentz Group
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz. For example, the following laws, equations, and theories respect Lorentz symmetry: * The kinematical laws of special relativity * Maxwell's field equations in the theory of electromagnetism * The Dirac equation in the theory of the electron * The Standard Model of particle physics The Lorentz group expresses the fundamental symmetry of space and time of all known fundamental laws of nature. In small enough regions of spacetime where gravitational variances are negligible, physical laws are Lorentz invariant in the same manner as special relativity. Basic properties The Lorentz group is a subgroup of the Poincaré group—the group of all isometries of Minkowski spacetime. Lorentz transformations are, precisely, i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Group
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension ''n'' of the space, and is commonly denoted E(''n'') or ISO(''n''), for ''inhomogeneous special orthogonal'' group. The Euclidean group E(''n'') comprises all translations, rotations, and reflections of \mathbb^n; and arbitrary finite combinations of them. The Euclidean group can be seen as the symmetry group of the space itself, and contains the group of symmetries of any figure (subset) of that space. A Euclidean isometry can be ''direct'' or ''indirect'', depending on whether it preserves the handedness of figures. The direct Euclidean isometries form a subgroup, the special Euclidean group, often denoted SE(''n'') and E+(''n''), whose elements are called rigid motions or Euclidean ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Orthogonal Group
In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space ''V'' = (''V'',''Q'')A quadratic space is a vector space ''V'' together with a quadratic form ''Q''; the ''Q'' is dropped from notation when it is clear. on the associated projective space P(''V''). Explicitly, the projective orthogonal group is the quotient group :PO(''V'') = O(''V'')/ZO(''V'') = O(''V'')/ where O(''V'') is the orthogonal group of (''V'') and ZO(''V'')= is the subgroup of all orthogonal scalar transformations of ''V'' – these consist of the identity and reflection through the origin. These scalars are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" is because the scalar transformations are the center of the orthogonal group. The projective special orthogonal group, PSO, is defined analogously, as the induced action of the special orthogon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact. The orthogonal group in dimension has two connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant 1. This group is also called the rotation group, generalizing the fact that in dimensions 2 and 3, its elements are the usual rot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Symmetric Space
In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of isometries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis. In geometric terms, a complete, simply connected Riemannian manifold is a symmetric space if and only if its curvature tensor is invariant under parallel transport. More generally, a Riemannian manifold (''M'', ''g'') is said to be symmetric if and only if, for each point ''p'' of ''M'', there exists an isometry of ''M'' fixing ''p'' and acting on the tangent space T_pM as minus the identity (every symmetric space is complete, since any geodesic can be extended indefinitely via symmetries a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differentiable Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
