Sesquilinearform

Als Sesquilinearform (lat. sesqui = anderthalb) bezeichnet man in der linearen Algebra eine Funktion, die zwei Vektoren einen Skalarwert zuordnet, und die linear in einem, semilinear im anderen ihrer beiden Argumente ist. Ein klassisches Beispiel ist die durch

$f((z_{1},\ldots ,z_{n}),(w_{1},\ldots ,w_{n}))=z_{1}\overline {w}_{1}+\ldots +z_{n}\overline {w}_{n}$

definierte Abbildung $f\colon \mathbb{C} ^{n}\times \mathbb{C} ^{n}\to \mathbb{C}$ . Hierbei bezeichnet der Querstrich die komplexe Konjugation.

Die beiden Argumente können verschiedenen Vektorräumen V,W entstammen, denen jedoch ein gemeinsamer Skalarkörper zugrunde liegen muss; eine Sesquilinearform ist eine Abbildung $f\colon V\times W\to K$ ; sie ist eine Linearform bezüglich des einen und eine Semilinearform bezüglich des anderen Argumentes. Für die Reihenfolge von linearem und semilinearem Argument gibt es unterschiedliche Konventionen; in der Physik ist es üblich, das semilineare Argument zuerst zu nennen.

Über den reellen Zahlen stimmt das Konzept der Sesquilinearform mit dem der Bilinearform überein.

Definition

Es seien V,W Vektorräume über den komplexen Zahlen.

Eine Abbildung

$S\colon V\times W\to {\mathbb C},\quad (v,w)\mapsto S(v,w)=\langle v,w\rangle$

heißt Sesquilinearform, wenn semilinear im ersten und linear im zweiten Argument ist, das heißt

$\langle v_1+v_2,w\rangle=\langle v_1,w\rangle+\langle v_2,w\rangle$
$\langle \lambda v,w\rangle =\overline \lambda \;\langle v,w\rangle ;$

und

$\langle v,w_1+w_2\rangle=\langle v,w_1\rangle+\langle v,w_2\rangle$
$\langle v,\lambda w\rangle =\lambda \,\langle v,w\rangle .$

Dabei sind $v,v_1,v_2\in V$ , $w,w_1,w_2\in W$ und $\lambda\in\mathbb C$ .

Manchmal wird stattdessen auch Linearität im ersten und Semilinearität im zweiten Argument gefordert; dieser Unterschied ist jedoch rein formaler Natur.

Diese Definition lässt sich auch auf Vektorräume über anderen Körpern oder Moduln über einem Ring verallgemeinern, sobald auf dem Grundkörper bzw. -ring ein ausgezeichneter Automorphismus oder zumindest Endomorphismus

$\lambda \mapsto \overline \lambda$

gegeben ist. Ein Kandidat für derartige Endomorphismen ist der Frobeniushomomorphismus in positiver Charakteristik.

Die konstante Nullabbildung ist eine Sesquilinearform, wir schreiben S=0 . Punktweise Summen und skalare Vielfache von Sesquilinearformen sind wieder Sesquilinearformen. Die Menge der Sesquilinearformen bildet also einen $\mathbb {C}$ -Vektorraum.

Hermitesche Sesquilinearform

→ Hauptartikel: Hermitesche Sesquilinearform

Eine Sesquilinearform $S\colon V\times V\to \mathbb{C}$ heißt hermitesch, falls

$S(v,w)=\overline {S(w,v)}$

gilt. Diese Definition ist analog zur Definition der symmetrischen Bilinearform. Das Adjektiv hermitesch leitet sich von dem Mathematiker Charles Hermite ab.

Beispiele

Das innere Produkt über einem komplexen Vektorraum ist eine Sesquilinearform mit Hermitescher Symmetrie, also sogar eine Hermitesche Form.

Polarisierung

Aussage

Eine wichtige Rolle spielt die sogenannte Polarisierungsformel

${\begin{aligned}4\cdot S(y,x)&=\sum _{{k=0}}^{3}{\mathrm {i}}^{k}S(x+{\mathrm {i}}^{k}y,x+{\mathrm {i}}^{k}y)\\&=S(x+y,x+y)+{\mathrm {i}}S(x+{\mathrm {i}}y,x+{\mathrm {i}}y)-S(x-y,x-y)-{\mathrm {i}}S(x-{\mathrm {i}}y,x-{\mathrm {i}}y),\end{aligned}}$

