C₀-Funktion

Normalverteilungen werden durch stetige Dichtefunktionen beschrieben, die zwar nie den Wert 0 annehmen, aber im Unendlichen verschwinden.

In der Mathematik ist eine $C_{0}$ -Funktion eine stetige Funktion, die anschaulich betrachtet im Unendlichen verschwindet. Die Menge aller $C_{0}$ -Funktionen bildet einen normierten Raum.

Definition

Sei $X$ ein topologischer Raum (beispielsweise die reellen Zahlen $\mathbb {R}$ oder der $\mathbb {R} ^{n}$ ). Eine Funktion $f\colon X\to \mathbb {K}$ mit $\mathbb {K} =\mathbb {R}$ oder $\mathbb {K} =\mathbb {C}$ verschwindet im Unendlichen genau dann, wenn für jede Umgebung $U\subset \mathbb {K}$ der Null eine kompakte Teilmenge (im Falle des $\mathbb {R} ^{n}$ eine beschränkte Teilmenge) $K$ von $X$ existiert, sodass das Bild $f(X\setminus K)$ Teilmenge von $U$ ist. Ist $f$ zudem stetig, so nennt man $f$ eine $C_{0}$ -Funktion. Die Menge aller dieser Funktionen wird mit $C_{0}(X,\mathbb {K} )$ oder – falls keine Missverständnisse zu befürchten sind – mit $C_{0}(X)$ bezeichnet.

Man betrachtet diesen Begriff dabei nur für lokalkompakte Hausdorffräume, denn für Nicht-Hausdorffräume ist das Konzept der Kompaktheit eher pathologisch und für einen nicht lokalkompakten Hausdorffraum müssten alle Punkte ohne eine kompakte Umgebung Nullstellen einer jeden $C_{0}$ -Funktion sein: Keine Umgebung des jeweiligen Punktes ist in einem Kompaktum enthalten, somit werden in jeder Umgebung von der Funktion Werte beliebig nahe der Null angenommen, aufgrund der Stetigkeit ist der Punkt damit Nullstelle. Somit wäre etwa in jedem nicht lokalkompakten, homogenen Hausdorffraum – typisches Beispiel wäre ein unendlichdimensionaler normierter Raum (siehe auch Kompaktheitssatz von Riesz) – jede $C_{0}$ -Funktion gleich 0. Daher sei im Folgenden $X$ stets lokalkompakt und Hausdorffsch.

Abstraktere Definition: $f\in C(X)$ ( $C(X)$ sei der Raum aller stetigen Funktionen auf $X$ ) ist genau dann eine $C_{0}$ -Funktion, wenn $X$ kompakt ist oder der Bildfilter unter $f$ des Filters ${\mathfrak {F}}$ , der von den Komplementen kompakter Teilmengen von $X$ erzeugt wird, gegen 0 konvergiert.^[1]

Beispiele

Jede reelle Funktion, die außerhalb einer beschränkten Menge 0 ist, verschwindet im Unendlichen. Ist sie stetig, ist sie eine $C_{0}$ -Funktion.
Allgemeiner ist jede stetige Funktion mit kompaktem Träger eine $C_{0}$ -Funktion.
Insbesondere ist auch jede stetige Funktion auf einem kompakten Raum eine $C_{0}$ -Funktion.
Die Dichtefunktion einer Normalverteilung, im Wesentlichen $x\mapsto \exp(-x^{2})$ zuzüglich Skalierungen und Verschiebungen, ist eine $C_{0}$ -Funktion.
Eine Funktion $f\colon \mathbb {R} \to \mathbb {R}$ ist genau dann eine $C_{0}$ -Funktion, wenn sie stetig ist und $\textstyle \lim _{x\to +\infty }f(x)=\lim _{x\to -\infty }f(x)=0$ gilt.
Sei $X$ diskret. Die kompakten Mengen sind dann genau die endlichen Mengen. Das heißt, eine Funktion liegt genau dann in $C_{0}(X)$ , wenn sie für jedes $\varepsilon$ nur endlich viele Male einen Wert annimmt, der betragsmäßig größer als $\varepsilon$ ist. Die Forderung nach Stetigkeit ist in diesem Fall keine Einschränkung, da jede Funktion auf einem diskreten Raum stetig ist. Man bezeichnet $C_{0}(X)$ dann als $c_{0}(X)$ , wobei $X$ eine beliebige Menge sei, die topologische Struktur also nicht vorausgesetzt wird. Für $X=\mathbb {N}$ ist dies gerade der Folgenraum $c_{0}$ aller Nullfolgen.
Ist $X$ nicht kompakt, so ist die konstante Funktion mit Wert 1 stetig, aber nicht $C_{0}$ .

