Given a [Banach space](/page/Banach%20Space) $X$ and a bounded linear operator $T \in \mathcal{L}(X, X)$, the question "does a sequence of operators $T_k$ converge to $T$?" admits no single answer. The operator norm topology — the most natural candidate — demands that $T_k$ approximate $T$ uniformly across the entire unit ball. But in infinite-dimensional spaces, this requirement is so stringent that many natural sequences of operators fail to converge in it, even when they converge in every other reasonable sense.

Consider the simplest possible example: truncation of a sequence. On $\ell^2(\mathbb{N})$, define the projection $P_n$ that keeps the first $n$ coordinates and sends the rest to zero:

[example: Truncation Projections] Let $X = \ell^2(\mathbb{N})$ and define $P_n \in \mathcal{L}(X, X)$ by \begin{align*} P_n : \ell^2(\mathbb{N}) &\to \ell^2(\mathbb{N}) \\ (x_1, x_2, x_3, \ldots) &\mapsto (x_1, \ldots, x_n, 0, 0, \ldots). \end{align*} For each fixed $x \in \ell^2(\mathbb{N})$, we have $\|P_n x - x\|_{\ell^2}^2 = \sum_{k=n+1}^{\infty} |x_k|^2 \to 0$ as $n \to \infty$, since $x \in \ell^2$ means the tail of the series vanishes. So $P_n x \to x$ for every $x$. Yet \begin{align*} \|P_n - I\|_{\mathcal{L}(X,X)} &= \sup_{\|x\|_{\ell^2} \le 1} \|P_n x - x\|_{\ell^2} = 1 \end{align*} for every $n$, because the vector $e_{n+1} = (0, \ldots, 0, 1, 0, \ldots)$ (with the $1$ in position $n+1$) satisfies $\|e_{n+1}\| = 1$ and $\|P_n e_{n+1} - e_{n+1}\| = 1$. The projections $P_n$ converge to the identity pointwise but not in the operator norm. [/example]

This example reveals a fundamental tension: pointwise convergence of operators — where $T_k x \to Tx$ for each fixed $x$ — is a substantially weaker condition than uniform convergence over the unit ball. The gap between these two notions is not a technicality; it is the central phenomenon of the subject. Entire theories — $C_0$-semigroups, von Neumann algebras, spectral theory on infinite-dimensional spaces — depend on distinguishing these modes of convergence and understanding when each is appropriate.

The purpose of this page is to develop the three principal topologies on the space $\mathcal{L}(X, Y)$ of bounded linear operators between Banach spaces: the **norm (uniform) topology**, the **strong operator topology (SOT)**, and the **weak operator topology (WOT)**. We will establish their definitions, the strict hierarchy among them, and the surprising phenomena that arise from the differences — particularly regarding compactness, completeness, and the algebraic structure of convergent nets.

## Definition

The three operator topologies are defined on the space $\mathcal{L}(X, Y)$ of [bounded linear operators](/page/Bounded%20Linear%20Operator) from a Banach space $X$ to a Banach space $Y$. Each topology captures a different notion of what it means for operators to be "close."

[definition: Operator Topologies] Let $X$ and $Y$ be Banach spaces, and let $\mathcal{L}(X, Y)$ denote the space of bounded linear operators from $X$ to $Y$. **Norm (Uniform) Topology.** The topology induced by the operator norm \begin{align*} \|T\|_{\mathcal{L}(X,Y)} := \sup_{\|x\|_X \le 1} \|Tx\|_Y. \end{align*} A net $(T_\alpha)$ converges to $T$ in the norm topology if and only if $\|T_\alpha - T\|_{\mathcal{L}(X,Y)} \to 0$. **Strong Operator Topology (SOT).** The coarsest topology on $\mathcal{L}(X, Y)$ making the evaluation maps \begin{align*} \mathrm{ev}_x : \mathcal{L}(X, Y) &\to Y \\ T &\mapsto Tx \end{align*} continuous for every $x \in X$. A net $(T_\alpha)$ converges to $T$ in the SOT if and only if $\|T_\alpha x - Tx\|_Y \to 0$ for every $x \in X$. **Weak Operator Topology (WOT).** The coarsest topology on $\mathcal{L}(X, Y)$ making the maps \begin{align*} \mathcal{L}(X, Y) &\to \mathbb{R} \quad (\text{or } \mathbb{C}) \\ T &\mapsto f(Tx) \end{align*} continuous for every $x \in X$ and every $f \in Y^*$. A net $(T_\alpha)$ converges to $T$ in the WOT if and only if $f(T_\alpha x) \to f(Tx)$ for every $x \in X$ and every $f \in Y^*$. [/definition]

