User:Caliburn/s/fa/Space of Compact Linear Transformations is Linear Subspace of Space of Bounded Linear Transformations

Theorem
Let $\mathbb F$ be a subfield of $\C$.

Let $\struct {X, \norm \cdot_X}$ and $\struct {Y, \norm \cdot_Y}$ be normed vector spaces over $\mathbb F$.

Let $\map {B_0} {X, Y}$ be the space of compact linear transformations $X \to Y$.

Let $\map B {X,Y}$ be the space of bounded linear transformations $X \to Y$.

Then:


 * $\map {B_0} {X, Y}$ is a linear subspace of $\map B {X, Y}$.

Proof
From Compact Linear Transformation is Bounded, we have:


 * $\map {B_0} {X, Y} \subseteq \map B {X, Y}$

From Zero Transformation is Compact, we have:


 * $\map {B_0} {X, Y} \ne \O$

So, by One-Step Vector Subspace Test, we aim to show that:


 * for each $A_1, A_2 \in \map {B_0} {X, Y}$ and $\alpha \in \mathbb F$ we have $A_1 + \alpha A_2 \in \map {B_0} {X, Y}$.

Let $A_1, A_2 \in \map {B_0} {X, Y}$.

Let $\alpha \in \mathbb F$.

We want to show that:


 * each bounded sequence $\sequence {x_n}$ in $X$ has a subsequence $\sequence {x_{n_k} }$ such that $\sequence {\paren {A_1 + \alpha A_2} x_{n_k} }$ converges.

Let $\sequence {x_n}$ be a bounded sequence in $X$.

Since $A_1$ is compact:


 * there exists a subsequence $\sequence {x_{m_j} }$ such that $\sequence {A_1 x_{m_j} }$ converges.

Clearly:


 * $\sequence {x_{m_j} }$ is bounded.

So, since $A_2$ is compact:


 * there exists a subsequence $\sequence {x_{n_k} }$ of $\sequence {x_{m_j} }$ such that $\sequence {A_2 x_{n_k} }$ converges.

From Limit of Subsequence equals Limit of Sequence: Normed Vector Space, we have:


 * $\sequence {A_1 x_{n_k} }$ converges.

So, from Combined Sum Rule: Normed Vector Space, we have:


 * $\sequence {\paren {A_1 + \alpha A_2} x_{n_k} }$ converges

with $\sequence {x_{n_k} }$ a subsequence of $\sequence {x_n}$ as required.

So:


 * $A_1 + \alpha A_2 \in \map {B_0} {X, Y}$