Dualität von Lp-Räumen

Unter Dualität von Lp-Räumen, kurz Lp-Dualität, versteht man eine Reihe von Sätzen aus dem mathematischen Gebiet der Funktionalanalysis, die sich mit den Dualräumen von Lp-Räumen beschäftigen, wobei 1\leq p<\infty eine reelle Zahl ist. Die wesentliche Aussage lautet, dass Dualräume von Lp-Räumen wieder von dieser Art sind, nämlich Lq-Räume, wobei {\tfrac  {1}{p}}+{\tfrac  {1}{q}}=1 sein muss. Das heißt, in einprägsamer Form gilt (L^{p})\,'\cong L^{q}.

Der Fall p > 1

Es sei q der sogenannte zu p konjugierte Exponent, das heißt diejenige Zahl 1<q<\infty , für die {\tfrac  {1}{p}}+{\tfrac  {1}{q}}=1 gilt. Dies ist äquivalent mit q={\tfrac  {p}{p-1}}. Ist weiter (X,{\mathcal  {A}},\mu ) ein Maßraum, dann kann man die Banachräume L^{p}(X,{\mathcal  {A}},\mu ) und L^{q}(X,{\mathcal  {A}},\mu ) über dem Körper \mathbb {K} bilden, wobei \mathbb {K} für \mathbb {R} oder {\displaystyle \mathbb {C} } steht. Wie üblich werden fast überall übereinstimmende Funktionen ohne weitere Hinweise identifiziert, um eine umständliche Sprech- und Schreibweise über Äquivalenzklassen von Funktionen zu vermeiden. Nach der Hölderschen Ungleichung gilt

\left|\int _{X}f(x)g(x)\,{\mathrm  {d}}\mu (x)\right|\leq \|f\|_{p}\|g\|_{q} für alle f\in L^{p}(X,{\mathcal  {A}},\mu ),\,g\in L^{q}(X,{\mathcal  {A}},\mu ),

wobei \|\cdot\|_p die Norm auf dem Lp-Raum bezeichnet und entsprechend \|\cdot\|_q. Diese Abschätzung zeigt, dass

T_{g}\colon L^{p}(X,{\mathcal  {A}},\mu )\rightarrow {\mathbb  {K}},\quad f\mapsto \int _{X}fg\,{\mathrm  {d}}\mu

ein beschränktes lineares Funktional auf L^{p}(X,{\mathcal  {A}},\mu ), also ein Element des Dualraums L^{p}(X,{\mathcal  {A}},\mu )\,' ist, mit \|T_{g}\|\leq \|g\|_{q}. Mit Hilfe des Satzes von Radon-Nikodým kann man zeigen, dass jedes beschränkte lineare Funktional auf L^{p}(X,{\mathcal  {A}},\mu ) von dieser Form ist und dass für die Normen sogar Gleichheit gilt. Man hat daher folgenden Satz:

Es seien (X,{\mathcal  {A}},\mu ) ein Maßraum und 1<p<\infty. Dann ist die Abbildung
T:L^{q}(X,{\mathcal  {A}},\mu )\rightarrow L^{p}(X,{\mathcal  {A}},\mu )\,',\quad g\mapsto T_{g},\quad T_{g}(f):=\int _{X}fg\,{\mathrm  {d}}\mu
ein isometrischer Isomorphismus.

Genau dieser Isomorphismus ist gemeint, wenn man kurz L^{p}(X,{\mathcal  {A}},\mu )\,'\cong L^{q}(X,{\mathcal  {A}},\mu ) schreibt.

Da p und q ja in einer symmetrischen Beziehung zueinander stehen, ergibt sich aus diesem Satz sofort

L^{p}(X,{\mathcal  {A}},\mu )\,''\cong L^{q}(X,{\mathcal  {A}},\mu )\,'\cong L^{p}(X,{\mathcal  {A}},\mu ).

Verwendet man die im Satz angegebenen Isomorphismen, so erkennt man, dass es sich hier um die kanonische Einbettung von >L^{p}(X,{\mathcal  {A}},\mu ) in seinen Bidualraum handelt. Die Lp-Räume sind also reflexiv.

