Theorem
A continuous image of a sequentially compact set is sequentially compact.
Proof
Letbe a continuous function and let
be a sequentially compact subset of
Letbe a sequence in
then there exists a sequence
in
such that
Since A is sequentially compactcontains a subsequence
which converges to a point
Thenconverges to
hence
is sequentially compact.