imported>Aka: Bindestrich, Kleinkram

2020-11-09T17:40:36Z

Bindestrich, Kleinkram

Neue Seite

Die im [[Teilgebiet der Mathematik|mathematischen Teilgebiet]] der [[Funktionalanalysis]] betrachtete Bildung von '''Hilbertraum-Tensorprodukten''' ist eine Methode, aus [[Hilbertraum|Hilberträumen]] neue Hilberträume zusammenzusetzen. Eine rein algebraische Bildung des [[Tensorprodukt]]es reicht nicht aus, da man im Allgemeinen so keine [[Vollständiger Raum|vollständigen]] Räume erhält. Auch die in der [[Banachraum]]theorie untersuchten [[Injektives Tensorprodukt|injektiven]] und [[Projektives Tensorprodukt|projektiven]] Tensorprodukte führen nicht zum gewünschten Ergebnis, da man auf diese Weise im Allgemeinen nicht zu Hilberträumen kommt, das heißt, die [[Norm (Mathematik)|Normen]] sind nicht durch ein [[Skalarprodukt]] definiert.

Zwar sind Skalarprodukte auf <math>\Complex</math>-Hilberträumen nicht [[Bilinearform|bilinear]], sondern nur [[Sesquilinearform|sesquilinear]], aber dennoch sollte es möglich sein, diese auf algebraische Tensorprodukte von Hilberträumen fortzusetzen, denn Tensorprodukte sind ja gewissermaßen für bilineare Abbildungen gemacht.
Dann hätte man immerhin einen [[Prähilbertraum]], den man nur noch vervollständigen müsste, um einen Hilbertraum zu erhalten. Genau dieses Vorgehen erweist sich als erfolgreich. Im Folgenden werden nur komplexe Hilberträume betrachtet, die für viele Anwendungen wichtiger sind. Die Konstruktion von Tensorprodukten reeller Räume verläuft ganz ähnlich und ist in manchen Details sogar einfacher.

== Definition ==
Es seien <math>H</math> und <math>K</math> zwei <math>\Complex</math>-Hilberträume. Die Skalarprodukte werden stets mit <math>\langle\cdot,\cdot\rangle</math> bezeichnet, zur Präzisierung wird gegebenenfalls der Name des Hilbertraums als Index angefügt. Dann kann man zeigen:

Auf dem algebraischen Tensorprodukt <math>H\odot K</math> gibt es genau eine Sesquilinearform mit der Eigenschaft
:<math>\langle x_1\otimes y_1, x_2\otimes y_2\rangle_{H\otimes K} = \langle x_1,x_2\rangle_H \cdot \langle y_1,y_2\rangle_K</math>  für alle <math>x_1,x_2\in H</math> und <math>y_1,y_2\in K</math>.

Die Vervollständigung des Prähilbertraums <math>(H\odot K,\langle\cdot,\cdot\rangle_{H\otimes K})</math> heißt das Hilbertraum-Tensorprodukt aus <math>H</math> und <math>K</math> und wird mit <math>H \otimes K</math> bezeichnet. Manche Autoren verwenden <math>H\otimes K</math> für das algebraische Tensorprodukt und schreiben dann <math>H \,\overline{\otimes}\, K</math> für die Vervollständigung, andere verwenden <math>H\otimes K</math> für beides und weisen auf mögliche Mehrdeutigkeiten hin oder verwenden für das algebraische Tensorprodukt eine andere Notation, wie in diesem Artikel geschehen.

== Eigenschaften ==
* Das Hilbertraum-Tensorprodukt lässt sich leicht mittels Induktion auf das Hilbertraum-Tensorprodukt endlich vieler Hilberträume <math>H_1,\ldots,H_n</math> ausdehnen, wobei <math>H_1\otimes \ldots \otimes H_n</math> als <math>(H_1\otimes \ldots \otimes H_{n-1})\otimes H_n</math> definiert wird.

* Für das Hilbertraum-Tensorprodukt gelten die üblichen Sätze über Kommutativität, Assoziativität und Distributivität, das heißt, man hat folgende [[Isometrie|isometrische]] [[Isomorphismus|Isomorphismen]], wobei die <math>H_i</math> Hilberträume mit Elementen <math>x_i</math> seien:
:<math>H_1\otimes H_2 \cong H_2\otimes H_1 </math> mit <math>x_1\otimes x_2 \mapsto x_2\otimes x_1</math>

:<math>H_1\otimes (H_2\otimes H_3) \cong (H_1\otimes H_2)\otimes H_3 </math> mit <math>x_1\otimes (x_2\otimes x_3) \mapsto (x_1\otimes x_2)\otimes x_3</math>

