Unitary operator
Unitary operator
Main page
U

Unitary operator

logo
Community Hub0 subscribers
Read side by side
Unitary operator
View on Wikipedia
from Wikipedia

In functional analysis, a unitary operator is a surjective bounded operator on a Hilbert space that preserves the inner product. Non-trivial examples include rotations, reflections, and the Fourier operator. Unitary operators generalize unitary matrices. Unitary operators are usually taken as operating on a Hilbert space, but the same notion serves to define the concept of isomorphism between Hilbert spaces.

Definition

[edit]

Definition 1. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H that satisfies U*U = UU* = I, where U* is the adjoint of U, and I : H → H is the identity operator.

The weaker condition U*U = I defines an isometry. The other weaker condition, UU* = I, defines a coisometry. Thus a unitary operator is a bounded linear operator that is both an isometry and a coisometry,[1] or, equivalently, a surjective isometry.[2]

An equivalent definition is the following:

Definition 2. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H for which the following hold:

  • U is surjective, and
  • U preserves the inner product of the Hilbert space, H. In other words, for all vectors x and y in H we have:

The notion of isomorphism in the category of Hilbert spaces is captured if domain and range are allowed to differ in this definition. Isometries preserve Cauchy sequences; hence the completeness property of Hilbert spaces is preserved[3]

The following, seemingly weaker, definition is also equivalent:

Definition 3. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H for which the following hold:

  • the range of U is dense in H, and
  • U preserves the inner product of the Hilbert space, H. In other words, for all vectors x and y in H we have:

To see that definitions 1 and 3 are equivalent, notice that U preserving the inner product implies U is an isometry (thus, a bounded linear operator). The fact that U has dense range ensures it has a bounded inverse U−1. It is clear that U−1 = U*.

Thus, unitary operators are just automorphisms of Hilbert spaces, i.e., they preserve the structure (the vector space structure, the inner product, and hence the topology) of the space on which they act. The group of all unitary operators from a given Hilbert space H to itself is sometimes referred to as the Hilbert group of H, denoted Hilb(H) or U(H).

Examples

[edit]
  • The identity function is trivially a unitary operator.
  • Rotations in R2 are the simplest nontrivial example of unitary operators. Rotations do not change the length of a vector or the angle between two vectors. This example can be expanded to R3. In even higher dimensions, this can be extended to the Givens rotation.
  • Reflections, like the Householder transformation.
  • times a Hadamard matrix.
  • In general, any operator in a Hilbert space that acts by permuting an orthonormal basis is unitary. In the finite dimensional case, such operators are the permutation matrices.
  • On the vector space C of complex numbers, multiplication by a number of absolute value 1, that is, a number of the form eiθ for θ ∈ R, is a unitary operator. θ is referred to as a phase, and this multiplication is referred to as multiplication by a phase. Notice that the value of θ modulo 2π does not affect the result of the multiplication, and so the independent unitary operators on C are parametrized by a circle. The corresponding group, which, as a set, is the circle, is called U(1).
  • The Fourier operator is a unitary operator, i.e. the operator that performs the Fourier transform (with proper normalization). This follows from Parseval's theorem.
  • Quantum logic gates are unitary operators. Not all gates are Hermitian.
  • More generally, unitary matrices are precisely the unitary operators on finite-dimensional Hilbert spaces, so the notion of a unitary operator is a generalization of the notion of a unitary matrix. Orthogonal matrices are the special case of unitary matrices in which all entries are real.[4] They are the unitary operators on Rn.
  • The bilateral shift on the sequence space ℓ2 indexed by the integers is unitary.
  • The unilateral shift (right shift) is an isometry; its conjugate (left shift) is a coisometry.
  • Unitary operators are used in unitary representations.
  • A unitary element is a generalization of a unitary operator. In a unital algebra, an element U of the algebra is called a unitary element if U*U = UU* = I, where I is the multiplicative identity element.[5]
  • Any composition of the above.

Linearity

[edit]

The linearity requirement in the definition of a unitary operator can be dropped without changing the meaning because it can be derived from linearity and positive-definiteness of the scalar product:

Analogously we obtain

Properties