Several aspects of this definition deserve comment. First, all three topologies agree when $\dim X < \infty$, because a linear map on a finite-dimensional space is automatically continuous and the unit ball is compact. The distinctions become meaningful only in infinite dimensions.

Second, the SOT is precisely the topology of pointwise convergence on $\mathcal{L}(X, Y)$ when $Y$ carries its norm topology: $T_\alpha \to T$ in SOT means $T_\alpha x \to Tx$ in norm for each $x$. The WOT is the topology of pointwise convergence when $Y$ carries its [weak topology](/page/Weak%20Topology): $T_\alpha \to T$ in WOT means $T_\alpha x \rightharpoonup Tx$ weakly in $Y$ for each $x$.

Third, the norm topology makes $\mathcal{L}(X, Y)$ a Banach space (when $Y$ is a Banach space), but the SOT and WOT do not — they are not even metrizable in general when $X$ is infinite-dimensional, since the local bases at the origin are not countable. However, on *norm-bounded* subsets, the SOT is metrizable whenever $X$ is separable: fix a countable dense set $\{x_k\}_{k \in \mathbb{N}} \subset X$ and define

\begin{align*} d_{\mathrm{SOT}}(S, T) := \sum_{k=1}^{\infty} \frac{1}{2^k} \min\bigl(1, \|Sx_k - Tx_k\|_Y\bigr). \end{align*}

An analogous construction works for the WOT when both $X$ and $Y^*$ are separable.

[remark: Nets versus Sequences] The SOT and WOT are not first-countable on all of $\mathcal{L}(X, Y)$ when $X$ is infinite-dimensional, so sequences do not suffice to describe these topologies. One must work with nets (or equivalently, filters). However, on norm-bounded subsets of $\mathcal{L}(X, Y)$ with $X$ separable, the SOT is metrizable and sequences do suffice. Much of the applied literature works within this setting, and we will state results for sequences when the metrizability permits it. [/remark]

## The Hierarchy of Operator Topologies

The relationship between the three topologies is straightforward in one direction: every norm-convergent net is SOT-convergent, and every SOT-convergent net is WOT-convergent. The content of the theory lies in establishing that neither implication reverses.

[quotetheorem:1237]

The first inclusion holds because norm convergence $\|T_\alpha - T\| \to 0$ implies $\|T_\alpha x - Tx\| \le \|T_\alpha - T\| \cdot \|x\| \to 0$ for each $x$. The second follows because strong convergence $T_\alpha x \to Tx$ in $Y$ implies $f(T_\alpha x) \to f(Tx)$ for each continuous functional $f \in Y^*$.

The real question is whether these inclusions are strict. They are, and we have already seen one direction: the truncation projections $P_n$ on $\ell^2(\mathbb{N})$ converge to $I$ in the SOT but not in the norm topology. The gap between the SOT and WOT requires a different construction.

[example: SOT versus WOT on Hilbert Space] Let $H = \ell^2(\mathbb{N})$ and let $(e_k)_{k \in \mathbb{N}}$ be the standard orthonormal basis. Define the **right shift operator** $S \in \mathcal{L}(H, H)$ by \begin{align*} S : \ell^2(\mathbb{N}) &\to \ell^2(\mathbb{N}) \\ (x_1, x_2, x_3, \ldots) &\mapsto (0, x_1, x_2, x_3, \ldots). \end{align*} The iterates $S^n$ satisfy $S^n e_k = e_{k+n}$ for every $k \in \mathbb{N}$. We claim that $S^n \to 0$ in the WOT but $S^n \not\to 0$ in the SOT. **WOT convergence.** For any $x, y \in H$, Parseval's identity gives \begin{align*} (S^n x, y)_H = \sum_{k=1}^{\infty} x_k \overline{y_{k+n}}. \end{align*} By the Cauchy--Schwarz inequality, $|(S^n x, y)_H| \le \|x\|_H \cdot \bigl(\sum_{k=n+1}^{\infty} |y_k|^2\bigr)^{1/2} \to 0$ as $n \to \infty$, since $y \in \ell^2$. Since every $f \in H^*$ has the form $f(\cdot) = (\cdot, y)_H$ for some $y \in H$ (by the Riesz representation theorem), we conclude $f(S^n x) \to 0$ for all $x \in H$ and $f \in H^*$. Thus $S^n \to 0$ in the WOT. **SOT non-convergence.** However, $\|S^n x\|_H = \|x\|_H$ for every $x \in H$ and every $n$, since $S$ is an isometry. In particular, $\|S^n e_1\|_H = \|e_{n+1}\|_H = 1 \ne 0$, so $S^n e_1 \not\to 0$ in $H$. Therefore $S^n \not\to 0$ in the SOT. [/example]