Topologischer Raum/Quasikompakt/Irreduzibler topologischer Filter/Fakt

Ein topologischer Raum ${}X$ ist

genau dann quasikompakt, wenn in ihm jeder irreduzible Filter konvergiert.

Zum Beweis, Alternativen Beweis erstellen