Schwache Konvergenz (Funktionalanalysis)

Die schwache Konvergenz ist ein Konvergenzbegriff in der Funktionalanalysis, einem Teilgebiet der Mathematik. Die schwache Konvergenz wird auf normierten Räumen definiert und liefert dort beispielsweise allgemeinere Kriterien für die Existenz von Minima und Maxima als die Konvergenz bezüglich der Norm des zugrundeliegenden Raumes.

Die schwache Konvergenz ist eng mit der schwachen Topologie verbunden und entspricht in einigen Fällen der Konvergenz bezüglich dieser Topologie. Jedoch kann es vorkommen, dass die Charakterisierung topologischer Eigenschaften durch Folgen (was bei der schwachen Konvergenz geschieht) nicht mit der rein topologischen Charakterisierung (wie sie bei der schwachen Topologie geschieht) zusammenfällt. So ist es möglich, dass abgeschlossene Mengen in der schwachen Topologie nicht schwach folgenabgeschlossen sind.

Definition

Gegeben sei ein normierter Raum sowie sein topologischer Dualraum , also der Vektorraum aller stetigen linearen Funktionale

$x'\colon X\to \mathbb {K}$ .

Eine Folge $(x_{n})_{n\in \mathbb {N} }$ in heißt dann schwach konvergent gegen (in ), wenn

$\lim _{n\to \infty }x'(x_{n})=x'(x)$ für alle $x'\in X'$

gilt.

Konvergiert die Folge $(x_{n})_{n\in \mathbb {N} }$ schwach gegen , so schreibt man $x_{n}\rightharpoonup x$ oder auch $x_{n}{\stackrel {\sigma }{\rightarrow }}x$ beziehungsweise $\textstyle \sigma {\text{-}}\!\lim _{n\to \infty }x_{n}=x$ . Zur klareren Abgrenzung der schwachen Konvergenz wird die Konvergenz bezüglich der Norm von dann auch starke Konvergenz oder Normkonvergenz genannt.

Beispiel

Betrachtet man als normierten Raum den L^p-Raum $L^{p}$ mit $p \in (1, \infty)$ , so ist aufgrund der Dualität von L^p-Räumen der Dualraum normisomorph zu $L^{q}$ , wobei der zu konjugierte Index ist. Es gilt also ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1$ .

Somit besitzt jedes stetige lineare Funktional

$x'\colon X\to \mathbb {R}$

eine Darstellung von der Form

$x'(f)=\int fg\,\mathrm {d} \mu$ ,

wobei $g\in L^{q}$ und $f\in L^{p}$ ist. Somit ist eine Funktionenfolge $(f_{n})_{{n\in \mathbb{N} }}$ aus $L^{p}$ genau dann schwach konvergent gegen $f\in L^{p}$ , wenn

$\lim _{n\to \infty }\int f_{n}g\,\mathrm {d} \mu =\int fg\,\mathrm {d} \mu {\text{ für alle }}g\in L^{q}$

gilt. Dies ist genau die schwache Konvergenz in L^p.

Grundlegende Eigenschaften

Eindeutigkeit

Der Grenzwert von schwach konvergenten Folgen ist eindeutig bestimmt. Dies folgt aus der Tatsache, dass der Dualraum trennt, das bedeutet:

Sind $x\neq y$ aus , so existiert ein $x'\in X'$ mit $x'(x)\neq x'(y)$ .

Dies ist eine Folgerung aus dem Satz von Hahn-Banach.

Beschränktheit

