Dualraum


Dualraum

Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Der Dualraum eines (im Allgemeinen endlichdimensionalen) Vektorraums V über einem Körper K ist der Vektorraum aller linearen Abbildungen von V nach K. Ist der Vektorraum V endlichdimensional, so hat er dieselbe Dimension wie sein Dualraum, die beiden Vektorräume sind somit isomorph.

In der Funktionalanalysis betrachtet man den topologischen Dualraum eines (im Allgemeinen unendlichdimensionalen) topologischen Vektorraums. Dieser besteht aus allen stetigen linearen Funktionalen.

Inhaltsverzeichnis

Der algebraische Dualraum

Definition und Begriffsbildung

Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von V nach K. Seine Elemente werden je nach Kontext auch Funktionale, Linearformen oder auch 1-Formen genannt. Insbesondere in der Physik verwendet man gerne die Sprache der Tensoralgebra; dann heißen die Elemente von  V kontravariante, die von  V * kovariante Vektoren oder auch Kovektoren. Die Abbildung V \times V^* \to K, \ (x,f) \mapsto f(x) heißt duale Paarung und hat Analogien mit dem Skalarprodukt eines Hilbertraums.

Dualraum ist Vektorraum

Durch die nachfolgende Definition der Addition und der skalaren Multiplikation von K auf  V * ist V * selbst ein Vektorraum über dem Körper  K.

Hierzu definiert man die vektorielle Addition:

 +:V^* \times V^* \rightarrow V^* durch  \left(f+g\right)(x) := f(x) + g(x) für alle x\in V, f , g\in V^*

und die skalare Multiplikation:

 \cdot: K \times V^* \rightarrow V^* durch (\alpha f)\left(x\right) := \alpha f(x) für alle x\in V, f \in V^*,\,\alpha \in K

Basis des Dualraums

Ist V ein n-dimensionaler Vektorraum so ist auch V * n-dimensional. Es gilt also dim KV * = dim KV = n.

Sei X=\left\{x_i\right\}_{i=1,2,...,n} eine Basis von V, dann heißt X^*=\left\{x^*_i\right\}_{i=1,2,...,n} mit

x^{*}_i: V\,\rightarrow\,K \, \, linear und
x^{*}_i(x_j)\, = \begin{cases} 1, & \text{falls} \; i = j \\ 0, & \text{falls} \;  j\neq i \end{cases}

die duale Basis zur Basis X und ist eine Basis des Dualraumes V * . Die Wirkung der Elemente von V * auf V kann als Bilinearform

\langle \cdot,\cdot\rangle\colon\ V^* \times V \rightarrow K,\ \langle f,x\rangle = f(x)

aufgefasst werden. Damit lässt sich die Wirkung dualer Basisvektoren x_{i}^{*}\in V^{*} auf Basisvektoren x_{j}\in V übersichtlich mit dem Kronecker-Delta schreiben:

\langle x_{i}^{*},x_{j}\rangle=\delta_{ij}.

Indem man jede Linearform f des algebraischen Dualraums mit ihrem Kern, also der Lösungsmenge der homogenen linearen Gleichung f(\vec{x})=0 identifiziert, kommt man in der Projektiven Geometrie zu einer Dualität zwischen Punkten und Hyperebenen des projektiven Raumes. Diese Dualität wird im Artikel „Projektives Koordinatensystem“ dargestellt.

Ist V hingegen ein unendlichdimensionaler Vektorraum, so lässt sich auf diese Art und Weise im Allgemeinen keine duale Basis konstruieren. Ist nämlich (x_i)_{i \in I} eine Basis des unendlichdimensionalen Vektorraums V. Dann kann man die lineare Abbildung f\colon V\to K,f(x_i)=1 \,\forall i \in I betrachten. Diese ist ein Element des Dualraums V * , jedoch lässt sie sich nicht als endliche Linearkombination der   x_i^* darstellen. Daher bilden die  x_i^* kein Erzeugendensystem von V * .

