Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 38/kontrolle

Bilinearformen

Reelle Skalarprodukte sind positiv definite symmetrische Bilinearformen. In den folgenden Vorlesungen besprechen wir Bilinearformen allgemein. Neben Skalarprodukten sind die Hesse-Formen wichtig, die in der höherdimensionalen Analysis betrachten werden, um Extrema zu bestimmen und die Minkowski-Formen, mit denen man die spezielle Relativitätstheorie beschreiben kann (siehe Vorlesung 40).

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$- Vektorraum. Eine Abbildung

$V\times V\longrightarrow K,\,(v,w)\longmapsto \left\langle v,w\right\rangle ,$

heißt Bilinearform, wenn für alle ${}v\in V$ die induzierten Abbildungen

$V\longrightarrow K,\,w\longmapsto \left\langle v,w\right\rangle ,$

und für alle ${}w\in V$ die induzierten Abbildungen

$V\longrightarrow K,\,v\longmapsto \left\langle v,w\right\rangle ,$

${}K$- linear sind.

Bilinear bedeutet einfach multilinear in zwei Komponenten, diese Eigenschaft haben wir schon im Zusammenhang mit Determinanten kennengelernt. Ein extremes Beispiel ist die Nullform, die jedem Paar den Nullwert zuordnet. Es ist einfach, eine Vielzahl von Bilinearformen auf dem ${}K^{n}$ anzugeben.

Beispiel Beispiel 38.2 ändern

Es sei ${}V=K^{n}$ und seien ${}a_{ij}\in K$ für ${}1\leq i,j\leq n$ fixiert. Dann ist die Zuordnung

$({\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}},{\begin{pmatrix}y_{1}\\\vdots \\y_{n}\end{pmatrix}})\longmapsto \Psi (x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n})=\sum _{ij}a_{ij}x_{i}y_{j}$

eine Bilinearform. Bei

${}a_{ij}=0\,$

für alle ${}i,j$ ist dies die Nullform; bei

${}a_{ij}=\delta _{ij}={\begin{cases}1,{\text{ falls }}i=j\,,\\0{\text{ sonst}}\,,\end{cases}}\,$

liegt das Standardskalarprodukt vor (wobei der Ausdruck für jeden Körper einen Sinn ergibt, aber die Eigenschaft, positiv definit zu sein, gegenstandslos ist). Bei ${}n=4$ und

${}\Psi (x_{1},\ldots ,x_{4},y_{1},\ldots ,y_{4})=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}-x_{4}y_{4}\,$

spricht man von einer Minkowski-Form. Bei ${}n=2$ und

${}\Psi (x_{1},x_{2},y_{1},y_{2})=x_{1}y_{2}-x_{2}y_{1}\,$

handelt es sich um die Determinante im zweidimensionalen Fall.

Eine wichtige Eigenschaft von Bilinearformen, die Skalarprodukte erfüllen, wird in der nächsten Definition formuliert.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$- Vektorraum. Eine Bilinearform

$V\times V\longrightarrow K,\,(v,w)\longmapsto \left\langle v,w\right\rangle ,$

heißt nicht ausgeartet, wenn für alle ${}v\in V,\,v\neq 0$, die induzierten Abbildungen

$V\longrightarrow K,\,w\longmapsto \left\langle v,w\right\rangle ,$

und für alle ${}w\in V,\,w\neq 0$, die induzierten Abbildungen

$V\longrightarrow K,\,v\longmapsto \left\langle v,w\right\rangle ,$

nicht die Nullabbildung sind.

In dieser Vorlesung werden wir für Vektorräume, auf denen eine nicht-ausgeartete Bilinearform gegeben ist, eine bijektive Beziehung zwischen Vektoren und Linearformen beweisen. Dies gilt insbesondere für Skalarprodukte. Generell besteht eine enge Beziehung zwischen Bilinearformen und linearen Abbildungen in den Dualraum.

Lemma Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum mit dem Dualraum ${}{V}^{*}$. Es sei

