Let
-
denote a
mapping
between the
metric spaces
and
. Then the following statements are equivalent.
is
continuous
in every point
.
- For every point
and every
,
there exists a
such that
implies that
holds.
- For every point
and every
convergent sequence
in
with
,
also the image sequence
converges to the limit
.
- For every
open set
,
also the
preimage
is open.