imported>Christian1985: /* Normierter Raum */

2026-03-25T17:16:32Z

Normierter Raum

Neue Seite

{{DISPLAYTITLE:C<sub>0</sub>-Funktion}}
{{Dieser Artikel|beschäftigt sich mit stetigen Funktionen, die im Unendlichen verschwinden. Für differenzierbare Funktionen mit kompaktem Träger siehe [[Testfunktion]].}}

[[Datei:Normalverteilung.svg|miniatur|[[Normalverteilung]]en werden durch stetige [[Dichtefunktion]]en beschrieben, die zwar nie den Wert 0 annehmen, aber im Unendlichen verschwinden.]]
[[Datei:Gaussian 2d.svg|miniatur|Auch die Dichtefunktion einer [[Mehrdimensionale Normalverteilung|zweidimensionalen Normalverteilung]] verschwindet im Unendlichen: Jede feste Höhe wird nur innerhalb eines Kreises mit endlichem Radius überschritten.]]
In der [[Mathematik]] ist eine '''<math>C_0</math>-Funktion''' eine [[stetig]]e [[Funktion (Mathematik)|Funktion]], die anschaulich betrachtet im Unendlichen verschwindet. Die Menge aller <math>C_0</math>-Funktionen bildet einen [[normierter Raum|normierten Raum]].

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

Man betrachtet diesen Begriff dabei nur für [[lokalkompakt]]e [[Hausdorffraum|Hausdorffräume]], denn für einen nicht lokalkompakten Hausdorffraum müssten alle Punkte ohne eine kompakte Umgebung Nullstellen einer jeden <math>C_0</math>-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, [[homogener Raum|homogenen]] Hausdorffraum – typisches Beispiel wäre ein unendlichdimensionaler [[normierter Raum]] (''siehe auch [[Kompaktheitssatz von Riesz]]'') – jede <math>C_0</math>-Funktion gleich 0. Daher sei im Folgenden <math>X</math> stets lokalkompakt und Hausdorffsch.

Abstraktere Definition: <math>f\in C(X)</math> (<math>C(X)</math> sei der Raum aller stetigen Funktionen auf <math>X</math>) ist genau dann eine <math>C_0</math>-Funktion, wenn <math>X</math> kompakt ist oder der Bildfilter unter <math>f</math> des [[Filter (Mathematik)|Filter]]s <math>\mathfrak{F}</math>, der von den Komplementen kompakter Teilmengen von <math>X</math> erzeugt wird, gegen 0 konvergiert.<ref>{{Literatur|Autor=[[Alexander Grothendieck]]|Titel=Topological vector spaces|Übersetzer=Orlando Chaljub|Jahr=1973|Verlag=Gordon & Breach|ISBN=0-677-30025-5|Seiten=29}}</ref>

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

== Normierter Raum ==
Die Summe von zwei <math>C_0</math>-Funktionen ist wiederum eine <math>C_0</math>-Funktion, ebenso das [[Punktweises Produkt|punktweise Produkt]] mit einer reellen bzw. komplexen Zahl. Damit bildet <math>C_0(X)</math> einen Vektorraum. Zudem ist jede <math>C_0</math>-Funktion beschränkt: Sei hierfür <math>K</math> 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 <math>C_0(X)</math> mit der [[Supremumsnorm]] <math>\|\cdot\|_\infty</math> ausstatten. <math>C_0(X)</math> wird damit zu einem [[Normierter Raum|normierten Raum]]. Dieser ist [[vollständiger Raum|vollständig]] bezüglich der Norm und somit ein [[Banachraum]]. Er kann als [[abgeschlossene Menge|abgeschlossener]] [[Untervektorraum]], d. h. als Unterbanachraum, des Raumes aller beschränkten Funktionen mit der Supremumsnorm aufgefasst werden.

