Finite Rank Operator is Compact

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $H, K$ be Hilbert spaces.

Let $T \in \map {B_{00} } {H, K}$ be a bounded finite rank operator.


Then $T \in \map {B_0} {H, K}$, that is, $T$ is compact.


Proof

Since $T$ is bounded, it maps bounded sets to bounded sets. Because its range is finite dimensional, the closure of an image of a bounded set is compact. Therefore, $T$ is a compact linear operator.


Sources