[edit]
  • The spectrum of a unitary operator U lies on the unit circle. That is, for any complex number λ in the spectrum, one has |λ| = 1. This can be seen as a consequence of the spectral theorem for normal operators. By the theorem, U is unitarily equivalent to multiplication by a Borel-measurable f on L2(μ), for some finite measure space (X, μ). Now UU* = I implies |f(x)|2 = 1, μ-a.e. This shows that the essential range of f, therefore the spectrum of U, lies on the unit circle.
  • A linear map is unitary if it is surjective and isometric. (Use Polarization identity to show the only if part.)

See also

[edit]

Footnotes

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Unitary operator

View on Grokipedia
from Grokipedia
In linear algebra and functional analysis, a unitary operator is a bounded linear operator $ U $ on a complex Hilbert space $ \mathcal{H} $ that satisfies $ U^\dagger U = U U^\dagger = I $, where $ U^\dagger $ denotes the adjoint operator and $ I $ is the identity operator.[1] This condition ensures that $ U $ is invertible with inverse $ U^{-1} = U^\dagger $, making unitary operators isometries that preserve the norm and inner product of vectors: for all $ \psi, \phi \in \mathcal{H} $, $ |\psi| = |U\psi| $ and $ \langle U\psi, U\phi \rangle = \langle \psi, \phi \rangle $.[2][3] Unitary operators form a group under composition, known as the unitary group $ U(\mathcal{H}) $, which generalizes the orthogonal group for real inner product spaces.[1] They are normal operators, meaning they commute with their adjoint, and thus admit a spectral decomposition into eigenvalues of modulus one.[1] In finite-dimensional spaces, unitary operators correspond to unitary matrices, which play a central role in diagonalizing Hermitian matrices via the spectral theorem.[2] In quantum mechanics, unitary operators are fundamental for describing reversible transformations and time evolution of quantum states, as the time-evolution operator $ e^{-iHt/\hbar} $ (where $ H $ is the Hamiltonian) is unitary, ensuring probability conservation and the unitarity of quantum dynamics.[3] They represent symmetries such as rotations in Hilbert space and are essential in quantum information theory for quantum gates and error correction.[2]

Definition

Formal Definition

A complex Hilbert space $ H $ is a complete inner product space over the field of complex numbers, where completeness is with respect to the norm induced by the inner product $ \langle \cdot, \cdot \rangle $.[4] For a bounded linear operator $ U: H \to H $, the adjoint operator $ U^\dagger $ (also denoted $ U^* $) is the unique bounded linear operator satisfying $ \langle U x, y \rangle = \langle x, U^\dagger y \rangle $ for all $ x, y \in H $.[4] A unitary operator $ U $ on a complex Hilbert space $ H $ is a bounded linear operator satisfying $ U^\dagger U = I $ and $ U U^\dagger = I $, where $ I $ is the identity operator on $ H $.[4] In the context of operators on Hilbert spaces, linearity means preserving vector addition and scalar multiplication, while boundedness ensures continuity and definition on the entire space.[4] This definition equivalently requires $ U $ to be invertible with inverse equal to its adjoint, $ U^{-1} = U^\dagger $.[4] Standard notation uses $ \dagger $ or $ * $ for the adjoint and $ I $ or $ \mathbf{1} $ for the identity.[4]

Equivalent Formulations

