Definition
In terms of the metric
Suppose
and
are Metric space (?)s. In other words,
and
are sets, and
and
are metrics on these sets. A function
is termed a continuous map from
to
if it satisfies the following:
.
In terms of the induced topology
Suppose
and
are metric spaces. A function
is termed a continuous map if
is a continuous map from
to
with the induced topologies from their respective metrics.
The notion of continuous map of metric spaces gives rise to the notion of the category of metric spaces with continuous maps.