Un espace à produit scalaire complexe est un espace vectoriel sur les complexes muni d'un produit scalaire sesquilinéaire et défini-positif ⟨·|·⟩, linéaire dans un argument et conjugaison-linéaire dans l'autre, qui définit normes et angles sans nécessairement être complet ; un espace de Hilbert en est un exemple complet.

Principe

La sesquilinéarité (conjugaison-linéarité dans un emplacement choisi), la positivité et la non-dégénérescence du produit scalaire sont les règles organisatrices qui fournissent normes, orthogonalité et opérations de projection essentielles aux amplitudes quantiques.

Démonstration

L'espace C^n de dimension finie avec ⟨u|v⟩ = Σ u*_i v_i est un espace à produit scalaire complexe typique ; il définit longueurs, bases orthonormées et coefficients d'expansion utilisés pour des systèmes quantiques multi-niveaux.

Mauvaise application

Employer une forme bilinéaire (non conjuguée) à la place d'un produit scalaire sesquilinéaire, ou relâcher la définition positive pour permettre des formes indéfinies, rompt le lien entre produit scalaire et amplitudes de probabilité et produit des normes non physiques.

Conséquence

Du produit scalaire on déduit la norme induite ‖ψ‖, les relations d'orthogonalité, les formules de projection et les coefficients d'expansion ⟨φ|ψ⟩ servant d'amplitudes de transition et de recouvrement en mécanique quantique.

Inversion

Un espace à produit scalaire réel ou un espace muni seulement d'une forme bilinéaire inverse certains aspects : l'information de phase complexe disparaît et les adjoints basés sur la conjugaison ainsi que l'hermiticité prennent des formes différentes, limitant la structure d'amplitude quantique.

Limite

Le terme n'implique pas complétude ni séparabilité ; il exclut les structures dépourvues de conjugaison-linéarité ou de positivité définie et ne spécifie pas la topologie au-delà de celle induite par la norme lorsque celle-ci existe.

Tension sémantique

On trouve une tension entre la structure algébrique minimale d'un produit scalaire et les exigences analytiques supplémentaires (complétude, topologie) nécessaires pour le traitement fonctionnel en théorie quantique ; tension aussi sur le choix de l'argument conjugué-linéaire.

Synthèse

Un espace à produit scalaire complexe fournit la machinerie algébrique — produit sesquilinéaire, normes, orthogonalité — qui sous-tend le calcul des amplitudes en mécanique quantique et qui, une fois complété, devient un espace de Hilbert où s'appliquent l'analyse et la théorie spectrale.