Content deleted Content added
→Proof: clarification. The open cover is it on the compact space C_0, not in S |
Asher Reich (talk | contribs) →Topological Statement: Added links Tags: canned edit summary Mobile edit Mobile app edit |
||
Line 2:
==Topological Statement==
Let <math>S</math> be a [Hausdorff Space|Hausdorff topological space]. A decreasing nested sequence of non-empty compact subsets of <math>S</math> has a non-empty intersection. In other words, supposing (''C''<sub>''k''</sub>) is a sequence of non-empty, compact subsets of <math>S</math> satisfying
:<math>C_0 \supseteq C_1 \supseteq \cdots C_k \supseteq C_{k+1} \cdots, </math>
| |||