Bilinearform - LinkFang.de





Bilinearform


Als Bilinearform bezeichnet man in der linearen Algebra eine Funktion, welche zwei Vektoren einen Skalarwert zuordnet und die linear in ihren beiden Argumenten ist.

Die beiden Argumente können verschiedenen Vektorräumen [math]V, W[/math] entstammen, denen jedoch ein gemeinsamer Skalarkörper [math]K[/math] zugrunde liegen muss; eine Bilinearform ist eine Abbildung [math]B\colon V\times W\to K[/math]. Eine Bilinearform ist eine Linearform bezüglich sowohl ihres ersten als auch ihres zweiten Arguments, und somit insbesondere eine Multilinearform mit zwei Argumenten.

Der Wert einer mindestens positiv definiten Bilinearform [math]B(v,w)[/math] auf zwei Vektoren [math]v,w[/math] wird meist als [math]\langle v,w\rangle[/math] geschrieben.

Definition

Es seien [math]V,W[/math] Vektorräume über einem Körper [math]K[/math] (oder allgemeiner ein Linksmodul [math]V[/math] und ein Rechtsmodul [math]W[/math] über einem nicht notwendigerweise kommutativen Ring).

Eine Abbildung

[math]B\colon V\times W\to K,\quad (v,w)\mapsto B(v,w)=\langle v,w\rangle[/math]

heißt Bilinearform, wenn die zwei Bedingungen einer linearen Abbildung (Additivität und Homogenität) in beiden Argumenten gelten:

  • [math]\langle v_1+v_2,w\rangle=\langle v_1,w\rangle+\langle v_2,w\rangle[/math]
  • [math]\langle v,w_1+w_2\rangle=\langle v,w_1\rangle+\langle v,w_2\rangle[/math]
  • [math]\langle \lambda v,w\rangle=\lambda\langle v,w\rangle[/math]
  • [math]\langle v,w\lambda\rangle=\langle v,w \rangle \lambda[/math]

dabei sind [math]v,v_1,v_2\in V[/math], [math]w,w_1,w_2\in W[/math] und [math]\lambda\in K[/math].

Symmetrieeigenschaften im Fall V=W

Wenn beide Argumente der Bilinearform aus dem gleichen Vektorraum [math]V[/math] stammen, bezeichnet man [math]B(x,x),x\in V[/math] als den Formwert des Vektors x (bezüglich B). Die Bilinearform [math]B\colon V\times V\to K[/math] kann zusätzliche Symmetrieeigenschaften haben:

  • Eine Bilinearform [math]B[/math] heißt symmetrisch, wenn
[math]B( x,y)=B(y,x)[/math]
für alle [math]x,y\in V[/math] gilt.
Für eine symmetrische Bilinearform ist stets [math]2\cdot B(x,y)=B(x+y,x+y)-B(x,x)-B(y,y)[/math] (Polarisationsformel). Daraus folgt, dass die Bilinearform durch die Gesamtheit der Formwerte vollständig bestimmt ist, falls der zugrundeliegende Körper [math]K[/math] eine Charakteristik ungleich [math]2[/math] hat [math](\operatorname{char}(K)\neq 2)[/math].
  • Eine Bilinearform [math]B[/math] heißt alternierend, wenn alle Formwerte in Bezug auf [math]B[/math] verschwinden, wenn also
[math]B( x,x)=0[/math]
für alle [math]x\in V[/math] gilt.
  • Eine Bilinearform [math]B[/math] heißt antisymmetrisch oder schiefsymmetrisch, wenn
[math]B(x,y)=-B(y,x)[/math]
für alle [math]x,y\in V[/math] gilt.

Jede alternierende Bilinearform ist auch antisymmetrisch. Ist [math]\operatorname{char}(K)\neq 2[/math], was zum Beispiel für [math]K=\R[/math] und [math]K=\mathbb C[/math] erfüllt ist, gilt auch die Umkehrung: Jede antisymmetrische Bilinearform ist alternierend. Betrachtet man allgemeiner Moduln über einem beliebigen kommutativen Ring, sind diese beiden Begriffe äquivalent, wenn der Zielmodul keine 2-Torsion besitzt.

