Topologischer Raum/Noethersch/Quasikompakt/Fakt/Beweis

Beweis

Zunächst ist in einem noetherschen Raum jede offene Teilmenge selbst noethersch. Für die Hinrichtung genügt es also zu zeigen, dass quasikompakt ist. Sei eine offene Überdeckung und angenommen, es gäbe keine endliche Teilüberdeckung. Dann kann man eine echt aufsteigende unendliche Kette von offenen Teilmengen der Form

mit endlich konstruieren. Es sei umgekehrt jede offene Teilmenge quasikompakt und eine aufsteigende Kette gegeben. Dann ist

offen und quasikompakt und daher gibt es eine endliche Teilüberdeckung. Dies bedeutet, dass es einen Index mit für alle gibt.