Having moved through the preceding compactness ideas, we now study completeness and compactness. The focus keyword for this lesson is completeness and compactness. This page records the definitions, theorems, proofs, examples, and practice items needed for undergraduate work in compactness and its consequences in metric spaces. :::theorem[Compact Metric Spaces Are Complete] Let $(X,d)$ be compact. Then $X$ is complete. ::: :::proof Given that $X$ is compact. To prove that $X$ is complete. Let $\{x_n\}$ be Cauchy. Compactness gives a convergent subsequence $x_{n_k}\to x\in X$. The Cauchy condition then forces the whole sequence to converge to $x$. Hence every Cauchy sequence converges in $X$. $\square$ ::: :::theorem[Complete and Totally Bounded Spaces Are Compact] Let $(X,d)$ be complete and totally bounded. Then $X$ is compact. ::: :::proof Given that $X$ is complete and totally bounded. To prove compactness. Every sequence has a Cauchy subsequence by total boundedness, and that subsequence converges in $X$ by completeness. Hence every sequence has a convergent subsequence, so $X$ is compact. $\square$ ::: :::theorem[Compactness by Completeness and Total Boundedness] A metric space is compact if and only if it is complete and totally bounded. ::: :::exercise [1] State the main definition or theorem from this lesson. [2] Give one example where the hypothesis is used. [3] Explain one common mistake related to this topic. ::: :::answer [1] See the first formal block of the lesson. [2] The examples in the lesson provide standard choices. [3] A common mistake is to apply a Euclidean compactness rule in an arbitrary metric space. ::: :::faq[Frequently Asked Questions] Q: Why is the metric important? A: Compactness, boundedness, convergence, and openness are all interpreted using the chosen metric. Q: What should students check first? A: Identify the space, the metric, and the exact compactness criterion being used. ::: :::call-to-action[Continue to Sequential Forms of Compactness] subtitle: Review the definitions, proofs, and examples before moving to the next compactness idea. button: Next Lesson | /functional-analysis/metric-spaces/compactness-and-its-consequences-in-metric-spaces/sequential-forms-of-compactness button-ghost: Previous Lesson | /functional-analysis/metric-spaces/compactness-and-its-consequences-in-metric-spaces/total-boundedness-and-cauchy-subsequences :::