Un fonctionnel linéaire dans l'espace dual d'un espace de Hilbert, généralement noté ⟨φ| ; il associe aux kets (|ψ⟩) des nombres complexes en effectuant le produit intérieur ⟨φ|ψ⟩. En représentation finie, un bra est la transposée conjuguée (adjointe hermitienne) sous forme de vecteur ligne correspondant au ket vecteur colonne.

Principe

Tout ket |ψ⟩ dans un espace de Hilbert complexe H définit un bra correspondant ⟨ψ| dans l'espace dual H* selon la représentation de Riesz : les bras sont des fonctionnels linéaires qui agissent sur les kets pour produire des scalaires, la conjugaison complexe reliant les représentations covariantes et contravariantes.

Démonstration

Pour H = C^n, si |ψ⟩ = (ψ1, ψ2,..., ψn)^T alors le bra est ⟨ψ| = (ψ1*, ψ2*,..., ψn*), une ligne 1×n qui donne ⟨ψ|φ⟩ = Σ_i ψi* φi. En notation matricielle, ⟨ψ| est l'adjointe hermitienne du vecteur colonne |ψ⟩.

Mauvaise application

Considérer un bra comme un ket indépendant et tenter d'appliquer des opérateurs à gauche sans transformer correctement en adjoint, par exemple écrire A⟨ψ| au lieu de ⟨ψ|A†, ce qui confond le domaine et le codomaine et conduit à des identités algébriques incorrectes.

Conséquence

Identifier correctement les bras permet des calculs cohérents d'amplitudes, de valeurs moyennes et d'éléments de matrice ; cela impose la structure conjuguée-linéaire nécessaire pour que les amplitudes de probabilité respectent la symétrie par conjugaison.

Inversion

Vu depuis la perspective inverse, un ket est un vecteur colonne dans H ; inverser le bra donne le ket en prenant l'adjointe hermitienne (⟨ψ|)† = |ψ⟩, échangeant les rôles covariant et contravariant.

Limite

S'applique aux vecteurs des espaces à produit scalaire complexes (espaces de Hilbert) ; les analogues sur espaces vectoriels réels manquent de conjugaison complexe bien que des notions duales similaires existent. Un bra n'est pas un état physique autonome en théorie de la mesure tant qu'il n'est pas associé à son ket pour produire des probabilités.

Tension sémantique

Le terme bra insiste sur le rôle covariant et conjugué-linéaire, en tension avec les usages informels qui réduisent les bras à de simples « vecteurs ligne » et risquent d'ignorer la conjugaison et la nature d'espace dual.

Synthèse

Un vecteur bra est le dual conjugué d'un ket : un fonctionnel linéaire représenté par la ligne adjointe qui évalue des kets en amplitudes complexes et impose la structure de conjugaison du produit intérieur.