Der topologische Dualraum

Topologischer Dualraum eines normierten Raums

Falls der zugrundeliegende Vektorraum V ein normierter Vektorraum ist, kann man zusätzlich zum algebraischen auch den topologischen Dualraum betrachten. Dieser ist die Menge aller stetigen linearen Funktionale und wird in der Regel mit V\,' bezeichnet. Die Unterscheidung zwischen algebraischem und topologischem Dualraum ist nur dann wichtig, wenn V ein unendlichdimensionaler Raum ist. In einem endlichdimensionalen Raum sind alle linearen Funktionale automatisch stetig, und somit sind der algebraische und der topologische Dualraum identisch. Wenn im Zusammenhang mit Banachräumen von einem Dualraum die Rede ist, ist meistens der topologische Dualraum gemeint. Das Studium der Dualräume von Banachräumen ist eines der Hauptgebiete der Funktionalanalysis.

Der topologische Dualraum ist wieder ein normierter Vektorraum mit der Norm \|f\| = \sup_{\|x\| \leq 1} |f(x)| .

Ist V ein Vektorraum über einem analytisch vollständigen Körper K (also z. B. \R oder \mathbb{C}), dann ist der Dualraum V\,'=L(V,K) immer vollständig, also ein Banachraum.

Besonders einfach ist der (topologische) Dualraum, falls V ein Hilbertraum ist. Nach einem Satz, den M. Fréchet 1907 für separable und F. Riesz 1934 für allgemeine Hilberträume bewiesen hat, sind ein reeller Hilbertraum und sein Dualraum isometrisch isomorph zueinander, siehe Satz von Fréchet-Riesz. Die Vertauschbarkeit von Raum und Dualraum kommt besonders deutlich in der Bra-Ket-Schreibweise von Dirac zum Ausdruck. Diese wird besonders in der Quantenmechanik verwendet, denn die quantenmechanischen Zustände werden durch Vektoren in einem Hilbertraum modelliert.

Da jeder endlichdimensionale Vektorraum über den reellen oder komplexen Zahlen isomorph zu einem Hilbertraum ist, sind endlichdimensionale Räume stets zu sich selbst dual.

Der starke Dualraum eines lokalkonvexen Raums

Ist E ein lokalkonvexer Raum, so bezeichnet E' wie im Falle der normierten Räume den Raum der stetigen, linearen Funktionale. Die Auszeichnung einer geeigneten Topologie auf dem Dualraum ist aufwändiger. Folgende Definition ist so angelegt, das sich im Spezialfall des normierten Raums die oben beschriebene Normtopologie auf dem Dualraum ergibt:

Ist B\subset E beschränkt, so definiert p_B(f):= \sup\{|f(x)|; x\in B\} eine Halbnorm auf E'. Die Menge der Halbnormen pB, wobei B die beschränkten Mengen von E durchläuft, definiert die sogenannte starke Topologie auf E'. Man nennt E' mit der starken Topologie den starken Dualraum und bezeichnet ihn manchmal genauer mit Eb', wobei das tiefgestellte b für beschränkt (engl. bounded, frz. borné) steht.

Die schwach-*-Topologie ist ebenfalls eine häufig betrachtete Topologie auf E', diese fällt aber im Falle unendlichdimensionaler normierter Räume nicht mit der oben beschriebenen Normtopologie auf dem Dualraum zusammen. In der Theorie der lokalkonvexen Räume ist daher mit Dualraum in der Regel der starke Dualraum gemeint.

Bidualraum

