Eine Topologie auf C(X,Y), dem Raum der stetigen Abbildungen von X nach Y, erzeugt von subbasis-Elementen der Form [K,U]={f∈C(X,Y): f(K)⊂U}, wobei K⊂X kompakt und U⊂Y offen ist; sie beschreibt die Kontrolle von Abbildungen auf kompakten Teilmengen des Definitionsbereichs.

Prinzip

Man verwendet kompakte Teilmengen der Quelle zusammen mit offenen Zielmengen, um Umgebungen von Funktionen zu definieren; Konvergenz bedeutet gleichmäßige Kontrolle auf jedem festen Kompaktum anstatt auf dem ganzen Träger oder allein punktweise.

Demonstration

Ist X lokal kompakt und Hausdorff und Y metrisch, so stimmt die kompakt-offene Topologie auf C(X,Y) mit der Topologie der gleichmäßigen Konvergenz auf Kompakta überein: f_n→f genau dann, wenn sup_{x∈K} d(f_n(x),f(x))→0 für jedes kompakte K⊂X.

Fehlanwendung

Anzunehmen, die kompakt-offene Topologie impliziere gleichmäßige Konvergenz auf dem gesamten Träger bei nichtkompaktem X, oder zu glauben, sie sei stets metrisierbar, führt zu falschen Aussagen über Stetigkeit von Grenzwerten oder Kompaktheit von Funktionsfamilien.

Konsequenz

Die Evaluationsabbildungen ev_x:C(X,Y)→Y sind für jedes x∈X stetig, und Unter- bzw. Zusammensetzungen sind unter schwachen Voraussetzungen stetig; die Topologie eignet sich gut für Homotopietheorie und Abbildungsräume durch ihren Kompakt-Kontrollcharakter.

Umkehrung

Die punktweise (Produkt-)Topologie ist schwächer — sie kontrolliert nur Werte an einzelnen Punkten — wohingegen die Topologie der gleichmäßigen Konvergenz auf dem ganzen Träger stärker ist; die kompakt-offene Topologie liegt zwischen diesen Extremen, wenn X nicht kompakt ist.

Abgrenzung

Definiert für stetige Abbildungen zwischen topologischen Räumen und abhängig von den Kompakta in X; besonders nützlich, wenn X viele kompakte Teilmengen hat (lokal kompakte Räume); sie liefert nicht automatisch Metrik oder Vollständigkeit von C(X,Y).

Semantische Spannung

Steht im Spannungsfeld zur Produkt- (punktweisen) Topologie und zu gleichmäßigen Konvergenztopologien; in manchen Fällen stimmt die kompakt-offene Topologie mit der durch uniforme Metriken auf Kompakta induzierten Topologie überein, was Fragen zur fundamentalen Struktur aufwirft.

Synthese

Die kompakt-offene Topologie gibt Funktionsräumen eine Topologie, die Nähe über gleichmäßige Kontrolle auf Kompakta misst: Umgebungen fordern, dass das Bild eines Kompakts in ein vorgegebenes offenes Ziel liegt und verknüpfen so Kompaktheit und Stetigkeit.