$\Theta \colon V\longrightarrow {V}^{*}$

eine lineare Abbildung.

Dann ist durch

${}\Psi (u,v)=(\Theta (u))(v)\,$

eine Bilinearform auf ${}V$ gegeben.

Beweis

Da ${}\Theta (u)\in {V}^{*}$ ist, liefert die Auswertung an einem Vektor ${}v\in V$ ein Element des Grundkörpers. Die Linearität in der zweiten Komponenten beruht direkt darauf, dass ${}\Theta (u)$ zum Dualraum gehört, und die Linearität in der ersten Komponenten beruht auf der Linearität von ${}\Theta$.

$\Box$

Der Gradient

Lemma Lemma 38.5 ändern

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$- Vektorraum, der mit einer Bilinearform ${}\left\langle -,-\right\rangle$ versehen sei. Dann gelten folgende Aussagen

1. Für jeden Vektor ${}u\in V$ sind die Zuordnungen

   $V\longrightarrow K,\,v\longmapsto \left\langle u,v\right\rangle ,$

   und

   $V\longrightarrow K,\,v\longmapsto \left\langle v,u\right\rangle ,$

   ${}K$- linear.

2. Die Zuordnung

   $V\longrightarrow {V}^{*},\,u\longmapsto \left\langle u,-\right\rangle ,$

   ist ${}K$-linear.

3. Wenn ${}\left\langle -,-\right\rangle$ nicht ausgeartet ist, so ist die Zuordnung in (2) injektiv. Ist ${}V$ zusätzlich endlichdimensional, so ist diese Zuordnung bijektiv.

Beweis

(1) folgt unmittelbar aus der Bilinearität.
(2). Es seien ${}u_{1},u_{2}\in V$ und ${}a_{1},a_{2}\in K$. Dann ist für jeden Vektor ${}v\in V$

${}\left\langle a_{1}u_{1}+a_{2}u_{2},v\right\rangle =a_{1}\left\langle u_{1},v\right\rangle +a_{2}\left\langle u_{2},v\right\rangle \,,$

und dies bedeutet gerade die Linearität der Zuordnung.
(3). Da die Zuordnung nach (2) linear ist, müssen wir zeigen, dass der Kern davon trivial ist. Es sei also ${}u\in V$ so, dass ${}\left\langle u,-\right\rangle$ die Nullabbildung ist. D.h. ${}\left\langle u,v\right\rangle =0$ für alle ${}v\in V$. Dann muss aber nach der Definition von nicht ausgeartet ${}u=0$ sein.
Wenn ${}V$ endliche Dimension hat, so liegt eine injektive lineare Abbildung zwischen Vektorräumen der gleichen Dimension vor, und eine solche ist nach Korollar 11.9 bijektiv.

$\Box$

Wenn es also in einem endlichdimensionalen Vektorraum eine fixierte nichtausgeartete Bilinearform gibt, so gibt es zu jeder Linearform einen eindeutig bestimmten Vektor, mit dem diese Linearform beschrieben werden kann. Genauer: es gibt dann einen Vektor ${}y\in V$ mit

${}L(v)=\left\langle y,v\right\rangle \,$

für alle ${}v\in V$ und einen Vektor ${}z\in V$ mit

${}L(v)=\left\langle v,z\right\rangle \,.$

In dieser Situation heißt ${}y$ der Linksgradient zu ${}L$ bezüglich der Bilinearform und ${}z$ der Rechtsgradient. Bei einem Skalarprodukt und generell bei einer nichtausgearteten symmetrischen Bilinearform (siehe weiter unten) fallen die beiden Begriffe zusammen, man spricht von dem Gradienten. Für euklidische Vektorräume formulieren wir diese Beziehung noch einmal explizit.

Korollar

Es sei ${}(V,\left\langle -,-\right\rangle )$ ein euklidischer Vektorraum und

$f\colon V\longrightarrow \mathbb {R}$

eine Linearform.

Dann gibt es einen eindeutig bestimmten Vektor ${}w\in V$ mit

