Complete metric spaces and completion boundaries

Try

The sequence 1/(n+1) lies in (0,1), and its late terms are mutually close. It is Cauchy in that inherited metric, yet its only real limit is zero, outside the space. The interval is therefore incomplete. Completeness is not the assertion that every sequence converges; it asserts that every Cauchy sequence converges to a point still in the chosen space.

Predict

Predict whether boundedness prevents this problem. It does not: the open interval is bounded but missing its limiting endpoint. Conversely, the complete space R is unbounded. The two properties answer different questions. Boundedness limits distances globally, while completeness fills destinations required by pairwise tail control. A proof should identify which property is being used rather than treating both as generic compactness substitutes.

Experiment

Compare ambient choices for one sequence.

Space	Sequence	Cauchy?	Limit in the space?
R	1/(n+1)	Yes	Zero
(0,1)	1/(n+1)	Yes	No
[0,1]	1/(n+1)	Yes	Zero

The distances between terms are identical in all three rows. Only membership of the possible limit changes. This makes the role of the ambient space observable without introducing a new distance formula.

Understand

A closed subset A of a complete metric space X is complete. A Cauchy sequence in A is also Cauchy in X, hence has an ambient limit. Closedness puts that limit back in A. Conversely, a complete subspace A of any metric space X is closed. For a point x in its closure, choose a_n∈A with d(a_n,x)<1/n. This sequence converges in X and is Cauchy; completeness in A gives a limit a∈A. Uniqueness of limits in X forces x=a. These two arguments have different ambient assumptions and should not be merged carelessly.

For compact nonempty K, continuous real functions form a complete space C(K) under the supremum norm. Compactness makes each function bounded. A supremum-norm Cauchy sequence has a uniform limit in bounded functions, and the uniform-limit continuity theorem keeps it in C(K). The proof combines scalar completeness with preservation of continuity.

Apply

Repair “completeness is determined entirely by open sets.” On R, let d(x,y)=|arctan x−arctan y|. This is a metric because arctan is injective and ordinary distance satisfies the axioms. It gives the usual topology: arctan is a homeomorphism onto (−π/2,π/2). But the sequence n is Cauchy in d because arctan n tends to π/2, and it has no limit in this metric space. Ordinary Euclidean R is complete, while this topologically equivalent metric is not.

Thus a homeomorphism need not preserve completeness. An isometry does preserve it, and stronger uniform control on a map and its inverse can also be relevant.

Continue

Optional depth constructs completions by equivalence classes of Cauchy sequences. The missing points are represented by sequences whose mutual distance tends to zero. Building that construction rigorously is a separate task; the examples here identify the need without assuming every completion is a familiar subset of R.

Save a proof distinguishing “closed in a complete ambient space” from merely “closed.” Next, total boundedness will provide finite approximations at every scale. Combined with completeness, it will yield compactness in general metric spaces, replacing the special closed-and-bounded criterion from Euclidean analysis.