Content deleted Content added
Adley Chen (talk | contribs) |
m →Proof: "Since ..., thus" becomes "Since ..., we have" |
||
Line 11:
=== Proof ===
Assume, by way of contradiction, that <math>\bigcap C_n=\emptyset</math>. For each n, let <math>U_n=C_0\setminus C_n</math>. Since <math>\bigcup U_n=C_0\setminus\bigcap C_n</math> and <math>\bigcap C_n=\emptyset</math>,
Since <math>C_0</math>⊂<math>S</math> is compact and <math>(U_n)</math> is an open cover (on <math>C_0</math>) of <math>C_0</math>, we can extract a finite cover <math>\{U_{n_1}, U_{n_2}, \ldots, U_{n_m}\}</math>. Let <math>U_k</math> be the largest set of this cover, which exists by the ordering hypothesis on the collection <math> (C_n).</math> Then <math>C_0</math>⊂<math>U_k</math>. But then <math>C_k=C_0\setminus U_k=\emptyset</math>, a contradiction.
| |||