Jump to content

Metric spaces/Continuous mapping/Characterization/Fact

From Wikiversity

Let

denote a mapping between the metric spaces and . Then the following statements are equivalent.

  1. is continuous in every point .
  2. For every point and every , there exists a such that implies that holds.
  3. For every point and every convergent sequence in with , also the image sequence converges to the limit .
  4. For every open set , also the preimage is open.