Eine bilineare (über R) oder sesquilineare (über C) Abbildung ⟨·,·⟩: V×V → F auf einem Vektorraum V über dem Körper F (R oder C), die symmetrisch (⟨v,w⟩ = ⟨w,v⟩) bzw. hermitesch (⟨v,w⟩ = Konjugat(⟨w,v⟩)) und positiv definit (⟨v,v⟩ > 0 für v ≠ 0) ist.

Prinzip

Ein Innenprodukt liefert die algebraische Struktur zur Definition von Längen und Winkeln via ||v|| = sqrt(⟨v,v⟩) und eine Orthogonalitätsrelation ⟨v,w⟩ = 0; es liefert Projektionsformeln, orthonormale Basen und die Polarisation, die Innenprodukt und Norm verknüpft.

Demonstration

Euklidisches Skalarprodukt auf R^n: ⟨x,y⟩ = Σ_i x_i y_i ergibt die Standardgeometrie. In Funktionsräumen definiert das L^2-Innenprodukt ⟨f,g⟩ = ∫ f(t) overline{g(t)} dt die Hilbertraumstruktur.

Fehlanwendung

Eine symmetrische bilineare Form, die nicht positiv definit ist (z. B. eine lorentzsche Form), als Innenprodukt zu bezeichnen führt zu falschen geometrischen Folgerungen über Winkel und Normen.

Konsequenz

Ermöglicht orthogonale Projektionen, Parseval-/Plancherel-Identitäten, Spektralsätze für selbstadjungierte Operatoren in Hilberträumen und konstruktive Verfahren (Gram–Schmidt) zur Erzeugung orthonormaler Basen.

Umkehrung

Das Gegenteil ist eine indefinitte oder degenerierte bilineare Form (nicht positiv definit), wie sie in der pseu­do-riemannschen Geometrie vorkommt; diese erzeugt keine echte Norm und keine gewohnte Orthogonalitätsgeometrie.

Abgrenzung

Erfordert Linearität in einem Argument, Konjugat-Symmetrie und positive Definitheit; bilineare/symmetrische, aber indefinitte Formen, semi-inner-product-Konstruktionen (fehlende volle Symmetrie) oder Metriken, die nicht durch ein Innenprodukt induziert sind, fallen nicht unter diese Definition.

Semantische Spannung

Spannung zwischen Innenprodukt und bloßer bilinearer Form: Viele bilineare Formen fehlen die Positivität, die Geometrie liefert. Auch Spannung zwischen der vom Innenprodukt induzierten Norm und Normen, die nicht aus einem Innenprodukt stammen (keine Polarisation), besteht.

Synthese

Ein Innenprodukt ist das algebraische Mittel, das einen linearen Raum geometrisiert: Durch (sesqui)Linearität, Konjugat-Symmetrie und positive Definitheit erzeugt es Längen, Winkel, Orthogonalität und die analytische Struktur von Hilberträumen.