A unitary operator $ U $ on a Hilbert space $ \mathcal{H} $ can equivalently be defined as a surjective isometry, meaning $ U $ is a bounded linear operator satisfying $ |Ux| = |x| $ for all $ x \in \mathcal{H} $ and $ U $ is onto.[https://faculty.etsu.edu/gardnerr/Func/Beamer-Proofs/4-6.pdf] This characterization follows from the fact that norm preservation implies $ U^U = I $, and surjectivity ensures $ UU^ = I $, aligning with the standard adjoint condition.[https://www.math.lmu.de/~michel/WS11-12_FA2_Problems_in_class_06.pdf] Another equivalent formulation is that $ U $ preserves the inner product, i.e., $ \langle Ux, Uy \rangle = \langle x, y \rangle $ for all $ x, y \in \mathcal{H} $.[https://physics.bme.hu/sites/physics.bme.hu/files/users/BMETE15AF53_kov/Kreyszig%20-%20Introductory%20Functional%20Analysis%20with%20Applications%20(1).pdf] This property directly implies both norm preservation and the adjoint relation, providing a geometric interpretation of unitarity as an isometry that maintains the structure of the space. In the special case of real Hilbert spaces, unitary operators coincide with orthogonal operators, which are bounded linear operators satisfying the same inner product preservation condition.[https://physics.bme.hu/sites/physics.bme.hu/files/users/BMETE15AF53_kov/Kreyszig%20-%20Introductory%20Functional%20Analysis%20with%20Applications%20(1).pdf] Distinct from unitary operators are anti-unitary operators, which preserve norms but conjugate the inner product as $ \langle Ux, Uy \rangle = \overline{\langle x, y \rangle} $; these arise in physics contexts such as time-reversal symmetries in quantum mechanics.[http://philsci-archive.pitt.edu/19589/7/PMTR_desanonymized_15.09.2021.pdf]

Examples

Finite-Dimensional Examples

In finite-dimensional Hilbert spaces, unitary operators are represented by unitary matrices, which are complex square matrices $ U $ satisfying $ U^\dagger U = I $, where $ U^\dagger $ denotes the conjugate transpose of $ U $ and $ I $ is the identity matrix.[5] This condition is equivalent to the columns of $ U $ (or rows) forming an orthonormal basis with respect to the standard inner product.[6] For real matrices, the unitary condition reduces to orthogonality, $ U^T U = I $.[5] A simple example is the identity matrix $ I $, which satisfies $ I^\dagger I = I $ and represents the trivial unitary operator that leaves all vectors unchanged.[7] Another basic case is a phase shift operator on a qubit, represented by the diagonal matrix $ \begin{pmatrix} 1 & 0 \ 0 & e^{i\phi} \end{pmatrix} $ for some real $ \phi $, which is unitary because its conjugate transpose is its inverse, preserving the norm of state vectors in quantum mechanics.[8] Rotation matrices provide concrete real examples in $ \mathbb{R}^2 $. The 2×2 rotation matrix by angle $ \theta $, given by
(cos⁡θ−sin⁡θsin⁡θcos⁡θ), \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix},
is orthogonal and thus unitary, as its transpose equals its inverse, corresponding to a rotation in the plane that preserves lengths and angles.[9] To verify, multiplying by a vector $ \begin{pmatrix} x \ y \end{pmatrix} $ yields a rotated vector of the same Euclidean norm. In quantum mechanics, the Pauli matrices serve as fundamental unitary operators on $ \mathbb{C}^2 $. These are
σx=(0110),σy=(0−ii0),σz=(100−1), \sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad \sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix},
each satisfying $ \sigma_j^\dagger = \sigma_j $ and $ \sigma_j^2 = I $ for $ j = x,y,z $, confirming their unitarity as they are Hermitian with eigenvalues $ \pm 1 $.[10] They generate rotations in spin space and form a basis for single-qubit gates up to phases. Householder reflection matrices offer another class of unitary examples, used in numerical linear algebra for QR decompositions. For a unit vector $ u \in \mathbb{C}^n $, the matrix $ H = I - 2 u u^\dagger $ is unitary because $ H^\dagger = H $ and $ H^2 = I $, reflecting vectors across the hyperplane orthogonal to $ u $.[11] The discrete Fourier transform (DFT) matrix provides a multidimensional example. For dimension $ N $, the unitary DFT matrix has entries $ F_{jk} = \frac{1}{\sqrt{N}} \exp\left( -2\pi i j k / N \right) $ for $ j,k = 0, \dots, N-1 $, satisfying $ F^\dagger F = I $ and enabling efficient signal processing via fast algorithms.[12]

Infinite-Dimensional Examples

