Deje $X,Y$ ser espacios de Banach. $T\colon X\to Y$ ser un delimitada operador lineal.
Cómo puedo probar que $T$ es compacto si y sólo si no es $\lbrace x_n^*\rbrace\subset X^*$ tal que $\|x_n^*\|\to 0$ $\|T(x)\|\leq \operatorname{sup}_n|x_n^*(x)|$ por cada $x\in X$?