Kompakte Konvergenz


Kompakte Konvergenz

In der Mathematik nennt man eine Folge oder Reihe von Funktionen auf einem topologischen Raum X mit Werten in einem normierten Raum E kompakt konvergent, wenn sie auf jeder kompakten Teilmenge von X gleichmäßig konvergiert.

Seine Bedeutung erhält der Begriff der kompakten Konvergenz aus der Tatsache, dass aus der lokal gleichmäßigen Konvergenz einer Folge oder Reihe von Funktionen die kompakte Konvergenz folgt und die Umkehrung für lokalkompakte Räume gilt.

Inhaltsverzeichnis

Die Topologie der Kompakten Konvergenz

Der Spezialfall normierter Räume

Es sei B = Bk(X,E) der Raum der Funktionen von X in den normierten Vektorraum (E,\|\cdot\|_E), die auf jeder kompakten Teilmenge von X beschränkt sind (im Sinne der Norm auf E). Nach Definition von B existiert für zwei Abbildungen f und g aus B der auf K eingeschränkte Abstand

 d_K(f,g):=\|\left.f\right|_K-\left.g\right|_K\|_\infty:=\sup_{x\in K} \|f(x)-g(x)\|_E

für jede (nichtleere) kompakte Teilmenge K von X. Für die Einschränkungen auf K ist dies eine Metrik, für B nur eine Pseudometrik, da die Einschränkungen von zwei verschiedenen Funktionen auf K übereinstimmen können. Die kompakte Konvergenz ist die Konvergenz bzgl. dieser Pseudometriken, das heißt ein Netz (f_{\alpha})_{\alpha \in A} konvergiert genau dann kompakt gegen f in B, falls d_K(f_\alpha,f)\rightarrow 0 für alle kompakten K\subset X.

Ist der Raum X lokalkompakt und lässt er sich als Vereinigung abzählbar vieler kompakter Mengen (K_j)_{j\in \Bbb N}, also in der Form X=\cup_{j\in \Bbb N}(K_j), darstellen, dann kann man diese Pseudometriken d_j=d_{K_j} zu der Metrik

d(f,g)=\sum\limits_{j=0}^{\infty} 2^{-j} \frac{d_j(f,g)}{1+d_j(f,g)}

auf B zusammensetzen. Damit wird (B,d) zu einem metrischen Raum.

In allgemeineren Fällen, wenn keine solche Darstellung für X möglich oder bekannt ist, lässt sich durch ein beliebiges System kompakter Mengen (K_j)_{j\in J}, das X überdeckt, mit den jeweiligen Pseudometriken d_j=d_{K_j} eine Familie von Pseudometriken (d_j)_{j\in J} auf B auswählen, die eine uniforme Struktur auf B definieren. Auch hierzu sind die technischen Details im Artikel Pseudometrik erläutert.

Verallgemeinung auf uniforme Räume

Nun sei E ein uniformer Raum, dessen uniforme Struktur durch ein System von Pseudometriken (d_i)_{i\in I} gegeben sei. Sei wieder Bk(X,E) der Raum aller Funktionen f:X\to E, die auf allen kompakten Mengen beschränkt sind, das heißt für die \sup_{x\in K}d_i(f(x),y) für jedes y\in E und jedes i\in I endlich ist. Ein wichtiger Unterraum ist der Raum aller stetigen Funktionen X\to E.

Ein Netz (f_{\alpha})_{\alpha \in A} von Funktionen in Bk(X,E) konvergiert genau dann kompakt gegen eine Funktion f\in B_k(X,E), wenn \sup_{x\in K}d_i(f_\alpha(x),f(x)) \stackrel{\alpha\in A}{\longrightarrow} 0 für alle i\in I und alle K\subset X kompakt. Auf Bk(X,E) erhält man durch das System der Pseudometriken di,K, wobei i\in I und K\subset X kompakt und d_{i,K}(f,g):= \sup_{x\in K}d_i(f(x),g(x)), eine uniforme Struktur.

Ist speziell E ein normierter Raum, so ist die uniforme Struktur auf E durch die Norm gegeben, und man erhält den oben vorgestellten Spezialfall.

Beispiele

  1. Potenzreihen analytischer Funktionen auf X=\Bbb R oder X=\Bbb C konvergieren innerhalb ihres Konvergenzintervalles bzw. -kreises kompakt.
  2. Ist X=\Bbb R, so bildet das System \{K_j:=[-j;j]\,|\,j\in\Bbb N\setminus \{0\}\} ein abzählbares System von kompakten Mengen, die \Bbb R überdecken. Damit kann eine Metrik der kompakten Konvergenz auf der Abbildungsmenge B_k(\Bbb R,\Bbb R) eingeführt werden.
  3. Ganz entsprechend kann man die Menge der kompakt beschränkten Abbildungen B_k(\Bbb R^n,\Bbb R^m) aus einem n-dimensionalen in einen m-dimensionalen reellen Vektorraum mit einer Metrik versehen. Als Überdeckung des Urbildraums können hier z. B. Würfel (der Kantenlänge 2j mit Schwerpunkt im Ursprung) oder Kugeln (mit Radius j um den Ursprung) gewählt werden.
  4. Ist X ein beschränktes, einfach zusammenhängendes Gebiet der komplexen Zahlenebene, dann lässt sich X durch die Mengen K_j := \left\{ x\in X\,|\, d_H(x,\partial X)\geq \tfrac{1}{j} \right\} überdecken (dH misst den Abstand vom Rand im Sinne der Hausdorff-Metrik, entsteht dabei für kleinere j\in\Bbb N die leere Menge, dann müssen diese aus der Familie der Pseudometriken bei der Definition der Metrik herausgenommen werden). Auch hier erweist sich damit die Topologie der kompakten Konvergenz als metrisierbar.

