|
Continuous Group Action
In topology, a continuous group action on a topological space ''X'' is a group action of a topological group ''G'' that is continuous: i.e., :G \times X \to X, \quad (g, x) \mapsto g \cdot x is a continuous map. Together with the group action, ''X'' is called a ''G''-space. If f: H \to G is a continuous group homomorphism of topological groups and if ''X'' is a ''G''-space, then ''H'' can act on ''X'' ''by restriction'': h \cdot x = f(h) x, making ''X'' a ''H''-space. Often ''f'' is either an inclusion or a quotient map. In particular, any topological space may be thought of as a ''G''-space via G \to 1 (and ''G'' would act trivially.) Two basic operations are that of taking the space of points fixed by a subgroup ''H'' and that of forming a quotient by ''H''. We write X^H for the set of all ''x'' in ''X'' such that hx = x. For example, if we write F(X, Y) for the set of continuous maps from a ''G''-space ''X'' to another ''G''-space ''Y'', then, with the action (g \cdot f)(x) = g f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action of a group G on a set (mathematics), 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 transformation (function), transformations form a group (mathematics), group under function composition; for example, the rotation (mathematics), 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 mathematical structure, 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 st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Group
In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other. Topological groups were studied extensively in the period of 1925 to 1940. Haar and Weil (respectively in 1933 and 1940) showed that the integrals and Fourier series are special cases of a construct that can be defined on a very wide class of topological groups. Topological groups, along with continuous group actions, are used to study continuous symmetries, which have many applications, for example, in physics. In functional analysis, every topological vector space is an additive topological group with the additional property that scalar multiplication is continuous; consequently, many results from the theory of topological groups can be applied to functional anal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivariant Map
In mathematics, equivariance is a form of symmetry for function (mathematics), functions from one space with symmetry to another (such as symmetric spaces). A function is said to be an equivariant map when its domain and codomain are Group action (mathematics), acted on by the same symmetry group, and when the function commutative property, commutes with the action of the group. That is, applying a symmetry transformation and then computing the function produces the same result as computing the function and then applying the transformation. Equivariant maps generalize the concept of Invariant (mathematics), invariants, functions whose value is unchanged by a symmetry transformation of their argument. The value of an equivariant map is often (imprecisely) called an invariant. In statistical inference, equivariance under statistical transformations of data is an important property of various estimation methods; see invariant estimator for details. In pure mathematics, equivariance is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group Action
In differential geometry, a Lie group action is a group action adapted to the smooth setting: G is a Lie group, M is a smooth manifold, and the action map is differentiable. __TOC__ Definition Let \sigma: G \times M \to M, (g, x) \mapsto g \cdot x be a (left) group action of a Lie group G on a smooth manifold M; it is called a Lie group action (or smooth action) if the map \sigma is differentiable. Equivalently, a Lie group action of G on M consists of a Lie group homomorphism G \to \mathrm(M). A smooth manifold endowed with a Lie group action is also called a ''G''-manifold. Properties The fact that the action map \sigma is smooth has a couple of immediate consequences: * the stabilizers G_x \subseteq G of the group action are closed, thus are Lie subgroups of ''G'' * the orbits G \cdot x \subseteq M of the group action are immersed submanifolds. Forgetting the smooth structure, a Lie group action is a particular case of a continuous group action. Examples For every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Actions
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 drawn in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
