Definition:Convergent Sequence in Weak Operator Topology

Definition
Let $\struct {X, \norm {\, \cdot \,}_X}$ and $\struct {Y, \norm {\, \cdot \,}_Y}$ be normed vector spaces.

Let $\mathbb K = \set {\R, \C}$.

Let $\map {CL} {X, Y}$ be a continuous linear transformation space.

Let $\tau$ be the weak operator topology on $\map {CL} {X, Y}$.

Suppose $\sequence {T_n}_{n \mathop \in \N}$ is a sequence in $\map {CL} {X, Y}$.

Suppose $T \in \map {CL} {X, Y}$.

Then $\sequence {T_n}_{n \mathop \in \N}$ is said to converge to $T$ in $\tau$ if:


 * $\ds \forall x \in X : \forall \phi \in \map {CL} {Y, \mathbb K} : \lim_{n \mathop \to \infty} \size {\phi \paren {T_n x - T x} } = 0$