**Module leader**: Joel Moreira --- See [[Norms]], [[Metrics]], and [[Topology]]. # 7. Compactness # 8. Connectedness # 9. Completeness Definition 9.1. [[Complete metric spaces]] See that completeness is not a topological property, i.e. complete metric space may be homeomorphic to incomplete metric space. Proposition 9.2. [[Subspace of a complete metric space is complete if and only if it is closed]]. ###### 9.2 Examples of complete metric spaces In [[MA141 Analysis 1]], we proved the [[Bolzano-Weierstrass theorem]], using the *monotone convergence theorem* to construct a convergent subsequence from any bounded sequence in $\mathbb{R}$. We then observed that every Cauchy sequence in $\mathbb{R}$ is bounded, so it must have a convergent subsequence. Finally, we showed that a Cauchy sequence must converge to the same limit as this subsequence, thereby proving that $\mathbb{R}$ is complete (see [[Completeness of real numbers]]). Proposition 9.3. [[Compact metric spaces are complete]], uses this same argument - **whenever a Cauchy sequence has a convergent subsequence, this forces the entire sequence to converge to the same limit** - without relying on the specific construction of the convergent subsequence. The converse is not true, e.g. $\mathbb{R}$ is complete but not compact. Theorem 9.4. $\mathbb{R}^{n}$ is complete wrt standard norm Theorem 9.5. $\ell^{p}$ is complete for $1\leq p \leq \infty$ ###### 9.3. Completion of metric spaces Definition 9.9. [[Completion of metric spaces]]. Theorem 9.10. Corollary 9.11. ###### 9.4. The contraction mapping theorem Theorem 9.13. [[Contraction mapping theorem]] Theorem 9.14. [[Picard–Lindelöf theorem]]