Closure of Range of Compact Linear Transformation is Separable
From ProofWiki
Theorem
Let $H, K$ be Hilbert spaces.
Let $T \in B_0 \left({H, K}\right)$ be a compact linear transformation.
Then $\operatorname{cl} \left({\operatorname{ran} T}\right)$ is separable.
Proof
The proofwiki editor Lord_Farin has begun this article and plans to complete it some time in the future.
It can be found in Lord_Farin's Stubs.
If you want to contribute to this page yourself, then please leave a note on Lord_Farin's talk page informing him of your intentions.
If he does not get back to you within two days, feel free to complete the article yourself.
If you plan to replace a large amount of existing material, then please comment out this material by enclosing it in comment delimiters <!-- --> instead of just deleting it.
Sources
- John B. Conway: A Course in Functional Analysis (1990)... (previous)... (next) $II.4.5$
