Der Raum C_0(X) der stetigen skalarwertigen Funktionen auf einem lokal kompakten Hausdorff-Raum X, die am Unendlichen verschwinden, das heißt: zu jedem ε>0 gibt es ein kompaktes K ⊂ X mit |f(x)| < ε für x außerhalb von K; üblicherweise mit der Supremumsnorm versehen, wenn X nicht kompakt ist.

Prinzip

Das Verschwinden am Unendlichen kennzeichnet Funktionen, die durch kompakt getragene stetige Funktionen approximierbar sind, und kodiert Abklingen: Elemente werden außerhalb großer kompakter Mengen beliebig klein; diese Eigenschaft ist unter gleichmäßigen Grenzen stabil und wichtig für die Dualität mit Radon-Maßen.

Demonstration

Für X = R ist C_0(R) der Raum der stetigen Funktionen, die für |x| → ∞ gegen 0 gehen; kompakt getragene stetige Funktionen sind dicht in C_0(R) bezüglich der Supremumsnorm und zeigen damit die Approximation durch wirklich kompakt getragene Funktionen.

Fehlanwendung

Verschmelzung des Begriffs 'am Unendlichen verschwinden' mit kompakter Trägerbedingung (sie unterscheiden sich: Verschwinden erlaubt nichtnullende, aber abklingende Ränder) oder die Verwendung von C_0(X) bei nicht lokal kompakten Räumen, was übliche Dualitätsaussagen bricht.

Konsequenz

Als Banachraum unter der Supremumsnorm bietet C_0(X) einen Rahmen für Funktionalrechnung und Dualität: sein stetiger Dualraum lässt sich bei lokal kompakten Hausdorff-Räumen mit bestimmten Radon-Maßen identifizieren, wodurch lineare Funktionale maßtheoretisch darstellbar werden.

Umkehrung

Umkehrung: Betrachte C_b(X), den Raum aller beschränkten stetigen Funktionen: Beschränktheit ersetzt das Verschwinden am Unendlichen, Elemente müssen nicht verschwinden und die Dualeigenschaften ändern sich entsprechend.

Abgrenzung

Definiert für lokal kompakte Hausdorff-Räume; bei kompakter X gilt C_0(X) = C(X); nicht lokal kompakte Träger verlangen andere Räume und können Dichte- und Dualitätsresultate für C_0 ungültig machen.

Semantische Spannung

Spannung besteht zwischen dem Verschwinden am Unendlichen und kompakter Trägerschaft sowie zwischen Abklingbedingungen und bloßer Beschränktheit; ferner Spannung zu Abklingbegriffen in Lp- oder distributions-theoretischen Sinn, die Abkling anders quantifizieren.

Synthese

C_0(X) ist der Banachraum der stetigen Funktionen auf einem lokal kompakten Hausdorff-Raum, die am Unendlichen verschwinden; er fasst gleichmäßiges Abklingen zusammen, erlaubt Approximation durch kompakt getragene Funktionen und besitzt eine konkrete Dualbeschreibung via Maßen.