Continuity of metric spaces and the equivalence between open and closed sets (as in continuous mappings)

Introduction

A metric space is a foundational concept in topology and analysis, defined as a set equipped with a metric (a function that measures distances between points). In such spaces, continuity of functions is a central theme, as it ensures that the behavior of a function is preserved under limits. This article explores the continuity of functions in metric spaces and the equivalence between open and closed sets, focusing on how continuous mappings interact with these fundamental concepts. The study of continuity in metric spaces is critical for understanding homeomorphisms, compactness, and the interplay between open/closed sets under continuous functions.

Definitions and Preliminaries

In a metric space $(X, d)$, a function $f: X \to Y$ (where $Y$ is another metric space) is said to be continuous at a point $x \in X$ if for every open set $U \subseteq Y$ such that $f(x) \in U$, there exists an open set $V \subseteq X$ containing $x$ such that $f(V) \subseteq U$. This definition extends to continuity on the entire space, requiring that $f$ preserves the openness of sets under the metric.

An open set in a metric space is a set whose complement is also a set (i.e., the complement is closed). Conversely, a closed set is a set whose complement is open. In metric spaces, the distinction between open and closed sets is often tied to the metric’s properties, such as completeness or compactness.

A function $f: X \to Y$ is continuous if and only if it maps open sets to open sets. This property is particularly significant in metric spaces, where the topology is defined by open sets, and continuity corresponds to the preservation of limits.

Properties of Continuous Functions in Metric Spaces

In metric spaces, continuity of a function is closely tied to the behavior of the metric itself. A key property is that continuous functions map closed sets to closed sets. If $f$ is continuous and $A \subseteq X$ is closed, then $f(A)$ is closed in $Y$. This follows from the fact that the preimage of a closed set under a continuous function is closed.

Moreover, in metric spaces, the continuity of a function is equivalent to the preservation of open sets. If $f$ is continuous, then for any open set $U \subseteq X$, $f(U)$ is open in $Y$. This equivalence is crucial for understanding the structure of continuous mappings in metric spaces.

The metric’s role in defining openness is essential. For instance, in a metric space $(X, d)$, a