Past exam of the options II course of the University of Oxford / 2013 / E3

If $A$ is closed and $a_n\in A$ converges to $x\in X$, then $x$ cannot lie in the open complement: an open ball about such an $x$ would eventually contain all $a_n$ while missing $A$. Thus $x\in A$.

Conversely, suppose $A$ contains every limit of a sequence in $A$. If $x\in \overline{A}$, every ball $B(x,1/n)$ meets $A$; choose $a_n$ in that intersection. Then $a_n\to x$, so $x\in A$. Hence $\overline{A}=A$, proving that a subset of a metric space is a closed set exactly when it is sequentially closed.

A metric space is complete when every Cauchy sequence in it converges to a point of that space. A sequence is Cauchy when, for each $ϵ>0$, there is $N$ such that $d(x_m,x_n)<ϵ$ whenever $m,n\ge N$. The requirement that the limit lie in the space distinguishes completeness from having limits only in a larger ambient space.

If $A$ is closed in the complete ambient metric space, any Cauchy sequence in $A$ converges in $X$ by completeness, and its limit belongs to $A$ by part (i). Thus $A$ is complete with its restricted metric.

Conversely, suppose $A$ is complete and a sequence $a_n\in A$ converges in $X$ to $x$. A convergent sequence is Cauchy, also in the restricted metric, so completeness of $A$ gives $a_n\to a$ for some $a\in A$. Uniqueness of a metric limit gives $x=a\in A$. Part (i) now makes $A$ closed. Hence

Let $a^{(m)}=(1,1/2,\dots ,1/m,0,0,\dots )$. Each has finite support, and in the supremum norm metric it converges to $a=(1,1/2,1/3,\dots )$, because $d(a^{(m)},a)=1/(m+1)$.

The limit is bounded but does not have finite support. Thus the finite-support subspace is not closed in $X$, and by part (a)(iii) it is not complete. Equivalently, the displayed sequence is Cauchy in that subspace but has no limit there.

Show that the subspace $C$ of convergent real sequences is closed in $X$. Suppose $a^{(m)}\in C$ converges uniformly in the coordinate index to $a\in X$. Given $ϵ>0$, choose $m$ so ${\sup }_j|a_j-a_j^{(m)}|<ϵ/3$. Since the fixed sequence $a^{(m)}$ converges, it is Cauchy, so for sufficiently large $j,k$ its coordinate difference is below $ϵ/3$. ThenThus $a$ is a Cauchy sequence of real numbers and converges by completeness of $\mathbb{R}$. Hence $a\in C$, so $C$ is closed. Part (a)(iii) proves the convergent-sequence subspace is complete.