Content deleted Content added
Kegelschnitt (talk | contribs) mNo edit summary |
→Topological Statement: slight (reasonably inconsequential) change in notation |
||
Line 4:
'''Theorem.''' ''Let S be a [[Topological Space|topological space]]. A decreasing nested sequence of non-empty compact, closed subsets of S has a non-empty intersection. In other words, supposing <math>(C_k)</math> is a sequence of non-empty compact, closed subsets of S satisfying''
:<math>C_0 \supset C_1 \supset \cdots \supset C_n \supset C_{n+1} \supset \cdots, </math>
''it follows that''
| |||