$K(X,Y)$ a closed subset of $B(X,Y)$ for normed spaces $X,Y$ Note this is a homework problem so I am looking for a hint not a solution:
For normed linear spaces $X$ and $Y$, I'm trying to show that $K(X,Y)$, the set of compact operators $X\to Y$ is a closed subset of $B(X,Y)$ the set of bounded operators $X\to Y$.
At first I thought it might be similar to showing that $c_{0}$ is a closed subspace of $c$.  But the standard argument for that (if I am not mistaken) relies on the fact that the scalar field is complete.
Note:  It turns out that $Y$ must be complete in order for the result to be true.
I start by assuming $f_{n}\in K(X,Y)$ is compact, and that $f_{n}\to f$ for some $f\in B(X,Y)$.
I want to show $f\in K(X,Y)$ using the criterion that for every sequence $x_{n}\in B_{X}$, $f(x_{n})$ has a convergent subsequence.
For each $m \geq 1$, by the compactness of $f_{m}$, there is a subsequence $x_{n_{k}}$ such that $f_{m}(x_{n_{k}})$ is convergent to some value in $Y$, say $y_{m}$.
If the same subsequence served as an appropriate witness for each $m\geq 1$, I think I may be able to get somewhere by changing orders of limits using an upper bound for the sequence $(f_{n})$.  But I doubt this is the case, and thus I am stuck.
 A: A sequential argument that works when $Y$ is a Banach space is given below:
Hint: We take take subsequences of subsequences and diagonalize.

Below are the details:
Let $X_1=(x_n)$ be a sequence in $B_X$.   Choose a subsequence $X_2=(x_n^1)_n$ of $X_1$ such that $f_1(x_n^1)$ is convergent. Now choose a subsequence $X_3=(x_n^2)_n$ of $X_2$ such that $f_2(x_n^2)$ converges.  Continue in this manner...
We thus have subsequences
$$
(x_n^1)\supset (x_n^2)\supset (x_n^3)\supset\cdots
$$so that $(f_m x_n^m)_n$ is convergent for each $m$.
Now set $y_n=x_n^n$. Then  $(f_m y_n)_n$ is a convergent sequence for each $m$.
We also have
$$\eqalign{\Vert
f(y_n)-f(y_l)\Vert &\le\Vert (f-f_m)(y_n)\Vert
+\Vert f_m(y_n-y_l)\Vert+\Vert (f_m-f)(y_l)\Vert \cr
&\le 2\Vert f-f_m\Vert +\Vert f_m(y_n-y_l)\Vert
}
$$
It follows from the above  that $(f(y_n))_n$ is a Cauchy sequence and, thus, convergent.

I'm not sure how to make the above argument go through when $Y$ is only assumed to be a normed space; however, you can show that $f(B_X)$ is totally bounded as in my comment above.
A: The following is incorrect:
Let $x_{n}$ be a sequence in $B_{X}$.  Choose $N\geq 1$ so that $\|f_{N} - f\| < \epsilon$.
Choose a subsequence $x_{n_{k}}$ such that $f_{N}(x_{n_{k}})\to y$ for some $y\in Y$, and then $K\geq 1$ such that $\|f_{N}(x_{n_{K}}) - y\| < \epsilon$.
Then $\|f(x_{n_{K}}) - y\| \leq \|f(x_{n_{K}}) - f_{N}(x_{n_{K}})\| + \|f_{N}(x_{n_{K}}) - y\| < 2\epsilon$.
This allows arbitrarily close approximation of $y$ by elements of the sequence $f(x_{n})$, which gives the subsequence which is needed.