Beispiele

  • Ein Skalarprodukt auf einem reellen Vektorraum ist eine nicht ausgeartete, symmetrische, positiv definite Bilinearform.
  • Ein Skalarprodukt [math]B[/math] auf einem komplexen Vektorraum [math]V[/math] ist keine Bilinearform, sondern eine Sesquilinearform. Fasst man jedoch [math]V[/math] als reellen Vektorraum auf, so ist
[math]V\times V\to\mathbb R,\quad (x,y)\mapsto\mathrm{Re}\,B(x,y)[/math]
eine symmetrische Bilinearform und
[math]V\times V\to\mathbb R,\quad (x,y)\mapsto\mathrm{Im}\,B(x,y)[/math]
eine alternierende Bilinearform.
  • Es gibt eine kanonische nicht ausgeartete Bilinearform
[math]V\times V^*\to K,\quad (v,f)\mapsto\langle v,f\rangle=f(v).[/math]

Ausartungsraum

Definition des Ausartungsraums

Sei [math]B \colon V \times W \to K[/math] eine Bilinearform. Die Menge

[math]^\perp W\colon=\left\{v\mid\forall w\in W\colon B(v,w)=0\right\}\subseteq V[/math]

ist ein Untervektorraum von [math]V[/math] und heißt Rechtskern oder Rechtsradikal der Bilinearform. Entsprechend heißt

[math]V^\perp\colon=\left\{w\mid\forall v\in V\colon B(v,w)=0\right\}\subseteq W[/math]

Linkskern oder Linksradikal. Ist eine Bilinearform [math]B\colon V\times V\to K[/math] symmetrisch, so stimmen Rechtskern und Linkskern überein und man nennt diesen Raum den Ausartungsraum von [math]B[/math].

Die Schreibweisen [math]R^\perp[/math] und [math]^\perp S[/math] werden mit analoger Definition auch für Teilmengen [math]R\subseteq V[/math] beziehungsweise [math]S\subseteq W[/math] benutzt.

Nicht-ausgeartete Bilinearform

Jede Bilinearform [math]B[/math] definiert zwei lineare Abbildungen

[math]B_l\colon V\to W^*,\quad v\mapsto\left(w\mapsto B(v,w)\right)[/math]

und

[math]B_r\colon W\to V^*,\quad w\mapsto\left(v\mapsto B(v,w)\right).[/math]

Rechts- und Linkskern sind die Kerne dieser Abbildungen:

[math]\ker B_l=^\perp W[/math]
[math]\ker B_r=V^\perp[/math]

Sind beide Kerne trivial (die beiden Abbildungen [math]B_l[/math] und [math]B_r[/math] also injektiv), so heißt die Bilinearform nicht-ausgeartet, nicht-entartet oder perfekte Paarung. Andernfalls heißt die Bilinearform ausgeartet oder entartet.

Die Bilinearform ist somit genau dann nicht-ausgeartet, wenn Folgendes gilt:

  • Zu jedem Vektor [math]v\in V\setminus\{0\}[/math] existiert ein Vektor [math]w\in W[/math] mit [math]B(v,w)\neq 0[/math] und
  • zu jedem Vektor [math]w\in W\setminus\{0\}[/math] existiert ein Vektor [math]v\in V[/math] mit [math]B(v,w)\neq 0.[/math]

Sind [math]V[/math] und [math]W[/math] endlichdimensional, so sind die Abbildungen [math]B_l[/math] und [math]B_r[/math] für eine nicht-ausgeartete Paarung Isomorphismen.

Ist die Bilinearform symmetrisch, so ist sie genau dann nicht-ausgeartet, wenn ihr Ausartungsraum der Nullvektorraum ist.

Koordinatendarstellung

Für endlichdimensionale [math]V[/math] und [math]W[/math] kann man Basen [math]e=(e_1,\ldots,e_n)[/math] und [math]f=(f_1,\ldots,f_m)[/math] wählen.

Die darstellende Matrix einer Bilinearform [math]B\colon V\times W\to K[/math] ist nun

[math]M_B\in \mathrm{Mat}(n,m,K) [/math]
[math]{(M_B)}_{ij}:=B(e_i,f_j)[/math]

Sind [math]x[/math] und [math]y[/math] die Koordinatenvektoren von [math]v\in V[/math] und [math]w\in W[/math], so gilt

