|
Gelfand–Raikov Theorem
The Gel'fand–Raikov (Гельфанд–Райков) theorem is a theorem in the mathematics of locally compact topological groups. It states that a locally compact group is completely determined by its (possibly infinite dimensional) unitary representations. The theorem was first published in 1943. A unitary representation of a locally compact group on a |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact Topological Group
In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on ''G'' so that standard analysis notions such as the Fourier transform and L^p spaces can be generalized. Many of the results of finite group representation theory are proved by averaging over the group. For compact groups, modifications of these proofs yields similar results by averaging with respect to the normalized Haar integral. In the general locally compact setting, such techniques need not hold. The resulting theory is a central part of harmonic analysis. The representation theory for locally compact abelian groups is described by Pontryagin duality. Examples and counterexamples * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory. In the following we will assume all groups are Hausdorff spaces. Compact Lie groups Lie groups form a class of topological groups, and the compact Lie groups have a particularly well-developed theory. Basic examples of compact Lie groups include * the circle group T and the torus groups T''n'', * the orthogonal group O(''n''), the special orthogonal group SO(''n'') and its covering spin group Spin(''n''), * the unitary group U(''n'') and the special unitary group SU(''n''), * the compact forms of the exceptional Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unitary Representation
In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in the case that ''G'' is a locally compact ( Hausdorff) topological group and the representations are strongly continuous. The theory has been widely applied in quantum mechanics since the 1920s, particularly influenced by Hermann Weyl's 1928 book '' Gruppentheorie und Quantenmechanik''. One of the pioneers in constructing a general theory of unitary representations, for any group ''G'' rather than just for particular groups useful in applications, was George Mackey. Context in harmonic analysis The theory of unitary representations of topological groups is closely connected with harmonic analysis. In the case of an abelian group ''G'', a fairly complete picture of the representation theory of ''G'' is given by Pontryagin duality. In genera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The inner product allows lengths and angles to be defined. Furthermore, Complete metric space, completeness means that there are enough limit (mathematics), limits in the space to allow the techniques of calculus to be used. A Hilbert space is a special case of a Banach space. Hilbert spaces were studied beginning in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, mathematical formulation of quantum mechanics, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Function
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the most general continuous functions, and their d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Matrix Coefficient
In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group and additional data. Precisely, it is a function on a compact topological group ''G'' obtained by composing a representation of ''G'' on a vector space ''V'' with a linear map from the endomorphisms of ''V'' into ''V'' underlying field. It is also called a representative function. They arise naturally from finite-dimensional representations of ''G'' as the matrix-entry functions of the corresponding matrix representations. The Peter–Weyl theorem says that the matrix coefficients on ''G'' are dense in the Hilbert space of square-integrable functions on ''G''. Matrix coefficients of representations of Lie groups turned out to be intimately related with the theory of special functions, providing a unifying approach to large parts of this theory. Growth properties of matrix coefficients play a key role in the classification ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scalar Multiplication
In mathematics, scalar multiplication is one of the basic operations defining a vector space in linear algebra (or more generally, a module in abstract algebra). In common geometrical contexts, scalar multiplication of a real Euclidean vector by a positive real number multiplies the magnitude of the vector without changing its direction. Scalar multiplication is the multiplication of a vector by a scalar (where the product is a vector), and is to be distinguished from inner product of two vectors (where the product is a scalar). Definition In general, if ''K'' is a field and ''V'' is a vector space over ''K'', then scalar multiplication is a function from ''K'' × ''V'' to ''V''. The result of applying this function to ''k'' in ''K'' and v in ''V'' is denoted ''k''v. Properties Scalar multiplication obeys the following rules ''(vector in boldface)'': * Additivity in the scalar: (''c'' + ''d'')v = ''c''v + ''d''v; * Additivity in the vector: ''c''(v + w) = ''c''v + ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently but analogously for different kinds of structures. As an example, the direct sum of two abelian groups A and B is another abelian group A\oplus B consisting of the ordered pairs (a,b) where a \in A and b \in B. To add ordered pairs, the sum is defined (a, b) + (c, d) to be (a + c, b + d); in other words, addition is defined coordinate-wise. For example, the direct sum \Reals \oplus \Reals , where \Reals is real coordinate space, is the Cartesian plane, \R ^2 . A similar process can be used to form the direct sum of two vector spaces or two modules. Direct sums can also be formed with any finite number of summands; for example, A \oplus B \oplus C, provided A, B, and C are the same kinds of algebraic structures (e.g., all abelian groups, or all vector spaces). That relies on the fact that the direct sum is associative up to isomorphism. That is, (A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Representation
In mathematics, the tensor representations of the general linear group are those that are obtained by taking finitely many tensor products of the fundamental representation and its dual. The irreducible factors of such a representation are also called tensor representations, and can be obtained by applying Schur functors (associated to Young tableaux). These coincide with the rational representations of the general linear group. More generally, a matrix group is any subgroup of the general linear group. A tensor representation of a matrix group is any representation that is contained in a tensor representation of the general linear group. For example, the orthogonal group O(''n'') admits a tensor representation on the space of all trace-free symmetric tensors of order two. For orthogonal groups, the tensor representations are contrasted with the spin representations. The classical groups, like the symplectic group In mathematics, the name symplectic group can refer to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Conjugate Representation
In mathematics, if is a group and is a representation of it over the complex vector space , then the complex conjugate representation is defined over the complex conjugate vector space as follows: : is the conjugate of for all in . is also a representation, as one may check explicitly. If is a real Lie algebra and is a representation of it over the vector space , then the conjugate representation is defined over the conjugate vector space as follows: : is the conjugate of for all in .This is the mathematicians' convention. Physicists use a different convention where the Lie bracket of two real vectors is an imaginary vector. In the physicist's convention, insert a minus in the definition. is also a representation, as one may check explicitly. If two real Lie algebras have the same complexification, and we have a complex representation of the complexified Lie algebra, their conjugate representations are still going to be different. See spinor for some examp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stone–Weierstrass Theorem
In mathematical analysis, the Weierstrass approximation theorem states that every continuous function defined on a closed interval (mathematics), interval can be uniform convergence, uniformly approximated as closely as desired by a polynomial function. Because polynomials are among the simplest functions, and because computers can directly evaluate polynomials, this theorem has both practical and theoretical relevance, especially in polynomial interpolation. The original version of this result was established by Karl Weierstrass in #Historical works, 1885 using the Weierstrass transform. Marshall H. Stone considerably generalized the theorem and simplified the proof. His result is known as the Stone–Weierstrass theorem. The Stone–Weierstrass theorem generalizes the Weierstrass approximation theorem in two directions: instead of the real interval , an arbitrary compact space, compact Hausdorff space is considered, and instead of the Algebra over a field, algebra of polynomial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