Die stetigen Funktionen mit kompaktem [[Träger (Mathematik)|Träger]] <math>C_c(X)</math> bilden einen [[dichte Teilmenge|dichten]] [[Untervektorraum]] von <math>C_0(X)</math>. Man sieht leicht ein, dass jeder gleichmäßige Limes (d. h. bezüglich der Supremumsnorm) von <math>C_c</math>-Funktionen eine <math>C_0</math>-Funktion ist. Umgekehrt nutzt man die Tatsache aus, dass in einem lokalkompakten Raum für jede kompakte Teilmenge <math>K</math> eine stetige Funktion <math>g\colon X\to [0,1]</math> mit kompaktem Träger existiert, die auf <math>K</math> den Wert 1 annimmt (''siehe auch [[Zerlegung der Eins]]''): Seien <math>f\in C_0(X)</math>, <math>\varepsilon>0</math> und <math>|f(x)|<\varepsilon</math> für <math>x\notin K</math>. Wähle eine Funktion <math>g</math> wie oben beschrieben. Dann ist <math>fg\in C_c(X)</math> und <math>\|fg-f\|_\infty < \varepsilon</math>.<ref>{{Literatur|Autor=[[Gerald B. Folland]]|Titel=Real Analysis|TitelErg=Modern Techniques and Their Applications|Auflage=2.|Verlag=John Wiley & Sons|Ort=New York|Jahr=1999|ISBN=0-471-31716-0|Seiten=132}}</ref> Beispiel: Im Fall von Folgenräumen bezeichnet man <math>C_c(\N)</math>, <math>\N</math> versehen mit der diskreten Topologie, als <math>c_{00}</math>, das ist die Menge aller Folgen, die schließlich nur noch den Wert 0 annehmen. Diese ist dicht im Raum der Nullfolgen <math>c_0</math>.

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

== Alexandroff-Kompaktifizierung ==
{{Hauptartikel|Alexandroff-Kompaktifizierung}}
Sei in diesem Abschnitt <math>X</math> nicht kompakt. Der oben definierte Filter <math>\mathfrak{F}</math> konvergiert nicht auf <math>X</math>, wohl aber sein Bildfilter. Die Alexandroff-Kompaktifizierung <math>\bar{X}</math> des Raums <math>X</math> ist nun der Raum ergänzt um einen unendlich fernen Punkt <math>\infty</math>, gegen den dieser Filter konvergieren möge. Seine Umgebungen seien gerade die Elemente von <math>\mathfrak{F}</math> vereinigt mit <math>\{\infty\}</math>, <math>\bar{\mathfrak{F}}:=\{U\cup\{\infty\} \mid U\in\mathfrak{F}\}</math>. Dieser Raum ist kompakt und jede Funktion <math>f\in C_0(X)</math> lässt sich zu einer Funktion <math>\bar{f}\colon X\to \mathbb{K}</math> fortsetzen mit <math>f(\infty)=0</math>. Diese Fortsetzung ist stetig, denn das Bild von <math>\bar{\mathfrak{F}}</math> konvergiert gegen 0, das Bild von <math>\infty</math>. 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 <math>k+f</math> mit <math>k\in \mathbb{K}</math> und <math>f\in C_0(X)</math> 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 <math>C_0</math>-Funktionen auf einem lokalkompakten Raum übertragen: Es gilt, dass jede abgeschlossene, [[punktetrennend]]e, involutive (d. h. auch unter der Konjugation abgeschlossene) Unteralgebra von <math>C_0(X)</math> entweder <math>C_0(X)</math> selbst oder eine Unteralgebra <math>\{f\in C_0(X) \mid f(x_0)=0\}</math> für ein <math>x_0\in X</math> ist. Somit folgt wiederum, dass <math>C_c(X)</math> dicht in <math>C_0(X)</math> liegt.

