## [C\_0-Raum](/de/node/62521) Definition 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 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 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 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 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 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 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 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 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.