Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil II/Vorlesung 56

Basiswechsel bei Tensorprodukten

Lemma

Es sei $K$ ein Körper und seien $V_1,\dots ,V_n$ endlichdimensionale Vektorräume über $K$. Es seien $v_{1j},j\in J_1,\dots ,v_{nj},j\in J_n$, und $w_{1j},j\in J_1,\dots ,w_{nj},j\in J_n$, Basen von $V_1,\dots ,V_n$ mit den Basiswechselmatrizen

$B_i=M_{{𝔴}_i}^{{𝔳}_i}={\left(a_{irs}\right)}_{1\le r,s\le {\dim }_K\left(V_i\right)}.$

Dann ist die Basiswechselmatrix (mit $J=J_1\times \cdots \times J_n$) zwischen den Basen

$v_{1j_1}{\otimes }_{}\cdots {\otimes }_{}{v}_{n{j}_n},(j_1,\dots ,j_n)\in J\text{ und }{w}_{1j_1}{\otimes }_{}\cdots {\otimes }_{}{w}_{n{j}_n},(j_1,\dots ,j_n)\in J$

des Tensorproduktes durch die $J\times J$-Matrix mit den Einträgen

$c_{(j_1,\dots ,j_n),(k_1,\dots ,k_n)}=a_{1j_1{k}_1}\cdots a_{n{j}_n{k}_n}$

beschrieben.

Beweis

Nach der Definition 9.2 der Basiswechselmatrix ist

$v_{is}=\sum _{r\in J_i}{a}_{irs}{w}_{ir}.$

Somit ist unter Verwendung von Lemma 55.9  (3)

$\begin{array}{cc}{v}_{1k_1}{\otimes }_{}\cdots {\otimes }_{}{v}_{n{k}_n}& =\left(\sum _{j_1\in J_1}{a}_{1j_1{k}_1}{w}_{1j_1}\right){\otimes }_{}\cdots {\otimes }_{}\left(\sum _{j_n\in J_n}{a}_{n{j}_n{k}_n}{w}_{n{j}_n}\right)\\ & =\sum _{(j_1,\dots ,j_n)\in J}{a}_{1j_1{k}_1}\cdots a_{n{j}_n{k}_n}{w}_{1j_1}{\otimes }_{}\cdots {\otimes }_{}{w}_{n{j}_n},\end{array}$

und diese Koeffizienten bilden die Basiswechselmatrix.

$◻$

Beispiel

Wir betrachten den ${ℝ}^2$ mit den Basen  $𝔳=\left(\begin{array}{c}5\\ 6\end{array}\right),\left(\begin{array}{c}-3\\ 8\end{array}\right)$  und der Standardbasis $𝔴$ und $ℂ$ als reellen Vektorraum mit den Basen  $𝔵=3-2\mathrm{i},4+5\mathrm{i}$  und  $𝔶=1,\mathrm{i}$.  Damit sind die Basiswechselmatrizen, wie sie in Lemma 56.1 auftreten, gleich

$B_1=\left(\begin{array}{cc}5& -3\\ 6& 8\end{array}\right)$

und

$B_2=\left(\begin{array}{cc}3& 4\\ -2& 5\end{array}\right).$

Wir folgen der Anordnung $(1,1),(1,2),(2,1),(2,2)$ und erhalten die Basiswechselmatrix

$\left(\begin{array}{cccc}15& 20& -9& -12\\ -10& 25& 6& -15\\ 18& 24& 24& 32\\ -12& 30& -16& 40\end{array}\right).$

In der zweiten Spalte steht beispielsweise, wie man $v_1\otimes x_2$ als Linearkombination der $w_1\otimes y_1,w_1\otimes y_2,w_2\otimes y_1,w_2\otimes y_2$ ausdrückt.

Tensorprodukt und Dualraum

Satz

Es sei $K$ ein Körper und seien $V_1,\dots ,V_n$ endlichdimensionale Vektorräume über $K$.

Dann gibt es eine natürliche Isomorphie

