Definition
Weakly continuous unitary representation
A unitary representation whose matrix coefficients are continuous functions of the group element.
Let be a topological group and a complex Hilbert space. A group homomorphism
is a weakly continuous unitary representation if every matrix coefficient
is continuous for all . Equivalently, is continuous when carries the weak operator topology. By the weak–strong continuity equivalence, this is equivalent to strong continuity; no local compactness or separability assumption is needed. Its coefficient functions are therefore continuous complex-valued functions on .
Why weak continuity implies strong continuity
Fix and . Unitarity gives
Weak continuity makes the right-hand side tend to zero as . Hence every orbit map is norm-continuous. Strong continuity plainly implies weak continuity by continuity of the inner product.
Scope of the equivalence
The equivalence relies on the fixed norm of unitary operators. For general bounded-operator-valued representations, weak-operator continuity need not imply strong-operator continuity without additional assumptions. “Weakly continuous” here refers to weak operator topology, not to the Banach-space weak topology on or the ultraweak topology.
Matrix coefficients
Weak continuity is often convenient because it can be checked through scalar-valued functions. Positive-definite functions arise as diagonal coefficients , and polarization recovers all matrix coefficients from diagonal ones. Thus continuity of all diagonal coefficients is another equivalent test.
References
- Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd ed., CRC Press, 2016. DOI record. Relevant: §3.1 on unitary representations and continuity of matrix coefficients.