In infinite-dimensional Hilbert spaces, unitary operators often arise in the context of function spaces like L2L^2 spaces, where they preserve the inner product structure while acting on continuous or infinite sequences. A prominent example is the multiplication operator on L2(X,μ)L^2(X, \mu), where XX is a measure space and μ\mu is a σ\sigma-finite measure. For a measurable function f:X→Cf: X \to \mathbb{C} with ∣f(x)∣=1|f(x)| = 1 almost everywhere, the operator MfM_f defined by (Mfg)(x)=f(x)g(x)(M_f g)(x) = f(x) g(x) for g∈L2(X,μ)g \in L^2(X, \mu) is unitary. This follows because MfM_f is bounded with ∥Mf∥=\esssup∣f∣=1\|M_f\| = \esssup |f| = 1, and its adjoint is multiplication by the complex conjugate f‾\overline{f}, so Mf∗Mf=M∣f∣2=IM_f^* M_f = M_{|f|^2} = I almost everywhere, ensuring MfM_f is an isometry with dense range, hence unitary on the whole space.[13] Another key example is the bilateral shift operator on the Hilbert space ℓ2(Z)\ell^2(\mathbb{Z}), consisting of square-summable bi-infinite sequences. Defined by (Uξ)n=ξn−1(U \xi)_n = \xi_{n-1} for ξ=(ξn)n∈Z\xi = (\xi_n)_{n \in \mathbb{Z}}, or equivalently in the standard basis {en}n∈Z\{e_n\}_{n \in \mathbb{Z}} by Uen=en+1U e_n = e_{n+1}, this operator is unitary because its adjoint is the left shift U∗en=en−1U^* e_n = e_{n-1}, satisfying UU∗=U∗U=IU U^* = U^* U = I. The bilateral shift is normal, as it commutes with its adjoint, but variants such as unilateral shifts on ℓ2(N)\ell^2(\mathbb{N}) or weighted bilateral shifts may fail to be normal while remaining isometric or unitary under specific weight conditions.[14] The Fourier transform provides a canonical unitary operator on L2(R)L^2(\mathbb{R}). Defined initially on the Schwartz space S(R)\mathcal{S}(\mathbb{R}) by f^(ξ)=∫−∞∞f(x)e−2πixξ dx\hat{f}(\xi) = \int_{-\infty}^{\infty} f(x) e^{-2\pi i x \xi} \, dx and extended by density and continuity, it satisfies the Plancherel theorem: ∥f^∥L2(R)=∥f∥L2(R)\|\hat{f}\|_{L^2(\mathbb{R})} = \|f\|_{L^2(\mathbb{R})} for all f∈L2(R)f \in L^2(\mathbb{R}), making it an isometry. Moreover, it is surjective onto L2(R)L^2(\mathbb{R}), hence unitary, with the inverse given by the adjoint transform gˇ(x)=∫−∞∞g(ξ)e2πixξ dξ\check{g}(x) = \int_{-\infty}^{\infty} g(\xi) e^{2\pi i x \xi} \, d\xi. This unitarity underpins the Parseval relation ⟨f,g⟩=⟨f^,g^⟩\langle f, g \rangle = \langle \hat{f}, \hat{g} \rangle.[15] In quantum mechanics, the momentum operator generates a family of unitary translation operators on L2(R)L^2(\mathbb{R}). The translation operator T(a)T(a) for a∈Ra \in \mathbb{R} acts as (T(a)ψ)(x)=ψ(x−a)(T(a) \psi)(x) = \psi(x - a), which is unitary since it preserves the L2L^2 norm and is invertible with inverse T(−a)T(-a). This group of translations is generated by the momentum operator P=−iℏddxP = -i \hbar \frac{d}{dx} via T(a)=e−iaP/ℏT(a) = e^{-i a P / \hbar}, where the exponential is defined through the Stone's theorem for strongly continuous unitary groups, ensuring unitarity as the generator PP is self-adjoint. This representation highlights how infinitesimal translations correspond to momentum shifts in the position representation.

Properties

Preservation Properties

Unitary operators preserve the norm of vectors in the underlying Hilbert space. For any vector $ x $ and unitary operator $ U $ satisfying $ U^\dagger U = I $, the norm preservation follows directly from
∥Ux∥2=⟨Ux,Ux⟩=⟨x,U†Ux⟩=⟨x,x⟩=∥x∥2, \| U x \|^2 = \langle U x, U x \rangle = \langle x, U^\dagger U x \rangle = \langle x, x \rangle = \| x \|^2,
implying $ | U x | = | x | $ for all $ x $.[16] This property holds in both finite- and infinite-dimensional settings for bounded unitary operators on Hilbert spaces. Building on norm preservation, unitary operators also preserve inner products. For vectors $ x $ and $ y $,
⟨Ux,Uy⟩=(Ux)†Uy=x†U†Uy=x†y=⟨x,y⟩. \langle U x, U y \rangle = (U x)^\dagger U y = x^\dagger U^\dagger U y = x^\dagger y = \langle x, y \rangle.
This direct computation relies on the adjoint property and the defining relation $ U^\dagger U = I $. Alternatively, in spaces where the inner product is real-valued or via the polarization identity, norm preservation implies inner product preservation, as
⟨x,y⟩=14(∥x+y∥2−∥x−y∥2) \langle x, y \rangle = \frac{1}{4} \left( \| x + y \|^2 - \| x - y \|^2 \right)
for real inner products, with analogous forms for complex cases.[17] These preservation properties establish unitary operators as isometries of the Hilbert space, meaning they preserve distances $ | U x - U y | = | x - y | $ derived from the norm.[18] Moreover, unitarity ensures invertibility, with the inverse given by the adjoint $ U^{-1} = U^\dagger $, since $ U U^\dagger = I $ as well. Consequently, unitary operators map orthogonal sets to orthogonal sets: if $ \langle x_i, x_j \rangle = 0 $ for $ i \neq j $, then $ \langle U x_i, U x_j \rangle = 0 $, preserving the geometric structure of orthogonality.[18]