${V_1}^{\ast }{\otimes }_{}\cdots {\otimes }_{}{V_n}^{\ast }⟶{(V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n)}^{\ast },f_1{\otimes }_{}\cdots {\otimes }_{}{f}_n⟼(v_1{\otimes }_{}\cdots {\otimes }_{}{v}_n\mapsto f_1(v_1)\cdots f_n(v_n)).$

Beweis

Für fixierte Linearformen $f_1\in {V_1}^{\ast },\dots ,f_n\in {V_n}^{\ast }$ ist die Abbildung

$V_1\times \cdots \times V_n⟶K,(v_1,\dots ,v_n)⟼f_1(v_1)\cdots f_n(v_n),$

nach Aufgabe 16.39 multilinear und definiert daher eine Linearform auf $V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n$. Dies ergibt die Abbildung

$\Psi :{V_1}^{\ast }\times \cdots \times {V_n}^{\ast }⟶{(V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n)}^{\ast },(f_1,\dots ,f_n)⟼((v_1{\otimes }_{}\cdots {\otimes }_{}{v}_n)\mapsto f_1(v_1)\cdots f_n(v_n)).$

Diese Gesamtzuordnung $\Psi$ ist ebenfalls multilinear und ergibt somit eine lineare Abbildung

${V_1}^{\ast }{\otimes }_{}\cdots {\otimes }_{}{V_n}^{\ast }⟶{(V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n)}^{\ast }.$

Nach Korollar 55.13 und Korollar 13.12 haben die Räume die gleiche Dimension. Es seien $v_{ij}$, $1\le j\le {\dim }_K\left(V_i\right)$, Basen der $V_i$. Dann bilden die $v_{1j_1}{\otimes }_{}\cdots {\otimes }_{}{v}_{n{j}_n}$ nach Satz 55.12  (3) eine Basis von $V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n$ und die Dualbasis dazu eine Basis des Dualraumes. Wir behaupten die Gleichheit der linearen Abbildungen

$\Psi (v_{1j_1}^{\ast }{\otimes }_{}\cdots {\otimes }_{}{v}_{n{j}_n}^{\ast })={(v_{1j_1}{\otimes }_{}\cdots {\otimes }_{}{v}_{n{j}_n})}^{\ast }.$

Diese ergibt sich, da beide Abbildungen, angewendet auf die Basiselemente $v_{1k_1}{\otimes }_{}\cdots {\otimes }_{}{v}_{n{k}_n}$, bei  $(k_1,\dots ,k_n)=(j_1,\dots ,j_n)$  den Wert $1$ und andernfalls den Wert $0$ ergeben. Daher ist $\Psi$ surjektiv und damit auch injektiv.

$◻$

Lemma

Es sei $K$ ein Körper und $U,V,W$ seien $K$-Vektorräume. Dann gelten folgende Aussagen (im Sinne einer kanonischen Isomorphie).

1. Es ist

   $U{\otimes }_{K}V\cong V{\otimes }_{K}U.$

2. Es ist

   $U{\otimes }_K\left(V{\otimes }_{K}W\right)\cong \left(U{\otimes }_{K}V\right){\otimes }_{K}W.$

Beweis

Siehe Aufgabe 56.2.

$◻$

Tensorprodukte von linearen Abbildungen

Lemma

Es sei $K$ ein Körper und seien $V_1,\dots ,V_n,W_1,\dots ,W_n$ Vektorräume über $K$. Es seien

${\phi }_i:V_i⟶W_i$

$K$-lineare Abbildungen.

Dann gibt es eine wohldefinierte lineare Abbildung

$V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n⟶W_1{\otimes }_{}\cdots {\otimes }_{}{W}_n$

mit

$\psi (v_1{\otimes }_{}\cdots {\otimes }_{}{v}_n):={\phi }_1(v_1){\otimes }_{}\cdots {\otimes }_{}{\phi }_n(v_n).$

Beweis

Die Gesamtabbildung

$V_1\times \cdots \times V_n\stackrel{{\phi }_1\times \cdots \times {\phi }_n}{⟶}{W}_1\times \cdots \times W_n\stackrel{\pi }{⟶}{W}_1{\otimes }_{}\cdots {\otimes }_{}{W}_n$

