Difference between revisions of "Equivalent statements to compactness of a metric space/Statement"
From Maths
(Created page with "<noinclude> ==Statement of theorem== </noinclude> Given a metric space {{M|(X,d)}}, the following are equivalent{{rITTGG}}<ref group="Note">To say statements are equivalen...") |
m |
||
| Line 4: | Line 4: | ||
Given a [[metric space]] {{M|(X,d)}}, the following are equivalent{{rITTGG}}<ref group="Note">To say statements are equivalent means we have one {{M|\iff}} one of the other(s)</ref>: | Given a [[metric space]] {{M|(X,d)}}, the following are equivalent{{rITTGG}}<ref group="Note">To say statements are equivalent means we have one {{M|\iff}} one of the other(s)</ref>: | ||
# {{M|X}} is [[compact]] | # {{M|X}} is [[compact]] | ||
| − | # Every [[sequence]] in {{M|X}} has a [[subsequence]] that [[converges]] (has a ''convergent subsequence'') | + | # Every [[sequence]] in {{M|X}} has a [[subsequence]] that [[convergent (sequence)|converges]] (has a ''convergent subsequence'') |
# {{M|X}} is [[totally bounded]] and [[complete metric space|complete]] | # {{M|X}} is [[totally bounded]] and [[complete metric space|complete]] | ||
Revision as of 16:15, 1 December 2015
Statement of theorem
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 (has a convergent subsequence)
- X is totally bounded and complete
Notes
- Jump up ↑ To say statements are equivalent means we have one ⟺ one of the other(s)
References