[math]B(v,w)=x^TM_B\,y = \begin{pmatrix}x_1 \dots x_n\end{pmatrix} \begin{pmatrix} B(e_1,f_1) & \cdots & B(e_1,f_m) \\ \vdots & \ddots & \vdots \\ B(e_n,f_1) & \dots & B(e_n,f_m) \end{pmatrix}\begin{pmatrix}y_1 \\ \vdots \\ y_m\end{pmatrix} [/math]

wobei das Matrixprodukt eine [math]1\times 1[/math]-Matrix liefert, also ein Körperelement.

Ist umgekehrt [math]M[/math] eine beliebige [math]n\times m[/math]-Matrix, so definiert

[math]B_M(x,y):=x^TM\,y[/math]

eine Bilinearform [math]B_M\colon K^n\times K^m \to K[/math].

Basiswechsel

Sind [math]e'[/math] und [math]f'[/math] weitere Basen von [math]V[/math] und [math]W[/math], weiterhin [math]_{e'}{\mathbf 1}_e[/math] die Basiswechselmatrix von [math]e[/math] nach [math]e'[/math]. Dann ergibt sich die Matrix von [math]B[/math] in der neuen Basis als

[math]A'=_{e}{\mathbf 1}_{e'}^T \cdot A \cdot _{f}{\mathbf 1}_{f'}[/math]

Ist [math]V=W[/math], [math]e=f[/math] und [math]e'=f'[/math], dann heißen die Matrizen [math]A[/math] und [math]A'[/math] zueinander kongruent.

Beispiele/Eigenschaften

  • Das Standardskalarprodukt in [math]\mathbb{R}^n[/math] hat bezüglich der Standardbasis als Matrix die Einheitsmatrix.
  • Wenn [math]V=W[/math] und dieselbe Basis für [math]V[/math] und [math]W[/math] verwendet wird, so gilt: Die Bilinearform ist genau dann symmetrisch, wenn die Matrix symmetrisch ist, genau dann antisymmetrisch, wenn die Matrix antisymmetrisch ist und genau dann alternierend, wenn die Matrix alternierend ist.
  • Die Abbildung [math]B \mapsto M_B[/math] ist eine Bijektion des Raumes der Bilinearformen [math]V\times W\to K[/math] auf die [math]n\times m[/math]-[math]K[/math]-Matrizen. Definiert man die Summe und Skalarmultiplikation von Bilinearformen auf kanonische Weise ([math](\lambda B_1 + B_2)(v,w):=\lambda B_1(v,w)+B_2(v,w)[/math]), so ist diese Bijektion auch ein Vektorraumisomorphismus.
  • Für symmetrische Bilinearformen über Vektorräumen endlicher Dimension existiert eine Basis, in der die darstellende Matrix Diagonalgestalt hat (falls [math]\operatorname{char}(K)\ne 2[/math]). (siehe Gram-Schmidtsches Orthogonalisierungsverfahren für den Spezialfall positiv definiter Bilinearformen)
  • Falls weiterhin [math]K=\mathbb R[/math], kann man eine Basis finden, in der zusätzlich auf der Diagonalen nur die Einträge 1, −1 und 0 vorkommen (Trägheitssatz von Sylvester)

Weiterführende Bemerkungen

  • Bilinearformen [math]V\times W\to K[/math] entsprechen linearen Abbildungen [math]V\otimes W\to K[/math]; siehe Tensorprodukt.
  • Wenn die Abbildung nicht notwendig in den Skalarkörper K, sondern in einen beliebigen Vektorraum erfolgt, spricht man von einer bilinearen Abbildung.
  • Die Verallgemeinerung des Begriffes der Bilinearform auf mehr als zwei Argumente heißt Multilinearform.
  • Über dem Körper der komplexen Zahlen fordert man oft Linearität im einen und Semilinearität im anderen Argument; statt einer Bilinearform erhält man dann eine Sesquilinearform. Insbesondere ist ein inneres Produkt über einem reellen Vektorraum eine Bilinearform, über einem komplexen Vektorraum aber nur eine Sesquilinearform.

Weblinks

 Wikiversity: Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 38 – Kursmaterialien, Forschungsprojekte und wissenschaftlicher Austausch

Literatur


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Bilinearform (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.