|
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. 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 (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is continuous. If the multiplication and taking of inverses are smoothness, 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 circle group. Rotating a circle is an example of a continuous symmetry. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the locally 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 havi ... [...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 that are traceless, 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_x &= \begin 0&1\\ 1&0 \end, \\ \sigma_2 = \sigma_y &= \begin 0& -i \\ i&0 \end, \\ \sigma_3 = \sigma_z &= \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 w ... [...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. The algebra of quaternions is often denoted by (for ''Hamilton''), or in blackboard bold by \mathbb H. Quaternions are not a field, because multiplication of quaternions is not, in general, commutative. Quaternions provide a definition of the quotient of two vectors in a three-dimensional space. Quaternions are generally represented in the form a + b\,\mathbf i + c\,\mathbf j +d\,\mathbf k, where the coefficients , , , are real numbers, and , are the ''basis vectors'' or ''basis elements''. 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, robotics, magnetic resonance i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Versor
In mathematics, a versor is a quaternion of Quaternion#Norm, norm one, also known as a unit quaternion. Each versor has the form :u = \exp(a\mathbf) = \cos a + \mathbf \sin a, \quad \mathbf^2 = -1, \quad a \in [0,\pi], where the r2 = −1 condition means that r is an imaginary unit. There is a Quaternion#Square_roots_of_%E2%88%921, sphere of imaginary units in the quaternions. Note that the expression for a versor is just Euler's formula for the imaginary unit r. In case (a right angle), then u = \mathbf, and it is called a ''right versor''. The mapping q \to u^ q u corresponds to three-dimensional space, 3-dimensional rotation, and has the angle 2''a'' about the axis r in axis–angle representation. The collection of versors, with quaternion multiplication, forms a group (mathematics), group, and appears as a 3-sphere in the 4-dimensional quaternion algebra. Presentation on 3- and 2-spheres Hamilton denoted the versor of a quaternion ''q'' by the symbol U ''q''. He was the ... [...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. The algebra of quaternions is often denoted by (for ''Hamilton''), or in blackboard bold by \mathbb H. Quaternions are not a field, because multiplication of quaternions is not, in general, commutative. Quaternions provide a definition of the quotient of two vectors in a three-dimensional space. Quaternions are generally represented in the form a + b\,\mathbf i + c\,\mathbf j +d\,\mathbf k, where the coefficients , , , are real numbers, and , are the ''basis vectors'' or ''basis elements''. 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, robotics, magnetic resonance imaging and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such that the transition maps are Holomorphic function, 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) or an almost complex manifold, ''almost'' complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth manifold, smooth and complex manifolds have very different flavors: compact space, compact complex manifolds are much closer to algebraic variety, algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be Embedding, embedded as a smooth subma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Cover
In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If p : \tilde X \to X is a covering, (\tilde X, p) is said to be a covering space or cover of X, and X is said to be the base of the covering, or simply the base. By abuse of terminology, \tilde X and p may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space. Covering spaces first arose in the context of complex analysis (specifically, the technique of analytic continuation), where they were introduced by Riemann as domains on which naturally multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. Covering spaces are an important tool in several areas of mathematics. In modern geometry, covering spaces ... [...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 a re ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle Group
In mathematics, the circle group, denoted by \mathbb T or , 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 , the multiplicative group of all nonzero complex numbers. Since \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 \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 itself n times) is geometrically an n-toru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
