Angenommen, \(X\) ist nicht kompakt. Dann gibt es ein System von offenen Mengen \(\mathcal O\), sodass \(\bigcup\mathcal O=X\) und für jedes endliche \(\mathcal E\subseteq O\) gilt \(\bigcup E\neq X\). Betrachte nun $$B=\left\{X-\bigcup E\ |\ E\subseteq\mathcal O\text{ endl.}\right\}.$$ Dann ist \(\{W\supseteq A:A\in B\}\) ein Filter (warum?). Dann gibt es einen Ultrafilter \(\varphi\), der diesen Filter umfasst. Was folgt dann aus der Annahme?
Punkte: 11.27K
Wir haben die Rückrichtung zu dieser äquivalenten Aussage gezeigt anstatt zur Kompaktheit selbst ─ jojoliese 25.01.2021 um 10:00