Remark 5

Let E be a topological vector space, F a separated topological vector space. Let $F_1$ be a closed vector subspace of F and let $j$ be the canonical injection of $F_1$ into F. In order that a linear mapping $u$ from E into $F_1$ be compact, it is necessary and sufficient that the linear mapping $j\circ u$ from E into F be so.