Let GG be a and HH a complex . A

π:G⟶U(H)\pi:G\longrightarrow U(H)

is a weakly continuous unitary representation if every

g⟼⟨π(g)ξ,η⟩g\longmapsto\langle\pi(g)\xi,\eta\rangle

is continuous for all ξ,η∈H\xi,\eta\in H. Equivalently, π\pi is continuous when U(H)U(H) carries the . By the , this is equivalent to ; no local compactness or separability assumption is needed. Its coefficient functions are therefore continuous complex-valued functions on GG.

Why weak continuity implies strong continuity

Fix g0∈Gg_0\in G and ξ∈H\xi\in H. Unitarity gives

∥π(g)ξ−π(g0)ξ∥2=2∥ξ∥2−2Re⁡⟨π(g)ξ,π(g0)ξ⟩.\|\pi(g)\xi-\pi(g_0)\xi\|^2 =2\|\xi\|^2-2\operatorname{Re}\langle\pi(g)\xi,\pi(g_0)\xi\rangle.

Weak continuity makes the right-hand side tend to zero as g→g0g\to g_0. Hence every g↦π(g)ξg\mapsto\pi(g)\xi is norm-continuous. Strong continuity plainly implies weak continuity by continuity of the .

Scope of the equivalence

The equivalence relies on the fixed norm of . 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 B(H)B(H) 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 g↦⟨π(g)ξ,ξ⟩g\mapsto\langle\pi(g)\xi,\xi\rangle, and polarization recovers all matrix coefficients from diagonal ones. Thus continuity of all diagonal coefficients is another equivalent test.

References
  1. 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.