Stone–von Neumann theorem

In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. It is named after Marshall Stone and John von Neumann.^[1]^[2]^[3]^[4]

Representation issues of the commutation relations

In quantum mechanics, physical observables are represented mathematically by linear operators on Hilbert spaces.

For a single particle moving on the real line [math]\displaystyle{ \mathbb{R} }[/math], there are two important observables: position and momentum. In the Schrödinger representation quantum description of such a particle, the position operator $x$ and momentum operator [math]\displaystyle{ p }[/math] are respectively given by [math]\displaystyle{ \begin{align}[] [x \psi](x_0) &= x_0 \psi(x_0) \\[] [p \psi](x_0) &= - i \hbar \frac{\partial \psi}{\partial x}(x_0) \end{align} }[/math] on the domain [math]\displaystyle{ V }[/math] of infinitely differentiable functions of compact support on [math]\displaystyle{ \mathbb{R} }[/math]. Assume [math]\displaystyle{ \hbar }[/math] to be a fixed non-zero real number—in quantum theory [math]\displaystyle{ \hbar }[/math] is the reduced Planck's constant, which carries units of action (energy times time).

The operators [math]\displaystyle{ x }[/math], [math]\displaystyle{ p }[/math] satisfy the canonical commutation relation Lie algebra, [math]\displaystyle{ [x,p] = x p - p x = i \hbar. }[/math]

Already in his classic book,^[5] Hermann Weyl observed that this commutation law was impossible to satisfy for linear operators $p$ , $x$ acting on finite-dimensional spaces unless $ℏ$ vanishes. This is apparent from taking the trace over both sides of the latter equation and using the relation $Trace(AB) = Trace(BA)$ ; the left-hand side is zero, the right-hand side is non-zero. Further analysis shows that any two self-adjoint operators satisfying the above commutation relation cannot be both bounded (in fact, a theorem of Wielandt shows the relation cannot be satisfied by elements of any normed algebra^{[note 1]}). For notational convenience, the nonvanishing square root of $ℏ$ may be absorbed into the normalization of $p$ and $x$ , so that, effectively, it is replaced by 1. We assume this normalization in what follows.

