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 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.

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$

Ist V ein endlich-dimensionaler Vektorraum so ist auch V ^* endlich-dimensional, und es gilt: dim_KV ^* = dim_KV.

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

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

die duale Basis zur Basis X und ist eine Basis des Dualraumes V ^* .

Ist V ein unendlich-dimensionaler Vektorraum, so lässt sich auf diese Art und Weise i.A. keine duale Basis konstruieren. (Sei $(x_i)_{i \in I}$ eine Basis des unendlichdimensionalen Vektorraums V. Man betrachte die lineare Abbildung $f\colon V\to K,f(x_i)=1 \,\forall i \in I$, die in V ^* liegt, aber keine endliche Linearkombination der  $x_i^*$ ist. Daher bilden die $x_i^*$ kein Erzeugendensystem von V ^* .)

Die Wirkung der Elemente von V ^* auf V definiert eine Bilinearform:

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

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}$

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 unendlich-dimensionaler Raum ist. In einem endlich-dimensionalen 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 (also z. B. $\R$ oder $\mathbb{C}$), dann ist der Dualraum 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 Hilbertraum und sein Dualraum isometrisch isomorph zueinander, siehe Rieszscher Darstellungssatz. 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 endlich-dimensionale Vektorraum über den reellen oder komplexen Zahlen isomorph zu einem Hilbertraum ist, sind endlich-dimensionale Räume stets selbstdual.

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 p_B, 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 E_b', 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 unendlich-dimensionaler 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.

Bidual

Da der Dualraum V' eines Banachraums wieder 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. Ein Beispiel für einen nicht-reflexiven Raum ist der Raum C[0,1] der stetigen Funktionen auf dem Einheitsintervall mit der Maximumsnorm.

Ein anderes Beispiel für nicht-reflexive Räume sind Banachräume, bei denen die kanonische Einbettung kein Isomorphismus ist, es aber einen anderen Isomorphismus zwischen Raum und Bidualraum gibt. Ein Beispiel dafür sind die sogenannten Jamesräume, nach Robert Clarke 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$
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$
$\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 Lp-Raum
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

• Dualer Operator

Literatur

• Dirk Werner: Funktionalanalysis. Springer Verlag, 2005. ISBN 3-540-43586-7