Topologischer Raum/Noethersch/Quasikompakt/Fakt

Ein topologischer Raum ${}X$

ist genau dann noethersch, wenn in ihm jede offene Teilmenge quasikompakt ist.

Zum Beweis, Alternativen Beweis erstellen