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$

This article, or a section of it, needs explaining. In particular: It is unclear what role the topology has in this definition. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

Sources

• 2017: Amol Sasane: A Friendly Approach to Functional Analysis ... (previous) ... (next): Chapter $\S 2.3$: The normed space $\map {CL} {X, Y}$. Strong and weak operator topologies on $\map {CL} {X, Y}$