${}f(v)=\left\langle w,v\right\rangle \,.$

Wenn ${}u_{1},\ldots ,u_{n}$ eine Orthonormalbasis von ${}V$ und ${}f(u_{i})=a_{i}$ ist, so ist dieser Vektor gleich ${}w=\sum _{i=1}^{n}a_{i}u_{i}$.

Beweis

Dies folgt unmittelbar aus Lemma 38.5  (3). Der Zusatz ist klar wegen

${}\left\langle w,u_{i}\right\rangle =\left\langle \sum _{j=1}^{n}a_{j}u_{j},u_{i}\right\rangle =a_{i}=f(u_{i})\,.$

$\Box$

Die Gramsche Matrix

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein endlichdimensionaler ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine Bilinearform auf ${}V$. Es sei ${}v_{1},\ldots ,v_{n}$ eine Basis von ${}V$. Dann heißt die ${}n\times n$- Matrix

$\left\langle v_{i},v_{j}\right\rangle _{1\leq i,j\leq n}$

die Gramsche Matrix von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basis.

In Beispiel 38.2 bildet ${}(a_{ij})_{ij}$ die Gramsche Matrix bezüglich der Standardbasis des ${}K^{n}$. Wenn die Gramsche Matrix zu einer Bilinearform ${}\left\langle -,-\right\rangle$ bezüglich einer Basis ${}v_{1},\ldots ,v_{n}$ gegeben ist, so kann man daraus ${}\left\langle v,w\right\rangle$ für beliebige Vektoren berechnen. Man schreibt ${}v=\sum _{i=1}^{n}b_{i}v_{i}$ und ${}w=\sum _{i=1}^{n}c_{i}v_{i}$ und erhält mit dem allgemeinen Distributivgesetz

${}{\begin{aligned}\left\langle v,w\right\rangle &=\left\langle \sum _{i=1}^{n}b_{i}v_{i},\sum _{j=1}^{n}c_{j}v_{j}\right\rangle \\&=\sum _{1\leq i,j\leq n}b_{i}c_{j}\left\langle v_{i},w_{j}\right\rangle \\&=\sum _{i=1}^{n}b_{i}{\left(\sum _{j=1}^{n}c_{j}\left\langle v_{i},w_{j}\right\rangle \right)}\\&=(b_{1},\ldots ,b_{n})G{\begin{pmatrix}c_{1}\\\vdots \\c_{n}\end{pmatrix}}.\end{aligned}}$

Man erhält also den Wert der Bilinearform an zwei Vektoren, indem man die Gramsche Matrix auf das Koordinatentupel des zweiten Vektors anwendet und das Ergebnis (ein Spaltenvektor) mit dem Koordinatentupel des ersten Vektors als Zeilentupel von links multipliziert. Kurz und ungenau ist also

${}\left\langle v,w\right\rangle ={v^{\text{tr}}}Gw\,.$

Lemma Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein endlichdimensionaler ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine Bilinearform auf ${}V$. Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ zwei Basen von ${}V$ und es seien ${}G$ bzw. ${}H$ die Gramschen Matrizen von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basen. Zwischen den Basiselementen gelte die Beziehungen

${}w_{j}=\sum _{i=1}^{n}a_{ij}v_{i}\,,$

die wir durch die Übergangsmatrix ${}A={\left(a_{ij}\right)}_{i,j}$ ausdrücken.

Dann besteht zwischen den Gramschen Matrizen die Beziehung

${}H={A^{\text{tr}}}GA\,.$

Beweis

Es ist

${}{\begin{aligned}\left\langle w_{r},w_{s}\right\rangle &=\left\langle \sum _{i=1}^{n}a_{ir}v_{i},\sum _{k=1}^{n}a_{ks}v_{k}\right\rangle \\&=\sum _{1\leq i,k\leq n}a_{ir}a_{ks}\left\langle v_{i},v_{k}\right\rangle \\&=\sum _{1\leq i\leq n}a_{ir}{\left(\sum _{1\leq k\leq n}a_{ks}\left\langle v_{i},v_{k}\right\rangle \right)}\\&=\sum _{1\leq i\leq n}a_{ir}{\left(G\circ A\right)}_{is}\\&={\left({A^{\text{tr}}}\circ {\left(G\circ A\right)}\right)}_{rs}.\end{aligned}}$

