# Topology/Completeness

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

### Definition

A sequence ${\displaystyle \{x_{n}\}}$ is said to be a Cauchy sequence if for any ${\displaystyle \varepsilon >0}$, there is an ${\displaystyle N\in \mathbb {N} }$ such that for any ${\displaystyle a,b>N}$, ${\displaystyle d(x_{a},x_{b})<\varepsilon }$.

### Theorem

All convergent sequences are Cauchy sequences

#### Proof

A convergent sequence ${\displaystyle \{x_{n}\}}$ will converge to a limit ${\displaystyle x}$, implying that there exists an ${\displaystyle N}$ such that for any ${\displaystyle a>N}$, that ${\displaystyle d(x_{a},x)<{\tfrac {\varepsilon }{2}}}$. Thus, for any ${\displaystyle a,b>N}$, ${\displaystyle d(x_{a},x_{b})\leq d(x_{a},x)+d(x_{b},x)<\varepsilon }$.

### Definition

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

• A subset ${\displaystyle A}$ of a metric space ${\displaystyle X}$ is dense in an open set ${\displaystyle O}$ when ${\displaystyle O\subseteq \mathrm {Cl} (A)}$.
• A subset ${\displaystyle A}$ of a metric space ${\displaystyle X}$ is everywhere dense when it is dense in ${\displaystyle X}$.
• A subset ${\displaystyle A}$ of a metric space ${\displaystyle X}$ is nowhere dense when it is dense in no open set in ${\displaystyle X}$.

Completeness is obviously not a Topological property, for a homeomorphism exists between the spaces ${\displaystyle \mathbb {R} }$ and ${\displaystyle (0,1)}$, although ${\displaystyle \mathbb {R} }$ is complete while ${\displaystyle (0,1)}$ being a non-closed subset of ${\displaystyle \mathbb {R} }$, is not.

### Theorem

A closed subset of a complete space is itself complete.

#### Proof

Consider a complete space ${\displaystyle X}$ and let ${\displaystyle C\subset X}$ be closed. Consider any Cauchy sequence within ${\displaystyle C}$, which is within ${\displaystyle X}$, so it has a limit. This limit is a point of contact of this sequence, and consequently, is a point of contact of ${\displaystyle C}$, and so is also within ${\displaystyle C}$. Thus, ${\displaystyle C}$ 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))

Let X be a metric space, and let ${\displaystyle f_{n}}$ be a sequence of continuous functions from X to a complete metric space Y such that for all ${\displaystyle \epsilon >0}$, there exists an N such that for all ${\displaystyle n_{1},n_{2}}$>N, ${\displaystyle d(f_{n_{1}}(x),f_{n_{2}}(x))<\epsilon }$. Then the sequence of functions converges to a continuous function from X to Y. Note that ${\displaystyle \epsilon }$ must be independent of x.

#### Proof

Obviously the sequence of functions converges pointwise since the sequence ${\displaystyle f_{n}(x)}$ is obviously a Cauchy sequence which converges to a value ${\displaystyle f(x)}$. We will now prove that f(x) is continuous.

There exists an N such that for all n>N, ${\displaystyle d(f_{n}(x),f(x))<{\frac {\epsilon }{3}}}$ for any x within X. Now let n>N, and consider the continuous function ${\displaystyle f_{n}}$. Since it is continuous, there exists an open ball ${\displaystyle B_{\delta }(x)}$ in X such that its image is contained in the open ball ${\displaystyle B_{\frac {\epsilon }{3}}(f_{n}(x))}$.

