**Completeness** and related ideas inherently assume the notion of 'distance'. Hence, throughout this chapter, we will be dealing only with metric spaces.

### DefinitionEdit

A sequence is said to be a **Cauchy sequence** if for any , there is an such that for any , .

### TheoremEdit

All convergent sequences are Cauchy sequences

#### ProofEdit

A convergent sequence will converge to a limit , implying that there exists an such that for any , that . Thus, for any , .

### DefinitionEdit

A metric space is said to be **complete** when all Cauchy sequences converge to a limit.

- A subset of a metric space is
**dense**in an open set when .

- A subset of a metric space is
**everywhere dense**when it is dense in .

- A subset of a metric space is
**nowhere dense**when it is dense in no open set in .

Completeness is obviously not a Topological property, for a homeomorphism exists between the spaces and , although is complete while being a non-closed subset of , is not.

### TheoremEdit

A closed subset of a complete space is itself complete.

#### ProofEdit

Consider a complete space and let be closed. Consider any Cauchy sequence within , which is within , so it has a limit. This limit is a point of contact of this sequence, and consequently, is a point of contact of , and so is also within . Thus, is complete.

For a function from metric space to a complete metric space have a very important theorem called the **uniform convergence theorem**.

### Theorem (Uniform Convergence Theorem))Edit

Let X be a metric space, and let be a sequence of continuous functions from X to a complete metric space Y such that for all , there exists an N such that for all >N, . Then the sequence of functions converges to a continuous function from X to Y. Note that must be independent of x.

#### ProofEdit

Obviously the sequence of functions converges pointwise since the sequence is obviously a Cauchy sequence which converges to a value . We will now prove that f(x) is continuous.

There exists an N such that for all n>N, for any x within X. Now let n>N, and consider the continuous function . Since it is continuous, there exists an open ball in X such that its image is contained in the open ball .

Now consider any open ball around f(x), and any point x' in the open ball . Then so the function f(x) is continuous.

### Tietze ExtensionEdit

Using Urysohn's Lemma and the Uniform Convergence Theorem, we can now prove the following result:

Theorem: Let X be a normal topological space, and let A be a closed subset. Let f be a continuous function from the subspace A to the interval [0,1]. Then there exists a continuous function g from X to the interval [0,1] such that f(x)=g(x) for all points in A.

#### ProofEdit

In order to prove this we first establish the following result:

For any continuous function from a closed subset A of X to the interval [-r,r], there is a continuous function from X to the interval such that |f(x)-g(x)|< for all .

Consider the sets and , which are disjoint sets which, since they are closed in the closed set A, are also closed in X. Now we use Urysohn's lemma to obtain a function such that g(x)=0 when and such that g(x)=1 when . Then consider the function h defined by from the set X to the interval so that when and such that when . Then to see that the function h satisfies the inequality |f(x)-h(x)|<, consider the case when . Then so the inequality is satisfied there. Then consider the case when . Then so the inequality is also satisfied there. Finally, consider the case when . Then so the inequality is also satisfied for this final case.

Now we prove the main result.

### Theorem (Cantor's intersection theorem)Edit

The intersection of every sequence of compact subsets of a metric space such that is non-empty if and only if the metric space is complete.

#### ProofEdit

()Let be a Cauchy sequence in . Define the sequences , as , respectively. As is a real-valued Cauchy sequence, it is convergent. Hence, we can see that is bounded. Therefore, we can construct a sequence of compact sets satisfying , such that for each , but . If , the sequence converges to implying that is complete.

()Let be a sequence of compact sets satisfying . Select a sequence where . As is bounded, it has a convergent subsequence with limit .

As , we have .

### Theorem (Nested balls theorem)Edit

The Nested interval theorem is quite similar to the Cantor's intersection theorem. It states that the intersection of a sequence of the closures of balls such that and such that their sequence of radii approaches is non-empty if and only if the metric space is complete.

An important tool in general topology and functional analysis is the **Baire Category Theorem** which provides the necessary and sufficient condition for a metric space to be complete. Note that this is often referred to as the *First form* of Baire's theorem.

### Theorem (Baire Category Theorem)Edit

A complete metric space is not a countable union of nowhere dense subsets.

#### ProofEdit

Let be a complete metric space where each is nowhere dense. Let be an open ball of radius . Let , where be an open ball of radius contained in which does not meet , which is possible because if it always met , then would be dense in . The centers of the spheres form a Cauchy sequence because when and, then . Therefore, because the space is complete, it converges to a limit within . However, it is not within any , and so it is not within , a contradiction.

### Theorem (Generalized Heine-Borel Theorem)Edit

A metric space is compact if and only if the metric space is complete and totally bounded.

#### ProofEdit

()

Let X be a compact metric space. Then it is countably compact, and hence totally bounded. Also, since it is countably compact, any Cauchy sequence must either be finite, in which case it clearly converges to an element in X since the sequence eventually stablizes, or it is infinite, in which case it has a limit point in X, and it is clear that the Cauchy sequence converges to this limit point.

()

Let {} be an infinite sequence of points in X, such that they form an infinite set (i. e. at least infinitely many of them are distinct). Now consider a finite 1-net, and consider the set of the closures of the spheres of each point in the 1-net, each of radius 1. The union of these closures of spheres is X. Since there are infinitely many distinct {}, and only finitely many closures of spheres, at least one of these closures of spheres must contain an infinite subsequence {}, and denote this to be . Now consider a finite -net within this closure of a sphere, and consider the closures of spheres of each point in the -net, each of radius . The union of these closures of spheres is the closure of the first sphere. Since there are infinitely many distinct {} in , but only finitely many closures of balls, at least one of closures of balls that meets with must contain an infinite subsequence {}. Continuing this process of obtaining a new closure of ball which contains infinitely many elements of the sequence, and because of completeness, we can use the nested spheres theorem to obtain an element x that is within the intersection of all of the spheres. This x is a limit point of all balls, and thus must also be the limit point of the original sequence {} since any neighborhood of x must contain some closure of a ball in the aforementioned sequence, which in turn contains infinitely many elements of the sequence {}. From this, we can conclude that X is countably compact, and thus is compact.

#### Corollary (Bolzano-Weierstrass Theorem)Edit

In a complete metric space X, a set S is relatively compact if and only if it is totally bounded. This is because its closure is obviously totally bounded, and any closed subset of a complete metric space is also complete.

Note: If is a complete metric space, then every totally bounded sequence has a convergent subsequence

. This is because the sequence will be relatively compact, and since its closure is compact and thus countably compact and thus has a limit point, this sequence will have a limit point x. For this limit point, consider the balls and then for each ball, choose a point in the sequence within the ball, such that it is in order (i. e. in a way that does not go "backwards" in the sequence). Then this is obviously a subsequence that converges to the limit point.

### Theorem (Arzelà–Ascoli theorem)Edit

Now that we have a result which proves the equivalence between relative compactness and total boundedness in a complete metric space, we now turn to how to establish relative compactness in the metric space of continuous functions in the closed interval [a,b]. First, we have the following definitions.

#### DefinitionsEdit

- A set of functions F defined on [a,b] is
**uniformly bounded**if there exists an M such that for any function f within F, f(x)<M for all x within [a,b]. - A set of functions F defined on [a,b] is
**equicontinuous**if for all , there exists a such that for all and for all , .

Now, the following is the statement of the theorem:

A set of continuous functions F defined on [a,b] is relatively compact if and only if it is equicontinuous and uniformly bounded.

#### ProofEdit

## ExcercisesEdit

- Prove that the Euclidean space is complete.
- Prove that the Hilbert space is complete.
- Explicitly establish the nested balls theorem.