Content deleted Content added
change link |
Alsosaid1987 (talk | contribs) →Topological Statement: compact does not imply closed in general topological spaces. need to add closed to theorem statement. |
||
Line 3:
==Topological Statement==
'''Theorem.''' ''Let <math>S</math> be a [[topological space]]. A decreasing nested sequence of non-empty compact, closed subsets of <math>S</math> has a non-empty intersection. In other words, supposing <math>(C_k)_{k \geq 0}</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>
| |||