Normierter Raum

Die Summe von zwei $C_{0}$ -Funktionen ist wiederum eine $C_{0}$ -Funktion, ebenso das punktweise Produkt mit einer reellen bzw. komplexen Zahl. Damit bildet $C_{0}(X)$ einen Vektorraum. Zudem ist jede $C_{0}$ -Funktion beschränkt: Sei hierfür $K$ ein Kompaktum, dessen Existenz nach Definition garantiert ist, sodass außerhalb dieses Kompaktums die Funktion betragsmäßig kleiner als eine beliebige positive reelle Zahl wird. Somit ist die Funktion außerhalb des Kompaktums beschränkt. Innerhalb des Kompaktums ist sie ebenfalls beschränkt, da eine stetige Funktion auf einem Kompaktum stets beschränkt ist. Somit ist die Funktion auf dem ganzen Raum beschränkt. Daher lässt sich der Raum $C_{0}(X)$ mit der Supremumsnorm $\|\cdot \|_{\infty }$ ausstatten. $C_{0}(X)$ wird damit zu einem normierten Raum. Dieser ist vollständig bezüglich der Norm und somit ein Banachraum. Er kann als abgeschlossener Untervektorraum, d. h. als Unterbanachraum, des Raumes aller beschränkter Funktionen mit der Supremumsnorm aufgefasst werden.

Die stetigen Funktionen mit kompaktem Träger $C_{c}(X)$ bilden einen dichten Untervektorraum von $C_{0}(X)$ . Man sieht leicht ein, dass jeder gleichmäßige Limes (d. h. bezüglich der Supremumsnorm) von $C_{c}$ -Funktionen eine $C_{0}$ -Funktion ist. Umgekehrt nutzt man die Tatsache aus, dass in einem lokalkompakten Raum für jede kompakte Teilmenge $K$ eine stetige Funktion $g\colon X\to [0,1]$ mit kompaktem Träger existiert, die auf $K$ den Wert 1 annimmt (siehe auch Zerlegung der Eins): Sei $f\in C_{0}(X)$ , $\varepsilon >0$ und $|f(x)|<\varepsilon$ für $x\notin K$ . Wähle eine Funktion $g$ wie oben beschrieben. Dann ist $fg\in C_{c}(X)$ und $\|fg-f\|_{\infty }<\varepsilon$ .^[2] Beispiel: Im Fall von Folgenräumen bezeichnet man $C_{c}(\mathbb {N} )$ , $\mathbb {N}$ versehen mit der diskreten Topologie, als $c_{00}$ , das ist die Menge aller Folgen, die schlussendlich nur noch den Wert 0 annehmen. Diese ist dicht im Raum der Nullfolgen $c_{0}$ .

Algebra

Das punktweise Produkt von zwei $C_{0}$ -Funktionen ist wiederum eine $C_{0}$ -Funktion, somit bildet $C_{0}(X)$ eine kommutative Algebra. Sogar das Produkt einer $C_{0}$ -Funktion mit einer beliebigen beschränkten stetigen Funktion ist wiederum eine $C_{0}$ -Funktion, womit sie ein abgeschlossenes Ideal in dem Raum der beschränkten Funktionen bilden. Offenbar gilt für $f,g\in C_{0}(X)$ die Ungleichung $\|f\cdot g\|_{\infty }\leq \|f\|_{\infty }\|g\|_{\infty }$ . Daher ist $C_{0}(X)$ eine Banach-Algebra. Sei nun $f^{*}$ die punktweise komplexe Konjugation von $f$ bzw. einfach nur $f$ im reellen Fall, dann gilt $\|f^{*}f\|_{\infty }=\|f\|_{\infty }^{2}$ . Daher bildet $C_{0}(X)$ mit dieser Involution sogar eine kommutative C*-Algebra. Nach dem Satz von Gelfand-Neumark ist jede kommutative, komplexe C*-Algebra isomorph zu einem Raum $C_{0}(X,\mathbb {C} )$ für einen lokalkompakten Hausdorffraum $X$ . Es ist $C_{c}(X)$ ein Ideal in $C_{0}(X)$ .

Alexandroff-Kompaktifizierung