The idea of the Stone–von Neumann theorem is that any two irreducible representations of the canonical commutation relations are unitarily equivalent. Since, however, the operators involved are necessarily unbounded (as noted above), there are tricky domain issues that allow for counter-examples.^[6]^{:Example 14.5} To obtain a rigorous result, one must require that the operators satisfy the exponentiated form of the canonical commutation relations, known as the Weyl relations. The exponentiated operators are bounded and unitary. Although, as noted below, these relations are formally equivalent to the standard canonical commutation relations, this equivalence is not rigorous, because (again) of the unbounded nature of the operators. (There is also a discrete analog of the Weyl relations, which can hold in a finite-dimensional space,^[6]^{:Chapter 14, Exercise 5} namely Sylvester's clock and shift matrices in the finite Heisenberg group, discussed below.)

Uniqueness of representation

One would like to classify representations of the canonical commutation relation by two self-adjoint operators acting on separable Hilbert spaces, up to unitary equivalence. By Stone's theorem, there is a one-to-one correspondence between self-adjoint operators and (strongly continuous) one-parameter unitary groups.

Let $Q$ and $P$ be two self-adjoint operators satisfying the canonical commutation relation, $[Q, P] = i$ , and $s$ and $t$ two real parameters. Introduce $e itQ$ and $e isP$ , the corresponding unitary groups given by functional calculus. (For the explicit operators $x$ and $p$ defined above, these are multiplication by $e itx$ and pullback by translation $x \to x + s$ .) A formal computation^[6]^{:Section 14.2} (using a special case of the Baker–Campbell–Hausdorff formula) readily yields [math]\displaystyle{ e^{itQ} e^{isP} = e^{-i st} e^{isP} e^{itQ} . }[/math]

Conversely, given two one-parameter unitary groups $U (t)$ and $V (s)$ satisfying the braiding relation

[math]\displaystyle{ U(t)V(s) = e^{-i st} V(s) U(t) \qquad \forall s, t, }[/math] (E1)

formally differentiating at 0 shows that the two infinitesimal generators satisfy the above canonical commutation relation. This braiding formulation of the canonical commutation relations (CCR) for one-parameter unitary groups is called the Weyl form of the CCR.

It is important to note that the preceding derivation is purely formal. Since the operators involved are unbounded, technical issues prevent application of the Baker–Campbell–Hausdorff formula without additional domain assumptions. Indeed, there exist operators satisfying the canonical commutation relation but not the Weyl relations (E1).^[6]^{:Example 14.5} Nevertheless, in "good" cases, we expect that operators satisfying the canonical commutation relation will also satisfy the Weyl relations.

The problem thus becomes classifying two jointly irreducible one-parameter unitary groups $U (t)$ and $V (s)$ which satisfy the Weyl relation on separable Hilbert spaces. The answer is the content of the Stone–von Neumann theorem: all such pairs of one-parameter unitary groups are unitarily equivalent.^[6]^{:Theorem 14.8} In other words, for any two such $U (t)$ and $V (s)$ acting jointly irreducibly on a Hilbert space $H$ , there is a unitary operator $W : L 2 (R) \to H$ so that [math]\displaystyle{ W^*U(t)W = e^{itx} \quad \text{and} \quad W^*V(s)W = e^{isp}, }[/math] where $p$ and $x$ are the explicit position and momentum operators from earlier. When $W$ is $U$ in this equation, so, then, in the $x$ -representation, it is evident that $P$ is unitarily equivalent to $e - itQ P e itQ = P + t$ , and the spectrum of $P$ must range along the entire real line. The analog argument holds for $Q$ .

There is also a straightforward extension of the Stone–von Neumann theorem to $n$ degrees of freedom.^[6]^{:Theorem 14.8} Historically, this result was significant, because it was a key step in proving that Heisenberg's matrix mechanics, which presents quantum mechanical observables and dynamics in terms of infinite matrices, is unitarily equivalent to Schrödinger's wave mechanical formulation (see Schrödinger picture), [math]\displaystyle{ [U(t)\psi ] (x)=e^{itx} \psi(x), \qquad [V(s)\psi ](x)= \psi(x+s) . }[/math]

Representation theory formulation

In terms of representation theory, the Stone–von Neumann theorem classifies certain unitary representations of the Heisenberg group. This is discussed in more detail in the Heisenberg group section, below.

Informally stated, with certain technical assumptions, every representation of the Heisenberg group $H 2 n + 1$ is equivalent to the position operators and momentum operators on $R n$ . Alternatively, that they are all equivalent to the Weyl algebra (or CCR algebra) on a symplectic space of dimension $2 n$ .

More formally, there is a unique (up to scale) non-trivial central strongly continuous unitary representation.

This was later generalized by Mackey theory – and was the motivation for the introduction of the Heisenberg group in quantum physics.

In detail:

The continuous Heisenberg group is a central extension of the abelian Lie group $R 2 n$ by a copy of $R$ ,
the corresponding Heisenberg algebra is a central extension of the abelian Lie algebra $R 2 n$ (with trivial bracket) by a copy of $R$ ,
the discrete Heisenberg group is a central extension of the free abelian group $Z 2 n$ by a copy of $Z$ , and
the discrete Heisenberg group modulo $p$ is a central extension of the free abelian $p$ -group $(Z / p Z) 2 n$ by a copy of $Z / p Z$ .

In all cases, if one has a representation $H 2 n + 1 \to A$ , where $A$ is an algebra^{[clarification needed]} and the center maps to zero, then one simply has a representation of the corresponding abelian group or algebra, which is Fourier theory.^{[clarification needed]}

If the center does not map to zero, one has a more interesting theory, particularly if one restricts oneself to central representations.

Concretely, by a central representation one means a representation such that the center of the Heisenberg group maps into the center of the algebra: for example, if one is studying matrix representations or representations by operators on a Hilbert space, then the center of the matrix algebra or the operator algebra is the scalar matrices. Thus the representation of the center of the Heisenberg group is determined by a scale value, called the quantization value (in physics terms, Planck's constant), and if this goes to zero, one gets a representation of the abelian group (in physics terms, this is the classical limit).

More formally, the group algebra of the Heisenberg group over its field of scalars K, written $K [H]$ , has center $K [R]$ , so rather than simply thinking of the group algebra as an algebra over the field $K$ , one may think of it as an algebra over the commutative algebra $K [R]$ . As the center of a matrix algebra or operator algebra is the scalar matrices, a $K [R]$ -structure on the matrix algebra is a choice of scalar matrix – a choice of scale. Given such a choice of scale, a central representation of the Heisenberg group is a map of $K [R]$ -algebras $K [H] \to A$ , which is the formal way of saying that it sends the center to a chosen scale.

Then the Stone–von Neumann theorem is that, given the standard quantum mechanical scale (effectively, the value of ħ), every strongly continuous unitary representation is unitarily equivalent to the standard representation with position and momentum.

Reformulation via Fourier transform

Let $G$ be a locally compact abelian group and $G^$ be the Pontryagin dual of $G$ . The Fourier–Plancherel transform defined by [math]\displaystyle{ f \mapsto {\hat f}(\gamma) = \int_G \overline{\gamma(t)} f(t) d \mu (t) }[/math] extends to a C*-isomorphism from the group C*-algebra $C*(G)$ of $G$ and $C 0 (G^)$ , i.e. the spectrum of $C*(G)$ is precisely $G^$ . When $G$ is the real line $R$ , this is Stone's theorem characterizing one-parameter unitary groups. The theorem of Stone–von Neumann can also be restated using similar language.

The group $G$ acts on the $C$ *-algebra $C 0 (G)$ by right translation $ρ$ : for $s$ in $G$ and $f$ in $C 0 (G)$ , [math]\displaystyle{ (s \cdot f)(t) = f(t + s). }[/math]

Under the isomorphism given above, this action becomes the natural action of $G$ on $C*(G^)$ : [math]\displaystyle{ \widehat{ (s \cdot f) }(\gamma) = \gamma(s) \hat{f} (\gamma). }[/math]

So a covariant representation corresponding to the $C$ *-crossed product [math]\displaystyle{ C^*\left( \hat{G} \right) \rtimes_{\hat{\rho}} G }[/math] is a unitary representation $U (s)$ of $G$ and $V (γ)$ of $G^$ such that [math]\displaystyle{ U(s) V(\gamma) U^*(s) = \gamma(s) V(\gamma). }[/math]

It is a general fact that covariant representations are in one-to-one correspondence with *-representation of the corresponding crossed product. On the other hand, all irreducible representations of [math]\displaystyle{ C_0(G) \rtimes_\rho G }[/math] are unitarily equivalent to the [math]\displaystyle{ {\mathcal K}\left(L^2(G)\right) }[/math], the compact operators on $L 2 (G))$ . Therefore, all pairs ${U (s), V (γ)}$ are unitarily equivalent. Specializing to the case where $G = R$ yields the Stone–von Neumann theorem.

The Heisenberg group

The above canonical commutation relations for $P$ , $Q$ are identical to the commutation relations that specify the Lie algebra of the general Heisenberg group $H 2 n +1$ for $n$ a positive integer. This is the Lie group of $(n + 2) \times (n + 2)$ square matrices of the form [math]\displaystyle{ \mathrm{M}(a,b,c) = \begin{bmatrix} 1 & a & c \\ 0 & 1_n & b \\ 0 & 0 & 1 \end{bmatrix}. }[/math]

In fact, using the Heisenberg group, one can reformulate the Stone von Neumann theorem in the language of representation theory.

Note that the center of $H 2n+1$ consists of matrices $M(0, 0, c)$ . However, this center is not the identity operator in Heisenberg's original CCRs. The Heisenberg group Lie algebra generators, e.g. for $n = 1$ , are

[math]\displaystyle{ \begin{align} P &= \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix}, & Q &= \begin{bmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix}, & z &= \begin{bmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix}, \end{align} }[/math]

