Website durchsuchen

Banachraum

Ein Banachraum (auch Banach-Raum, Banachscher Raum) ist in der Mathematik ein vollständiger normierter Vektorraum. Banachräume gehören zu den zentralen Studienobjekten der Funktionalanalysis. Insbesondere sind viele unendlichdimensionale Funktionenräume Banachräume. Sie sind nach dem Mathematiker Stefan Banach benannt, der sie 1920–1922 gemeinsam mit Hans Hahn und Eduard Helly vorstellte.

Definition

Ein Banachraum ist ein vollständiger normierter Raum

(X,\|\cdot \|),

das heißt ein Vektorraum X über dem Körper \mathbb {K} der reellen oder komplexen Zahlen mit einer Norm \|\cdot \|, in dem jede Cauchy-Folge aus Elementen von X in der von der Norm induzierten Metrik d(x,y)=\|x-y\| konvergiert.

Erläuterungen

Bei metrischen Räumen ist die Vollständigkeit eine Eigenschaft der Metrik, nicht des topologischen Raums selbst. Geht man zu einer äquivalenten Metrik über (das heißt zu einer Metrik, die dieselbe Topologie erzeugt), dann kann die Vollständigkeit verloren gehen. Für zwei äquivalente Normen auf einem normierten Raum hingegen gilt, dass die eine genau dann vollständig ist, wenn die andere es ist. Im Falle der normierten Räume ist die Vollständigkeit daher eine Eigenschaft der Normtopologie, die nicht von der konkreten Norm abhängt.

Sätze und Eigenschaften

Lineare Operatoren

Hauptartikel: Linearer Operator

Sind X und Y normierte Räume über demselben Körper {\mathbb  {K}}, so wird die Menge aller stetigen {\mathbb  {K}}-linearen Abbildungen T\colon X\rightarrow Y mit B(X,Y) bezeichnet.

In unendlichdimensionalen Räumen sind lineare Abbildungen nicht notwendigerweise stetig.

B(X,Y) ist ein {\mathbb  {K}}-Vektorraum und durch

\|T\|:={\mathrm  {sup}}\{\|Tx\|:x\in X{\text{ mit }}\|x\|\leq 1\}

ist eine Norm auf B(X,Y) definiert. Ist Y ein Banachraum, so auch B(X,Y).

Ist X ein Banachraum, so ist B(X)=B(X,X) eine Banachalgebra mit dem identischen Operator {\mathrm  {id}}_{X} als Einselement; die Multiplikationsoperation ist durch die Komposition linearer Abbildungen gegeben.

Dualer Raum

Hauptartikel: Dualraum

Ist X ein normierter Raum und \mathbb {K} der zugrunde liegende Körper, dann ist \mathbb {K} selbst ebenfalls ein Banachraum (mit dem Absolutbetrag als Norm), und man kann den topologischen Dualraum (auch stetigen Dualraum) definieren durch X'=B(X,{\mathbb  {K}}). Er ist in der Regel ein echter Teilraum des algebraischen Dualraums X^*.

Der topologische Dualraum kann verwendet werden, um eine Topologie auf X zu definieren: die schwache Topologie. Die schwache Topologie ist nicht äquivalent zur Normtopologie auf X, wenn der Raum X unendlichdimensional ist. Aus der Konvergenz einer Folge in der Normtopologie folgt immer die Konvergenz in der schwachen Topologie, umgekehrt im Allgemeinen nicht. In diesem Sinne ist die Konvergenzbedingung, die sich aus der schwachen Topologie ergibt, "schwächer".

