Lokal gleichmäßige Konvergenz


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 spielt eine wichtige Rolle in der Analysis, da er Eigenschaften wie Stetigkeit oder Holomorphie erhält.

Inhaltsverzeichnis

Begriffsbildung

Wir betrachten zunächst eine Folge (f_n)_{n\in \N} von Funktionen f_n:X\rightarrow \R auf einem topologischen Raum X sowie eine weitere Funktion f:X\rightarrow \R. Man sagt, die Folge (f_n)_{n\in \N} konvergiere lokal gleichmäßig gegen f, wenn es zu jedem Punkt x\in X eine offene Umgebung Ux von x gibt, so dass \sup_{y\in U_x}|f_n(y)-f(y)| \rightarrow 0, das heißt, wenn die Einschränkungen der fn auf Ux dort gleichmäßig gegen die Einschränkung von f auf Ux konvergieren.

Verallgemeinerungen

Eine erste naheliegende Verallgemeinerung erhält man dadurch, dass man den Zielraum \R durch einen normierten Raum und den Betrag auf \R durch die zugehörige Norm ersetzt. Insbesondere gilt dies für den normierten Raum \C mit dem Absolutbetrag als Norm. Damit erhält man den für die Funktionentheorie wichtigen Begriff der lokal gleichmäßigen Konvergenz komplexwertiger Funktionen.

Im nächsten Schritt ersetzt man die Norm durch eine Menge von Halbnormen und fordert \sup_{y\in U_x}p(f_n(y)-f(y)) \rightarrow 0 für jede dieser Halbnormen p, wobei die Umgebung Ux auch von p abhängen darf. Damit kann man die lokal gleichmäßige Konvergenz von Funktionenfolgen f_n:X\rightarrow Y mit Werten in einem lokalkonvexen Raum betrachten. Schließlich benötigt man keine Halbnormen auf dem Zielraum; es genügen Halbmetriken, das heißt man ersetzt den Ausdruck p(fn(y) − f(y)) durch d(fn(y),f(y)), wobei d ein System von Halbmetriken durchläuft. Damit kommt als allgemeiner Zielraum eine beliebiger uniformer Raum in Frage.

Schließlich kann man noch die Folge (f_n)_{n\in \N} durch ein Netz (f_i)_{i\in I} ersetzen und erhält so:

Seien X ein topologischer Raum, Y ein uniformer Raum, dessen Uniformität durch eine System \mathcal D von Halbmetriken gegeben ist, (f_i)_{i\in I} ein Netz von Funktionen f_i:X\rightarrow Y und f:X\rightarrow Y eine Funktion. (f_i)_{i\in I} konvergiert lokal gleichmäßig gegen f, wenn es zu jeder Halbmetrik d\in{\mathcal D} und jedem Punkt x\in X eine offene Umgebung U_x\subset X gibt, so dass \sup_{y\in U_x}d(f_i(y),f(y)) \rightarrow 0.

Wichtige Anwendungen

Folgen stetiger Funktionen

  • Grenzwerte von lokal gleichmäßig konvergenten Folgen stetiger Funktionen sind wieder stetig.

Dieser Satz ist allgemeiner als der entsprechende Satz über gleichmäßige Konvergenz, zum Beispiel konvergiert e^x = \sum_{k=0}^\infty \frac{x^k}{k!} = \lim_{n\to \infty}\sum_{k=0}^n \frac{x^k}{k!} lokal gleichmäßig, aber nicht gleichmäßig.

Folgen holomorpher Funktionen

Dieser Satz ist in der Funktionentheorie von Bedeutung. Man beachte, dass ein entsprechender Satz in der reellen Theorie, das heißt für beliebig oft differenzierbare Funktionen, falsch ist.

Vergleich mit der kompakten Konvergenz

Aus der lokal gleichmäßigen Konvergenz folgt die kompakte Konvergenz. Ist nämlich (f_n)_{n\in \N} eine Folge von Funktionen f_n:X\rightarrow \R, die lokal gleichmäßig gegen f konvergiert, und ist K\subset X kompakt, so gibt es zu jedem x\in X eine offene Umgebung U_x\subset X, so dass auf dieser Umgebung gleichmäßige Konvergenz vorliegt. Da K kompakt ist, kann man K bereits durch endlich viele dieser Ux überdecken, und es folgt \sup_{y\in K}|f_n(y)-f(y)| \rightarrow 0 und damit die behauptete kompakte Konvergenz. (Der Beweis für Netze von Funktionen mit Werten in uniformen Räumen kann genauso geführt werden.)

Die Umkehrung gilt im Allgemeinen nicht, wohl aber in lokalkompakten Räumen, denn in diesen hat jeder Punkt definitionsgemäß eine Umgebung, deren Abschluss kompakt ist.

Da weite Teile der Analysis und Funktionentheorie auf lokalkompakten Räumen stattfinden und dort lokal gleichmäßige Konvergenz und kompakte Konvergenz zusammenfallen, wird nicht immer sauber zwischen beiden Konvergenzbegriffen unterschieden. Es sei daher angemerkt, dass der oben zitierte Satz über lokal gleichmäßige Grenzwerte stetiger Funktionen für die kompakte Konvergenz im Allgemeinen falsch ist, wie ein Beispiel auf dem Arens-Fort-Raum zeigt (siehe dort).

Quellen

  • Hans Grauert, Wolfgang Fischer: Differential- und Integralrechnung II, Springer Berlin Heidelberg New York (1978), ISBN 3-540-08697-8
  • Wolfgang Fischer, Ingo Lieb: Funktionentheorie, Friedr Vieweg & Sohn Verlagsgesellschaft mbH (1980), ISBN 3-528-07247-4

Wikimedia Foundation.

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

  • 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

  • Formale Laurentreihe — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurent-Entwicklung — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurent Reihe — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurentreihe — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurentreihen — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Laurent-Reihe — Die Laurent Reihe (nach Pierre Alphonse Laurent) ist eine unendliche Reihe ähnlich einer Potenzreihe, aber zusätzlich mit negativen Exponenten. Allgemein hat eine Laurent Reihe in x mit Entwicklungspunkt c diese Gestalt: Dabei sind die an und das …   Deutsch Wikipedia

  • Arens-Fort-Raum — Der Arens Fort Raum, benannt nach den Mathematikern R. F. Arens und M. K. Fort, ist ein speziell konstruiertes Beispiel eines topologischen Raumes, der auf Grund seiner Eigenschaften oft als Gegenbeispiel verwendet wird. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Karl Theodor Weierstraß — Karl Weierstraß Karl Theodor Wilhelm Weierstraß (* 31. Oktober 1815 in Ostenfelde bei Ennigerloh/Münsterland; † 19. Februar 1897 in Berlin) war ein deutscher Mathematiker, der sich vor allem um die logisch fundierte Aufarbeitung der Analysis… …   Deutsch Wikipedia