Is it true that if T: X\to Y is a compact linear operator, X and Y are normed spaces, and N is a subspace, then T|_N (the restriction of T to N) is compact? It seems like it would work, since if B is a bounded subset of N, it's also a bounded subset of X and hence its image is precompact in Y...