Vollständigkeit

Wichtige Abbildungsräume bilden mit der Topologie der kompakten Konvergenz eine vollständige uniforme Struktur. Zwei Beispiele: Die Räume \mathcal{C}(G) bzw. \mathcal{O}(G) der auf einem Gebiet G der komplexe Zahlenebene stetigen bzw. holomorphen Funktionen bilden bezüglich der uniformen Struktur der kompakten Konvergenz vollständige uniforme Raume. In klassischer Formulierung, d. h. ohne topologische Begriffe, lässt sich dies so aussprechen:

  • Sind in einem Gebiet G \subset \mathbb{C} die Funktionen f_n:G \rightarrow \mathbb{C}, n \in \mathbb{N}, alle stetig (bzw. holomorph), und ist die Folge (fn) kompakt konvergent gegen eine Grenzfunktion f, dann ist auch die Grenzfunktion f stetig (bzw. holomorph) in G.
  • Analoges gilt für Reihen \sum_{n=1}^\infty g_n und unendliche Produkte \prod_{n = 1}^\infty g_n, wenn man sie als Funktionenfolgen betrachtet.

Literatur

  • Boto von Querenburg: Mengentheoretische Topologie. 3. neu bearbeitete und erweiterte Auflage. Springer-Verlag, Berlin u. a. 2001, ISBN 3-540-67790-9 (Springer-Lehrbuch).
  • Reinhold Remmert: Funktionentheorie. 1. Band 2. überarbeitete und ergänzte Auflage. Springer, Berlin u. a. 1989, ISBN 3-540-51238-1 (Grundwissen Mathematik 5).
  • Reinhold Remmert: Funktionentheorie. 2. Band. Springer, Berlin u. a. 1991, ISBN 3-540-12783-6 (Grundwissen Mathematik 6).

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Kompakte — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Lokal gleichmäßige Konvergenz — Die lokal gleichmäßige Konvergenz ist ein mathematischer Begriff, der eine bestimmte Konvergenzart von Funktionenfolgen beschreibt und den Begriff der gleichmäßigen Konvergenz abschwächt. Dieser mit der kompakten Konvergenz eng verwandte Begriff… …   Deutsch Wikipedia

  • Chordal gleichmäßige Konvergenz — In der Analysis beschreibt gleichmäßige Konvergenz die Eigenschaft einer Funktionenfolge fn, mit einer vom Funktionsargument unabhängigen „Geschwindigkeit“ gegen eine Grenzfunktion f zu konvergieren. Im Gegensatz zu punktweiser Konvergenz erlaubt …   Deutsch Wikipedia

  • Gleichmässige Konvergenz — In der Analysis beschreibt gleichmäßige Konvergenz die Eigenschaft einer Funktionenfolge fn, mit einer vom Funktionsargument unabhängigen „Geschwindigkeit“ gegen eine Grenzfunktion f zu konvergieren. Im Gegensatz zu punktweiser Konvergenz erlaubt …   Deutsch Wikipedia

  • Gleichmäßige Konvergenz — In der Analysis beschreibt gleichmäßige Konvergenz die Eigenschaft einer Funktionenfolge , mit einer vom Funktionsargument unabhängigen „Geschwindigkeit“ gegen eine Grenzfunktion f zu konvergieren. Im Gegensatz zu punktweiser Konvergenz erlaubt… …   Deutsch Wikipedia

  • Funktionenfolge — Eine Funktionenfolge, die im nicht schraffierten Bereich gegen den natürlichen Logarithmus (rot) konvergiert. In diesem speziellen Fall handelt es sich um eine n te Partialsumme einer Potenzreihe, und n gibt die Anzahl der Summanden an. Eine… …   Deutsch Wikipedia

  • Funktionenreihe — Eine Funktionenfolge ist eine Folge, deren einzelne Glieder Funktionen sind. Funktionenfolgen und ihre Konvergenzeigenschaften sind für alle Teilgebiete der Analysis von großer Bedeutung. Vor allem wird hierbei untersucht, in welchem Sinne die… …   Deutsch Wikipedia

  • Grenzfunktion — Eine Funktionenfolge ist eine Folge, deren einzelne Glieder Funktionen sind. Funktionenfolgen und ihre Konvergenzeigenschaften sind für alle Teilgebiete der Analysis von großer Bedeutung. Vor allem wird hierbei untersucht, in welchem Sinne die… …   Deutsch Wikipedia

  • Kompakt konvergent — In der Mathematik nennt man eine Folge oder Reihe von Funktionen auf einem topologischen Raum X mit Werten in einem normierten Raum E kompakt konvergent, wenn sie auf jeder kompakten Teilmenge von X gleichmäßig konvergiert. Seine Bedeutung erhält …   Deutsch Wikipedia

  • Satz von Pontrjagin — Die Pontrjagin Dualität (nach Lew Semjonowitsch Pontrjagin) ist ein mathematischer Begriff aus der harmonischen Analyse. Einer lokalkompakten abelschen Gruppe wird eine weitere lokalkompakte abelsche Gruppe als Dualgrupe zugeordnet, derart dass… …   Deutsch Wikipedia