ist nach Aufgabe 16.30 multilinear. Dies induziert nach Satz 55.4 eine lineare Abbildung

$V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n⟶W_1{\otimes }_{}\cdots {\otimes }_{}{W}_n,v_1{\otimes }_{}\cdots {\otimes }_{}{v}_n⟼\phi (v_1){\otimes }_{}\cdots {\otimes }_{}\phi (v_n).$

$◻$

Definition

Es sei $K$ ein Körper und seien $V_1,\dots ,V_n,W_1,\dots ,W_n$ Vektorräume über $K$. Zu $K$-linearen Abbildungen

${\phi }_i:V_i⟶W_i$

heißt die lineare Abbildung

$V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n⟶W_1{\otimes }_{}\cdots {\otimes }_{}{W}_n,v_1{\otimes }_{}\cdots {\otimes }_{}{v}_n⟼{\phi }_1(v_1){\otimes }_{}\cdots {\otimes }_{}{\phi }_n(v_n),$

das Tensorprodukt der ${\phi }_i$. Es wird mit ${\phi }_1{\otimes }_{}\cdots {\otimes }_{}{\phi }_n$ bezeichnet.

Proposition

Es sei $K$ ein Körper und seien $U,V,Z$ Vektorräume über $K$. Dann gelten folgende Aussagen.

1. Zu einer $K$-linearen Abbildung $\phi :U\to V$ gibt es eine natürliche $K$-lineare Abbildung $\phi {\otimes }_K{\mathrm{Id}}_Z:U{\otimes }_{K}Z\to V{\otimes }_{K}Z$.
2. Wenn $\phi$ surjektiv ist, ist auch $\phi {\otimes }_K{\mathrm{Id}}_Z$ surjektiv.
3. Wenn $\phi$ injektiv ist, so ist auch $\phi {\otimes }_K{\mathrm{Id}}_Z$ injektiv.

Beweis

(1). Dies ist ein Spezialfall von Lemma 56.5.

(2). Die Surjektivität der Abbildung

$U{\otimes }_{K}Z⟶V{\otimes }_{K}Z$

ist klar, da die $v\otimes z$ ein $K$-Erzeugendensystem von $V{\otimes }_{K}Z$ bilden und diese im Bild der Abbildung liegen.

(3). Wegen der Injektivität können wir

$U\subseteq V$

als Untervektorraum auffassen. Eine Basis $u_i$, $i\in I$, von $U$ können wir zu einer Basis $u_i$, $i\in J$, mit  $I\subseteq J$  von $V$ ergänzen. Sei $z_{\ell }$, $\ell \in L$, eine Basis von $Z$. Dann ist nach Satz 55.12  (3) die Familie $v_j\otimes z_{\ell }$, $(j,\ell )\in J\times L$, eine Basis von $V\otimes Z$ und $v_i\otimes z_{\ell }$, $(i,\ell )\in I\times L$, ist eine Teilmenge davon, die eine Basis von $U\otimes Z$ ist. Also wird unter

$U\otimes Z⟶V\otimes Z$

eine Basis auf linear unabhängige Elemente abgebildet und somit ist diese Abbildung injektiv.

$◻$

Von daher werden wir zu Untervektorräumen $U_1\subseteq V_1,\dots ,U_n\subseteq V_n$ das Tensorprodukt $U_1{\otimes }_{}\cdots {\otimes }_{}{U}_n$ als Untervektorraum von $V_1{\otimes }_{}\cdots {\otimes }_{}{V}_n$ auffassen.

Korollar

Es sei $K$ ein Körper und $U,V,W$ seien $K$-Vektorräume.

Dann ist

$U{\otimes }_K(V\oplus W)\cong \left(U{\otimes }_{K}V\right)\oplus \left(U{\otimes }_{K}W\right).$

Beweis

Siehe Aufgabe 56.5.

$◻$

Körperwechsel