Obiger Satz, der manchmal nicht ganz korrekt als Satz von Riesz zitiert wird, hat mehrere Väter. Der bereits 1907 bewiesene Hilbertraum-Fall L^{2}([0,1]) geht auf Maurice Fréchet zurück. Das Einheitsintervall steht hier für den Maßraum [0,1] mit der Borelschen σ-Algebra und dem auf [0,1] eingeschränkten Lebesgue-Maß. Die Verallgemeinerung dieses Ergebnisses auf beliebige Hilberträume ist auch als Darstellungssatz von Fréchet-Riesz (oder Rieszscher Darstellungssatz) bekannt. Frigyes Riesz hat drei Jahre später den Fall L^{p}[0,1] für 1<p<\infty bewiesen. Das wurde dann von Otton Marcin Nikodým auf den Fall endlicher Maßräume verallgemeinert. Der allgemeinste Fall eines beliebigen Maßraums wurde schließlich 1950 von Edward James McShane behandelt.

Ein sehr einfacher Spezialfall sind die Folgenräume \ell ^{p}, die man erhält, wenn man X=\N und für \mu das Zählmaß nimmt. Die Elemente aus \ell ^{p} werden als Folgen (a_{n})_{n} geschrieben, wobei eine solche Folge für die L^{p}-Funktion \mathbb{N} \rightarrow {\mathbb  {K}},\,n\mapsto a_{n} steht. Für die Dualität zwischen \ell ^{p} und \ell ^{q} erhält man an Stelle obiger Integrale eine Summe:

T_{b}((a_{n})_{n})=\sum _{{n=1}}^{\infty }a_{n}b_{n} für alle (a_{n})_{n}\in \ell ^{p} und b=(b_{n})_{n}\in \ell ^{q}.

Diese Aussage kann auch ohne maßtheoretischen Aufwand bewiesen werden.

Der Fall p = 1

Ein entsprechender Satz über den Dualraum von L1-Räumen gilt nicht in voller Allgemeinheit. Bildet man den zu 1 konjugierten Exponenten, so muss man q=\infty nehmen. Hugo Steinhaus konnte 1919 in der Tat

L^{1}([0,1])\,'\cong L^{\infty }([0,1])

zeigen, wobei die isometrische Isomorphie durch den zum oben definierten Operator T analogen Operator vermittelt wird. Die zusätzliche Schwierigkeit besteht letztlich darin, dass die auftretenden Räume, von trivialen Ausnahmen abgesehen, nicht mehr reflexiv sind. Es lässt sich aber noch folgender Satz zeigen :

Es sei (X,{\mathcal  {A}},\mu ) ein \sigma -endlicher Maßraum. Dann ist die Abbildung
T:L^{\infty }(X,{\mathcal  {A}},\mu )\rightarrow L^{1}(X,{\mathcal  {A}},\mu )\,',\quad g\mapsto T_{g},\quad T_{g}(f):=\int _{X}fg{\mathrm  {d}}\mu
ein isometrischer Isomorphismus.

Auf die zusätzliche Voraussetzung der \sigma -Endlichkeit des Maßraums kann nicht verzichtet werden. Betrachtet man zum Beispiel auf X=\R die \sigma -Algebra {\mathcal {A}} derjenigen Mengen, die abzählbar sind oder deren Komplement abzählbar ist, und als Maß \mu das Zählmaß, so ist L^{1}(\mathbb{R} ,{\mathcal  {A}},\mu ) der Raum aller Funktionen f\colon \mathbb{R} \rightarrow {\mathbb  {K}}, die höchstens an abzählbar vielen Stellen von null verschieden sind und für die \textstyle \sum _{{x\in \mathbb{R} }}|f(x)|<\infty gilt. Offenbar ist durch \textstyle f\mapsto \sum _{{x\geq 0}}f(x) ein beschränktes lineares Funktional auf L^{1}(\mathbb{R} ,{\mathcal  {A}},\mu ) definiert. Wäre dieses von der Form T_{g} für ein g\in L^{\infty }(\mathbb{R} ,{\mathcal  {A}},\mu ), so müsste g konstant gleich 1 auf [0,\infty ) und konstant gleich 0 auf (-\infty ,0) sein. Eine solche Funktion ist aber nicht {\mathcal {A}}-messbar. Daher kann in diesem Beispiel die im Satz beschriebene Isomorphie nicht bestehen.

