Let HH be a . The weak operator topology on the B(H)B(H) is the weakest topology making every matrix coefficient

T⟼⟨Tξ,η⟩T\longmapsto \langle T\xi,\eta\rangle

continuous, for ξ,η∈H\xi,\eta\in H. Equivalently, a net (Ti)(T_i) converges to TT in this topology exactly when ⟨Tiξ,η⟩→⟨Tξ,η⟩\langle T_i\xi,\eta\rangle\to\langle T\xi,\eta\rangle for every pair ξ,η∈H\xi,\eta\in H. 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

pξ,η(T)=∣⟨Tξ,η⟩∣.p_{\xi,\eta}(T)=|\langle T\xi,\eta\rangle|.

Consequently, a basic neighborhood of T0T_0 imposes finitely many bounds pξj,ηj(T−T0)<εp_{\xi_j,\eta_j}(T-T_0)<\varepsilon. The same definition applies to B(H,K)B(H,K), with ξ∈H\xi\in H and η∈K\eta\in K. 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 σ(B(H),B(H)∗)\sigma(B(H),B(H)^*). The ultraweak topology instead uses all functionals in the trace-class predual of B(H)B(H). 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 . are precisely the unital self-adjoint subalgebras of B(H)B(H) that are weak-operator closed.

References
  1. 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.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 2002. Publisher record. Relevant: Chapter I, §3 on operator topologies.