Sei in diesem Abschnitt $X$ nicht kompakt. Der oben definierte Filter ${\mathfrak {F}}$ konvergiert nicht auf $X$ , wohl aber sein Bildfilter. Die Alexandroff-Kompaktifizierung ${\bar {X}}$ des Raums $X$ ist nun der Raum ergänzt um einen unendlich fernen Punkt $\infty$ , gegen den dieser Filter konvergieren möge. Seine Umgebungen seien gerade die Elemente von ${\mathfrak {F}}$ vereinigt mit $\{\infty \}$ , ${\bar {\mathfrak {F}}}:=\{U\cup \{\infty \}\mid U\in {\mathfrak {F}}\}$ . Dieser Raum ist kompakt und jede Funktion $f\in C_{0}(X)$ lässt sich zu einer Funktion ${\bar {f}}\colon X\to \mathbb {K}$ fortsetzen mit $f(\infty )=0$ . Diese Fortsetzung ist stetig, denn das Bild von ${\bar {\mathfrak {F}}}$ konvergiert gegen 0, das Bild von $\infty$ . Umgekehrt lässt sich zeigen, dass sich eine Funktion auf einem lokalkompakten Hausdorffraum genau dann zu einer stetigen Funktion auf der Alexandroff-Kompaktifizierung fortsetzen lässt, wenn sie die Form $k+f$ mit $k\in \mathbb {K}$ und $f\in C_{0}(X)$ hat.

Satz von Stone-Weierstraß und Separabilität

Durch Fortsetzung auf die Alexandroff-Kompaktifizierung lässt sich der Satz von Stone-Weierstraß von stetigen Funktionen auf einem kompakten Raum auf die $C_{0}$ -Funktionen auf einem lokalkompakten Raum übertragen: Es gilt, dass jede abgeschlossene, punktetrennende, involutive (d. h. auch unter der Konjugation abgeschlossene) Unteralgebra von $C_{0}(X)$ entweder $C_{0}(X)$ selbst oder eine Unteralgebra $\{f\in C_{0}(X)\mid f(x_{0})=0\}$ für ein $x_{0}\in X$ ist. Somit folgt wiederum, dass $C_{c}(X)$ dicht in $C_{0}(X)$ liegt.

Unter Verwendung des Satzes von Stone-Weierstraß lässt sich zeigen, dass $C_{0}(X)$ genau dann separabel ist, wenn der Raum $X$ das zweite Abzählbarkeitsaxiom erfüllt.^[3] Erfülle zunächst $X$ das zweite Abzählbarkeitsaxiom. Man wähle nun eine abzählbare Basis ${\mathcal {B}}$ der Topologie aus relativ kompakten Teilmengen, dies ist möglich, indem man aus einer abzählbaren Basis einfach alle nicht relativ kompakten Elemente streicht. Für ${\overline {U}}\subset V$ mit $U,V\in {\mathcal {B}}$ wähle eine stetige Funktion, die den Wert 1 auf ${\overline {U}}$ und 0 außerhalb von $V$ annimmt. So erhält man eine abzählbare Menge von $C_{c}$ -Funktionen, die sich zu einer abzählbaren $\mathbb {Q}$ - (bzw. $\mathbb {Q} [i]$ - im komplexen Fall) Unteralgebra ergänzen lässt. Diese ist punktetrennend und an keinem Punkt stets 0, denn für $x,y\in X$ gibt es Umgebungen $U,V\in {\mathcal {B}}$ von $x$ mit ${\overline {U}}\subset V$ , die $y$ nicht enthalten. Die entsprechende Funktion nimmt dann bei $x$ den Wert 1 und bei $y$ den Wert 0 an. Damit ist diese Unteralgebra nach dem Satz von Stone-Weierstraß dicht in $C_{0}(X)$ . Umgekehrt folgt aus der Separabilität von $C_{0}(X)$ auch, dass $X$ das zweite Abzählbarkeitsaxiom erfüllt: Sei eine abzählbare dichte Teilmenge $S$ von $C_{0}(X)$ gegeben. Diese trennt Punkte von abgeschlossenen Mengen, denn für jeden Punkt $x$ und jede abgeschlossene Menge $A\not \ni x$ existiert eine $C_{0}$ -Funktion, die auf $A$ den Wert 0 und bei $x$ den Wert 1 annimmt, also auch eine Funktion in $S$ , die auf $A$ betragsmäßig kleiner als $\textstyle {\frac {1}{2}}$ und bei $x$ betragsmäßig größer als $\textstyle {\frac {1}{2}}$ ist. $X$ trägt somit die Initialtopologie bezüglich $S$ .^[4] Eine abzählbare Subbasis und damit eine abzählbare Basis ergeben sich aus den Urbildern bezüglich der Funktionen in $S$ einer abzählbaren Basis in $\mathbb {K}$ .