Da der Dualraum  V\!\,' eines normierten Raums nach obigem ein Banachraum ist, kann man den Dualraum des Dualraums, den sogenannten Bidualraum  V\!\,'' betrachten. Hier ist interessant, dass es eine kanonische Einbettung von  V\!\, in  V\!\,'' gibt, die durch v\mapsto\left(\left(f\colon V\rightarrow K\right)\mapsto f\left(v\right)\right) gegeben ist. (Das heißt: jedes Element des ursprünglichen Raumes  V\!\, ist auf natürliche Weise auch ein Element des Bidualraums). Wenn sich jedes Element des Bidualraums durch ein Element aus V\!\, darstellen lässt, genauer wenn die kanonische Einbettung ein Isomorphismus ist, dann heißt der Banachraum reflexiv. Reflexive Räume sind einfacher zu handhaben als nicht reflexive, sie sind in gewisser Weise den Hilberträumen am ähnlichsten. Im nicht-reflexiven Fall ist die kanonische Einbettung V\to V\!\,'' zwar nicht mehr surjektiv aber immer noch isometrisch, und man schreibt üblicher Weise V\subset V\!\,''. Demnach ist jeder normierte Raum in einem Banachraum enthalten; der Übergang von V zum topologischen Abschluss in  V\!\,'' ist eine Möglichkeit, die Vervollständigung eines normierten Raumes zu bilden.

Ein Beispiel für einen nicht-reflexiven Raum ist der Folgenraum c0 aller Nullfolgen mit der Maximumsnorm. Der Bidualraum kann in natürlicher Weise mit dem Folgenraum \ell^\infty der beschränkten Folgen mit der Supremumsnorm identifiziert werden. Es gibt nicht-reflexive Banachräume, bei denen die kanonische Einbettung also kein Isomorphismus ist, es aber einen anderen Isomorphismus zwischen Raum und Bidualraum gibt. Ein Beispiel dafür ist der sogenannte James-Raum, nach Robert C. James.

Beispiele

In der folgenden Aufstellung wird zu einem Banachraum V der ersten Spalte ein weiterer Banachraum W in der zweiten Spalte angegeben, der im Sinne der in der dritten Spalte angegebenen Dualität isometrisch isomorph zum Dualraum von V ist. Genauer bedeutet dies: Jedes Element aus W definiert durch die Formel der Dualität ein stetiges lineares Funktional auf V. Dadurch erhält man eine Abbildung W\to V\,', und diese ist linear, bijektiv und isometrisch.

Banachraum Dualraum Dualität Bemerkung
c0 = Raum der Nullfolgen mit der Supremumsnorm \ell^1 = Raum der absolut summierbaren Folgen mit der Norm \|\cdot\|_1 \langle (a_n)_n, (b_n)_n \rangle = \sum_n a_nb_n siehe Folgenraum
c = Raum der konvergenten Folgen mit der Supremumsnorm \ell^1 = Raum der absolut summierbaren Folgen mit der Norm \|\cdot\|_1 \langle (a_n)_n, (b_n)_n \rangle = \sum_n a_nb_{n+1} + b_1 \lim_n a_n
\ell^1 = Raum der absolut summierbaren Folgen mit der Norm \|\cdot\|_1 \ell^\infty = Raum der beschränkten Folgen mit der Supremumsnorm \|\cdot\|_\infty \langle (a_n)_n, (b_n)_n \rangle = \sum_n a_nb_n
\ell^p = Raum der in p-ter Potenz absolut summierbaren Folgen mit der Norm \|\cdot\|_p \ell^q = Raum der in q-ter Potenz absolut summierbaren Folgen mit der Norm \|\cdot\|_q \langle (a_n)_n, (b_n)_n \rangle = \sum_n a_nb_n 1 < p,q < \infty,\,\,\frac{1}{p}+\frac{1}{q} = 1
K(H) = Raum der kompakten Operatoren auf dem Hilbertraum H N(H) = Raum der nuklearen Operatoren auf dem Hilbertraum H \langle A, B \rangle = Sp(AB) siehe nuklearer Operator
N(H) = Raum der nuklearen Operatoren auf dem Hilbertraum H B(H) = Raum der beschränkten Operatoren auf dem Hilbertraum H \langle A, B \rangle = Sp(AB) siehe nuklearer Operator
N(E) = Raum der nuklearen Operatoren auf E B(E,E'') = Raum der beschränkten Operatoren E \to E'' \langle \sum_nf_n(\cdot)x_n, B \rangle = \sum_n (B(x_n))(f_n) E Banachraum mit Approximationseigenschaft, siehe nuklearer Operator
{\mathcal S}_p(H) = p-Schatten-Klasse auf dem separablen Hilbertraum H {\mathcal S}_q(H) = q-Schatten-Klasse auf dem separablen Hilbertraum H \langle A, B \rangle = Sp(AB) 1 < p,q < \infty,\,\,\frac{1}{p}+\frac{1}{q} = 1
Lp(X,μ) = Raum der in p-ter Potenz integrablen Funktionen mit der Norm \|\cdot\|_p Lq(X,μ) = Raum der in q-ter Potenz integrablen Funktionen mit der Norm \|\cdot\|_q \langle f, g \rangle = \int_X f(x)g(x)d\mu(x) (X,μ) Maßraum, 1 < p,q < \infty,\,\,\frac{1}{p}+\frac{1}{q} = 1, siehe Dualität von Lp-Räumen
L1(X,μ) = Raum der integrablen Funktionen mit der Norm \|\cdot\|_1 L^\infty(X,\mu) = Raum der wesentlich beschränkten, messbaren Funktionen mit der Norm \|\cdot\|_\infty \langle f, g \rangle = \int_X f(x)g(x)d\mu(x) (X,μ) σ-endlicher Maßraum
C_0(X,{\mathbb K}) = Raum der stetigen {\mathbb K}-wertigen Funktionen, die im Unendlichen verschwinden, mit der Supremumsnorm M_r(X,{\mathbb K}) = Raum der regulären Borelmaße mit der totalen Variation als Norm \langle f, \mu \rangle = \int_Xf(x)d\mu(x) X lokalkompakter Hausdorffraum