Es gibt eine natürliche Abbildung F von X nach X''=(X')'=B(X',{\mathbb  {K}}) (der Bidualraum), definiert durch: F\colon X\to X'',F(x)(f)=f(x) für alle x\in X und f\in X'. Aus dem Satz von Hahn-Banach folgt, dass für jedes x aus X die Abbildung F(x)\colon X'\to {\mathbb  {K}} stetig ist und daher ein Element von X''. Die Abbildung F ist stets injektiv und stetig (sogar isometrisch).

Reflexivität

Hauptartikel: Reflexiver Raum

Falls die natürliche Abbildung F\colon X\to X'' zudem noch surjektiv (und somit ein isometrischer Isomorphismus) ist, so nennt man den normierten Raum X reflexiv. Es gelten folgende Zusammenhänge:

Tensorprodukt

Hauptartikel: Tensorprodukt
Universelle Eigenschaft des Tensorprodukts

Seien X und Y zwei \mathbb {K} -Vektorräume. Das Tensorprodukt X\otimes Y von X und Y ist ein \mathbb {K} -Vektorraum Z, versehen mit einer bilinearen Abbildung T\colon X\times Y\rightarrow Z, die die folgende universelle Eigenschaft besitzt: Ist T'\colon X\times Y\rightarrow Z' eine beliebige bilineare Abbildung in einen \mathbb {K} -Vektorraum Z', so existiert genau eine lineare Abbildung f\colon Z\rightarrow Z' mit T'=f\circ T.

Es gibt verschiedene Möglichkeiten, eine Norm auf dem Tensorprodukt der zugrunde liegenden Vektorräume zu definieren, unter anderem das projektive Tensorprodukt und das injektive Tensorprodukt. Das Tensorprodukt vollständiger Räume ist im Allgemeinen nicht wieder vollständig. Daher versteht man in der Theorie der Banachräume unter einem Tensorprodukt häufig dessen Vervollständigung, welche natürlich von der Wahl der Norm abhängt.

Beispiele

Im Folgenden ist \mathbb {K} der Körper \mathbb {R} oder \mathbb {C} , X ein kompakter Hausdorffraum und I = [a,b] ein abgeschlossenes Intervall. p und q sind reelle Zahlen mit 1<p,q<\infty und {\tfrac  {1}{q}}+{\tfrac  {1}{p}}=1. Weiter ist \Sigma eine σ-Algebra, \Xi eine Mengenalgebra und \mu ein Maß.

Bezeichnung Dualraum reflexiv schwach
vollständig
Norm Name
\mathbb{K}^n \mathbb{K}^n ja ja \|x\|_{2}=\left(\sum _{{i=1}}^{n}|x_{i}|^{2}\right)^{{1/2}} Euklidischer Raum
\ell _{n}^{p} \ell _{n}^{q} ja ja \|x\|_{p}=\left(\sum _{{i=1}}^{n}|x_{i}|^{p}\right)^{{1/p}} Raum der endlichdimensionalen Vektoren mit der p-Norm
\ell _{n}^{\infty } \ell _{n}^{1} ja ja \|x\|_{\infty }=\max _{{1\leq i\leq n}}|x_{i}| Raum der endlichdimensionalen Vektoren mit der Maximumsnorm
\ell ^{p} \ell ^{q} ja ja \|x\|_{p}=\left(\sum _{{i=1}}^{\infty }|x_{i}|^{p}\right)^{{1/p}} Raum der in p-ter Potenz betragsweise summierbaren Folgen
\ell ^{1} \ell ^{\infty } nein ja \|x\|_{1}=\sum _{{i=1}}^{\infty }|x_{i}| Raum der betragsweise summierbaren Folgen
\ell ^{\infty } ba(2^{{{\mathbb  {N}}}}) nein nein \|x\|_{\infty }=\sup _{i}|x_{i}| Raum der beschränkten Folgen
c \ell ^{1} nein nein \|x\|_{\infty }=\sup _{i}|x_{i}| Raum der konvergenten Folgen
c_{0} \ell ^{1} nein nein \|x\|_{\infty }=\sup _{i}|x_{i}| Raum der Nullfolgen; isomorph aber nicht isometrisch zu c
bv\, \ell ^{1}+{\mathbb  {K}} nein ja \|x\|_{{bv}}=|x_{1}|+\sum _{{i=1}}^{\infty }|x_{{i+1}}-x_{i}| Raum der Folgen beschränkter Variation
bv_{0} \ell ^{1} nein ja \|x\|_{{bv_{0}}}=\sum _{{i=1}}^{\infty }|x_{{i+1}}-x_{i}| Raum der Nullfolgen beschränkter Variation
bs ba(2^{{{\mathbb  {N}}}}) nein nein \|x\|_{{bs}}=\sup _{n}\left|\sum _{{i=1}}^{n}x_{i}\right| Raum der beschränkten Summen; isometrisch isomorph zu \ell ^{\infty }
cs \ell ^{1} nein nein \|x\|_{{bs}}=\sup _{n}\left|\sum _{{i=1}}^{n}x_{i}\right| Raum der konvergenten Summen; abgeschlossener Unterraum von bs; isometrisch isomorph zu c
B(X,\Xi ) ba(\Xi ) nein nein \|f\|_{\infty }=\sup _{{x\in X}}|f(x)| Raum der beschränkten \Xi -messbaren Funktionen auf X
C(X) rca(\Sigma ) nein nein \|f\|_{\infty }=\sup _{{x\in X}}\left|f(x)\right| Raum der stetigen Funktionen auf X mit der borelschen σ-Algebra
ba(\Xi ) ? nein ja \|\mu \|_{{ba}}=\sup _{{A\in \Sigma }}|\mu |(A) Raum der beschränkten endlich-additiven signierten Maße auf \Xi
ca(\Sigma ) ? nein ja \|\mu \|_{{ba}}=\sup _{{A\in \Sigma }}|\mu |(A) Raum der \sigma -additiven Maße; abgeschlossener Unterraum von ba(\Sigma )
rca(\Sigma ) ? nein ja \|\mu \|_{{ba}}=\sup _{{A\in \Sigma }}|\mu |(A) Raum der regulären Borel-Maße; abgeschlossener Unterraum von ca(\Sigma )
L^{p}(\mu ) L^{q}(\mu ) ja ja \|f\|_{{L^{p}}}=\left(\int |f|^{p}\,d\mu \right)^{{1/p}} Raum der in p-ter Potenz Lebesgue-integrierbaren Funktionen
BV(I) ? nein ja \|f\|_{{BV}}=\lim _{{x\to a^{+}}}f(x)+V_{f}(I) Raum der Funktionen beschränkter totaler Variation
NBV(I) ? nein ja \|f\|_{{BV}}=V_{f}(I) Raum der Funktionen beschränkter totaler Variation, deren Grenzwert bei a verschwindet
AC(I) {\mathbb  {K}}+L^{\infty }(I) nein ja \|f\|_{{BV}}=\lim _{{x\to a^{+}}}f(x)+V_{f}(I) Raum der absolutstetigen Funktionen; isomorph zum Sobolev-Raum W^{{1,1}}(I)
C^{n}(I) rca(I) nein nein \|f\|_{{C^{n}}}=\sum _{{i=0}}^{n}\sup _{{x\in I}}|f^{{(i)}}(x)| Raum der glatten Funktionen; isomorph zu \mathbb{R} ^{n}\oplus C(I)

Einordnung in die Hierarchie mathematischer Strukturen

Überblick über abstrakte Räume der Mathematik. Ein Pfeil ist als Implikation zu verstehen, d.h., der Raum am Pfeilanfang ist auch ein Raum am Pfeilende.

Jeder Hilbertraum ist ein Banachraum, aber nicht umgekehrt. Nach dem Satz von Jordan-von Neumann lässt sich auf einem Banachraum genau dann ein zur Norm verträgliches Skalarprodukt definieren, wenn in ihm die Parallelogrammgleichung gilt.

Einige wichtige Räume in der Funktionalanalysis, zum Beispiel der Raum aller unendlich oft differenzierbaren Funktionen {\mathbb  {R}}\rightarrow {\mathbb  {R}} oder der Raum aller Distributionen auf \mathbb {R} , sind zwar vollständig, aber keine normierten Vektorräume und daher keine Banachräume. In Fréchet-Räumen hat man noch eine vollständige Metrik, während LF-Räume vollständige uniforme Vektorräume sind, die als Grenzfälle von Fréchet-Räumen auftauchen. Es handelt sich hierbei um spezielle Klassen lokalkonvexer Räume bzw. topologischer Vektorräume.

Jeder normierte Raum lässt sich bis auf isometrische Isomorphie eindeutig vervollständigen, das heißt als dichten Unterraum in einen Banachraum einbetten.

Fréchet-Ableitung

Hauptartikel: Fréchet-Ableitung

Es ist möglich, die Ableitung einer Funktion f\colon V\to W zwischen zwei Banachräumen zu definieren. Intuitiv sieht man, dass, falls x ein Element von V ist, die Ableitung von f im Punkt x eine stetige lineare Abbildung ist, die f nahe x in der Ordnung des Abstandes \vert h\vert approximiert.

Man nennt f (Fréchet)-differenzierbar in x, falls eine stetige lineare Abbildung A\colon V\to W existiert, so dass

\lim _{{h\to 0}}{\|f(x+h)-f(x)-A(h)\| \over \|h\|}=0

gilt. Der Grenzwert wird hier über alle Folgen mit nicht-Null-Element aus V gebildet, die gegen 0 konvergieren. Falls der Grenzwert existiert, schreibt man Df(x)=A und nennt es die (Fréchet)-Ableitung von f in x. Weitere Verallgemeinerungen der Ableitung ergeben sich analog zur Analysis auf endlichdimensionalen Räumen. Gemeinsam für alle Ableitungsbegriffe ist aber die Frage nach der Stetigkeit der linearen Abbildung Df(x)

Dieser Begriff der Ableitung ist eine Verallgemeinerung der gewöhnlichen Ableitung von Funktionen \R \to \R, da die linearen Abbildungen von \mathbb {R} auf \mathbb {R} einfach Multiplikationen mit reellen Zahlen sind.

Falls f differenzierbar ist in jedem Punkt x aus V, dann ist Df\colon V\to L(V,W) eine weitere Abbildung zwischen Banachräumen (im Allgemeinen keine lineare Abbildung!) und kann möglicherweise erneut differenziert werden, wodurch die höheren Ableitungen von f definiert werden. Die n-te Ableitung im Punkt x kann somit als multilineare Abbildung V_{n}\to W gesehen werden.

Differentiation ist eine lineare Operation im folgenden Sinne: Sind f und g zwei Abbildungen V\to W, die in x differenzierbar sind, und sind r und s Skalare aus \mathbb {K} , dann ist rf+sg differenzierbar in x und es gilt

D(rf+sg)(x)=rD(f)(x)+sD(g)(x).

Die Kettenregel ist in diesem Zusammenhang ebenfalls gültig. Wenn f\colon V\to W eine in x\in V und g\colon W\to X eine in f(x) differenzierbare Funktion ist, dann ist die Komposition g\circ f in x differenzierbar und die Ableitung ist die Komposition der Ableitungen

D(g\circ f)(x)=D(g)(f(x))\circ D(f)(x).

Auch Richtungsableitungen können auf unendlichdimensionale Vektorräume erweitert werden, an dieser Stelle sei auf das Gâteaux-Differential verwiesen.

Integration Banachraum-wertiger Funktionen

Unter bestimmten Bedingungen ist es möglich Banachraum-wertige Funktionen zu integrieren. Im zwanzigsten Jahrhundert wurden viele verschiedene Zugänge zu einer Integrationstheorie von Banachraum-wertigen Funktionen vorgestellt. Beispiele sind das Bochner-Integral, das Birkhoff-Integral und das Pettis-Integral. In endlichdimensionalen Banachräumen führen diese drei verschiedenen Zugänge zur Integration letztendlich zum selben Integral. Für unendlichdimensionale Banachräume ist dies jedoch im Allgemeinen nicht mehr der Fall. Ferner kann man von gewöhnlichen Maßen zu vektoriellen Maßen, die ihre Werte in Banachräumen annehmen, übergehen und ein Integral bezüglich solcher Maße definieren.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 28.03. 2021