Eine sesquilineare Form in einem komplexen Vektorraum (oder bilinear in einem reellen Raum), die einem geordneten Vektorpaar eine skalare Zahl zuordnet, bezeichnet mit ⟨φ|ψ⟩, linear in der zweiten Komponente und konjugiert-linear in der ersten; sie induziert Normen und Orthogonalität in Hilberträumen.

Prinzip

Das Innenprodukt erfüllt konjugierte Symmetrie ⟨φ|ψ⟩ = ⟨ψ|φ⟩*, Linearität in einer Komponente, positive Definitheit ⟨ψ|ψ⟩ ≥ 0 mit Gleichheit nur für den Nullvektor sowie Stetigkeit; diese Axiome strukturieren Geometrie, Projektionen und Spektraltheorie.

Demonstration

In C^n ist das Standard-Innenprodukt ⟨φ|ψ⟩ = Σ_i φi* ψi. Für Wellenfunktionen ψ(x) in L^2(R) gilt ⟨φ|ψ⟩ = ∫ φ*(x) ψ(x) dx, was Überlappungsamplituden und Normierungsbedingungen zur Berechnung von Wahrscheinlichkeiten liefert.

Fehlanwendung

Die Verwendung einer bilinearen (nicht konjugierenden) Form für komplexe Amplituden oder das Vergessen der Konjugation des ersten Arguments liefert falsche Wahrscheinlichkeiten und zerstört die hermitesche Symmetrie von Operatoren.

Konsequenz

Ein wohldefiniertes Innenprodukt liefert Längen, Winkel, orthonormale Basen, Projektionen und Erwartungswerte; es ist die Grundlage für die probabilistische Interpretation und für unitäre Zeitentwicklung, die Normen erhält.

Umkehrung

Wird die konjugiert-lineare Komponente durch Lineariät ersetzt (also bilineare Form) in komplexen Räumen, kehrt sich die Struktur um und Beziehungen zwischen Adjunkten und Erwartungswerten werden ungültig.

Abgrenzung

Gilt für Vektoren in Innenprodukt-Räumen; nicht jede bilineare Form qualifiziert sich — positive Definitheit und konjugierte Symmetrie sind erforderlich. Distributionen und verallgemeinerte Funktionen benötigen für bestimmte Quanten-Zustände die Behandlung durch rigged Hilbert Spaces.

Semantische Spannung

Konkurrierende Bezeichnungen nennen das Innenprodukt im euklidischen Kontext „Skalarprodukt“ oder in der Funktionalanalyse „Paarung“; die Spannung betrifft, welches Argument konjugiert wird und ob die Form sesquilinear oder bilinear ist.

Synthese

Das Innenprodukt ist die sesquilineare Skalarpaarung, die einem Vektorraum eine Metrik- und Orthogonalitätsstruktur verleiht und Amplituden, Normierung, Projektionen und das Adjunkte von Operatoren in der Quantenmechanik ermöglicht.