Siehe auch

Literatur


Wikimedia Foundation.

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

  • Starker Dualraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Bidualraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Dualbasis — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Dualer Vektorraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Lineares Funktional — Das Funktional bezeichnet in der Mathematik zumeist eine Funktion aus einem Vektorraum V in den Körper K, über dem der Vektorraum modelliert ist. Oft ist V ein Funktionenraum, also ein Vektorraum, dessen Elemente reell oder komplexwertige… …   Deutsch Wikipedia

  • Funktional — Das Funktional bezeichnet in der Mathematik zumeist eine Funktion aus einem Vektorraum V in den Körper K, über dem der Vektorraum modelliert ist. Oft ist V ein Funktionenraum, also ein Vektorraum, dessen Elemente reell oder komplexwertige… …   Deutsch Wikipedia

  • Dualer Graph — In vielen Bereichen der Mathematik gibt es die folgende Situation: zu jedem Objekt X der jeweils betrachteten Klasse gibt es ein duales Objekt Y = X , dessen duales Objekt Y = (X ) wiederum X ist oder zumindest X sehr nahe kommt. Häufig gibt es… …   Deutsch Wikipedia

  • Satz von Goldstine — Die schwach * Topologie ist eine wichtige Topologie auf dem Dualraum eines normierten (oder allgemeiner lokalkonvexen) Raums. Die Bedeutung beruht u.a. auf dem Satz von Banach Alaoglu, wonach die Einheitskugel im Dualraum bezüglich dieser… …   Deutsch Wikipedia

  • Distribution (Mathematik) — Eine Distribution bezeichnet im Bereich der Mathematik eine besondere Art eines Funktionals, also ein Objekt aus der Funktionalanalysis. Die Theorie der Distributionen ermöglicht es, Ableitungen für Funktionen zu bestimmen, die im klassischen… …   Deutsch Wikipedia

  • Hough-Transformation — Die Hough Transformation (Sprechweise [hʌf]) ist ein robustes globales Verfahren zur Erkennung von Geraden, Kreisen oder beliebigen anderen parametrisierbaren geometrischen Figuren in einem binären Gradientenbild, also einem schwarz/weiß Bild,… …   Deutsch Wikipedia