Eine symmetrische bilineare Form auf einem Vektorraum V über einem Körper F ist eine bilineare Abbildung B: V × V → F mit B(u,v) = B(v,u) für alle u,v ∈ V.

Prinzip

Symmetrie verlangt, dass das bilineare Paarungsresultat unabhängig von der Reihenfolge der Argumente ist; in Koordinaten wird eine solche Form durch eine symmetrische Matrix dargestellt und definiert die zugehörige quadratische Form x ↦ B(x,x).

Demonstration

Auf R^n ist das Standardskalarprodukt B(u,v) = u^T v eine symmetrische bilineare Form; seine Matrix ist die Einheitsmatrix und B(x,x) = ||x||^2 die zugehörige quadratische Form.

Fehlanwendung

Anzunehmen, jede symmetrische bilineare Form sei ein Skalarprodukt: eine symmetrische Form kann entartet oder indefinit sein (nicht positivdefinit) und induziert daher nicht notwendigerweise eine Norm.

Konsequenz

Eine nichtentartete symmetrische bilineare Form liefert einen Isomorphismus V → V* und erlaubt orthogonale Zerlegungen; eine positivdefinite verleiht V eine euklidische/Hilbertraumgeometrie (bei Komplettierung).

Umkehrung

Eine schiefsymmetrische (alternierende) bilineare Form erfüllt B(u,v) = −B(v,u) und ist bei Charakteristik ≠ 2 auf der Diagonalen null, was andere Invarianten (z. B. symplektische Struktur) als bei symmetrischen Formen ergibt.

Abgrenzung

Die Definition hängt von der Charakteristik des Körpers ab: in Charakteristik 2 können Symmetrie und Schiefsymmetrie für bilineare Formen zusammenfallen, daher ist eine getrennte Behandlung nötig; über allgemeinen Ringen treten modulartige Komplikationen auf.

Semantische Spannung

Symmetrisch versus hermitesch: über komplexen Körpern sind hermitesche Formen mit B(u,v)=overline{B(v,u)} die relevante Verallgemeinerung des Skalarprodukts; eine komplexe symmetrische bilineare Form als Skalarprodukt zu bezeichnen ist kategorisch falsch.

Synthese

Eine symmetrische bilineare Form ist ein zweiseitiges lineares Paarung, das unter Argumenttausch invariant ist, durch eine symmetrische Matrix darstellbar, erzeugt quadratische Formen und bildet, wenn nichtentartet und positiv, die Grundlage für eine Skalarproduktstruktur.