Sesquilinearform

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.

Die beiden Argumente können verschiedenen Vektorräumen V,W entstammen, denen jedoch ein gemeinsamer Skalarkörper K zugrunde liegen muss; eine Sesquilinearform ist eine Abbildung f:\;V\times W\to K; sie ist eine Linearform bezüglich dem einen und eine Semilinearform bezüglich dem anderen Argument. 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.

Relevant ist der Begriff Sesquilinearform nur über dem Körper der komplexen Zahlen \mathbb C; über den reellen Zahlen ist jede Sesquilinearform eine Bilinearform.

Inhaltsverzeichnis

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 S 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=\bar\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\bar\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

Eine Sesquilinearform S\colon V\times V \to \C heißt hermitesch, falls

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

gilt, hierbei bezeichnet \overline{\cdot} die komplexe Konjugation.

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, siehe auch Kreinraum.

Eindeutige Bestimmtheit durch die Diagonale

Aussage

Die Definition der Sesquilinearform mag zunächst komplizierter erscheinen als die der Bilinearform. Eine Eigenschaft, die Sesquilinearformen von unsymmetrischen Bilinearformen unterscheidet, ist die Folgende:

Ist S(x,x) = 0 für alle x, dann ist S = 0.

Daraus folgt, ist S(x,x) = T(x,x) für alle x, dann (ST)(x,x) = 0, also S = T.

Gegenbeispiel

Für Bilinearformen ist die Behauptung falsch. 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.

Das ist offenbar bilinear und es gilt S(x,x) = − x1x2 + x1x2 = 0, aber auch S((1,0),(0,1)) = 1.

Folgerung

Sei (\mathcal{H}, \langle \cdot , \cdot \rangle) ein Hilbertraum und T ein beschränkter linearer Operator. Dann ist S(x,y):=\langle Tx, y \rangle eine Sesquilinearform (und jede Sesquilinearform lässt sich so schreiben). Nun ist S = 0 genau dann wenn T = 0 (S=0 \implies \|Tx\|^2 = S(x,Tx)=0 \forall x \implies Tx = 0 \forall x).

Es folgt also, dass ein Operator Null ist, genau dann wenn \langle Tx,x \rangle = 0 für alle x.

Literatur

  • Siegfried Bosch: Lineare Algebra. 3. Auflage. Springer-Lehrbuch, Heidelberg 2006, ISBN 3-540-29884-3.

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hermitesche Sesquilinearform — Als Hermitesche Form (nach Charles Hermite) bezeichnet man in der linearen Algebra eine besondere Art der Sesquilinearform ähnlich den symmetrischen Bilinearformen. Definition Sei V ein Vektorraum über dem Körper . Eine Hermitesche… …   Deutsch Wikipedia

  • Sesquilinear — 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. Die beiden Argumente… …   Deutsch Wikipedia

  • Abbildung (Mathematik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Algebraische Funktion — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Argument (Informatik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • F(x) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • F von x — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Funktionen — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Funktionsargument — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Funktionsgleichung — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”