Ein topologischer Raum X heißt kompaktgeneriert (k‑Raum), wenn seine Topologie durch kompakte Teilräume bestimmt ist: Eine Menge A ⊆ X ist genau dann abgeschlossen (offen) in X, wenn A ∩ K in K für jeden Kompacten K ⊆ X abgeschlossen (offen) ist; äquivalent dazu trägt X die finale Topologie bezüglich der Inklusionen seiner Kompakten.

Prinzip

Globale topologische Prüfungen auf Kompakte reduzieren, damit Konstruktionen (insbesondere Funktionenräume mit der kompakt-offenen Topologie) sich kategorientheoretisch gut verhalten; kompakte Teilmengen erzeugen die Topologie im Sinne der finalen/Quotient-Topologie.

Demonstration

CW‑Komplexe und lokal kompakte Hausdorff‑Räume sind kompaktgeneriert; die Kategorie kompaktgenerierter schwach‑Hausdorff'scher Räume ist eine gebräuchliche 'konveniente' Kategorie in der algebraischen Topologie, in der Produkte, Abbildungsräume und Kolimiten die erwarteten Eigenschaften besitzen.

Fehlanwendung

Kompaktgeneriert mit lokal kompakt oder sequentiell verwechseln: Ein Raum kann kompaktgeneriert sein, ohne lokal kompakt zu sein; das Nichtprüfen der kompaktgeneriert‑Eigenschaft kann dazu führen, dass Exponentialgesetze für Abbildungsräume versagen.

Konsequenz

Die Arbeit in der Kategorie kompaktgenerierter Räume stellt sicher, dass Abbildungsräume und viele kategoriale Konstruktionen gut funktionieren und mit erwarteten Operationen vertauschen, wodurch Pathologien der naiven Kategorie aller topologischen Räume vermieden und eine besser handhabbare Homotopietheorie ermöglicht werden.

Umkehrung

In der Gegensituation können Topologien, die nicht von Kompakten bestimmt werden, dazu führen, dass Abbildungen auf jedem Kompakten stetig sind, aber nicht global; solche Räume zerstören bequeme kategoriale Eigenschaften und erschweren die Konstruktion von Funktionenräumen.

Abgrenzung

Kompaktgenerierung ist eine Aussage über die Erzeugung der Topologie und impliziert nicht automatisch Hausdorff‑Eigenschaften, lokale Kompaktheit oder Metrisierbarkeit; Varianten (schwach Hausdorff, k‑Räume, k‑Kompaktheit) legen zusätzliche Trennungs‑ oder Kompaktheitsbedingungen fest.

Semantische Spannung

Semantische Spannung besteht zwischen kompaktgenerierten Räumen und anderen 'konvenienten' Kategorien (z. B. sequentielle Räume, lokal kompakte Räume): Jede Wahl tauscht unterschiedliche Abschluss‑ und technische Bequemlichkeiten für homotopie‑theoretische Konstruktionen gegeneinander aus.

Synthese

Ein kompaktgenerierter Raum ist ein Raum, dessen Topologie an Kompakta geprüft werden kann: Indem man verlangt, dass Stetigkeit und Abschluss auf Kompakten nachprüfbar sind, bildet diese Klasse von Räumen eine konveniente Kategorie, in der Abbildungsräume und homotopische Konstruktionen kohärent funktionieren.