Theorem
A continuous image of a sequentially compact set is sequentially compact.
Proof
Let
be a continuous function and let
be a sequentially compact subset of![]()
Let
be a sequence in
then there exists a sequence
in
such that![]()

Since A is sequentially compact
contains a subsequence
which converges to a point![]()
Then
converges to
hence
is sequentially compact.