Revision as of 07:06, 27 July 2018 edit 63.139.68.84 (talk) →Proof: Improved coherence of notation with respect to the remaining of the argument. Tags: Mobile edit Mobile web edit ← Previous edit		Revision as of 04:07, 21 October 2018 edit undo Adley Chen (talk \| contribs) 47 edits →Topological Statement Next edit →
Line 2: ==Topological Statement== Let <math>S</math> be a [[~~Hausdorff~~Topological 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>

Cantor's intersection theorem: Difference between revisions