and the central generator $z = log M (0, 0, 1) = exp(z) - 1$ is not the identity.

Theorem — For each non-zero real number $h$ there is an irreducible representation $U h$ acting on the Hilbert space $L 2 (R n)$ by [math]\displaystyle{ \left [U_h(\mathrm{M}(a,b,c)) \right ] \psi(x) = e^{i (b \cdot x + h c)} \psi(x+h a). }[/math]

All these representations are unitarily inequivalent; and any irreducible representation which is not trivial on the center of $H n$ is unitarily equivalent to exactly one of these.

Note that $U h$ is a unitary operator because it is the composition of two operators which are easily seen to be unitary: the translation to the left by $ha$ and multiplication by a function of absolute value 1. To show $U h$ is multiplicative is a straightforward calculation. The hard part of the theorem is showing the uniqueness; this claim, nevertheless, follows easily from the Stone–von Neumann theorem as stated above. We will sketch below a proof of the corresponding Stone–von Neumann theorem for certain finite Heisenberg groups.

In particular, irreducible representations $π$ , $π'$ of the Heisenberg group $H n$ which are non-trivial on the center of $H n$ are unitarily equivalent if and only if $π (z) = π' (z)$ for any $z$ in the center of $H n$ .

One representation of the Heisenberg group which is important in number theory and the theory of modular forms is the theta representation, so named because the Jacobi theta function is invariant under the action of the discrete subgroup of the Heisenberg group.