Schwach konvergente Folgen sind stets beschränkt in . Denn konvergiert $(x_{n})_{n\in \mathbb {N} }$ schwach, so sind für alle $x'\in X'$ die Folgen $(x'(x_{n}))_{n\in \mathbb {N} }$ beschränkt in $\mathbb {K}$ . Dies ist nach einem Korollar des Satzes von Banach-Steinhaus äquivalent zur Beschränktheit von $(x_{n})_{n\in \mathbb {N} }$ .

Benennung topologischer Eigenschaften

Topologische Eigenschaften, die über die schwache Konvergenz definiert werden, sind meist durch den Präfix "schwach folgen-" gekennzeichnet. So heißt eine Menge

schwach folgenabgeschlossen, wenn der Grenzwert jeder schwach konvergenten Folge in wieder in liegt
schwach folgenkompakt, wenn jede Folge in eine schwach konvergente Teilfolge besitzt, deren Grenzwert wieder in liegt.

Diese Benennung gilt für alle topologischen Eigenschaften, die sich über Folgen definieren lassen. Ein weiteres Beispiel hierfür wäre die schwach relative Folgenkompaktheit.

Diese Begriffe fallen im Allgemeinen nicht mit den entsprechenden rein topologischen Begriffen in der schwachen Topologie zusammen (Abgeschlossenheit, Kompaktheit, relative Kompaktheit etc.). Für Details siehe #Beziehung zur schwachen Topologie.

Beziehung zur Normkonvergenz

Aus der Normkonvergenz folgt immer die schwache Konvergenz. Denn ist $(x_{n})_{n\in \mathbb {N} }$ konvergent gegen bezüglich der Norm, so gilt

$\lim _{n\to \infty }x'(x_{n})=x'(x)$

für alle $x'\in X'$ , denn dies ist genau die von den $x'$ geforderte Stetigkeit. Im Allgemeinen gilt die Umkehrung nicht, es können also schwach konvergente Folgen existieren, die nicht normkonvergent sind. Der Satz von Mazur liefert eine eingeschränkte Umkehrung. Er besagt, dass aus den Folgengliedern einer schwach konvergenten Folge immer durch Konvexkombinationen eine zweite Folge konstruiert werden kann, die bezüglich der Norm konvergiert.

Ein Beispiel für eine schwach konvergente Folge, die nicht normkonvergent ist, lässt sich im Folgenraum $\ell ^{p}$ konstruieren, wobei $p \in (1, \infty)$ ist. Wählt man als Folge

$e_{1}=(1,0,0,\dots ),\,e_{2}=(0,1,0,0,\dots ),\dots$ ,

so ist immer

$\lim _{n\to \infty }\|e_{n}\|_{\ell ^{p}}=1$ .

Ist aber $\Phi \in \left(\ell ^{p}\right)'$ , so gibt es eine Folge $(a_{n})_{{n\in \mathbb{N} }}$ aus $\ell ^{q}$ , so dass

$\Phi (x)=\sum _{i=1}^{\infty }a_{i}x_{i}$

ist. Dabei ist wieder der zu konjugierte Index. Somit ist

$\lim _{n\to \infty }\Phi (e_{n})=\lim _{n\to \infty }a_{n}=0$ ,

da $(a_{n})_{{n\in \mathbb{N} }}$ eine Nullfolge ist. Somit konvergiert die Folge schwach gegen 0, aber nicht bezüglich der Norm gegen 0.

Insbesondere ist die Norm $\|\cdot \|$ nicht mehr stetig bezüglich der schwachen Konvergenz, sondern nur noch unterhalbstetig. Ist also eine Folge $(x_{n})_{n\in \mathbb {N} }$ schwach konvergent in gegen , so gilt

$\|x\|\leq \liminf _{n\to \infty }\|x_{n}\|$ .

Beziehung zur schwachen Topologie

In metrischen Räumen können viele topologische Eigenschaften auf zweierlei äquivalente Arten charakterisiert werden: Entweder über Folgen und deren Eigenschaften oder über die Eigenschaften der induzierten Topologie. Ein Beispiel hierfür ist die Abgeschlossenheit: Entweder man charakterisiert abgeschlossene Mengen als diejenigen Mengen, bei denen der Grenzwert einer konvergenten Folge wieder in der Menge enthalten ist, oder als das Komplement einer offenen Menge.

Die beiden obigen Charakterisierungen sind auch in allgemeinen topologischen Räumen noch möglich, die gewonnenen Begriffe stimmen dann aber im Allgemeinen nicht mehr miteinander überein. Die aus den Folgen gewonnenen Begriffe werden dann mit dem Präfix "Folgen-" versehen (folgenabgeschlossen, folgenkompakt etc.)

Über die schwache Konvergenz gewonnene topologische Begriffe werden wie oben bereits erwähnt mit dem Präfix "schwach folgen-" versehenen. Die aus der schwachen Topologie gewonnenen Begriffe entsprechen dann der klassischen topologischen Charakterisierung und kommen mit dem Präfix "schwach " aus. Da die schwache Topologie im Allgemeinen nicht metrisierbar ist, fallen die beiden Arten der Charakterisierung auseinander. Daher müssen sie auch im Allgemeinen unterschieden werden. Aussagen, welche die Äquivalenz der beiden Charakterisierungen liefern, sind oft eigenständige Sätze. Zu ihnen gehört beispielsweise der Satz von Eberlein–Šmulian, welcher die Äquivalenz von Kompaktheit und Folgenkompaktheit bezüglich der schwachen Topologie auf Banachräumen feststellt.

Zu beachten ist, dass sich neben der schwachen Konvergenz auch noch eine Konvergenz in der schwachen Topologie existiert. Diese ist aufgrund der oben genannten Gründen im Allgemeinen von der schwachen Konvergenz verschieden und muss über Netze oder die Filterkonvergenz formalisiert werden.

Beziehung zur Schwach-*-Konvergenz

Die schwache Konvergenz lässt sich problemlos auf den Dualraum übertragen. Bezeichnet $X''$ den Bidualraum, so ist $(x'_{n})_{n\in \mathbb {N} }$ schwach konvergent gegen $x'$ in , wenn

$\lim _{n\to \infty }x''(x'_{n})=x''(x')$ für alle $x''\in X''$ .

Im Dualraum kann auch noch die Schwach-*-Konvergenz definiert werden: Eine Folge $(x'_{n})_{n\in \mathbb {N} }$ heißt schwach-*-konvergent gegen $x'\in X'$ , wenn

$\lim _{n\to \infty }x_{n}'(x)=x'(x)$ für alle $x\in X$ .

Bezeichnet man mit $J_{X}$ die kanonische Abbildung in den Bidualraum, so konvergiert eine Folge $(x_{n})_{n\in \mathbb {N} }$ genau dann schwach gegen in , wenn die Folge $(J_{X}(x_{n}))_{n\in \mathbb {N} }$ schwach-* gegen $J_{X}(x)$ in $X''$ konvergiert. Außerdem folgt aus der schwachen Konvergenz in immer die Schwach-*-Konvergenz in . Beide Aussagen folgen im Wesentlichen aus den Eigenschaften der kanonischen Abbildung. Ist der Raum reflexiv, so stimmen schwache Konvergenz in und Schwach-*-Konvergenz in sogar überein.

Reflexive Räume und schwache Konvergenz

In reflexiven Räumen gelten stärkere Aussagen für die schwache Konvergenz. Dies beruht darauf, dass dann per Definition die Abbildung $J_{X}$ , welche unter anderem die schwache Konvergenz in mit der Schwach-*-Konvergenz in $X''$ verknüpft, zusätzlich surjektiv ist. So besitzt in einem reflexiven Raum jede beschränkte Folge eine schwach konvergente Teilfolge. Wie oben bereits erwähnt stimmen bei reflexiven Räumen außerdem schwache Konvergenz in und Schwach-*-Konvergenz in überein.

Schwache Konvergenz in Hilberträumen

In einem Hilbertraum ist die schwache Konvergenz äquivalent zur komponentenweisen Konvergenz bezüglich einer Orthogonalbasis. Da jeder Hilbertraum reflexiv ist, besitzt also eine beschränkte Folge in einem Hilbertraum immer eine schwach konvergente Teilfolge.

Basierend auf einem Artikel in:

Wikipedia.de