Now consider any open ball ${\displaystyle B_{\epsilon }(f(x))}$ around f(x), and any point x' in the open ball ${\displaystyle B_{\delta }(x)}$. Then ${\displaystyle d(f(x'),f(x))\leq d(f(x'),f_{n}(x'))+d(f_{n}(x'),f_{n}(x))+d(f_{n}(x),f(x))<\epsilon }$ so the function f(x) is continuous.

### Tietze Extension

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.

#### Proof

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 ${\displaystyle [-{\frac {r}{3}},{\frac {r}{3}}]}$ such that |f(x)-g(x)|<${\displaystyle {\frac {2}{3}}r}$ for all ${\displaystyle x\in A}$.

Consider the sets ${\displaystyle f^{-1}([-r,-{\frac {1}{3}}r])}$ and ${\displaystyle f^{-1}([{\frac {1}{3}}r],r)}$, 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 ${\displaystyle g:X\rightarrow [0,1]}$ such that g(x)=0 when ${\displaystyle x\in f^{-1}([-r,-{\frac {1}{3}}r])}$ and such that g(x)=1 when ${\displaystyle x\in f^{-1}([{\frac {1}{3}}r],r)}$. Then consider the function h defined by ${\displaystyle h(x)={\frac {r}{3}}(2g(x)-1)}$ from the set X to the interval ${\displaystyle [-{\frac {r}{3}},{\frac {r}{3}}]}$ so that ${\displaystyle h(x)=-{\frac {r}{3}}}$ when ${\displaystyle x\in f^{-1}([-r,-{\frac {1}{3}}r])}$ and such that ${\displaystyle h(x)={\frac {r}{3}}}$ when ${\displaystyle x\in f^{-1}([{\frac {1}{3}}r],r)}$. Then to see that the function h satisfies the inequality |f(x)-h(x)|<${\displaystyle {\frac {2}{3}}r}$, consider the case when ${\displaystyle -r\leq x\leq -{\frac {1}{3}}r}$. Then ${\displaystyle h(x)=-{\frac {r}{3}}}$ so the inequality is satisfied there. Then consider the case when ${\displaystyle {\frac {1}{3}}r\leq x\leq r}$. Then ${\displaystyle h(x)={\frac {r}{3}}}$ so the inequality is also satisfied there. Finally, consider the case when ${\displaystyle -{\frac {1}{3}}r. Then ${\displaystyle |h(x)|\leq {\frac {1}{3}}r}$ so the inequality is also satisfied for this final case.

Now we prove the main result.

### Theorem (Cantor's intersection theorem)

The intersection of every sequence of compact subsets ${\displaystyle \{A_{n}\}}$ of a metric space ${\displaystyle X}$ such that ${\displaystyle A_{n}\subseteq A_{n-1}}$ is non-empty if and only if the metric space is complete.

#### Proof

(${\displaystyle \Rightarrow }$)Let ${\displaystyle \{x_{n}\}}$ be a Cauchy sequence in ${\displaystyle X}$. Define the sequences ${\displaystyle \{a_{n}\}}$,${\displaystyle s_{n}}$ as ${\displaystyle a_{n}=d(x_{n+1},x_{n})}$, ${\displaystyle s_{n}=\displaystyle \sum _{i=1}^{n}a_{n}}$ respectively. As ${\displaystyle s_{n}}$ is a real-valued Cauchy sequence, it is convergent. Hence, we can see that ${\displaystyle \{x_{n}\}}$ is bounded. Therefore, we can construct a sequence of compact sets ${\displaystyle \{A_{n}\}}$ satisfying ${\displaystyle A_{n}\subseteq A_{n-1}}$, such that for each ${\displaystyle n}$, ${\displaystyle x_{n}\in A_{n}}$ but ${\displaystyle x_{n}\notin A_{n+1}}$. If ${\displaystyle x\in \bigcap _{i=1}^{\infty }A_{n}}$, the sequence ${\displaystyle x_{n}}$ converges to ${\displaystyle x}$ implying that ${\displaystyle X}$ is complete.

(${\displaystyle \Leftarrow }$)Let ${\displaystyle A_{n}}$ be a sequence of compact sets satisfying ${\displaystyle A_{n}\subseteq A_{n-1}\forall n}$. Select a sequence ${\displaystyle \{x_{n}\}}$ where ${\displaystyle x_{n}\in A_{n}}$. As ${\displaystyle \{x_{n}\}}$ is bounded, it has a convergent subsequence ${\displaystyle \{y_{n}\}}$ with limit ${\displaystyle x}$.
As ${\displaystyle A_{n}\subseteq A_{n-1}}$, we have ${\displaystyle x\in \bigcap _{i=1}^{\infty }A_{n}}$.

### Theorem (Nested balls theorem)

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 ${\displaystyle A_{n}}$ such that ${\displaystyle A_{n}\subseteq A_{n-1}}$ and such that their sequence of radii ${\displaystyle r_{n}}$ approaches ${\displaystyle 0}$ 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)

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

#### Proof

Let ${\displaystyle A=\bigcup _{i=1}^{\infty }K_{i}}$ be a complete metric space where each ${\displaystyle K_{i}}$ is nowhere dense. Let ${\displaystyle S_{1}}$ be an open ball of radius ${\displaystyle {\tfrac {1}{2}}}$. Let ${\displaystyle S_{n}}$, where ${\displaystyle n>1}$ be an open ball of radius ${\displaystyle {\tfrac {1}{2^{n}}}}$ contained in ${\displaystyle S_{n-1}}$ which does not meet ${\displaystyle A_{n}}$, which is possible because if it always met ${\displaystyle A_{n}}$, then ${\displaystyle A_{1}}$ would be dense in ${\displaystyle S_{n-1}}$. The centers ${\displaystyle c_{n}}$ of the spheres ${\displaystyle S_{n}}$ form a Cauchy sequence because when ${\displaystyle n_{1},n_{2}>N}$ and, then ${\displaystyle d(x_{n_{1}},x_{n_{2}})<{\tfrac {1}{2^{N}}}}$. Therefore, because the space ${\displaystyle A}$ is complete, it converges to a limit ${\displaystyle c}$ within ${\displaystyle A}$. However, it is not within any ${\displaystyle K_{n}}$, and so it is not within ${\displaystyle A}$, a contradiction.

### Theorem (Generalized Heine-Borel Theorem)

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

#### Proof

(${\displaystyle \Rightarrow }$)
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.
(${\displaystyle \Leftarrow }$)
Let {${\displaystyle a_{n}}$} 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 {${\displaystyle a_{n}}$}, and only finitely many closures of spheres, at least one of these closures of spheres must contain an infinite subsequence {${\displaystyle a_{n1}}$}, and denote this to be ${\displaystyle Cl(B_{1}(x_{1}))}$. Now consider a finite ${\displaystyle {\frac {1}{2}}}$-net within this closure of a sphere, and consider the closures of spheres of each point in the ${\displaystyle {\frac {1}{2}}}$-net, each of radius ${\displaystyle {\frac {1}{2}}}$. The union of these closures of spheres is the closure of the first sphere. Since there are infinitely many distinct {${\displaystyle a_{n1}}$} in ${\displaystyle Cl(B_{1}(x_{1}))}$, but only finitely many closures of balls, at least one of closures of balls that meets ${\displaystyle Cl(B_{1}(x_{1}))}$ with ${\displaystyle Cl(B_{1}(x_{1}))}$ must contain an infinite subsequence {${\displaystyle a_{n2}}$}. 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 {${\displaystyle a_{n}}$} 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 {${\displaystyle a_{n}}$}. From this, we can conclude that X is countably compact, and thus is compact.

#### Corollary (Bolzano-Weierstrass Theorem)

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 ${\displaystyle X}$ is a complete metric space, then every totally bounded sequence ${\displaystyle \{a_{n}\}\subset X}$ 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 ${\displaystyle B_{\frac {1}{n}}(x)}$ 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)

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.

#### Definitions

• 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 ${\displaystyle \epsilon >0}$, there exists a ${\displaystyle \delta >0}$ such that for all ${\displaystyle x_{1},x_{2}\in [a,b]}$ and for all ${\displaystyle f\in F}$, ${\displaystyle |x_{1}+x_{2}|<\delta \rightarrow |f(x_{1})-f(x_{2})|<\epsilon }$.

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.

## Exercises

1. Prove that the Euclidean space ${\displaystyle \mathbb {R} ^{n}}$  is complete.
2. Prove that the Hilbert space is complete.
3. Explicitly establish the nested balls theorem.