Une forme bilinéaire (sur R) ou sesquilinéaire (sur C) ⟨·,·⟩: V×V → F sur un espace vectoriel V sur le corps F (R ou C) qui est symétrique (⟨v,w⟩ = ⟨w,v⟩) ou hermitienne (⟨v,w⟩ = conjugué(⟨w,v⟩)) et définie positive (⟨v,v⟩ > 0 pour v ≠ 0).

Principe

Un produit scalaire fournit une structure algébrique définissant longueurs et angles via ||v|| = sqrt(⟨v,v⟩) et une relation d'orthogonalité ⟨v,w⟩ = 0 ; il aboutit aux formules de projection, bases orthonormées et à l'identité de polarisation reliant produit scalaire et norme.

Démonstration

Produit scalaire euclidien sur R^n : ⟨x,y⟩ = somme_i x_i y_i donne la géométrie standard. Dans les espaces de fonctions, le produit scalaire L^2 ⟨f,g⟩ = ∫ f(t) overline{g(t)} dt définit la structure d'espace de Hilbert.

Mauvaise application

Qualifier de produit scalaire une forme bilinéaire symétrique non définie positive (par ex. traiter une forme lorentzienne comme produit scalaire) conduit à des conclusions géométriques erronées sur angles et normes.

Conséquence

Permet projections orthogonales, identités de Parseval/Plancherel, théorèmes spectrals pour opérateurs auto-adjoints dans les espaces de Hilbert et algorithmes constructifs (Gram–Schmidt) pour bases orthonormées.

Inversion

L'opposé est une forme bilinéaire indéfinie ou dégénérée (non définie positive) comme celles en géométrie pseudo-riemannienne ; elles ne produisent pas une norme véritable ni la géométrie d'orthogonalité habituelle.

Limite

Exige la linéarité dans un argument, la conjugaison-symétrie et la définie positive ; les formes bilinéaires/symétriques mais indéfinies, les semi-produits scalaires (manque de symétrie complète) ou les métriques non induites par un produit scalaire sont hors de cette définition.

Tension sémantique

Tension entre produit scalaire et simple forme bilinéaire : beaucoup de formes bilinéaires manquent de positivité nécessaire à la géométrie. Tension aussi entre la norme induite par un produit scalaire et les normes qui ne proviennent pas d'un produit scalaire (pas d'identité de polarisation).

Synthèse

Un produit scalaire est l'outil algébrique qui transforme un espace linéaire en espace géométrique : étant (sesqui)linéaire, conjugaison-symétrique et définie positive, il engendre longueurs, angles, orthogonalité et la structure analytique des espaces de Hilbert.