Unter Verwendung des Satzes von Stone-Weierstraß lässt sich zeigen, dass <math>C_0(X)</math> genau dann [[Separabler Raum|separabel]] ist, wenn der Raum <math>X</math> das [[zweites Abzählbarkeitsaxiom|zweite Abzählbarkeitsaxiom]] erfüllt.<ref>Chun-Yen Chou
, ''[http://journal.taiwanmathsoc.org.tw/index.php/TJM/article/download/1786/1308 Notes on the separability of <math>C^*</math>-algebras]'', Taiwanese Journal of Mathematics, 2012</ref> Erfülle zunächst <math>X</math> das zweite Abzählbarkeitsaxiom. Man wähle nun eine [[Abzählbare Menge|abzählbare]] [[Basis (Topologie)|Basis]] <math>\mathcal{B}</math> der Topologie aus [[relativ kompakt]]en Teilmengen, dies ist möglich, indem man aus einer abzählbaren Basis einfach alle nicht relativ kompakten Elemente streicht. Für <math>\overline{U}\subset V</math> mit <math>U,V\in\mathcal{B}</math> wähle eine stetige Funktion, die den Wert 1 auf <math>\overline{U}</math> und 0 außerhalb von <math>V</math> annimmt. So erhält man eine abzählbare Menge von <math>C_c</math>-Funktionen, die sich zu einer abzählbaren <math>\Q</math>- (bzw. <math>\Q[i]</math>- im komplexen Fall) Unteralgebra ergänzen lässt. Diese ist punktetrennend und an keinem Punkt stets 0, denn für <math>x,y\in X</math> gibt es Umgebungen <math>U,V\in\mathcal{B}</math> von <math>x</math> mit <math>\overline{U}\subset V</math>, die <math>y</math> nicht enthalten. Die entsprechende Funktion nimmt dann bei <math>x</math> den Wert 1 und bei <math>y</math> den Wert 0 an. Damit ist diese Unteralgebra nach dem Satz von Stone-Weierstraß dicht in <math>C_0(X)</math>. Umgekehrt folgt aus der Separabilität von <math>C_0(X)</math> auch, dass <math>X</math> das zweite Abzählbarkeitsaxiom erfüllt: Sei eine abzählbare dichte Teilmenge <math>S</math> von <math>C_0(X)</math> gegeben. Diese trennt Punkte von abgeschlossenen Mengen, denn für jeden Punkt <math>x</math> und jede abgeschlossene Menge <math>A\not\ni x</math> existiert eine <math>C_0</math>-Funktion, die auf <math>A</math> den Wert 0 und bei <math>x</math> den Wert 1 annimmt, also auch eine Funktion in <math>S</math>, die auf <math>A</math> betragsmäßig kleiner als <math>\textstyle\frac{1}{2}</math> und bei <math>x</math> betragsmäßig größer als <math>\textstyle\frac{1}{2}</math> ist. <math>X</math> trägt somit die Initialtopologie bezüglich <math>S</math>.<ref>{{Literatur|Autor=Stephen Willard|Titel=General Topology|Verlag=[[Addison-Wesley]]|Jahr=1970|Seiten=57}}</ref> Eine abzählbare [[Subbasis]] und damit eine abzählbare Basis ergeben sich aus den Urbildern bezüglich der Funktionen in <math>S</math> einer abzählbaren Basis in <math>\mathbb{K}</math>.

== Dualraum ==
Nach einer Variante des [[Darstellungssatz von Riesz-Markow|Darstellungssatzes von Riesz-Markow]] entsprechen die [[positiver Operator|positiven]] (linearen) [[Funktional]]e auf dem Raum <math>C_c(X)</math> der stetigen Funktionen mit kompakten Träger genau dem Raum der [[reguläres Maß|regulären Maße]], d. h., für jedes positive Funktional existiert ein reguläres Maß <math>\mu</math>, sodass das Funktional nichts anderes als die Abbildung <math>f \mapsto \textstyle\int f \mathrm d\mu</math> ist. Ein solches Funktional lässt sich genau dann zu einem stetigen Funktional auf <math>C_0(X)</math> fortsetzen, wenn es selbst stetig, das heißt beschränkt ist, denn <math>C_0(X)</math> ist die Vervollständigung von <math>C_c(X)</math> und die Fortsetzbarkeit ergibt sich direkt aus der [[universelle Eigenschaft|universellen Eigenschaft]] der Vervollständigung. Diese Fortsetzung ist eindeutig. Umgekehrt lässt sich natürlich jedes positive stetige Funktional auf <math>C_0(X)</math> zu einem auf <math>C_c(X)</math> einschränken. Die positiven stetigen Funktionale auf <math>C_0(X)</math> entsprechen somit genau den regulären, endlichen Maßen auf <math>X</math>. Jedes Element des [[Dualraum]]s <math>C_0(X)^\prime</math>, d. h. jedes stetige Funktional auf <math>C_0(X)</math>, lässt sich als Differenz zweier positiver stetiger Funktionale (im komplexen Fall kommen positive und negative imaginäre Komponenten hinzu) darstellen. Diese entsprechen endlichen regulären Maßen, die sich mittels der [[Hahn-Jordan-Zerlegung]] wiederum zu einem [[signiertes Maß|signierten Maß]] (bzw. im komplexen Fall [[komplexes Maß|komplexen Maß]]) zusammensetzen lassen. Der Dualraum <math>C_0(X)^\prime</math> 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 [[Isometrische Isomorphie|isomorph]] zu <math>C_0(X)^\prime</math> ist mittels des Isomorphismus, der jedem regulären, endlichen signierten bzw. komplexen Maß <math>\mu</math> das Funktional <math>f \mapsto \textstyle\int f \mathrm d\mu</math> zuordnet.<ref>Folland, S. 221 ff.</ref>

== Siehe auch ==
* [[Schwartz-Raum]]
* [[Testfunktion]]

== Einzelnachweise ==
<references/>

[[Kategorie:Funktionalanalysis]]
[[Kategorie:Topologie]]

C0-Funktion - Versionsgeschichte

imported>Christian1985: /* Normierter Raum */