Es gibt aber eine wichtige Situation, die auch gewisse nicht-\sigma -endliche Maßräume umfasst, in der man dennoch zu einem befriedigenden Resultat kommt, nämlich die der lokalkompakten Gruppen. In der harmonischen Analyse ist folgender Satz wichtig:

Es seien G eine lokalkompakte Gruppe, {\mathcal {B}} die Borelsche \sigma -Algebra auf G und \mu ein reguläres Borelmaß auf G. Dann ist
{\displaystyle T\colon L^{\infty }(G,{\mathcal {B}},\mu )\rightarrow L^{1}(G,{\mathcal {B}},\mu )\,',\quad g\mapsto T_{g},\quad T_{g}(f):=\int _{G}fg\,\mathrm {d} \mu }
ein isometrischer Isomorphismus.

Dabei heißt das Maß \mu regulär, wenn folgende drei Bedingungen erfüllt sind:

Der Satz gilt also insbesondere auch für das Haarsche Maß auf G, das heißt, man kann den Dualraum der Gruppenalgebra L^1(G) auch für nicht-\sigma -endliche Gruppen durch obigen Satz beschreiben.

Der Fall 0 < p < 1

Für 0<p<1 ist Lp(X,A,μ) zwar kein normierter Raum, aber immerhin ein vollständiger topologischer Vektorraum mit der Quasinorm

N_{p}\,:\,L^{p}\left(X,{\mathcal  {A}},\mu \right)\,\rightarrow \,\mathbb{R} \;,\qquad N_{p}\left(f\right):=\left(\int _{X}\left|f\right|^{p}{\mathrm  {d}}\mu \right)^{{{\frac  {1}{p}}}}

bzw. der Pseudonorm oder Fréchet-Metrik

\varrho _{p}\,:\,L^{p}\left(X,{\mathcal  {A}},\mu \right)\,\rightarrow \,\mathbb{R} \;,\qquad \varrho _{p}\left(f\right):=\left(N_{p}\left(f\right)\right)^{p}=\int _{X}\left|f\right|^{p}{\mathrm  {d}}\mu \;.

Diese Räume sind im Allgemeinen nicht lokalkonvex, der Satz von Hahn-Banach also im Allgemeinen nicht anwendbar, sodass es möglicherweise „sehr wenige“ lineare stetige Funktionale gibt. Insbesondere ist nicht gesichert, dass die schwache Topologie auf L^{p}\left(X,{\mathcal  {A}},\mu \right) Punkte trennen kann.

Prototypisch ist das Beispiel L^{p}\left(\left[0,\,1\right]\right):=L^{p}\left(\left[0,\,1\right],{\mathcal  {B}}\left(\left[0,\,1\right]\right),\lambda \right) mit der Borel-Algebra {\mathcal  {B}}\left(\left[0,\,1\right]\right) über dem Intervall \left[0,\,1\right] und dem Borel-Lebesgue-Maß \lambda . Hier sind die einzigen konvexen offenen Mengen die leere Menge \emptyset und der gesamte Raum L^{p}\left(\left[0,\,1\right]\right) selbst. Da Urbilder konvexer offener Mengen in \mathbb {K} unter einem linearen stetigen Funktional konvexe offene Mengen in L^{p}\left(\left[0,\,1\right]\right) sind, folgt, dass das Nullfunktional das einzige lineare stetige Funktional ist. Der Dualraum ist somit trivial:

IMG class="text" style="width: 18.95ex; height: 3.17ex; vertical-align: -0.83ex;" alt="\left(L^{p}\left(\left[0,\,1\right]\right)\right)'=\left\{0\right\}" src="/svg/b7ce71d9396f46969b804b0781be21929d6f0997.svg">.

Insbesondere ist in diesem Raum die Aussage des Trennungssatzes nicht gültig, da sich keine zwei Punkte durch eine abgeschlossene Hyperebene trennen lassen. Die schwache Topologie auf L^{p}\left(\left[0,\,1\right]\right) ist indiskret.

Es gibt aber auch weniger extreme Beispiele, wie die Folgenräume \ell ^{p}:=L^{p}\left(\mathbb{N} ,{\mathcal  {P}}\left(\mathbb{N} \right),\mu \right) mit dem Zählmaß \mu . Diese Räume besitzen zwar nichttriviale absolutkonvexe offene Mengen, aber nicht genug um eine Nullumgebungsbasis zu bilden: Da jede konvexe offene Menge in \ell ^{p} unbeschränkt ist, sind auch die \ell ^{p} nicht lokalkonvex. Trotzdem gibt es „viele“ lineare stetige Funktionale. Es gilt nämlich für 0<p<1:

\left(\ell ^{p}\right)'=\left(\ell ^{1}\right)'=\ell ^{{\infty }}\;.

Die Inklusion „\supset “ sieht man leicht, denn für x=\left(x_{k}\right)\in \ell ^{p} und y=\left(y_{k}\right)\in \ell ^{{\infty }} gilt:

\left|\sum \limits _{{k\in \mathbb{N} }}x_{k}\,y_{k}\right|\leq \left(\sum \limits _{{k\in \mathbb{N} }}\left|x_{k}\right|\right)\,\left(\sup \limits _{{k\in \mathbb{N} }}\left|y_{k}\right|\right)\leq N_{p}\left(x\right)\,\left\|y\right\|_{{\infty }}\;.

Für X=\left\{1,\,\ldots \,n\right\}, {\mathcal  {A}}={\mathcal  {P}}\left(X\right) und \mu das Zählmaß, also L^{p}\left(X,{\mathcal  {A}},\mu \right)\cong {\mathbb  {K}}^{n} mit der p-Quasinorm, ist die Topologie auf diesem Raum sogar mit der üblichen Topologie des \mathbb{K}^n identisch, da es auf jedem endlichdimensionalen reellen oder komplexen Vektorraum genau eine Hausdorff-Topologie gibt, die den Raum zu einem topologischen Vektorraum macht. Obwohl die Kugeln in der erzeugenden Quasinorm nicht konvex sind, erzeugt diese eine lokalkonvexe Topologie:

n^{{1-{\frac  {1}{p}}}}\,N_{p}\left(x\right)\leq \left\|x\right\|_{1}\leq N_{p}\left(x\right)\;.

Der Satz von Hahn-Banach ist anwendbar und der Dualraum wieder \mathbb{K}^n, wie im euklidischen bzw. unitären Fall. Die schwache Topologie ist aus den gleichen Gründen wie oben mit der p-Quasinormtopologie sowie der üblichen Topologie identisch.

Banachraum-wertige Lp-Funktionen

Ist neben dem Maßraum (X,{\mathcal  {A}},\mu ) noch ein Banachraum E gegeben, so kann man den Raum L^{p}(X,{\mathcal  {A}},\mu ,E) aller {\mathcal {A}}-messbaren Funktionen f\colon X\rightarrow E, für die das Integral \textstyle \int _{X}\|f(x)\|^{p}\,{\mathrm  {d}}\mu (x) endlich ist, bilden, wobei wie üblich fast überall übereinstimmende Funktionen identifiziert werden (siehe auch Bochner-Integral). Die Norm

\|f\|_{p}:=\left(\int _{X}\|f(x)\|^{p}\,{\mathrm  {d}}\mu (x)\right)^{{{\frac  {1}{p}}}}

macht L^{p}(X,{\mathcal  {A}},\mu ,E) zu einem Banachraum. Sind nun f\in L^{p}(X,{\mathcal  {A}},\mu ,E) und g\in L^{q}(X,{\mathcal  {A}},\mu ,E\,'), so kann man

\int _{X}gf\,{\mathrm  {d}}\mu =\int _{X}\underbrace {g(x)}_{{\in E\,'}}(\underbrace {f(x)}_{{\in E}})\,{\mathrm  {d}}\mu (x)

bilden, und es gilt:

\left|\int _{X}gf\,{\mathrm  {d}}\mu \right|\leq \int _{X}|g(x)(f(x))|\,{\mathrm  {d}}\mu (x)\leq \int _{X}\|g(x)\|_{q}\|f(x)\|_{p}\,{\mathrm  {d}}\mu (x)\leq \|g\|_{q}\|f\|_{p}.

Man erhält daher wieder eine Abbildung

T\colon L^{q}(X,{\mathcal  {A}},\mu ,E\,')\rightarrow L^{p}(X,{\mathcal  {A}},\mu ,E)\,'

und man kann folgenden Satz zeigen:

Sind (X,{\mathcal  {A}},\mu ) ein Maßraum, E ein separabler, reflexiver Banachraum und 1<p<\infty sowie q der zu p konjugierte Exponent, so ist
T\colon L^{q}(X,{\mathcal  {A}},\mu ,E\,')\rightarrow L^{p}(X,{\mathcal  {A}},\mu ,E)\,',\,g\mapsto T_{g},\,T_{g}(f)=\int _{X}gf\,{\mathrm  {d}}\mu
ein isometrischer Isomorphismus.

Es gilt also die erwartete und leicht einprägsame Formel

L^{p}(X,{\mathcal  {A}},\mu ,E)\,'\cong L^{q}(X,{\mathcal  {A}},\mu ,E\,').

Gewichtete lp-Räume

Es sei eine Folge w=(w_{n})_{{n\in \mathbb{N} }} positiver Zahlen, sogenannter Gewichte, gegeben. Der zugehörige gewichtete \ell ^{p}-Raum ist der Folgenraum

\ell ^{p}(w):=\left\{(a_{n})_{n}\left|\,\textstyle \sum \limits _{{n\in \mathbb{N} }}|a_{n}|^{p}w_{n}^{p}<\infty \right.\right\}

mit der Norm

\|(a_{n})_{n}\|_{{p,w}}:=\left(\sum _{{n\in \mathbb{N} }}|a_{n}|^{p}w_{n}^{p}\right)^{{{\frac  {1}{p}}}}.

Dies ist nichts anderes als der Raum L^{p}(\mathbb{N} ,{\mathcal  {P}}(\mathbb{N} ),\mu _{w}), wobei das Maß \mu _{w} durch \mu _{w}(\{n\})=w_{n} definiert ist. Wendet man darauf obigen Satz über die Lp-Dualität an, erhält man einen isometrischen Isomorphismus

T\colon \ell ^{q}(w)\rightarrow \ell ^{p}(w)\,',\,b=(b_{n})_{n}\mapsto T_{b},\quad T_{b}((a_{n})_{n}):=\sum _{{n\in \mathbb{N} }}a_{n}b_{n}w_{n}^{p}.

In der Theorie der Folgenräume betrachtet man aber lieber eine durch den Ausdruck \textstyle \sum _{{n\in \mathbb{N} }}a_{n}b_{n} gegebene Dualität, das heißt, man möchte die Faktoren w_{n}^{p} vermeiden. Dazu muss man von der Folge (b_{n})_{n}\in \ell ^{q}(w) zur Folge (b_{n}w_{n}^{p})_{n} übergehen. Da p-pq=-q, gilt

\|(b_{n})_{n}\|_{{q,w}}^{q}=\sum _{{n\in \mathbb{N} }}|b_{n}|^{q}w_{n}^{p}=\sum _{{n\in \mathbb{N} }}|b_{n}w_{n}^{p}|^{q}w_{n}^{{p-pq}}=\sum _{{n\in \mathbb{N} }}|b_{n}w_{n}^{p}|^{q}w_{n}^{{-q}}=\|(b_{n}w_{n}^{p})_{n}\|_{{q,{\frac  {1}{w}}}}^{q},

wobei {\tfrac  {1}{w}} für die aus den Kehrwerten der w_n gebildete Folge von Gewichten steht. Man erhält also einen isometrischen Isomorphismus

\ell ^{q}(w)\rightarrow \ell ^{q}\left({\tfrac  {1}{w}}\right),(b_{n})_{n}\mapsto (b_{n}w_{n}^{p})_{n}.

Kombiniert man diesen mit obigem isometrischen Isomorphismus T, so gelangt man zu:

Es seien (w_{n})_{n} eine Folge von Gewichten, 1\leq p<\infty und q der zu p konjugierte Exponent. Dann ist
S\colon \ell ^{q}\left({\tfrac  {1}{w}}\right)\rightarrow \ell ^{p}(w)\,',\ b=(b_{n})_{n}\mapsto S_{b},\ S_{b}((a_{n})_{n})=\sum _{{n\in \mathbb{N} }}a_{n}b_{n}
ein isometrischer Isomorphismus.

Dieser isometrische Isomorphismus ist gemeint, wenn man

\ell ^{p}(w)\,'\cong \ell ^{q}\left({\tfrac  {1}{w}}\right)

schreibt. Es sei noch einmal darauf hingewiesen, dass dieser nicht der isometrische Isomorphismus aus dem allgemeinen Satz über Lp-Dualität ist, außer wenn alle Gewichte gleich 1 sind.

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