Monotone and bounded sequence of self adjoint operators converges pointwise

functional-analysisoperator-theoryreal-analysis

It is easy to prove that a monotone and bounded sequence of self-adjoint operators $\{T_n\}_{n\in\mathbb{N}}$ in a Hilbert space $H$ converges pointwise to a self-adjoint operator $T$ and that $\lVert T \rVert \leq \sup\{\lVert T_n \rVert:\; n\in \mathbb{N}\}$.

The idea of the proof is to show that the sequence $\{T_nx\}_{n\in\mathbb{N}}$ is Cauchy and, therefore, convergent. Then we define $Tx=\lim_n T_nx$ (which is linear and self-adjoint). The latter also shows that $\lVert T \rVert \leq \sup\{\lVert T_n \rVert:\; n\in \mathbb{N}\}$. My reference book however, states that $\lVert T \rVert = \sup\{\lVert T_n \rVert:\; n\in \mathbb{N}\}$. While it's true that
$$\langle Tx, x\rangle = \sup_{n\in \mathbb{N}}\langle T_nx, x\rangle$$
which in extent proves that $T\geq T_n$ for all $n\in \mathbb{N}$, I don't see how this would imply $\lVert T \rVert \geq \lVert T_n \rVert$ for all $n \in \mathbb{N}$ which is what we need for the claim to hold.

Any help is appreciated!

Best Answer

Counterexample: $T_n=-\frac1n{\rm Id}_H.$

Related Question