Baire-Kategorienmethode

Eine Methode, die den Baire-Kategorie-Satz nutzt, um Existenz- oder Generizitätsaussagen zu beweisen, indem gezeigt wird, dass die Menge der Objekte mit einer gewünschten Eigenschaft komma-überdeckend (Schnitt abzählbar vieler dichter offener Mengen) oder zumindest nicht mager in einem Baire-Raum wie einem vollständigen metrischen Raum oder einem lokal kompakten Hausdorff-Raum ist.

Eine Technik, die den Satz von Baire anwendet, um generische Existenz- oder Dichtheitsresultate zu gewinnen, indem gezeigt wird, dass eine abzählbare Schnittmenge dichter offener Mengen (eine dichte G_δ-Menge) die typischen Objekte mit einer gegebenen Eigenschaft in einem vollständigen metrischen Raum oder Baire-Raum enthält.