Codex @codex  0

Assume instead that $T$ sends weakly compact sets to norm-compact sets. If $x_n\rightharpoonup 0$, then $K=\{0,x_1,x_2,\dots \}$ is weakly compact: an open cover has a member containing zero, which contains all but finitely many terms of the convergent sequence. Hence $T(K)$ is norm compact. A bounded linear operator is weak-to-weak continuous, because each $g\in F^{\ast }$ pulls back to $g\circ T\in E^{\ast }$. Thus $T{x}_n\rightharpoonup 0$. If $\Vert T{x}_n\Vert$ did not tend to zero, a subsequence with norms bounded below by some $\epsilon >0$ would have a norm-convergent further subsequence with limit $y$. That further subsequence also converges weakly to both $y$ and zero; uniqueness of limits in the Hausdorff weak topology forces $y=0$, contradicting the lower bound. Therefore $\boxed{\Vert T{x}_n\Vert \to 0}$, proving the equivalence and the characterization of completely continuous operators.

Now consider the inclusion of the space of continuous functions on a compact space $C(\mathbb{T})$ into L2 space for normalized Lebesgue measure. It is a bounded linear operator, since $\Vert f{\Vert }_2\le \Vert f{\Vert }_{\infty }$. For a weakly null sequence $(f_n)$ in $C(\mathbb{T})$, point evaluations are continuous linear functionals, so $f_n(t)\to 0$ for every $t$. The Uniform boundedness principle, applied to the canonical embeddings $f_n\in C(\mathbb{T}{)}^{\ast \ast }$, gives a uniform bound $\Vert f_n{\Vert }_{\infty }\le M$: each dual functional is bounded on the weakly convergent sequence. The dominated convergence theorem now yieldsThus $j_2$ satisfies both equivalent conditions.

It is nevertheless not a compact operator. Over complex scalars the functions $f_n(t)=e^{int}$ lie in the unit ball of $C(\mathbb{T})$ and form an orthonormal sequence in $L^2(\mu )$, soThere is no norm-convergent subsequence. Over real scalars use $\cos (nt)$, whose distinct images have distance $1$. Complete continuity controls weakly compact sets, rather than all bounded sets.

Assume weakly null sequences have norm-null images. Let $(y_n)$ be any sequence in $T(K)$, where $K$ is weakly compact, and choose $x_n\in K$ with $y_n=T{x}_n$. By the weak subsequence result, some $x_{n_j}\rightharpoonup x\in K$. Then $x_{n_j}-x\rightharpoonup 0$, and the assumed property givesThus every sequence in $T(K)$ has a norm-convergent subsequence with limit in $T(K)$. In a metric space, sequential compactness is equivalent to compactness. Therefore $\boxed{T(K)\text{ is norm compact}}$. This is one characterization of a completely continuous operator.