Stetige Funktion mit kompaktem Träger

Eine stetige Funktion mit kompaktem Träger ist eine spezielle stetige Funktion, die außerhalb eines Kompaktums nur den Wert 0 annimmt. Solche Funktionen spielen in der Funktionalanalysis eine wichtige Rolle, ebenso in der Stochastik und der Maßtheorie, wo sie als trennende Familie für Mengen von Maßen und die Definition von Konvergenzbegriffen verwendet werden.

Definition

Gegeben sei ein topologischer Raum $(X,\tau )$ und ein normierter Raum $(S,\|\cdot \|_{S})$ sowie eine Abbildung

$f\colon X\to S$.

Die Abbildung $f$ heißt eine stetige Funktion mit kompaktem Träger, wenn der Träger der Funktion, also die Menge

$\operatorname {supp} (f):={\overline {\{x\in X\mid f(x)\neq 0\}}}$

eine kompakte Menge ist und die Abbildung stetig ist. Es gilt also, dass die Urbilder offener Mengen (bezüglich der von $\|\cdot \|_{S}$ erzeugten Topologie) unter $f$ wieder offen sind, also in $\tau$ enthalten sind. Ist $X$ ein metrischer Raum, so bedeutet dies, dass für alle Folgen $(x_{n})_{n\in \mathbb {N} }$, die gegen $x_{0}$ konvergieren, die Bildfolge $(f(x_{n}))_{n\in \mathbb {N} }$ gegen $f(x_{0})$ konvergiert.

Die Menge aller stetigen Funktionen mit kompaktem Träger wird meist mit $C_{c}(X,S)$ oder $C_{c}^{0}(X,S)$ bezeichnet. Ist klar, um welche Räume es sich handelt, verzichtet man auch auf deren Angabe, dementsprechend finden sich für $S=\mathbb {K}$ oft die Bezeichnungen $C_{c}(X)$ oder $C_{c}^{0}(X)$

Struktur

Definiert man die Addition und die Skalarmultiplikation in $C_{c}(X;S)$ punktweise, also

$(f+g)(x):=f(x)+g(x){\text{ sowie }}(\lambda f)(x):=\lambda f(x){\text{ für alle }}x\in X$,

so ist $C_{c}(X;S)$ ein Vektorraum.

Des Weiteren ist jede stetige Funktion mit kompaktem Träger auch eine beschränkte Funktion.

Denn ist exemplarisch $X$ ein metrischer Raum, so existiert aufgrund der Stetigkeit zu jedem Punkt $x$ ein $\epsilon _{x}$, so dass

$f(B_{\epsilon _{x}}(x))\subset B_{1}(f(x))$

Überdeckt man nun den Träger von $f$ mit den offenen Mengen $(B_{\epsilon _{x}}(x))_{x\in \operatorname {supp} (f)}$, so existiert aufgrund der Kompaktheit eine endliche Indexmenge $I$, so dass $\left(B_{\epsilon _{x_{i}}}(x_{i})\right)_{i\in I}$ den Träger überdeckt. Somit gilt

$f(X)=f(\operatorname {supp} (f))\subset f\left(\bigcup _{i\in I}B_{\epsilon _{x_{i}}}(x_{i})\right)\subset \bigcup _{i\in I}B_{1}(f(x_{i}))$.

Also ist $f$ beschränkt. $C_{c}(X,S)$ ist damit ein Unterraum von $B(X,S)$, dem Raum der beschränkten Abbildungen. Für topologische Räume kann man diese Argumentation mithilfe einer Überdeckung des Trägers mit Mengen der Form $f^{-1}(B_{1}(f(x)))$ verallgemeinern.

Aufgrund der Beschränktheit ist die Definition der Supremumsnorm auf $C_{c}(X;S)$ durch

$\|f\|_{\operatorname {sup} }:=\sup _{x\in X}\|f(x)\|_{S}$

sinnvoll und macht $C_{c}(X;S)$ zu einem normierten Raum.

Übergeordnete Strukturen

$C_{c}(X)$ ist ein Unterraum von $C_{0}(X)$, dem Raum der stetigen, im Unendlichen verschwindenden Funktionen und der beschränkten stetigen Funktionen $C_{b}(X)$, es gelten also die Implikationen

$B(X)\supset C_{b}(X)\supset C_{0}(X)\supset C_{c}(X)$.

Außerdem ist für ein lokal endliches Maß (bzw. Borel-Maß) $\mu$ auf einem Hausdorffraum $X$ jede stetige Funktion mit kompaktem Träger auch integrierbar, da

$\int _{X}f\mathrm {d} \mu =\int _{X}f\chi _{K}\mathrm {d} \mu \leq \mu (K)\|f\|_{\infty }<\infty$

da $\mu (K)<\infty$ aufgrund der lokalen Endlichkeit. Somit ist in diesem Fall $C_{c}(X)\subset {\mathcal {L}}^{1}(X,{\mathcal {A}},\mu )$.

Untergeordnete Strukturen

Ein wichtiger Unterraum der stetigen Funktionen mit kompaktem Träger sind die Testfunktionen.

Wichtige Aussagen

Nach dem Darstellungssatz von Riesz-Markow lässt sich in einem lokalkompaktem Hausdorffraum $X$ jede positive Linearform

$I\colon C_{c}(X)\to \mathbb {K}$

darstellen als

$I(f)=\int f\mathrm {d} \mu$,

wobei $\mu$ ein eindeutig bestimmtes Radon-Maß ist. Dabei heißt eine Linearform positiv, wenn aus $f\geq 0$ immer $I(f)\geq 0$ folgt.

Literatur

• Hans Wilhelm Alt: Lineare Funktionalanalysis. 6. Auflage. Springer-Verlag, Berlin Heidelberg 2012, ISBN 978-3-642-22260-3, doi:10.1007/978-3-642-22261-0. 
• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.