Gantmacher theorem
= Gantmacher theorem
{c}
{wiki=Weakly_compact_operator#Characterization}
For Banach spaces $X,Y$ and bounded $T:X\to Y$, the following are equivalent: $T$ is weakly compact; $T^{**}(X^{**})\subseteq J_Y(Y)$; and $T^*$ is weakly compact.