Relation to the Fourier transform

For any non-zero $h$ , the mapping

[math]\displaystyle{ \alpha_h: \mathrm{M}(a,b,c) \to \mathrm{M} \left( -h^{-1} b,h a, c -a\cdot b \right) }[/math]

is an automorphism of $H n$ which is the identity on the center of $H n$ . In particular, the representations $U h$ and $U h α$ are unitarily equivalent. This means that there is a unitary operator $W$ on $L 2 (R n)$ such that, for any $g$ in $H n$ ,

[math]\displaystyle{ W U_h(g) W^* = U_h \alpha (g). }[/math]

Moreover, by irreducibility of the representations $U h$ , it follows that up to a scalar, such an operator $W$ is unique (cf. Schur's lemma). Since $W$ is unitary, this scalar multiple is uniquely determined and hence such an operator $W$ is unique.

Theorem — The operator $W$ is the Fourier transform on $L 2 (R n)$ .

This means that, ignoring the factor of $(2 π) n /2$ in the definition of the Fourier transform,

[math]\displaystyle{ \int_{\mathbf{R}^n} e^{-i x \cdot p} e^{i (b \cdot x + h c)} \psi (x+h a) \ dx = e^{ i (h a \cdot p + h (c - b \cdot a))} \int_{\mathbf{R}^n} e^{-i y \cdot ( p - b)} \psi(y) \ dy. }[/math]

This theorem has the immediate implication that the Fourier transform is unitary, also known as the Plancherel theorem. Moreover, [math]\displaystyle{ (\alpha_h)^2 \mathrm{M}(a,b,c) =\mathrm{M}(- a, -b, c). }[/math]

Theorem — The operator $W 1$ such that [math]\displaystyle{ W_1 U_h W_1^* = U_h \alpha^2 (g) }[/math] is the reflection operator [math]\displaystyle{ [W_1 \psi](x) = \psi(-x). }[/math]

From this fact the Fourier inversion formula easily follows.

Example: The Segal–Bargmann space

The Segal–Bargmann space is the space of holomorphic functions on $C n$ that are square-integrable with respect to a Gaussian measure. Fock observed in 1920s that the operators

[math]\displaystyle{ a_j = \frac{\partial}{\partial z_j}, \qquad a_j^* = z_j, }[/math]

acting on holomorphic functions, satisfy the same commutation relations as the usual annihilation and creation operators, namely,

[math]\displaystyle{ \left [a_j,a_k^* \right ] = \delta_{j,k}. }[/math]

In 1961, Bargmann showed that $a * j$ is actually the adjoint of $a j$ with respect to the inner product coming from the Gaussian measure. By taking appropriate linear combinations of $a j$ and $a * j$ , one can then obtain "position" and "momentum" operators satisfying the canonical commutation relations. It is not hard to show that the exponentials of these operators satisfy the Weyl relations and that the exponentiated operators act irreducibly.^[6]^{:Section 14.4} The Stone–von Neumann theorem therefore applies and implies the existence of a unitary map from $L 2 (R n)$ to the Segal–Bargmann space that intertwines the usual annihilation and creation operators with the operators $a j$ and $a * j$ . This unitary map is the Segal–Bargmann transform.

Representations of finite Heisenberg groups

The Heisenberg group $H n (K)$ is defined for any commutative ring $K$ . In this section let us specialize to the field $K = Z / p Z$ for $p$ a prime. This field has the property that there is an embedding $ω$ of $K$ as an additive group into the circle group $T$ . Note that $H n (K)$ is finite with cardinality $| K | 2 n + 1$ . For finite Heisenberg group $H n (K)$ one can give a simple proof of the Stone–von Neumann theorem using simple properties of character functions of representations. These properties follow from the orthogonality relations for characters of representations of finite groups.

For any non-zero $h$ in $K$ define the representation $U h$ on the finite-dimensional inner product space $ℓ 2 (K n)$ by [math]\displaystyle{ \left[U_h \mathrm{M}(a, b, c) \psi\right](x) = \omega(b \cdot x + h c) \psi(x + ha). }[/math]

Theorem — For a fixed non-zero $h$ , the character function $χ$ of $U h$ is given by: [math]\displaystyle{ \chi (\mathrm{M}(a, b, c)) = \begin{cases} |K|^n\, \omega(hc) & \text{if } a = b = 0 \\ 0 & \text{otherwise} \end{cases} }[/math]

It follows that [math]\displaystyle{ \frac{1}{\left|H_n(\mathbf{K})\right|} \sum_{g \in H_n(K)} |\chi(g)|^2 = \frac{1}{|K|^{2n+1}} |K|^{2n} |K| = 1. }[/math]

By the orthogonality relations for characters of representations of finite groups this fact implies the corresponding Stone–von Neumann theorem for Heisenberg groups $H n (Z / p Z)$ , particularly:

Irreducibility of $U h$
Pairwise inequivalence of all the representations $U h$ .

Actually, all irreducible representations of $H n (K)$ on which the center acts nontrivially arise in this way.^[6]^{:Chapter 14, Exercise 5}

Generalizations

The Stone–von Neumann theorem admits numerous generalizations. Much of the early work of George Mackey was directed at obtaining a formulation^[7] of the theory of induced representations developed originally by Frobenius for finite groups to the context of unitary representations of locally compact topological groups.

Notes

↑ $[x n, p] = i ℏ nx n - 1$ , hence $2|| p || || x || n \geq n ℏ || x || n - 1$ , so that, $\forall n : 2|| p || || x || \geq n ℏ$ .

References

↑ von Neumann, J. (1931), "Die Eindeutigkeit der Schrödingerschen Operatoren", Mathematische Annalen (Springer Berlin / Heidelberg) 104: 570–578, doi:10.1007/BF01457956, ISSN 0025-5831
↑ von Neumann, J. (1932), "Ueber Einen Satz Von Herrn M. H. Stone" (in German), Annals of Mathematics, Second Series (Annals of Mathematics) 33 (3): 567–573, doi:10.2307/1968535, ISSN 0003-486X
↑ Stone, M. H. (1930), "Linear Transformations in Hilbert Space. III. Operational Methods and Group Theory", Proceedings of the National Academy of Sciences of the United States of America (National Academy of Sciences) 16 (2): 172–175, doi:10.1073/pnas.16.2.172, ISSN 0027-8424, PMID 16587545, Bibcode: 1930PNAS...16..172S
↑ Stone, M. H. (1932), "On one-parameter unitary groups in Hilbert Space", Annals of Mathematics 33 (3): 643–648, doi:10.2307/1968538
↑ Weyl, H. (1927), "Quantenmechanik und Gruppentheorie", Zeitschrift für Physik, 46 (1927) pp. 1–46, doi:10.1007/BF02055756; Weyl, H., The Theory of Groups and Quantum Mechanics, Dover Publications, 1950, ISBN 978-1-163-18343-4.
↑ ^6.0 ^6.1 ^6.2 ^6.3 ^6.4 ^6.5 ^6.6 ^6.7 Hall, B.C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, 267, Springer, ISBN 978-1461471158
↑ Mackey, G. W. (1976). The Theory of Unitary Group Representations, The University of Chicago Press, 1976.

Kirillov, A. A. (1976), Elements of the theory of representations, Grundlehren der Mathematischen Wissenschaften, 220, Berlin, New York: Springer-Verlag, ISBN 978-0-387-07476-4
Rosenberg, Jonathan (2004) "A Selective History of the Stone–von Neumann Theorem" Contemporary Mathematics 365. American Mathematical Society.
Summers, Stephen J. (2001). "On the Stone–von Neumann Uniqueness Theorem and Its Ramifications." In John von Neumann and the foundations of quantum physics, pp. 135-152. Springer, Dordrecht, 2001, online.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Stone–von Neumann theorem. Read more

[6] $[x n, p] = i ℏ nx n - 1$ , hence $2|| p || || x || n \geq n ℏ || x || n - 1$ , so that, $\forall n : 2|| p || || x || \geq n ℏ$ .

[1] von Neumann, J. (1931), "Die Eindeutigkeit der Schrödingerschen Operatoren", Mathematische Annalen (Springer Berlin / Heidelberg) 104: 570–578, doi:10.1007/BF01457956, ISSN 0025-5831

[2] von Neumann, J. (1932), "Ueber Einen Satz Von Herrn M. H. Stone" (in German), Annals of Mathematics, Second Series (Annals of Mathematics) 33 (3): 567–573, doi:10.2307/1968535, ISSN 0003-486X

[3] Stone, M. H. (1930), "Linear Transformations in Hilbert Space. III. Operational Methods and Group Theory", Proceedings of the National Academy of Sciences of the United States of America (National Academy of Sciences) 16 (2): 172–175, doi:10.1073/pnas.16.2.172, ISSN 0027-8424, PMID 16587545, Bibcode: 1930PNAS...16..172S

[4] Stone, M. H. (1932), "On one-parameter unitary groups in Hilbert Space", Annals of Mathematics 33 (3): 643–648, doi:10.2307/1968538

[5] Weyl, H. (1927), "Quantenmechanik und Gruppentheorie", Zeitschrift für Physik, 46 (1927) pp. 1–46, doi:10.1007/BF02055756; Weyl, H., The Theory of Groups and Quantum Mechanics, Dover Publications, 1950, ISBN 978-1-163-18343-4.

[Hall_2013-7] 6.0 ^6.1 ^6.2 ^6.3 ^6.4 ^6.5 ^6.6 ^6.7 Hall, B.C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, 267, Springer, ISBN 978-1461471158

[8] Mackey, G. W. (1976). The Theory of Unitary Group Representations, The University of Chicago Press, 1976.

[1]

[2]

[3]

[4]

[5]

[note 1]

[6]

[7]

v t e Functional analysis (topics)
Topological vector spaces	Asplund Banach (list) Banach lattice Barrelled Bornological Brauner F-space Fréchet (tame) Hilbert (Inner product space Polarization identity) LF-space Locally convex (Seminorms/Minkowski functionals) Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Strictly convex Webbed Topological tensor product (of Hilbert spaces)
Topologies of function spaces	Dual Dual space (Dual norm) Operator Ultraweak Weak (polar operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear (form operator sesquilinear) (Un)Bounded Closed Compact (on Hilbert spaces) (Dis)Continuous Densely defined Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition
Theorems	Banach–Alaoglu Banach–Mazur Banach–Saks Banach–Schauder (open mapping) Banach–Steinhaus (Uniform boundedness) Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Riesz representation Parseval's identity Schauder fixed-point
Analysis	Abstract Wiener space Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gateaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Measures (Lebesgue Projection-valued Vector) Weakly measurable function
Types of sets	Absolutely convex Absorbing Balanced Bounded Convex Convex cone (subset) Linear cone (subset) Radial Star-shaped Symmetric Zonotope
Subsets / set operations	Algebraic interior (core) Bounding points Convex hull Extreme point Interior Minkowski addition Polar

Anonymous

Search

Stone–von Neumann theorem

Namespaces

More

Page actions

Contents

Representation issues of the commutation relations

Uniqueness of representation

Representation theory formulation

Reformulation via Fourier transform

The Heisenberg group

Relation to the Fourier transform

Example: The Segal–Bargmann space

Representations of finite Heisenberg groups

Generalizations

See also

Notes

References

Navigation

Navigation

Help

Translate

Wiki tools

Wiki tools

Anonymous

Search

Stone–von Neumann theorem

Representation issues of the commutation relations

Uniqueness of representation

Representation theory formulation

Reformulation via Fourier transform

The Heisenberg group

Relation to the Fourier transform

Example: The Segal–Bargmann space

Representations of finite Heisenberg groups

Generalizations

See also

Notes

References

Navigation

Wiki tools

Page tools

Other projects

Categories