Definition

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

TTξ,η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(TT0)<ε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.