Difference between revisions of "Equivalent statements to compactness of a metric space"
From Maths
(Created page with "==Theorem statement== {{:Equivalent statements to compactness of a metric space/Statement}} ==Proof== {{Begin Inline Theorem}} {{M|1)\implies 2)}}: {{M|X}} is compact {{M|...") |
m (→Proof: Fixed typo) |
||
| Line 3: | Line 3: | ||
==Proof== | ==Proof== | ||
{{Begin Inline Theorem}} | {{Begin Inline Theorem}} | ||
| − | {{M|1)\implies 2)}}: {{M|X}} is [[compact]] {{M|\implies}} {{M|1=\forall(a_n)_{n=1}^\infty\ \exists}} a [[sub-sequence]] {{M|1=(a_{k_n})_{n=1}^\infty}} that [[Convergence (sequence)|coverges]] in {{M|X}} | + | {{M|1)\implies 2)}}: {{M|X}} is [[compact]] {{M|\implies}} {{M|1=\forall(a_n)_{n=1}^\infty\subseteq X\ \exists}} a [[sub-sequence]] {{M|1=(a_{k_n})_{n=1}^\infty}} that [[Convergence (sequence)|coverges]] in {{M|X}} |
{{Begin Inline Proof}} | {{Begin Inline Proof}} | ||
{{:Equivalent statements to compactness of a metric space/1-implies-2 proof}} | {{:Equivalent statements to compactness of a metric space/1-implies-2 proof}} | ||
{{End Proof}}{{End Theorem}} | {{End Proof}}{{End Theorem}} | ||
{{Todo|Rest}} | {{Todo|Rest}} | ||
| + | |||
==Notes== | ==Notes== | ||
<references group="Note"/> | <references group="Note"/> | ||
Revision as of 16:29, 1 December 2015
Contents
[hide]Theorem statement
Given a metric space (X,d), the following are equivalent[1][Note 1]:
- X is compact
- Every sequence in X has a subsequence that converges (AKA: having a convergent subsequence)
- X is totally bounded and complete
Proof
[Expand]
1)⟹2): X is compact ⟹ ∀(an)∞n=1⊆X ∃ a sub-sequence (akn)∞n=1 that coverges in X
TODO: Rest
Notes
- Jump up ↑ To say statements are equivalent means we have one ⟺ one of the other(s)
References