Spectral Properties

Unitary operators possess eigenvalues that lie exclusively on the unit circle in the complex plane. Specifically, if $ U $ is a unitary operator on a Hilbert space and $ v $ is an eigenvector with $ U v = \lambda v $ where $ v \neq 0 $, then $ |\lambda| = 1 $. This follows from the unitarity condition $ U^* U = I $, which implies $ |\lambda|^2 |v|^2 = |U v|^2 = |v|^2 $, hence $ |\lambda| = 1 $.[19] Unitary operators are normal, satisfying $ U U^* = U^* U $, and thus admit a spectral decomposition via the spectral theorem. In finite dimensions, this means $ U $ is unitarily diagonalizable, with eigenvalues on the unit circle. In infinite-dimensional separable Hilbert spaces, the spectral theorem asserts the existence of a spectral measure $ E $ supported on the unit circle $ \mathbb{T} = { z \in \mathbb{C} : |z| = 1 } $, such that $ U = \int_{\mathbb{T}} \lambda , dE(\lambda) $, where the integral is understood in the weak operator topology. The spectrum $ \sigma(U) \subseteq \mathbb{T} $, and the operator is diagonalized in a direct integral representation over $ L^2(\mathbb{T}, \mu) $ for some measure $ \mu $.[20][19] The functional calculus for unitary operators extends this decomposition to Borel functions on the unit circle. For a bounded Borel measurable function $ f: \mathbb{T} \to \mathbb{C} $, the operator $ f(U) $ is defined by $ f(U) = \int_{\mathbb{T}} f(\lambda) , dE(\lambda) $, which is a bounded normal operator with $ |f(U)| = |f|_\infty $. If $ |f(\lambda)| = 1 $ for all $ \lambda \in \mathbb{T} $, then $ f(U) $ is unitary, as its spectrum lies on the unit circle and it preserves the Hilbert space norm. This calculus arises from the continuous functional calculus for normal operators, extended via the Riesz representation theorem to Borel functions.[19][20] In infinite-dimensional Hilbert spaces, the spectrum of a unitary operator decomposes into three mutually singular parts with respect to the spectral measure: the pure point spectrum (corresponding to eigenvalues and eigenspaces), the absolutely continuous spectrum (where the spectral measure is absolutely continuous with respect to Lebesgue measure on $ \mathbb{T} $), and the singular continuous spectrum (where the measure is singular but has no atoms). This decomposition, analogous to that for self-adjoint operators, classifies the dynamical behavior: the pure point part yields periodic orbits, the absolutely continuous part ergodic mixing, and the singular continuous part anomalous diffusion, often arising in quantum systems with quasiperiodic potentials.[21]

Unitary Groups and Representations

Unitary Groups

