Sequentially Compact Metric Subspace is Sequentially Compact in Itself iff Closed

From ProofWiki
Jump to navigation Jump to search


Let $M$ be a metric space.

Let $C \subseteq M$ be a subspace of $M$ which is sequentially compact in $M$.

Then $C$ is sequentially compact in itself if and only if $C$ is closed in $M$.


Follows directly from Closure of Subset of Metric Space by Convergent Sequence.