Notation bra-ket

Infos
La notation bra-ket a été introduite par Paul Dirac pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique (voir Axiomes de la mécanique quantique). Le nom provient d'un jeu de mots avec le terme bracket qui signifie « crochet de parenthèse », en l'occurrence «\ \langle\ » et «\ \rangle\ » respectivement appelés « bra » et « ket » (un peu à l'ima
Notation bra-ket

La notation bra-ket a été introduite par Paul Dirac pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique (voir Axiomes de la mécanique quantique). Le nom provient d'un jeu de mots avec le terme bracket qui signifie « crochet de parenthèse », en l'occurrence «\ \langle\ » et «\ \rangle\ » respectivement appelés « bra » et « ket » (un peu à l'image de babord et de tribord). Cette notation est depuis reprise dans l’étude mathématique de l’algèbre des opérateurs, et dont le champ d’application est plus large.

Ket

Définition

Soit un vecteur de l’espace des états. Il est noté \left| u \right\rangle et s'appelle vecteur-ket ou ket. Deux kets forment un espace vectoriel linéaire. Ainsi, si \lambda_1 et \lambda_2 sont des nombres complexes quelconques et u_1 et u_2 sont deux kets: : \left| v \right\rangle = \lambda_1 \cdot \left| u_1 \right\rangle + \lambda_2 \cdot \left| u_2 \right\rangle alors v~ est un ket. En allant plus loin, si \ |x\rangle\ dépend d’un indice continu \ x\ , et si \ f\ est une fonction complexe, alors, : \left| u \right\rangle = \int_^f(x) \cdot d est un ket.

Propriétés

Le produit scalaire de deux kets est un nombre complexe, noté \left( \left| \phi \right\rangle, \left| \psi \right\rangle \right) ou plus simplement \left\langle \phi | \psi \right\rangle (voir plus bas : bra). Comme tout produit scalaire complexe, ce produit est sesquilinéaire, c’est-à-dire que : : \left\langle \phi | \lambda \cdot \psi_1 + \mu \cdot \psi_2 \right\rangle = \lambda \cdot \left\langle \phi | \psi_1 \right\rangle + \mu \cdot \left\langle \phi | \psi_2 \right\rangle mais que : : \left\langle \lambda \cdot \phi_1 + \mu \cdot \phi_2 | \psi \right\rangle = \lambda^
- \cdot \left\langle \phi_1 | \psi \cdot \right\rangle + \mu^
- \cdot \left\langle \phi_2 | \psi \right\rangle. (l'expression \ c^
-\ signifie que l'on prend le complexe conjugué de \ c\ — voir Nombre complexe) Ce choix permet la définition d’une norme, qui est positive dans l’espace scalaire des nombres complexes. En effet, le produit scalaire d’un vecteur par lui-même est égal au carré de sa norme : : \left\langle \lambda \cdot \psi | \lambda \cdot \psi \right\rangle = \lambda \cdot \lambda^
- \cdot \left\langle \psi | \psi \right\rangle = \left|\lambda\right|^2 \cdot \left\langle \psi | \psi \right\rangle, avec \ \lambda\ un scalaire une sorte de facteur d’échelle. Et d'où : : \left\langle \psi | \psi \right\rangle = \left|\left| \psi \right|\right|^2

Base et composantes

Il est commode d’utiliser une base afin de définir les composantes d’un ket. Il s’agit d'un ensemble de vecteurs \left| u_n \right\rangle, linéairement indépendants. Il y a autant de vecteurs que de dimensions dans l’espace des états \ \epsilon\ , et \dim\left( \epsilon \right) = N. Ainsi, on peut décomposer \left| \psi \right\rangle dans la base des \left| u_n \right\rangle : : \left| \psi \right\rangle = \sum_^N \psi_n \cdot \left| u_n \right\rangle, où \ \psi_n\ sont les composantes de \left| \psi \right\rangle et appartiennent aux nombres complexes. On représente généralement un ket comme un vecteur colonne, une suite de nombres (les composantes) rangés verticalement : : \left| \psi \right\rangle = \begin \psi_1 \\ \psi_2 \\ \vdots \\ \psi_N \end_\epsilon = \begin \psi_1 \\ \psi_2 \\ \vdots \\ \psi_N \end \cdot \begin \left| u_1 \right\rangle & \left| u_2 \right\rangle & \cdots & \left| u_N \right\rangle \end

Bra

Définition

On associe à chaque ket d’un espace \ \epsilon\ , un nombre complexe. On définit pour cela une fonctionnelle linéaire \ \chi\ , telle que : : \chi : \left| \psi \right\rangle \rightarrow \lambda = \chi(\psi), et : \chi\left( \lambda_1 \cdot \left| \psi_1 \right\rangle + \lambda_2 \cdot \left| \psi_2 \right\rangle \right) = \lambda_1 \cdot \chi\left( \left| \psi_1 \right\rangle \right) + \lambda_2 \cdot \chi\left( \left| \psi_2 \right\rangle \right) L’ensemble de ces fonctionnelles linéaires constitue un espace vectoriel \ \epsilon^
-\ , dit « espace dual de \ \epsilon\ ». On appelle vecteur-bra ou bra un élément de cet ensemble et on le note \left\langle \phi \right|. Ainsi, quand la fonctionnelle linéaire \ \chi\ agit sur \left| \psi \right\rangle, on obtient : : \chi\left( \left| \psi \right\rangle \right) = \lambda = \left\langle \phi | \psi \right\rangle Cette nouvelle notation souligne la relation qu’il existe entre bra, ket et le produit scalaire entre kets. Prenons un ket \left| \phi \right\rangle. Son produit scalaire avec \left| \psi \right\rangle donne un nombre \ \lambda\ . On a ainsi défini une fonctionnelle linéaire qui, à \left| \psi \right\rangle, fait correspondre un nombre complexe \ \lambda\ , à partir de \left| \phi \right\rangle : : \phi(|\psi\rangle) = \lambda = \left( \left| \phi \right\rangle, \left| \psi \right\rangle \right) Puisque cette fonctionnelle se note \left\langle \phi \right|, on écrit également : : \left( \left| \phi \right\rangle, \left| \psi \right\rangle \right) = \left\langle \phi \right| \cdot \left| \psi \right\rangle = \left\langle \phi | \psi \right\rangle Ce qui amène à affirmer qu’à chaque ket correspond un bra, tel que le produit scalaire \left( \left| \phi \right\rangle, \left| \psi \right\rangle \right) s’écrit \left\langle \phi | \psi \right\rangle. Cette correspondance n’est cependant absolument pas réciproque. Il existe des bras (non linéaires) qui n’ont aucun « équivalent ket » (ces bras sont des fonctionnelles non linéaires pour lesquels il n’existe pas de ket unique respectant l’égalité, soit parce que l’équation n'a pas de ket solution, soit parce qu’il existe plusieurs kets solutions de l’équation). L’écriture \left\langle \phi | \psi \right\rangle revêt alors deux significations, l’une étant le résultat de l’application d’une fonctionnelle à un ket, l’autre étant le produit scalaire de deux kets.

Propriétés

Il existe une correspondance entre bra et ket : : \left| \psi \right\rangle \rightarrow \left\langle \psi \right| (mais \left\langle \psi \right| \rightarrow \left| \psi \right\rangle n’est pas toujours vrai.) L’antilinéarité du produit scalaire implique la correspondance suivante : : \lambda \cdot \left| \psi \right\rangle \rightarrow \lambda^
- \cdot \left\langle \psi \right| En effet, la norme de \lambda \cdot \left| \psi \right\rangle est définie positive : : \left|\left| \lambda \cdot \left| \psi \right\rangle \right|\right|^2 = \lambda \cdot \lambda^
- \cdot \left\langle \psi | \psi \right\rangle = \left( \lambda^
- \cdot \left\langle \psi \right| \right) \cdot \left( \lambda \cdot \left| \psi \right\rangle \right) On identifie le ket \lambda \cdot \left| \psi \right\rangle, ce qui implique que le « reste » de l’expression est le correspondant dans l’espace dual des fonctionnelles linéaires.

Composantes

L’écriture de la norme permet d’écrire un bra sous forme de composantes dans l’espace vectoriel dual \ \epsilon^
-\ de même dimension que l’espace vectoriel \ \epsilon\ des états : : \dim\left( \epsilon \right) = \dim\left( \epsilon^
- \right) = N, : \left\langle \phi \right| = \sum_^N\phi_n \cdot \left\langle u_n \right|, : \left| \psi \right\rangle = \sum_^N\psi_n \cdot \left| u_n \right\rangle. On représente aussi le bra sous la forme d’un vecteur ligne, une suite de nombres (les composantes) rangés horizontalement : : \left\langle \phi \right| = \begin \phi_1 \\ \phi_2 \\ \vdots \\ \phi_N \end_\epsilon^
- = \begin \phi_1 & \phi_2 & \cdots & \phi_N \end \cdot \begin \left\langle u_1 \right| \\ \left\langle u_2 \right| \\ \vdots \\ \left\langle u_N \right| \end Le produit matriciel ci-dessus est commutatif, car la matrice ligne ne contient que des scalaires, la matrice colonne que des bras unitaires, et le produit d’un scalaire et d’un bra est commutatif, et le produit matriciel d’une matrice colonne et d’une matrice ligne, s'il est défini, est toujours commutatif. Il en est de même du produit matriciel d’une matrice colonne de scalaires et d’une matrice ligne de kets. Il est alors possible d’écrire le produit scalaire d'un bra et d’un ket sous forme du produit de quatre matrices : deux matrices scalaires et des matrices de bras unitaires ou de kets unitaires. En permutant les matrices scalaires, il reste à déterminer le produit de matrices de bras unitaires et de kets unitaires. Or, on note que ces matrices unitaires sont transposées et conjuguées, ce qui signifie que leur produit se réduit au produit de leurs normes. Comme par définition, la norme des matrices unitaires est 1, ces matrices unitaires peuvent être éliminées du produit scalaire. La définition même du produit scalaire nous permet alors de l'écrire simplement en terme de produit de deux matrices scalaires de la façon suivante : : \left\langle \phi | \psi \right\rangle = \left( \begin \phi_1 \\ \phi_2 \\ \vdots \\ \phi_N \end_\epsilon^
-, \begin \psi_1 \\ \psi_2 \\ \vdots \\ \psi_N \end_\epsilon \right) = \begin \phi_1 & \phi_2 & \cdots & \phi_N \end \cdot \begin \psi_1 \\ \psi_2 \\ \vdots \\ \psi_N \end = \sum_^N\phi_n \cdot \psi_n

Opérateurs et notation de Dirac

D’une façon générale, les opérateurs linéaires agissant sur l’espace \ \epsilon\ des états peuvent s’écrire sous la forme d’une combinaison linéaire d'opérateurs : : \left| \psi \right\rangle \cdot \left\langle \varphi \right|, dont l’action sur un état, représenté par le ket \left| \phi \right\rangle, sera l’état : : \left\langle \varphi | \phi \right\rangle \cdot \left| \psi \right\rangle, permettant une grande économie d’écriture.

Voir aussi

- Mécanique quantique
- Paul Dirac Catégorie:Physique quantique Catégorie:Algèbre cs:Diracova notace de:Bra-Ket en:Bra-ket notation es:Notación cor-chete he:סימון דיראק hu:Braket-jelölés ia:Notation bra-ket it:Notazione bra-ket ja:ブラ-ケット記法 ko:브라-켓 표기법 nl:Diracnotatie pl:Notacja Diraca pt:Notação Bra-ket sl:Diracov zapis sv:Bra-ket-notation uk:Кет-вектор zh:狄拉克符号
Sujets connexes
Espace vectoriel   Fonctionnelle   Mécanique quantique   Nombre complexe   Paul Dirac   Tribord  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^