:<math>H_1\otimes (H_2\oplus H_3) \cong (H_1\otimes H_2)\oplus (H_1\otimes H_3) </math> mit <math>x_1\otimes (x_2\oplus x_3) \mapsto (x_1\otimes x_2)\oplus (x_1\otimes x_3)</math>

* Das Hilbertraum-Tensorprodukt hat die sogenannte Kreuznorm-Eigenschaft, das heißt, es gilt
:<math>\|x\otimes y\| = \|x\|\cdot\|y\|</math> für alle Vektoren <math>x</math> und <math>y</math> aus den Hilberträumen.

== Konstruktion als lineare Operatoren ==
Für <math>x\in H</math> und <math>y\in K</math> kann das Tensorprodukt im Sinne des [[dyadisches Produkt|dyadischen Produkts]] als linearer Operator <math>x\otimes y\colon K\to H</math> aufgefasst werden. Die (algebraische) lineare Hülle dieser Operatoren ist die Algebra der [[Operator endlichen Ranges|Operatoren endlichen Ranges]], dies folgt aus dem [[Satz von Fréchet-Riesz]], auf dem diese Identifikation mit dem Tensorprodukt beruht. Das oben definierte Skalarprodukt induziert gerade die ''Hilbert-Schmidt-Norm'' und die Operatoren endlichen Ranges liegen bezüglich dieser Norm dicht in den ''[[Hilbert-Schmidt-Operator]]en'', die vollständig bezüglich dieser Norm sind. Das heißt, die oben durchgeführte Vervollständigung der Operatoren endlichen Ranges ergibt nichts anderes als den Raum der Hilbert-Schmidt-Opertoren von <math>K</math> nach <math>H</math>.

== Beispiele ==
* Seien <math>L^2(X_1,\Sigma_1,\mu_1)</math> und <math>L^2(X_2,\Sigma_2,\mu_2)</math> die [[Lp-Raum|L<sup>2</sup>-Räume]] zu <math>\sigma</math>-endlichen [[Maßraum|Maßräumen]]. Dann ist das Hilbertraum-Tensorprodukt isomorph zum <math>L^2</math>-Raum des [[Produktmaß|Produktes der Maßräume]], das heißt<ref>[[Richard Kadison|R.V. Kadison]], [[John Ringrose|J. R. Ringrose]]: ''Fundamentals of the Theory of Operator Algebras'', 1983, ISBN 0123933013, Example 2.6.11</ref>
::<math>L^2(X_1,\Sigma_1,\mu_1)\otimes L^2(X_2,\Sigma_2,\mu_2) \cong L^2(X_1\times X_2, \Sigma_1\otimes \Sigma_2, \mu_1\times \mu_2)</math>

* Seien <math>I</math> und <math>J</math> zwei Mengen und <math>\ell^2(I)</math> und <math>\ell^2(J)</math> die zugehörigen Hilberträume mit [[Orthonormalbasis|Orthonormalbasen]] <math>(e_i)_{i\in I}</math> bzw. <math>(e_j)_{j\in J}</math>. Dann ist das Hilbertraum-Tensorprodukt isomorph zu <math>\ell^2(I\times J)</math>, das heißt in Formeln<ref>R.V. Kadison, J. R. Ringrose: ''Fundamentals of the Theory of Operator Algebras'', 1983, ISBN 0123933013, Beispiel 2.6.10</ref>
::<math>\ell^2(I)\otimes \ell^2(J)\cong \ell^2(I\times J)</math>.
:Dies ist der Fall, da die Hilbert-Schmidt-Operatoren gerade die Operatoren mit quadratsummablen [[Matrixkoeffizient]]en sind. Da nach dem [[Satz von Fischer-Riesz]] jeder Hilbertraum isomorph zu einem <math>\ell^2(I)</math> mit geeignetem <math>I</math> ist, folgt für beliebige Hilberträume <math>H</math> und <math>K:</math>

::<math>\mathrm{dim}(H\otimes K) \,=\, \mathrm{dim}(H)\cdot \mathrm{dim}(K)\,,</math>

:wobei <math>\mathrm{dim}(H)</math> für die [[Hilbertraumdimension]], d. h. die [[Kardinalität (Mathematik)|Kardinalität]] jeder Orthonormalbasis von <math>H</math> steht.