The unitary group of a complex Hilbert space HH, denoted U(H)U(H), consists of all bounded linear operators UU on HH that are unitary, meaning they satisfy U∗U=UU∗=IU^* U = U U^* = I, where II is the identity operator and U∗U^* is the adjoint of UU. This set forms a group under the operation of composition of operators, with the identity operator serving as the group identity and the inverse of each U∈U(H)U \in U(H) given by U∗U^*, since unitarity implies invertibility.[22] In the finite-dimensional case, where H=CnH = \mathbb{C}^n, the unitary group U(n)U(n) is the set of all n×nn \times n complex matrices MM such that M∗M=IM^* M = I, where M∗M^* denotes the conjugate transpose. This group is a compact Lie group, endowed with the subspace topology inherited from the space of all complex n×nn \times n matrices, making it a closed subgroup of the general linear group GL(n,C)GL(n, \mathbb{C}). The compactness arises from the fact that U(n)U(n) is bounded in the operator norm and closed, ensuring it is a compact topological space.[22][23] A important subgroup of U(n)U(n) is the special unitary group SU(n)SU(n), defined as {U∈U(n)∣det⁡U=1}\{ U \in U(n) \mid \det U = 1 \}. This subgroup is also a compact Lie group and plays a central role in the classification of compact Lie groups and their representations.[24] For infinite-dimensional separable Hilbert spaces HH, such as ℓ2(N)\ell^2(\mathbb{N}), the unitary group U(H)U(H) is equipped with the strong operator topology, in which convergence of a net of operators {Uα}\{U_\alpha\} to UU means Uαξ→UξU_\alpha \xi \to U \xi for every ξ∈H\xi \in H. In this topology, U(H)U(H) forms a Polish group, meaning it is a separable completely metrizable topological group. This topology ensures continuity of the group operations, distinguishing U(H)U(H) from its non-compact behavior in the infinite-dimensional setting.[25][26]

Irreducible Representations

In the context of unitary groups, irreducible representations refer to the irreducible unitary representations of compact Lie groups such as $ U(n) $, where the group acts by unitary operators on finite-dimensional complex Hilbert spaces. Since $ U(n) $ is compact, all its irreducible unitary representations are finite-dimensional and completely reducible.[27] These representations play a central role in harmonic analysis and quantum mechanics, decomposing the regular representation via the Peter–Weyl theorem, which states that the space of continuous functions on $ U(n) $ decomposes as a direct sum $ \bigoplus_{W \in \mathrm{Irr}, U(n)} W^* \otimes W $, where $ \mathrm{Irr}, U(n) $ denotes the set of equivalence classes of irreducible representations and each summand appears with multiplicity equal to its dimension.[27] The classification of these irreducible representations relies on highest weight theory for the Lie algebra $ \mathfrak{u}(n) $. Each irreducible representation is uniquely determined by a dominant integral weight $ \lambda = (m_1, m_2, \dots, m_n) \in \mathbb{Z}^n $ satisfying $ m_1 \geq m_2 \geq \dots \geq m_n $. For each such $ \lambda $, there exists a unique irreducible representation $ V_\lambda $ of highest weight $ \lambda $, realized on a subspace of the tensor algebra generated by the standard $ n $-dimensional representation of $ U(n) $.[27] The highest weight vector is fixed by the unipotent radical of the Borel subgroup and transforms under the maximal torus according to the character $ e^{i \langle \lambda, \theta \rangle} $, where $ \theta $ parameterizes the torus. This construction ensures the representation is irreducible, as any proper invariant subspace would contradict the uniqueness of the highest weight vector.[27] Key properties include the Schur orthogonality relations, where matrix elements of distinct irreducibles are orthogonal with respect to the Haar measure on $ U(n) $, facilitating decompositions of tensor products via Clebsch–Gordan coefficients. For example, the exterior power $ \bigwedge^k \mathbb{C}^n $ is the irreducible representation with highest weight $ (1, 1, \dots, 1, 0, \dots, 0) $ (k ones), illustrating how polynomial representations arise from symmetrizers and antisymmetrizers in tensor methods.[28] The dimension of $ V_\lambda $ is given by the Weyl dimension formula:
dim⁡Vλ=∏1≤i<j≤nmi−mj+j−ij−i, \dim V_\lambda = \prod_{1 \leq i < j \leq n} \frac{m_i - m_j + j - i}{j - i},
which quantifies the "size" of the representation and underscores its combinatorial nature tied to Young tableaux.[27] For the special unitary group $ SU(n) $, a normal subgroup of $ U(n) $, the irreducible representations correspond to dominant weights with $ \sum m_i = 0 $, obtained by restricting $ U(n) $-representations and projecting out the trivial $ U(1) $-action. In infinite-dimensional settings, such as representations of the unitary group $ U(\mathcal{H}) $ on a separable Hilbert space $ \mathcal{H} $, the theory extends but loses compactness; finite-dimensional irreducibles embed, yet infinite-dimensional irreducible unitary representations exist and their full classification remains an active area, often involving admissible representations and Harish-Chandra modules for reductive groups.[29]
User Avatar
No comments yet.