|
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] |
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] |
Irreducible Representation
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W), with W \subset V closed under the action of \. Every finite-dimensional unitary representation on a Hilbert space V is the direct sum of irreducible representations. Irreducible representations are always indecomposable (i.e. cannot be decomposed further into a direct sum of representations), but the converse may not hold, e.g. the two-dimensional representation of the real numbers acting by upper triangular unipotent matrices is indecomposable but reducible. History Group representation theory was generalized by Richard Brauer from the 1940s to give modular representation theory, in which the matrix operators act on a vector space over a field K of arbitrary characteristic, rather than a vector space over the field of real number ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edward Nelson
Edward Nelson (May 4, 1932 – September 10, 2014) was an American mathematician. He was professor in the Mathematics Department at Princeton University. He was known for his work on mathematical physics and mathematical logic. In mathematical logic, he was noted especially for his internal set theory, and views on ultrafinitism and the consistency of Peano arithmetic, arithmetic. In philosophy of mathematics he advocated the view of Formalism (mathematics), formalism rather than Platonism (mathematics), platonism or intuitionism. He also wrote on the relationship between religion and mathematics. Biography Edward Nelson was born in Decatur, Georgia, in 1932. He spent his early childhood in Rome where his father worked for the Italian YMCA. At the advent of World War II, Nelson moved with his mother to New York City, where he attended high school at the Bronx High School of Science. His father, who spoke fluent Russian language, Russian, stayed in St. Petersburg in connection wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Support (mathematics)
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lars Gårding
Lars Gårding (7 March 1919 – 7 July 2014) was a Swedish mathematician. He made notable contributions to the study of partial differential equations and partial differential operators. He was a professor of mathematics at Lund University in Sweden 1952–1984. Together with Marcel Riesz, he was a thesis advisor for Lars Hörmander. Biography Gårding was born in Hedemora, Sweden but grew up in Motala, where his father was an engineer at the plant. He began to study mathematics in Lund in 1937 with the first intention of becoming an actuary. His doctorate thesis, which was written under supervision of Marcel Riesz, was first on group representations in 1944, but in the following years he changed his research focus to the theory of partial differential equations. He held the professorship of mathematics at Lund University from 1952 until retirement in 1984. His interest was not limited to mathematics, but also in art, literature and music. He played the violin and the pi ... [...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] |
Discrete Space
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest topology that can be given on a set. Every subset is open in the discrete topology so that in particular, every singleton subset is an open set in the discrete topology. Definitions Given a set X: A metric space (E,d) is said to be '' uniformly discrete'' if there exists a ' r > 0 such that, for any x,y \in E, one has either x = y or d(x,y) > r. The topology underlying a metric space can be discrete, without the metric being uniformly discrete: for example the usual metric on the set \left\. Properties The underlying uniformity on a discrete metric space is the discrete uniformity, and the underlying topology on a discrete uniform space is the discrete topology. Thus, the different notions of discrete space are compatible with on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter–Weyl Theorem
In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are Compact group, compact, but are not necessarily Abelian group, abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, in the setting of a compact topological group ''G'' . The theorem is a collection of results generalizing the significant facts about the decomposition of the regular representation of any finite group, as discovered by Ferdinand Georg Frobenius and Issai Schur. Let ''G'' be a compact group. The theorem has three parts. The first part states that the matrix coefficients of irreducible representations of ''G'' are dense in the space ''C''(''G'') of continuous complex-valued functions on ''G'', and thus also in the space ''L''2(''G'') of square-integrable functions. The second part asserts the complete reducibility of unitary representations of ''G''. The third part then asserts that the regular representati ... [...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] |
Measure (mathematics)
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge. Far-reaching generalizations (such as spectral measures and projection-valued measures) of measure are widely used in quantum physics and physics in general. The intuition behind this concept dates back to Ancient Greece, when Archimedes tried to calculate the area of a circle. But it was not until the late 19th and early 20th centuries that measure theory became a branch of mathematics. The foundations of modern measure theory were laid in the works of Émile Borel, Henri Lebesgue, Nikolai Luzin, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Representation
In mathematics, and in particular the theory of group representations, the regular representation of a group ''G'' is the linear representation afforded by the group action of ''G'' on itself by translation. One distinguishes the left regular representation λ given by left translation and the right regular representation ρ given by the inverse of right translation. Finite groups For a finite group ''G'', the left regular representation λ (over a field ''K'') is a linear representation on the ''K''-vector space ''V'' freely generated by the elements of ''G'', i.e. elements of ''G'' can be identified with a basis of ''V''. Given ''g'' ∈ ''G'', λ''g'' is the linear map determined by its action on the basis by left translation by ''g'', i.e. :\lambda_:h\mapsto gh,\texth\in G. For the right regular representation ρ, an inversion must occur in order to satisfy the axioms of a representation. Specifically, given ''g'' ∈ ''G'', ρ''g'' is the linear map ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plancherel Theorem
In mathematics, the Plancherel theorem (sometimes called the Parseval–Plancherel identity) is a result in harmonic analysis, proven by Michel Plancherel in 1910. It is a generalization of Parseval's theorem; often used in the fields of science and engineering, proving the unitarity of the Fourier transform. The theorem states that the integral of a function's squared modulus is equal to the integral of the squared modulus of its frequency spectrum. That is, if f(x) is a function on the real line, and \widehat(\xi) is its frequency spectrum, then Formal definition The Fourier transform of an ''L''''1'' function f on the real line \mathbb R is defined as the Lebesgue integral \hat f(\xi) = \int_ f(x)e^dx. If f belongs to both L^1 and L^2, then the Plancherel theorem states that \hat f also belongs to L^2, and the Fourier transform is an isometry with respect to the ''L''2 norm, which is to say that \int_^\infty , f(x), ^2 \, dx = \int_^\infty , \widehat(\xi), ^2 \, d\xi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