== Tensorprodukte als orthogonale Summen ==
Es seien <math>H</math> und <math>K</math> Hilberträume und <math>(y_j)_{j\in J}</math> sei eine Orthonormalbasis von <math>K</math>. Dann ist
:<math>H\otimes y_j := \{x\otimes y_j; x\in H\} \subset H\otimes K</math>
ein zu <math>H</math> isometrisch isomorpher Unterraum, und es ist
:<math>H\otimes K \cong \bigoplus_{j\in J} H\otimes y_j</math>,
wobei die rechte Seite als [[orthogonale Summe]] zu lesen ist. Die Rollen von <math>H</math> und <math>K</math> kann man selbstverständlich vertauschen. In diesem Sinne ist ein Hilbertraum-Tensorprodukt nichts weiter als eine geeignete direkte Summe von Kopien eines der beiden Faktoren des Tensorproduktes.<ref>R.V. Kadison, J. R. Ringrose: ''Fundamentals of the Theory of Operator Algebras'', 1983, ISBN 0123933013, Bemerkung 2.6.8</ref>

== Operatoren auf Tensorprodukten ==
Stetige [[linearer Operator|lineare Operatoren]] <math>A\in L(H)</math> und <math>B\in L(K)</math> auf Hilberträumen <math>H</math> und <math>K</math> lassen sich zum Tensorprodukt <math>A\otimes B</math> auf <math>H\otimes K</math> zusammensetzen. Genauer:

Das algebraische Tensorprodukt <math> A\odot B:H\odot K\rightarrow H\odot K</math> ist stetig bezüglich der Prähilbertraum-Norm und kann daher zu einem stetigen linearen Operator <math>A\otimes B\,\in\, L(H\otimes K)</math> fortgesetzt werden. Dabei gilt <math>\|A\otimes B\| = \|A\|\cdot\|B\|</math>, wobei links die Operatornorm von <math>L(H\otimes K)</math> steht.<ref>[[Jacques Dixmier]]: ''Von Neumann algebras.'' North-Holland, Amsterdam 1981, ISBN 0-444-86308-7, I.2.3</ref>

Dies ist die wichtigste Motivation zur Einführung von Tensorprodukten für Hilberträume. Mittels dieser Operatoren <math>A\otimes B</math> kann man ein [[Tensorprodukt für Von-Neumann-Algebren]] definieren.

== Vergleich verschiedener Tensorprodukte ==
Wir betrachten Tensorprodukte von <math>\ell^2</math> mit sich selbst. Jedes Element <math>\textstyle t=\sum_{i=1}^n x_i\otimes y_i</math> aus dem algebraischen Tensorprodukt gibt Anlass zu einem endlichdimensionalen Operator <math>\textstyle T_t \colon \ell^2\rightarrow \ell^2,\,x\mapsto \sum_{i=1}^n\langle x,y_i\rangle x_i</math>, das heißt, das algebraische Tensorprodukt ist in natürlicher Weise in <math>L(\ell^2)</math> enthalten. Bezeichnen <math>\otimes_\varepsilon</math> und <math>\otimes_\pi</math> das [[Injektives Tensorprodukt|injektive]] bzw. [[Projektives Tensorprodukt|projektive]] Tensorprodukt, so erhält man:
* <math>\ell^2 \otimes_\varepsilon \ell^2\,\cong </math> [[C*-Algebra]] der [[kompakter Operator|kompakten Operatoren]] mit der [[Operatornorm]].
* <math>\ell^2 \otimes \ell^2\cong </math> [[H*-Algebra]] der [[Hilbert-Schmidt-Operator]]en mit der Hilbert-Schmidt-Norm. Im unten angegebenen Lehrbuch von [[Richard Kadison|R.V. Kadison]] und [[John Ringrose|J. R. Ringrose]] steht die Verbindung des Hilbertraum-Tensorproduktes zu den Hilbert-Schmidt-Operatoren im Vordergrund.
* <math>\ell^2 \otimes_\pi \ell^2\cong </math> [[Banachalgebra|Banach-*-Algebra]] der [[Spurklasseoperator]]en mit der Spur als Norm.
Dies ist unter anderem im unten angegebenen Lehrbuch von [[Robert Schatten|R. Schatten]] zu finden.

== Einzelnachweise ==
<references />

== Literatur ==
* [[Richard Kadison|Richard V. Kadison]], [[John R. Ringrose]]: ''Fundamentals of the Theory of Operator Algebras.'' Band 1: ''Elementary Theory.'' Academic Press, New York NY 1983, ISBN 0-12-393301-3 (''Pure and Applied Mathematics'' 100, 1).
* [[Robert Schatten]]: ''A theory of cross-spaces.'' Princeton University Press, Princeton NJ 1950 (''Annals of Mathematical Studies'' 26, {{ISSN|0066-2313}}).

[[Kategorie:Skalarproduktraum]]
[[Kategorie:Funktionalanalysis]]

Hilbertraum-Tensorprodukt - Versionsgeschichte

imported>Aka: Bindestrich, Kleinkram