die zeigt, dass die Form bereits durch ihre Werte auf der Diagonalen, d. h. auf Paaren der Form $\langle \xi ,\xi \rangle$ eindeutig bestimmt ist.

Die Polarisierungsformel gilt nur für Sesquilinearformen, nicht aber für allgemeine Bilinearformen.

Spezialfall

Eine unmittelbare Konsequenz aus der Polarisierungsformel ist die Tatsache, dass die Form bereits dann verschwindet, wenn S(x,x)=0 für alle .

Oder anders ausgedrückt: Falls S(x,x)=T(x,x) für alle , dann (S-T)(x,x)=0 , also S=T .

Gegenbeispiel

Für allgemeine Bilinearformen gilt diese Aussage nicht, folglich kann es auch keine Polarisierungsformel geben. Dies erkennt man an folgendem Beispiel. Sei $V=W\cong {\mathbb {R}}^{2}$ und setze

$S(x,y):=x^{T}{\begin{pmatrix}0&-1\\1&0\end{pmatrix}}y=-x_{1}y_{2}+x_{2}y_{1}$ .

ist offenbar bilinear und es gilt $S(x,x)=-x_{1}x_{2}+x_{1}x_{2}=0$ für alle $x\in {\mathbb {R}}^{2}$ . Andererseits ist S((1,0),(0,1))=1 .

Folgerung

Sei $({\mathcal {H}},\langle \cdot ,\cdot \rangle )$ ein Hilbertraum und ein beschränkter linearer Operator. Dann ist $S(x,y):=\langle Tx,y\rangle$ eine beschränkte Sesquilinearform. Die Beschränktheit bedeutet, dass $|S(x,y)|\leq C\|x\|\cdot \|y\|$ (hier $C=\|T\|$ ). Umgekehrt folgt aus dem Darstellungssatz von Fréchet-Riesz, dass jede beschränkte Sesquilinearform einen beschränkten Operator bestimmt, so dass $S(x,y)=\langle Tx,y\rangle$ für alle $x,y\in {\mathcal {H}}$ .

Insbesondere verschwindet genau dann, wenn verschwindet. Dies kann man auch wie folgt leicht direkt sehen: falls S=0 so folgt $\|Tx\|^{2}=S(x,Tx)=0$ für alle $x\in {\mathcal {H}}$ , also T=0 . Die Umkehrung folgt sofort aus der Definition von .

Mit der Polarisierungsidentität folgt also, dass ein Operator genau dann Null ist, wenn $\langle Tx,x\rangle =0$ für alle . Diese Aussage gilt jedoch nur über dem Grundkörper der komplexen Zahlen $\mathbb {C}$ , über den reellen Zahlen ist zusätzlich die Bedingung notwendig, dass T selbstadjungiert ist.

Sesquilinearformen auf Moduln

Das Konzept der Sesquilinearform lässt sich auf beliebige Moduln verallgemeinern, wobei an die Stelle der komplexen Konjugation ein beliebiger Antiautomorphismus auf dem zugrundeliegenden nicht notwendigerweise kommutativen Ring tritt. Seien M,N Moduln über demselben Ring und $\theta$ ein Antiautomorphismus auf . Eine Abbildung $\langle \cdot ,\cdot \rangle \colon M\times N\to R$ heißt genau dann $\theta$ -Sesquilinearform, wenn für beliebige $m,m_{1},m_{2}\in M$ , $n,n_{1},n_{2}\in N$ und $\lambda \in R$ die folgenden Bedingungen gelten:

$\langle m_{1}+m_{2},n\rangle =\langle m_{1},n\rangle +\langle m_{2},n\rangle$
$\langle m,n_{1}+n_{2}\rangle =\langle m,n_{1}\rangle +\langle m,n_{2}\rangle$
$\langle \lambda m,n\rangle =\lambda \langle m,n\rangle$
$\langle m,\lambda n\rangle =\langle m,n\rangle \theta (\lambda )$

Basierend auf einem Artikel in:

Wikipedia.de