Definition:Convergent Sequence in Strong Operator Topology

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

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

Let $\tau$ be the strong 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 : \lim_{n \mathop \to \infty} \norm {T_n x - T x}_Y = 0$