|
Lie Group–Lie Algebra Correspondence
In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is \mathbb^n and \mathbb^n (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, by restricting our attention to the simply connected Lie groups, the Lie group-Lie algebra correspondence will be one-to-one. In this article, a Lie group refers to a real Lie group. For the complex and ''p''-adic cases, see complex Lie group and ''p''-adic Lie group. In this article, manifolds (in particular Lie groups) are assumed to be second countable; in particular, they have at most countably many connected components. Basics The Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and mathematical analysis, analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Subgroup Theorem
In mathematics, the closed-subgroup theorem (sometimes referred to as Cartan's theorem) is a theorem in the theory of Lie groups. It states that if is a closed subgroup of a Lie group , then is an embedded Lie group with the smooth structure (and hence the group topology) agreeing with the embedding. One of several results known as Cartan's theorem, it was first published in 1930 by Élie Cartan, who was inspired by John von Neumann's 1929 proof of a special case for groups of linear transformations.; . Overview Let G be a Lie group with Lie algebra \mathfrak. Now let H be an arbitrary closed subgroup of G. It is necessary to show that H is a smooth embedded submanifold of G. The first step is to identify something that could be the Lie algebra of H, that is, the tangent space of H at the identity. The challenge is that H is not assumed to have any smoothness and therefore it is not clear how one may define its tangent space. To proceed, define the "Lie algebra" \mathfra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Linear Group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of invertible matrices of real numbers, and is denoted by GL''n''(R) or . More generally, the general linear group of degree ''n'' over an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Map (Lie Theory)
In the theory of Lie groups, the exponential map is a map from the Lie algebra \mathfrak g of a Lie group G to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups. The ordinary exponential function of mathematical analysis is a special case of the exponential map when G is the multiplicative group of positive real numbers (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects. Definitions Let G be a Lie group and \mathfrak g be its Lie algebra (thought of as the tangent space to the identity element of G). The exponential map is a map :\exp\colon \mathfrak g \to G which can be defined in several different ways. The typical modern definition i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Product Of Groups
In mathematics, specifically in group theory, the direct product is an operation that takes two groups and and constructs a new group, usually denoted . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics. In the context of abelian groups, the direct product is sometimes referred to as the direct sum, and is denoted G \oplus H. Direct sums play an important role in the classification of abelian groups: according to the fundamental theorem of finite abelian groups, every finite abelian group can be expressed as the direct sum of cyclic groups. Definition Given groups (with operation ) and (with operation ), the direct product is defined as follows: The resulting algebraic object satisfies the axioms for a group. Specifically: ;Associativity: The binary operation on is associative. ;Identity: The direct product has an identity element, namely , where is the identity e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ehresmann's Lemma
In mathematics, or specifically, in differential topology, Ehresmann's lemma or Ehresmann's fibration theorem states that if a smooth mapping f\colon M \rightarrow N, where M and N are smooth manifolds, is # a surjective submersion, and # a proper map (in particular, this condition is always satisfied if ''M'' is compact), then it is a locally trivial fibration. This is a foundational result in differential topology due to Charles Ehresmann Charles Ehresmann (19 April 1905 – 22 September 1979) was a German-born French mathematician who worked in differential topology and category theory. He was an early member of the Bourbaki group, and is known for his work on the differential ..., and has many variants. See also * Thom's first isotopy lemma References * * {{cite book, last1=Kolář, first1=Ivan, last2=Michor, first2=Peter W., last3=Slovák, first3=Jan, title=Natural operations in differential geometry, publisher= Springer-Verlag, location=Berlin, year=1993, is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Bundle
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equipped with # An action of G on P, analogous to (x, g)h = (x, gh) for a product space. # A projection onto X. For a product space, this is just the projection onto the first factor, (x,g) \mapsto x. Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of (x,e). Likewise, there is not generally a projection onto G generalizing the projection onto the second factor, X \times G \to G that exists for the Cartesian product. They may also have a complicated topology that prevents them from being realized as a product space even if a number of arbitrary choices are made to try to define such a structure by defining it on smaller pieces of the space. A common example of a princi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submersion (mathematics)
In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion. Definition Let ''M'' and ''N'' be differentiable manifolds and f\colon M\to N be a differentiable map between them. The map is a submersion at a point p\in M if its differential :Df_p \colon T_p M \to T_N is a surjective linear map. In this case is called a regular point of the map , otherwise, is a critical point. A point q\in N is a regular value of if all points in the preimage f^(q) are regular points. A differentiable map that is a submersion at each point p\in M is called a submersion. Equivalently, is a submersion if its differential Df_p has constant rank equal to the dimension of . A word of warning: some authors use the term ''critical point'' to describe a point where the rank of the Jacobian matrix of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immersion (mathematics)
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential (or pushforward) is everywhere injective. Explicitly, is an immersion if :D_pf : T_p M \to T_N\, is an injective function at every point ''p'' of ''M'' (where ''TpX'' denotes the tangent space of a manifold ''X'' at a point ''p'' in ''X''). Equivalently, ''f'' is an immersion if its derivative has constant rank equal to the dimension of ''M'': :\operatorname\,D_p f = \dim M. The function ''f'' itself need not be injective, only its derivative must be. A related concept is that of an embedding. A smooth embedding is an injective immersion that is also a topological embedding, so that ''M'' is diffeomorphic to its image in ''N''. An immersion is precisely a local embedding – that is, for any point there is a neighbourhood, , of ''x'' such that is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, this is so ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain Rule
In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , then the chain rule is, in Lagrange's notation, :h'(x) = f'(g(x)) g'(x). or, equivalently, :h'=(f\circ g)'=(f'\circ g)\cdot g'. The chain rule may also be expressed in Leibniz's notation. If a variable depends on the variable , which itself depends on the variable (that is, and are dependent variables), then depends on as well, via the intermediate variable . In this case, the chain rule is expressed as :\frac = \frac \cdot \frac, and : \left.\frac\_ = \left.\frac\_ \cdot \left. \frac\_ , for indicating at which points the derivatives have to be evaluated. In integration, the counterpart to the chain rule is the substitution rule. Intuitive explanation Intuitively, the chain rule states that knowing the instantaneous rate of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Isomorphism Theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences. History The isomorphism theorems were formulated in some generality for homomorphisms of modules by Emmy Noether in her paper ''Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern'', which was published in 1927 in Mathematische Annalen. Less general versions of these theorems can be found in work of Richard Dedekind and previous papers by Noether. Three years later, B.L. van der Waerden published his influential ''Moderne Algebra'' the first abstract algebra textbook that took the groups- rings- fields ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Map (Lie Theory)
In the theory of Lie groups, the exponential map is a map from the Lie algebra \mathfrak g of a Lie group G to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups. The ordinary exponential function of mathematical analysis is a special case of the exponential map when G is the multiplicative group of positive real numbers (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects. Definitions Let G be a Lie group and \mathfrak g be its Lie algebra (thought of as the tangent space to the identity element of G). The exponential map is a map :\exp\colon \mathfrak g \to G which can be defined in several different ways. The typical modern definition i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> General Linear Group")
