Weakly compact operator (source code)

= Weakly compact operator
{wiki=Weakly_compact_operator}

A linear operator $T:X\to Y$ is weakly compact when $T(B_X)$ is <relatively weakly compact set>[relatively weakly compact] in $Y$.