Schon häufig haben wir ein reelles Problem dadurch vereinfacht, dass wir es als Problem über den komplexen Zahlen aufgefasst haben. Wenn die Situation mit einer reellen Matrix formuliert werden kann, so kann man diese direkt als eine komplexe Matrix auffassen und dafür die (nichtreellen) komplexen Eigenwerte berechnen und ähnliches. Matrizen sind im Allgemeinen von der Wahl von Basen abhängige Beschreibungen mathematischer Objekte. Mit dem Tensorprodukt kann man den Übergang zum Komplexen auf der Ebene der Objekte selbst sinnvoll beschreiben. Wir betrachten daher hier den Fall des Tensorproduktes, wenn über $K$ ein $K$-Vektorraum $V$ und eine Körpererweiterung  $K\subseteq L$  vorliegt. Wir fixieren die verwendeten Sprechweisen.

Definition

Eine Teilmenge  $K\subseteq L$  eines Körpers $L$ heißt Unterkörper von $L$, wenn folgende Eigenschaften gelten.

1. Es ist  $0,1\in K$. 
2. Mit  $a,b\in K$  ist auch  $a+b\in K$. 
3. Mit  $a,b\in K$  ist auch  $a\cdot b\in K$. 
4. Mit  $a\in K$  ist auch  $-a\in K$. 
5. Mit $a\in K$, $a\ne 0$, ist auch  $a^{-1}\in K$. 

Definition

Es sei $L$ ein Körper und  $K\subseteq L$  ein Unterkörper von $L$. Dann heißt $L$ ein Erweiterungskörper (oder Oberkörper) von $K$ und die Inklusion  $K\subseteq L$  heißt eine Körpererweiterung.

Lemma

Es sei  $K\subseteq L$  eine Körpererweiterung.

Dann ist $L$ in natürlicher Weise ein $K$-Vektorraum.

Beweis

Die Skalarmultiplikation

$K\times L⟶L,(\lambda ,x)⟼\lambda x,$

wird einfach durch die Multiplikation in $L$ gegeben. Die Vektorraumaxiome folgen dann direkt aus den Körperaxiomen.

$◻$

Definition

Zu einem $K$-Vektorraum $V$ über einem Körper $K$ und einer Körpererweiterung  $K\subseteq L$  nennt man $L{\otimes }_{K}V$ den durch Körperwechsel gewonnenen $L$-Vektorraum.

Statt $L{\otimes }_{K}V$ schreibt man auch $V_L$.

Proposition

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und  $K\subseteq L$  eine Körpererweiterung. Dann gelten folgende Aussagen.

1. Das Tensorprodukt $L{\otimes }_{K}V$ ist ein $L$-Vektorraum.
2. Es gibt eine kanonische $K$-lineare Abbildung

   $V⟶L{\otimes }_{K}V,v⟼1\otimes v.$

   Bei  $K=L$  ist dies ein Isomorphismus.

3. Zu einer $K$-linearen Abbildung $\phi :V\to W$ ist die induzierte Abbildung

   ${\mathrm{Id}}_L\otimes \phi :L{\otimes }_{K}V⟶L{\otimes }_{K}W$

   eine $L$-lineare Abbildung.

4. Zu  $V=K^n$  ist

   $L{\otimes }_K{K}^n\cong L^n.$

5. Zu einem endlichdimensionalen $K$-Vektorraum $V$ ist

   ${\dim }_K\left(V\right)={\dim }_L\left(L{\otimes }_{K}V\right).$

6. Zu einer weiteren Körpererweiterung  $L\subseteq M$  ist

   $M{\otimes }_{K}V\cong M{\otimes }_L\left(L{\otimes }_{K}V\right)$

   (eine Isomorphie von $M$-Vektorräumen).

Beweis

(1). Die Multiplikation

$L\times L⟶L,(r,s)⟼rs,$

ist $L$-bilinear und insbesondere $K$-bilinear und führt nach Satz 55.4 zu einer $K$-linearen Abbildung

$L{\otimes }_{K}L⟶L.$

Dies induziert nach Lemma 56.4  (2) und nach Proposition 56.7 eine $K$-lineare Abbildung

$L{\otimes }_K\left(L{\otimes }_{K}V\right)\cong \left(L{\otimes }_{K}L\right){\otimes }_{K}V⟶L{\otimes }_{K}V.$