Dualraum

Nach einer Variante des Darstellungssatzes von Riesz-Markow entsprechen die positiven (linearen) Funktionale auf dem Raum $C_{c}(X)$ der stetigen Funktionen mit kompakten Träger genau dem Raum der regulären Maße, d. h. für jedes positive Funktional existiert ein reguläres Maß $\mu$ , sodass das Funktional nichts anderes als die Abbildung $f\mapsto \textstyle \int f\mathrm {d} \mu$ ist. Ein solches Funktional lässt sich genau dann zu einem stetigen Funktional auf $C_{0}(X)$ fortsetzen, wenn es selbst stetig, das heißt beschränkt ist, denn $C_{0}(X)$ ist die Vervollständigung von $C_{c}(X)$ und die Fortsetzbarkeit ergibt sich direkt aus der universellen Eigenschaft der Vervollständigung. Diese Fortsetzung ist eindeutig. Umgekehrt lässt sich natürlich jedes positive stetige Funktional auf $C_{0}(X)$ zu einem auf $C_{c}(X)$ einschränken. Die positiven stetigen Funktionale auf $C_{0}(X)$ entsprechen somit genau den regulären, endlichen Maßen auf $X$ . Jedes Element des Dualraums $C_{0}(X)^{\prime }$ , d. h. jedes stetige Funktional auf $C_{0}(X)$ , lässt sich als Differenz zweier positiver stetiger Funktionale (im komplexen Fall kommen positive und negative komplexe Komponenten hinzu) darstellen. Diese entsprechen endlichen regulären Maßen, die sich mittels der Hahn-Jordan-Zerlegung wiederum zu einem signierten Maß (bzw. im komplexen Fall komplexen Maß) zusammensetzen lassen. Der Dualraum $C_{0}(X)^{\prime }$ entspricht damit genau den regulären, endlichen signierten bzw. komplexen Maßen. Genauer: Stattet man diese Maße mit der Variationsnorm aus (für positive Maße ist das gerade das Maß des gesamten Raumes), bilden sie einen Banachraum, der isomorph zu $C_{0}(X)^{\prime }$ ist mittels des Isomorphismus, der jedem regulären, endlichen signierten bzw. komplexen Maß $\mu$ das Funktional $f\mapsto \textstyle \int f\mathrm {d} \mu$ zuordnet.^[5]

Siehe auch

Einzelnachweise

↑ Alexander Grothendieck: Topological vector spaces. Gordon & Breach, 1973, ISBN 0-677-30025-5, S. 29.
↑ Gerald B. Folland: Real Analysis. Modern Techniques and Their Applications. 2. Auflage. John Wiley & Sons, New York 1999, ISBN 0-471-31716-0, S. 132.
↑ Chun-Yen Chou , Notes on the separability of $C^{*}$ -algebras, Taiwanese Journal of Mathematics, 2012
↑ Stephen Willard: General Topology. Addison-Wesley, 1970, S. 57.
↑ Folland, S. 221 ff.

[1] Alexander Grothendieck: Topological vector spaces. Gordon & Breach, 1973, ISBN 0-677-30025-5, S. 29.

[2] Gerald B. Folland: Real Analysis. Modern Techniques and Their Applications. 2. Auflage. John Wiley & Sons, New York 1999, ISBN 0-471-31716-0, S. 132.

[3] Chun-Yen Chou , Notes on the separability of $C^{*}$ -algebras, Taiwanese Journal of Mathematics, 2012

[4] Stephen Willard: General Topology. Addison-Wesley, 1970, S. 57.

[5] Folland, S. 221 ff.

[1]

[2]

[3]

[4]

[5]

Syntax

C₀-Funktion

Inhaltsverzeichnis

Definition

Beispiele

Normierter Raum

Algebra

Alexandroff-Kompaktifizierung

Satz von Stone-Weierstraß und Separabilität

Dualraum

Siehe auch

Einzelnachweise

What are your Feelings

C0-Funktion

Definition

Beispiele

Normierter Raum

Algebra

Alexandroff-Kompaktifizierung

Satz von Stone-Weierstraß und Separabilität

Dualraum

Siehe auch

Einzelnachweise

What are your Feelings

Share This Article :

C₀-Funktion