$\Box$

Symmetrische Bilinearformen

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine Bilinearform auf ${}V$. Die Bilinearform heißt symmetrisch, wenn

${}\left\langle v,w\right\rangle =\left\langle w,v\right\rangle \,$

für alle ${}v,w\in V$ gilt.

Wie im Fall eines Skalarproduktes gilt wieder eine Polarisationsformel.

Lemma Lemma 38.10 ändern

Es sei ${}K$ ein Körper mit einer von ${}2$ verschiedenen Charakteristik und sei ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf einem ${}K$- Vektorraum ${}V$.

Dann gilt die Beziehung

${}\left\langle v,w\right\rangle ={\frac {1}{2}}{\left(\left\langle v+w,v+w\right\rangle -\left\langle v,v\right\rangle -\left\langle w,w\right\rangle \right)}\,.$

Beweis

Siehe Aufgabe 38.14.

$\Box$

Definition Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine nicht ausgeartete symmetrische Bilinearform auf ${}V$. Dann nennt man zu einer Linearform

$L\colon V\longrightarrow K$

den eindeutig bestimmten Vektor ${}z\in V$ mit

${}L(v)=\left\langle z,v\right\rangle =\left\langle v,z\right\rangle \,$

den Gradienten zu ${}L$ bezüglich der Bilinearform.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf ${}V$. Zwei Vektoren ${}v,w\in V$ heißen orthogonal, wenn

${}\left\langle v,w\right\rangle =0\,$

ist.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf ${}V$. Eine Basis ${}v_{i},\,i\in I$, von ${}V$ heißt Orthogonalbasis, wenn

${}\left\langle v_{i},v_{j}\right\rangle =0\,$

für alle

${}i\neq j\,$

ist.

Für eine symmetrische Bilinearform ist es durchaus möglich, dass, anders als bei Skalarprodukten, ein von ${}0$ verschiedener Vektor zu sich selbst orthogonal ist. Es kann auch, im ausgearteten Fall, von ${}0$ verschiedene Vektoren geben, die orthogonal zu allen Vektoren sind. Wie im Fall eines Skalarproduktes gibt es Orthogonalbasen.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf ${}V$. Der Untervektorraum

${\left\{v\in V\mid \left\langle v,u\right\rangle =0{\text{ für alle }}u\in V\right\}}$

heißt Ausartungsraum zur Bilinearform.

Der Ausartungsraum ist in der Tat ein Untervektorraum von ${}V$, siehe Aufgabe 38.12.

Satz Satz 38.15 ändern

Es sei ${}K$ ein Körper, ${}V$ ein endlichdimensionaler ${}K$- Vektorraum und ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf ${}V$.

Dann besitzt ${}V$ eine Orthogonalbasis.

Beweis

Siehe Aufgabe 38.17.

$\Box$

Der Vektorraum der Bilinearformen

Es sei ${}V$ ein Vektorraum über einem Körper ${}K$ und seien ${}\Psi _{1}$ und ${}\Psi _{2}$ Bilinearformen auf ${}V$. Dann erklärt man die Summe dieser beiden Bilinearformen punktweise als diejenige Bilinearform, die an der Stelle ${}(u,v)$ den Summenwert erhält, also

${}(\Psi _{1}+\Psi _{2})(u,v):=\Psi _{1}(u,v)+\Psi _{2}(u,v)\,.$

Entsprechend definiert man für einen Skalar ${}c\in K$ die Form ${}c\Psi$ durch

${}(c\Psi )(u,v)=c\Psi (u,v)\,.$