Dies ergibt eine wohldefinierte Skalarmultiplikation

$L\times \left(L{\otimes }_{K}V\right)⟶\left(L{\otimes }_{K}V\right),$

die explizit durch

$s\cdot (\sum _{j=1}^n{r}_j\otimes m_j)=\sum _{j=1}^n\left(s{r}_j\right)\otimes m_j$

gegeben ist. Aus dieser Beschreibung folgen direkt die Eigenschaften einer Skalarmultiplikation.
(2). Die $K$-Homomorphie folgt direkt aus der Bilinearität des Tensorprodukts. Bei  $L=K$  ist die Abbildung surjektiv. Die Skalarmultiplikation $K\times V\to V$ induziert eine $K$-lineare Abbildung

$K{\otimes }_{K}V⟶V.$

Die Verknüpfung der kanonischen Abbildung $V\to K{\otimes }_{K}V$ mit dieser Abbildung ist die Identität auf $V$, sodass die erste Abbildung auch injektiv ist.
(3) folgt aus der expliziten Beschreibung in (1).
(4) folgt aus Korollar 56.8.
(5) folgt aus (4).
(6). Nach Teil (2) haben wir einerseits eine $K$-lineare Abbildung $V\to L{\otimes }_{K}V$. Dies führt zu einer $K$-multilinearen Abbildung

$M\times V⟶M\times \left(L{\otimes }_{K}V\right)⟶M{\otimes }_L\left(L{\otimes }_{K}V\right),$

die eine $K$-lineare Abbildung

$M{\otimes }_{K}V⟶M{\otimes }_L\left(L{\otimes }_{K}V\right)$

induziert. Andererseits haben wir eine $L$-lineare Abbildung

$L{\otimes }_{K}V⟶M{\otimes }_{K}V.$

Rechts steht ein $M$-Vektorraum, daher kann man die Skalarmultiplikation als eine $L$-multilineare Abbildung

$M\times \left(L{\otimes }_{K}V\right)⟶M{\otimes }_{K}V$

auffassen, die ihrerseits zu einer $L$-linearen Abbildung

$M{\otimes }_L\left(L{\otimes }_{K}V\right)⟶M{\otimes }_{K}V$

führt. Diese beiden Abbildungen sind invers zueinander, was man auf den zerlegbaren Tensoren überprüfen kann. Daran sieht man auch, dass sich die $M$-Multiplikationen entsprechen.

$◻$

Lemma

Es sei $K$ ein Körper, $V$ ein $K$-Vektorraum und  $K\subseteq L$  eine Körpererweiterung. Es sei $v_i$, $i\in I$, eine Familie von Vektoren aus $V$. Dann gelten folgende Aussagen.

1. Die Familie $v_i$, $i\in I$, ist genau dann ein $K$-Erzeugendensystem von $V$, wenn $1\otimes v_i$, $i\in I$, ein $L$-Erzeugendensystem von $L\otimes V$ ist.
2. Die Familie $v_i$, $i\in I$, ist genau dann $K$-linear unabhängig in $V$, wenn $1\otimes v_i$, $i\in I$, linear unabhängig (über $L$) in $L\otimes V$ ist.
3. Die Familie $v_i$, $i\in I$, ist genau dann ein $K$-Basis von $V$, wenn $1\otimes v_i$, $i\in I$, ein $L$-Basis von $L\otimes V$ ist.

Beweis

Siehe Aufgabe 56.17.

$◻$

Beispiel

Es sei $V$ ein reeller Vektorraum. Die Tensorierung mit der $ℝ$-Algebra $ℂ$, also

$V_{ℂ}:=ℂ{\otimes }_{ℝ}V,$

nennt man die Komplexifizierung von $V$. Wenn $V$ die Dimension $n$ besitzt, so besitzt $V_{ℂ}$ als komplexer Vektorraum ebenfalls die Dimension $n$. Wenn man $V_{ℂ}$ als reellen Vektorraum betrachtet, so besitzt er die reelle Dimension $2n$.

<< | Kurs:Lineare Algebra (Osnabrück 2024-2025)/Teil II | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)