<< Chapter < Page | Chapter >> Page > |
Proof: Assume that a sequence ${x}_{n}\to x$ in $(X,d)$ . Fix $\u03f5>0$ . Since $\left\{{x}_{n}\right\}$ is convergent, there must exist an ${n}_{0}\in {\mathbb{Z}}^{+}$ such that $d({x}_{n},x)<\u03f5/2$ for all $n\ge {n}_{0}$ . Now, pick $j,k\ge {n}_{0}$ . Then, using the triangle inequality, we have $d({x}_{j},{x}_{k})\le d({x}_{j},x)+d(x,{x}_{k})<\u03f5/2+\u03f5/2$ (since both $j$ and $k$ are greater or equal to ${n}_{0}$ ) and so $d({x}_{j},{x}_{k})<\u03f5$ . Therefore, the sequence $\left\{{x}_{n}\right\}$ is Cauchy.
One may wonder if the opposite is true: is every Cauchy sequence a convergent sequence?
Example 3 Focus on the metric space $(X,{d}_{0})$ with $X=(0,1]=\{x\in \mathbb{R}:0<x\le 1\}$ . Now consider the sequence ${x}_{n}=1/n$ in $X$ . This is a Cauchy sequence: one can show this by picking ${n}_{0}\left(\u03f5\right)>\lceil 2/\u03f5\rceil $ and using the triangle inequality to get
However, this is not a convergent sequence: we've shown earlier that ${x}_{n}\to 0$ . Since $0\notin (0,1]$ and a sequence has a unique limit, then there is no $x\in (0,1]$ such that ${x}_{n}\to x$ .
Whether Cauchy sequences converge or not underlies the concept of completeness of a space.
Definition 4 A complete metric space is a metric space in which all Cauchy sequences are convergent sequences.
Example 5 The metric space $(X,{d}_{0})$ with $X=(0,1]$ from earlier is not complete, since we found a Cauchy sequence that converges to a point outside of $X$ . We can make it complete by adding the convergence point, i.e., if ${X}^{\text{'}}=[0,1]$ then $({X}^{\text{'}},{d}_{0})$ is a complete metric space.
Example 6 Let $C\left[T\right]$ denote the space of all continuous functions with support $T$ . If we pick the metric ${d}_{2}(x,y)={\left({\int}_{T},{|x\left(t\right)-y\left(t\right)|}^{2},d,t\right)}^{1/2}$ , then $(X,{d}_{2})$ is a metric space; however, it is not a complete metric space.
To show that the space is not complete, all we have to do is find a Cauchy sequence of signals within $C\left[T\right]$ that does not converge to any signal in $C\left[T\right]$ . For simplicity, fix $T=[-1,1]$ . Fortuitously, we find the sequence illustrated in [link] , which can be written as
Since all these functions are continuous and defined over $T$ , then $\left\{{x}_{n}\right\}$ is a sequence in $C\left[T\right]$ . We can show that $\left\{{x}_{n}\right\}$ is a Cauchy sequence: let ${n}_{0}$ be an integer and pick $j\ge k\ge {n}_{0}$ . Then,
So for a given $\u03f5>0$ , by picking ${n}_{0}$ such that $\sqrt{2/{n}_{0}}<\u03f5$ (say, for example, ${n}_{0}>\lceil 2/{\u03f5}^{2}\rceil $ ), we will have that ${d}_{2}({x}_{j},{x}_{k})<\u03f5$ for all $j,k>{n}_{0}$ ; thus, the sequence is Cauchy. Now, we must show that the sequence does not converge within $C\left[T\right]$ : we will find a point ${x}^{*}\notin C\left[T\right]$ such that for ${X}^{\text{'}}=C\left[T\right]\cup \left\{{x}^{*}\right\}$ the sequence ${x}_{n}\to {x}^{*}$ in $({X}^{\text{'}},{d}_{2})$ . By inspecting the sequence of signals, we venture the guess
illustrated in [link] .
For this signal, we will have
So if we select ${n}_{0}$ such that ${\left(\frac{2}{3{n}_{0}}\right)}^{1/2}<\u03f5$ , i.e., ${n}_{0}>\frac{2}{3{\u03f5}^{2}}$ , then we have that ${d}_{2}({x}_{n},{x}^{*})<\u03f5$ for $n>{n}_{0}$ , and so we have shown that ${x}_{n}\to {x}^{*}$ . Now, since a convergent sequence has a unique limit and ${x}^{*}\notin C\left[T\right]$ , then $\left\{{x}_{n}\right\}$ does not converge in $(C\left[T\right],{d}_{2})$ and this is not a complete metric space.
The property of equivalence between Cauchy sequences and convergent sequences often compels us to define metric spaces that are complete by choosing the metric appropriate to the signal space. For example, by switching the distance metric to ${d}_{\infty}(x,y)={sup}_{t\in T}|x\left(t\right)-y\left(t\right)|$ , the metric space $(C\left[T\right],{d}_{\infty})$ becomes complete.
Notification Switch
Would you like to follow the 'Signal theory' conversation and receive update notifications?