Content deleted Content added
Asher Reich (talk | contribs) →Topological Statement: Added links Tags: canned edit summary Mobile edit Mobile app edit |
Asher Reich (talk | contribs) →Topological Statement: Fixed grammar 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>
| |||