Dimension (vector space)In mathematics, the dimension of a vector space V is the cardinality (i.e., the number of vectors) of a basis of V over its base field. It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say is if the dimension of is finite, and if its dimension is infinite.
Basis (linear algebra)In mathematics, a set B of vectors in a vector space V is called a basis (: bases) if every element of V may be written in a unique way as a finite linear combination of elements of B. The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to B. The elements of a basis are called . Equivalently, a set B is a basis if its elements are linearly independent and every element of V is a linear combination of elements of B.
Tensor product of algebrasIn mathematics, the tensor product of two algebras over a commutative ring R is also an R-algebra. This gives the tensor product of algebras. When the ring is a field, the most common application of such products is to describe the product of algebra representations. Let R be a commutative ring and let A and B be R-algebras. Since A and B may both be regarded as R-modules, their tensor product is also an R-module. The tensor product can be given the structure of a ring by defining the product on elements of the form a ⊗ b by and then extending by linearity to all of A ⊗R B.
Verma moduleVerma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics. Verma modules can be used in the classification of irreducible representations of a complex semisimple Lie algebra. Specifically, although Verma modules themselves are infinite dimensional, quotients of them can be used to construct finite-dimensional representations with highest weight , where is dominant and integral. Their homomorphisms correspond to invariant differential operators over flag manifolds.
Killing vector fieldIn mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.
Character theoryIn mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves.
Weyl character formulaIn mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation.
Quantum groupIn mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebras), compact matrix quantum groups (which are structures on unital separable C*-algebras), and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group.
Topological tensor productIn mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well-behaved theory of tensor products (see Tensor product of Hilbert spaces), but for general Banach spaces or locally convex topological vector spaces the theory is notoriously subtle. One of the original motivations for topological tensor products is the fact that tensor products of the spaces of smooth functions on do not behave as expected.
Dimension theorem for vector spacesIn mathematics, the dimension theorem for vector spaces states that all bases of a vector space have equally many elements. This number of elements may be finite or infinite (in the latter case, it is a cardinal number), and defines the dimension of the vector space. Formally, the dimension theorem for vector spaces states that: As a basis is a generating set that is linearly independent, the theorem is a consequence of the following theorem, which is also useful: In particular if V is finitely generated, then all its bases are finite and have the same number of elements.
