|
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] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a " straight line". The noun '' geodesic'' and the adjective '' geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of having ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pauli Matrices
In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () when used in connection with isospin symmetries. \begin \sigma_1 = \sigma_\mathrm &= \begin 0&1\\ 1&0 \end \\ \sigma_2 = \sigma_\mathrm &= \begin 0& -i \\ i&0 \end \\ \sigma_3 = \sigma_\mathrm &= \begin 1&0\\ 0&-1 \end \\ \end These matrices are named after the physicist Wolfgang Pauli. In quantum mechanics, they occur in the Pauli equation which takes into account the interaction of the spin of a particle with an external electromagnetic field. They also represent the interaction states of two polarization filters for horizontal/vertical polarization, 45 degree polarization (right/left), and circular polarization (right/left). Each Pauli matrix is Hermitian, and together with the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two '' directed lines'' in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form :a + b\ \mathbf i + c\ \mathbf j +d\ \mathbf k where , and are real numbers; and , and are the ''basic quaternions''. Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, and crystallographic texture analysis. They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Versor
In mathematics, a versor is a quaternion of norm one (a ''unit quaternion''). The word is derived from Latin ''versare'' = "to turn" with the suffix ''-or'' forming a noun from the verb (i.e. ''versor'' = "the turner"). It was introduced by William Rowan Hamilton in the context of his quaternion theory. Each versor has the form :q = \exp(a\mathbf) = \cos a + \mathbf \sin a, \quad \mathbf^2 = -1, \quad a \in ,\pi where the r2 = −1 condition means that r is a unit-length vector quaternion (or that the first component of r is zero, and the last three components of r are a unit vector in 3 dimensions). The corresponding 3-dimensional rotation has the angle 2''a'' about the axis r in axis–angle representation. In case (a right angle), then q = \mathbf, and the resulting unit vector is termed a '' right versor''. Presentation on 3- and 2-spheres Hamilton denoted the versor of a quaternion ''q'' by the symbol U''q''. He was then able to display the general quaternion in polar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternions
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two '' directed lines'' in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form :a + b\ \mathbf i + c\ \mathbf j +d\ \mathbf k where , and are real numbers; and , and are the ''basic quaternions''. Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, and crystallographic texture analysis. They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be embedded as a smooth submanifold of R2''n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Cover
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice (group)
In geometry and group theory, a lattice in the real coordinate space \mathbb^n is an infinite set of points in this space with the properties that coordinate wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension n which spans the vector space \mathbb^n. For any basis of \mathbb^n, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Torus
In mathematics, a complex torus is a particular kind of complex manifold ''M'' whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number ''N'' circles). Here ''N'' must be the even number 2''n'', where ''n'' is the complex dimension of ''M''. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to C''n'' considered as real vector space; then the quotient group V/\Lambda is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way. For ''n'' = 1 this is the classical period lattice construction of elliptic curves. For ''n'' > 1 Bernhard Riemann found necessary and sufficient conditions for a complex torus to be an algebraic variety; those that are varieties can be embedded into complex projective space, and are the abelian varieties. The actual projective embeddings are complicated (see equations defining abelian varieties) when ''n'' > 1, and are re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Exponential
The exponential function is a mathematical function denoted by f(x)=\exp(x) or e^x (where the argument is written as an exponent). Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, although it can be extended to the complex numbers or generalized to other mathematical objects like matrices or Lie algebras. The exponential function originated from the notion of exponentiation (repeated multiplication), but modern definitions (there are several equivalent characterizations) allow it to be rigorously extended to all real arguments, including irrational numbers. Its ubiquitous occurrence in pure and applied mathematics led mathematician Walter Rudin to opine that the exponential function is "the most important function in mathematics". The exponential function satisfies the exponentiation identity e^ = e^x e^y \text x,y\in\mathbb, which, along with the definition e = \exp(1), shows that e^n=\underbrace_ for positive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle Group
In mathematics, the circle group, denoted by \mathbb T or \mathbb S^1, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers. \mathbb T = \. The circle group forms a subgroup of \mathbb C^\times, the multiplicative group of all nonzero complex numbers. Since \mathbb C^\times is abelian, it follows that \mathbb T is as well. A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure \theta: \theta \mapsto z = e^ = \cos\theta + i\sin\theta. This is the exponential map for the circle group. The circle group plays a central role in Pontryagin duality and in the theory of Lie groups. The notation \mathbb T for the circle group stems from the fact that, with the standard topology (see below), the circle group is a 1-torus. More generally, \mathbb T^n (the direct product of \mathbb T with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