Die entstehenden Funktionen sind wieder bilinear, siehe Aufgabe 38.19. Damit erhält man eine Vektorraumstruktur auf der Menge aller Bilinearformen auf ${}V$.

Definition Referenznummer erstellen

Es sei ${}V$ ein Vektorraum über dem Körper ${}K$. Die Menge aller Bilinearformen auf ${}V$, versehen mit der punktweisen Addition und Skalarmultiplikation, heißt Vektorraum der Bilinearformen. Er wird mit ${}\operatorname {Bilin} _{}{\left(V\right)}$ bezeichnet.

Lemma Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}K$- Vektorraum.

Zu einer jeden Basis ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ ist die Abbildung

$\operatorname {Bilin} _{}{\left(V\right)}\longrightarrow \operatorname {Mat} _{n}(K),\,\Psi \longmapsto G_{\mathfrak {v}}(\Psi ),$

die einer Bilinearform ${}\Psi$ ihre Gramsche Matrix bezüglich der gegebenen Matrix zuordnet, eine Isomorphie von Vektorräumen.

Beweis

Die Injektivität der Abbildung folgt aus Lemma 16.6, die Surjektivität daraus, dass man eine beliebige Matrix im Sinne von Beispiel 38.2 als Bilinearform interpretieren kann. Die Linearität folgt unmittelbar aus der punktweisen Definition der Vektorraumstruktur auf ${}\operatorname {Bilin} _{}{\left(V\right)}$.

$\Box$

Sesquilinearformen

Definition Referenznummer erstellen

Es seien ${}V$ und ${}W$ Vektorräume über den komplexen Zahlen ${}{\mathbb {C} }$. Eine Abbildung

$\varphi \colon V\longrightarrow W$

heißt antilinear (oder semilinear), wenn

${}\varphi (u+v)=\varphi (u)+\varphi (v)\,$

für alle ${}u,v\in V$ und wenn

${}\varphi (\lambda v)={\overline {\lambda }}\varphi (v)\,$

für alle ${}v\in V$ und ${}\lambda \in \mathbb {C}$ gilt.

Wenn man die komplexen Vektorräume als reelle Vektorräume auffasst, so handelt es sich insbesondere um reell-lineare Abbildungen. Dieser Eigenschaft sind wir schon bei komplexen Skalarprodukten begegnet.

Definition Referenznummer erstellen

Es sei ${}V$ ein ${}{\mathbb {C} }$- Vektorraum. Eine Abbildung

$V\times V\longrightarrow {\mathbb {C} },\,(v,w)\longmapsto \left\langle v,w\right\rangle ,$

heißt Sesquilinearform, wenn für alle ${}v\in V$ die induzierten Abbildungen

$V\longrightarrow {\mathbb {C} },\,w\longmapsto \left\langle v,w\right\rangle ,$

${}{\mathbb {C} }$- antilinear und für alle ${}w\in V$ die induzierten Abbildungen

$V\longrightarrow {\mathbb {C} },\,v\longmapsto \left\langle v,w\right\rangle ,$

${}{\mathbb {C} }$- linear sind.

Wir fordern also die Linearität in der ersten und die Antilinearität in der zweiten Komponenten. Es gibt auch die andere Konvention.

Viele Begriffe und Aussagen übertragen sich mit leichten Abwandlungen von der reellen auf die komplexe Situation.

Definition Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {C} }$- Vektorraum zusammen mit einer Sesquilinearform ${}\left\langle -,-\right\rangle$. Es sei ${}v_{1},\ldots ,v_{n}$ eine Basis von ${}V$. Dann heißt die ${}n\times n$- Matrix

$\left\langle v_{i},v_{j}\right\rangle _{1\leq i,j\leq n}$

die Gramsche Matrix von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basis.

Wenn die Gramsche Matrix zu einer Sesquilinearform ${}\left\langle -,-\right\rangle$ bezüglich einer Basis ${}v_{1},\ldots ,v_{n}$ gegeben ist, so kann man daraus ${}\left\langle v,w\right\rangle$ für beliebige Vektoren berechnen. Man schreibt ${}v=\sum _{i=1}^{n}b_{i}v_{i}$ und ${}w=\sum _{i=1}^{n}c_{i}v_{i}$ und erhält mit dem allgemeinen Distributivgesetz

