Khanh at 21:13, 23 January 2022

2022-01-23T21:13:56Z

Khanh: Created page with "'''Completeness''' and related ideas inherently assume the notion of 'distance'. Hence, throughout this chapter, we will be dealing only with metric spaces. ===Definition===..."

2022-01-23T21:12:32Z

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

New page

'''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 <math>\{ x_n\}</math> is said to be a '''Cauchy sequence''' if for any <math>\varepsilon>0</math>, there is an <math>N\in\mathbb{N}</math> such that for any <math>a,b>N</math>, <math>d(x_a,x_b)<\varepsilon</math>.

===Theorem===
All convergent sequences are Cauchy sequences 

====Proof====
A convergent sequence <math>\{ x_n\}</math> will converge to a limit <math>x</math>, implying that there exists an <math>N</math> such that for any <math>a>N</math>, that <math>d(x_a,x)<\tfrac{\varepsilon}{2}</math>. Thus, for any <math>a,b>N</math>, <math>d(x_a,x_b)\leq d(x_a,x)+d(x_b,x)<\varepsilon</math>.

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

*A subset <math>A</math> of a metric space <math>X</math> is '''dense''' in an open set <math>O</math> when <math>O\subseteq\mathrm{Cl}(A)</math>.

*A subset <math>A</math> of a metric space <math>X</math> is '''everywhere dense''' when it is dense in <math>X</math>.

*A subset <math>A</math> of a metric space <math>X</math> is '''nowhere dense''' when it is dense in no open set in <math>X</math>.

Completeness is obviously not a [[Topology/Continuity_and_Homeomorphisms|Topological property]], for a homeomorphism exists between the spaces <math>\mathbb{R}</math> and <math>(0,1)</math>, although <math>\mathbb{R}</math> is complete while <math>(0,1)</math> being a non-closed subset of <math>\mathbb{R}</math>, is not.

===Theorem===
A closed subset of a complete space is itself complete.

====Proof====
Consider a complete space <math>X</math> and let <math>C\subset X</math> be closed. Consider any Cauchy sequence within <math>C</math>, which is within <math>X</math>, so it has a limit. This limit is a point of contact of this sequence, and consequently, is a point of contact of <math>C</math>, and so is also within <math>C</math>. Thus, <math>C</math> 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 <math>f_n</math> be a sequence of continuous functions from X to a complete metric space Y such that for all <math>\epsilon>0</math>, there exists an N such that for all <math>n_1, n_2</math>>N, <math>d(f_{n_1}(x),f_{n_2}(x))<\epsilon</math>. Then the sequence of functions converges to a continuous function from X to Y. Note that <math>\epsilon</math> must be independent of x.

====Proof====
Obviously the sequence of functions converges pointwise since the sequence <math>f_n(x)</math> is obviously a Cauchy sequence which converges to a value <math>f(x)</math>. We will now prove that f(x) is continuous.

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

Now consider any open ball <math>B_\epsilon(f(x))</math> around f(x), and any point x' in the open ball <math>B_\delta(x)</math>. Then <math>d(f(x'), f(x))\le d(f(x'),f_n(x'))+d(f_n(x'),f_n(x))+d(f_n(x),f(x)) < \epsilon</math> 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 <math>[-\frac{r}{3},\frac{r}{3}]</math> such that |f(x)-g(x)|<<math>\frac{2}{3}r</math> for all <math>x\in A</math>.

Consider the sets <math>f^{-1}([-r,-\frac{1}{3}r])</math> and <math>f^{-1}([\frac{1}{3}r],r)</math>, 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 <math>g: X \rightarrow [0,1]</math> such that g(x)=0 when <math>x \in f^{-1}([-r,-\frac{1}{3}r])</math> and such that g(x)=1 when <math>x \in f^{-1}([\frac{1}{3}r],r)</math>. Then consider the function h defined by <math>h(x)=\frac{r}{3}(2g(x)-1)</math> from the set X to the interval <math>[-\frac{r}{3}, \frac{r}{3}]</math> so that <math>h(x)=-\frac{r}{3}</math> when <math>x \in f^{-1}([-r,-\frac{1}{3}r])</math> and such that <math>h(x)=\frac{r}{3}</math> when <math>x \in f^{-1}([\frac{1}{3}r],r)</math>. Then to see that the function h satisfies the inequality |f(x)-h(x)|<<math>\frac{2}{3}r</math>, consider the case when <math>-r\le x \le -\frac{1}{3}r</math>. Then <math>h(x)=-\frac{r}{3}</math> so the inequality is satisfied there. Then consider the case when <math>\frac{1}{3}r \le x \le r</math>. Then <math>h(x)=\frac{r}{3}</math> so the inequality is also satisfied there. Finally, consider the case when <math>-\frac{1}{3}r<x<\frac{1}{3}r</math>. Then <math>|h(x)|\le\frac{1}{3}r</math> 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 <math>\{ A_n\}</math> of a metric space <math>X</math> such that <math>A_n\subseteq A_{n-1}</math> is non-empty if and only if the metric space is complete.
====Proof====
(<math>\Rightarrow</math>)Let <math>\{ x_n\}</math> be a Cauchy sequence in <math>X</math>. Define the sequences <math>\{ a_n\}</math>,<math>s_n</math> as <math>a_n=d(x_{n+1},x_n)</math>, <math>s_n=\displaystyle\sum_{i=1}^{n}a_n</math> respectively. As <math>s_n</math> is a real-valued Cauchy sequence, it is convergent. Hence, we can see that <math>\{ x_n\}</math> is bounded. Therefore, we can construct a sequence of compact sets <math>\{ A_n\}</math> satisfying <math>A_n\subseteq A_{n-1}</math>, such that for each <math>n</math>, <math>x_n\in A_n</math> but <math>x_n\notin A_{n+1}</math>. If <math>x \in \bigcap_{i=1}^\infty A_n</math>, the sequence <math>x_n</math> converges to <math>x</math> implying that <math>X</math> is complete.

(<math>\Leftarrow</math>)Let <math>A_n</math> be a sequence of compact sets satisfying <math>A_n\subseteq A_{n-1}\forall n</math>. Select a sequence <math>\{ x_n\}</math> where <math>x_n\in A_n</math>. As <math>\{ x_n\}</math> is bounded, it has a convergent subsequence <math>\{ y_n\}</math> with limit <math>x</math>. As <math>A_n\subseteq A_{n-1}</math>, we have <math>x \in \bigcap_{i=1}^\infty A_n</math>.

===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 <math>A_n</math> such that <math>A_n\subseteq A_{n-1}</math> and such that their sequence of radii <math>r_n</math> approaches <math>0</math> 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 <math>A=\bigcup_{i=1}^\infty K_i</math> be a complete metric space where each <math>K_i</math> is nowhere dense. Let <math>S_1</math> be an open ball of radius <math>\tfrac{1}{2}</math>. Let <math>S_n</math>, where <math>n>1</math> be an open ball of radius <math>\tfrac{1}{2^n}</math> contained in <math>S_{n-1}</math> which does not meet <math>A_n</math>, which is possible because if it always met <math>A_n</math>, then <math>A_1</math> would be dense in <math>S_{n-1}</math>. The centers <math>c_n</math> of the spheres <math>S_n</math> form a Cauchy sequence because when <math>n_1,n_2>N</math> and, then <math>d(x_{n_1},x_{n_2})<\tfrac{1}{2^N}</math>. Therefore, because the space <math>A</math> is complete, it converges to a limit <math>c</math> within <math>A</math>. However, it is not within any <math>K_n</math>, and so it is not within <math>A</math>, 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====
(<math>\Rightarrow</math>) 
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. 
(<math>\Leftarrow</math>) 
Let {<math>a_n</math>} 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 {<math>a_n</math>}, and only finitely many closures of spheres, at least one of these closures of spheres must contain an infinite subsequence {<math>a_{n1}</math>}, and denote this to be <math>Cl(B_1(x_1))</math>. Now consider a finite <math>\frac{1}{2}</math>-net within this closure of a sphere, and consider the closures of spheres of each point in the <math>\frac{1}{2}</math>-net, each of radius <math>\frac{1}{2}</math>. The union of these closures of spheres is the closure of the first sphere. Since there are infinitely many distinct {<math>a_{n1}</math>} in <math>Cl(B_1(x_1))</math>, but only finitely many closures of balls, at least one of closures of balls that meets <math>Cl(B_1(x_1))</math> with <math>Cl(B_1(x_1))</math> must contain an infinite subsequence {<math>a_{n2}</math>}. 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 {<math>a_n</math>} 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 {<math>a_n</math>}. 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 <math>X</math> is a complete metric space, then every totally bounded sequence <math>\{a_n\} \subset X</math> 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 <math>B_{\frac{1}{n}}(x)</math> 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 <math>\epsilon>0</math>, there exists a <math>\delta>0</math> such that for all <math>x_1,x_2\in [a,b]</math> and for all <math>f\in F</math>, <math>|x_1+x_2|<\delta \rightarrow |f(x_1)-f(x_2)|<\epsilon</math>.

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.

====Proof====

==Exercises==
#Prove that the Euclidean space <math>\mathbb{R}^n</math> is complete.
#Prove that the Hilbert space is complete.
#Explicitly establish the nested balls theorem.

== Licensing ==
Content obtained and/or adapted from:
* [https://en.wikibooks.org/wiki/Topology/Completeness Completeness, Wikibooks: Topology] under a CC BY-SA license

← Older revision		Revision as of 21:13, 23 January 2022
Line 20:		Line 20:


−	Completeness is obviously not a ~~[[Topology/Continuity_and_Homeomorphisms\|~~Topological property]], for a homeomorphism exists between the spaces <math>\mathbb{R}</math> and <math>(0,1)</math>, although <math>\mathbb{R}</math> is complete while <math>(0,1)</math> being a non-closed subset of <math>\mathbb{R}</math>, is not.	+	Completeness is obviously not a Topological property, for a homeomorphism exists between the spaces <math>\mathbb{R}</math> and <math>(0,1)</math>, although <math>\mathbb{R}</math> is complete while <math>(0,1)</math> being a non-closed subset of <math>\mathbb{R}</math>, is not.

	===Theorem===		===Theorem===

Completeness - Revision history

Khanh at 21:13, 23 January 2022

Khanh: Created page with "'''Completeness''' and related ideas inherently assume the notion of 'distance'. Hence, throughout this chapter, we will be dealing only with metric spaces. ===Definition===..."