Definition
Weak operator topology
The topology of pointwise convergence of all matrix coefficients on an algebra of Hilbert-space operators.
Definition
Let be a Hilbert space. The weak operator topology on the bounded-operator -algebra is the weakest topology making every matrix coefficient
continuous, for . Equivalently, a net converges to in this topology exactly when for every pair . Thus weak operator convergence tests operators on fixed vectors and then tests the resulting vectors weakly. It is weaker than operator-norm and strong-operator convergence.
Locally convex description
The weak operator topology is generated by the seminorms
Consequently, a basic neighborhood of imposes finitely many bounds . The same definition applies to , with and . Nets, rather than sequences, are required to describe this topology in full generality.
Comparison with other weak topologies
The weak operator topology is generally strictly weaker than the Banach-space weak topology . The ultraweak topology instead uses all functionals in the trace-class predual of . It is finer than the weak operator topology, but the two induce the same topology on every norm-bounded subset. In particular, every weak-operator convergent net is norm bounded and also converges ultraweakly.
Algebraic continuity
The adjoint operation is weak-operator continuous, and left or right multiplication by a fixed operator is weak-operator continuous. Joint multiplication is not weak-operator continuous, even on the unit ball. By contrast, on uniformly norm-bounded nets, strong convergence of both factors implies strong convergence of their products; this is a property of the strong operator topology. Von Neumann algebras are precisely the unital self-adjoint subalgebras of that are weak-operator closed.
References
- Richard V. Kadison and John R. Ringrose, Fundamentals of the Theory of Operator Algebras, Volume I, American Mathematical Society, 1997. Publisher record. Relevant: §5.1 on weak and strong operator topologies.
- Masamichi Takesaki, Theory of Operator Algebras I, Springer, 2002. Publisher record. Relevant: Chapter I, §3 on operator topologies.