${}{\begin{aligned}\left\langle v,w\right\rangle &=\left\langle \sum _{i=1}^{n}b_{i}v_{i},\sum _{j=1}^{n}c_{j}v_{j}\right\rangle \\&=\sum _{1\leq i,j\leq n}b_{i}{\overline {c_{j}}}\left\langle v_{i},w_{j}\right\rangle \\&=\sum _{i=1}^{n}b_{i}{\left(\sum _{j=1}^{n}{\overline {c_{j}}}\left\langle v_{i},w_{j}\right\rangle \right)}\\&=(b_{1},\ldots ,b_{n})G{\begin{pmatrix}{\overline {c_{1}}}\\\vdots \\{\overline {c_{n}}}\end{pmatrix}}.\end{aligned}}$

Man erhält also den Wert der Bilinearform an zwei Vektoren, indem man die Gramsche Matrix auf das Koordinatentupel des komplex-konjugierten zweiten Vektors anwendet und das Ergebnis (ein Spaltenvektor) mit dem Koordinatentupel des ersten Vektors als Zeilentupel von links multipliziert. Kurz und ungenau ist also

${}\left\langle v,w\right\rangle ={v^{\text{tr}}}G{\overline {w}}\,.$

Lemma Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {C} }$- Vektorraum mit einer Sesquilinearform ${}\left\langle -,-\right\rangle$. Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{n}$ zwei Basen von ${}V$ und es seien ${}G$ bzw. ${}H$ die Gramschen Matrizen von ${}\left\langle -,-\right\rangle$ bezüglich dieser Basen. Zwischen den Basiselementen gelte die Beziehungen

${}w_{j}=\sum _{i=1}^{n}a_{ij}v_{i}\,,$

die wir durch die Übergangsmatrix ${}A={\left(a_{ij}\right)}_{i,j}$ ausdrücken.

Dann besteht zwischen den Gramschen Matrizen die Beziehung

${}H={A^{\text{tr}}}G{\overline {A}}\,.$

Beweis

Es ist

${}{\begin{aligned}\left\langle w_{r},w_{s}\right\rangle &=\left\langle \sum _{j=1}^{n}a_{rj}v_{j},\sum _{k=1}^{n}a_{sk}v_{k}\right\rangle \\&=\sum _{1\leq j,k\leq n}a_{rj}{\overline {a_{sk}}}\left\langle v_{j},v_{k}\right\rangle \\&=\sum _{1\leq j\leq n}a_{rj}{\left(\sum _{1\leq k\leq n}{\overline {a_{sk}}}\left\langle v_{j},v_{k}\right\rangle \right)}\\&={\left({A^{\text{tr}}}\circ {\left(G\circ {\overline {A}}\right)}\right)}_{rs}.\end{aligned}}$

$\Box$

Bemerkung   Referenznummer erstellen

Die Menge der Sesquilinearformen auf einem ${}{\mathbb {C} }$- Vektorraum ${}V$ bilden einen ${}{\mathbb {C} }$-Vektorraum. Er wird mit ${}\operatorname {Sesq} _{}{\left(V\right)}$ bezeichnet.

Hermitesche Formen

Definition Referenznummer erstellen

Eine Sesquilinearform ${}\left\langle -,-\right\rangle$ auf einem komplexen Vektorraum ${}V$ heißt hermitesch, wenn

${}\left\langle v,u\right\rangle ={\overline {\left\langle u,v\right\rangle }}\,$

für alle ${}u,v\in V$ ist.

Definition Referenznummer erstellen

Eine quadratische komplexe Matrix

${}M=(a_{ij})_{ij}\,$

heißt hermitesch, wenn

${}a_{ij}={\overline {a_{ji}}}\,$

für alle ${}i,j$ gilt.