Explanation: Why Completeness is Not a Topological Property

A topological property is a property preserved under homeomorphisms, meaning that if two spaces are homeomorphic (i.e., there is a continuous, bijective map with a continuous inverse between them), they must share that property. Completeness, however, is not a topological property because it depends on the metric of the space, not solely its topology.

Key Definitions:

1. Completeness of a Metric Space:
   A metric space $(X, d)$ is complete if every Cauchy sequence in $X$ converges to a limit in $X$.

2. Homeomorphic Spaces:
   Two topological spaces $X$ and $Y$ are homeomorphic if there exists a bijective, continuous function $f: X \to Y$ with a continuous inverse $f^{-1}: Y \to X$.

Example: $\mathbb{R}$ and $(-1, 1)$

1. The Usual Metric on $\mathbb{R}$:
   $\mathbb{R}$ with the usual metric $d(x, y) = |x - y|$ is complete because every Cauchy sequence in $\mathbb{R}$ converges to a point in $\mathbb{R}$.

2. The Subspace Metric on $(-1, 1)$:
   Consider $(-1, 1)$ as a subset of $\mathbb{R}$ with the inherited metric $d(x, y) = |x - y|$. $(-1, 1)$ is not complete because there exist Cauchy sequences in $(-1, 1)$ that converge to points outside of $(-1, 1)$ (e.g., a sequence approaching 1 or -1).

3. Homeomorphism Between $\mathbb{R}$ and $(-1, 1)$:
   The spaces $\mathbb{R}$ and $(-1, 1)$ are homeomorphic because there exists a bijective, continuous map with a continuous inverse (e.g., the arctangent function scaled appropriately).

   • Consider $f(x) = \frac{\tan^{-1}(x)}{\pi/2}$, which maps $\mathbb{R}$ onto $(-1, 1)$. This function is continuous, bijective, and its inverse is also continuous.

Why Completeness is Not Preserved:

Despite the fact that $\mathbb{R}$ and $(-1, 1)$ are homeomorphic, they differ in their completeness properties:

• $\mathbb{R}$ is complete because every Cauchy sequence converges within $\mathbb{R}$.
• $(-1, 1)$ is not complete because some Cauchy sequences converge to points outside of $(-1, 1)$.

This shows that completeness is not a property that depends solely on the topology of the space (which is preserved by homeomorphisms), but on the specific metric, which may differ even between homeomorphic spaces.

---

Summary:

Completeness is not a topological property because it is determined by the metric of the space, and different metrics can give rise to different completeness properties, even for spaces that are homeomorphic.

---

Questions for Further Exploration:

1. How does the concept of homeomorphism differ from isometry?
2. Can you provide other examples of properties that are not topological (e.g., boundedness)?
3. Why are completeness and compactness not equivalent in general metric spaces?
4. How can the Heine-Borel theorem help understand completeness in $\mathbb{R}$?
5. Are there other spaces that are homeomorphic to $(-1, 1)$ but not complete?

Tip:

Remember that topological properties are invariant under homeomorphisms, but metric-dependent properties, like completeness, rely on the specific choice of the metric.