Vendredi 2 Mai 2025
Rechercher 🔍

Notation bra-ket - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
- Introduction - L'origine du formalisme - Bra - Ket - Opérateurs et notation de Dirac

Bra

Définition

On associe à chaque ket d’un espace \varepsilon , un nombre complexe. On définit pour cela une fonctionnelle linéaire χ, telle que :

\chi : | \psi \rangle \rightarrow \lambda = \chi(\psi) , et
\chi{( \lambda_1 \cdot | \psi_1 \rangle + \lambda_2 \cdot | \psi_2 \rangle )} = \lambda_1 \cdot \chi{( | \psi_1 \rangle )} + \lambda_2 \cdot \chi{( | \psi_2 \rangle )}

L’ensemble de ces fonctionnelles linéaires constitue un espace vectoriel \varepsilon^* , dit « espace dual de \varepsilon  ». On appelle vecteur-bra ou bra un élément de cet ensemble et on le note \langle \phi | .

Ainsi, quand la fonctionnelle linéaire χ agit sur | \psi \rangle , on obtient :

\chi{( | \psi \rangle )} = \lambda = \langle \phi \mid \psi \rangle

Cette nouvelle notation souligne la relation qu’il existe entre bra, ket et le produit scalaire entre kets. Prenons un ket | \phi \rangle . Son produit scalaire avec | \psi \rangle donne un nombre λ. On a ainsi défini une fonctionnelle linéaire qui, à | \psi \rangle , fait correspondre un nombre complexe λ, à partir de | \phi \rangle  :

\phi{(|\psi\rangle)} = \lambda = ( | \phi \rangle, | \psi \rangle )

Puisque cette fonctionnelle se note \langle \phi | , on écrit également :

( | \phi \rangle, | \psi \rangle ) = \langle \phi | \cdot | \psi \rangle = \langle \phi \mid \psi \rangle

Ce qui amène à affirmer qu’à chaque ket correspond un bra, tel que le produit scalaire ( | \phi \rangle, | \psi \rangle ) s’écrit \langle \phi \mid \psi \rangle . Cette correspondance n’est cependant absolument pas réciproque. Il existe des bras qui n’ont aucun « équivalent ket » car ce sont des distributions.

L’écriture \langle \phi \mid \psi \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 :

| \psi \rangle \rightarrow \langle \psi | (mais \langle \psi | \rightarrow | \psi \rangle n’est pas toujours vrai.)

L’antilinéarité du produit scalaire implique la correspondance suivante :

\lambda \cdot | \psi \rangle \rightarrow \lambda^* \cdot \langle \psi |

En effet, la norme de \lambda \cdot | \psi \rangle est définie positive :

{\| \lambda \cdot | \psi \rangle \|}^2 = \lambda \cdot \lambda^* \cdot \langle \psi \mid \psi \rangle = ( \lambda^* \cdot \langle \psi | ) \cdot ( \lambda \cdot | \psi \rangle )

On identifie le ket \lambda \cdot | \psi \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 \varepsilon^* de même dimension que l’espace vectoriel \varepsilon des états :

\dim{( \varepsilon )} = \dim{( \varepsilon^* )} = N ,
\langle \phi | = \sum_{n = 1}^N{\phi_n \cdot \langle u_n |} ,
| \psi \rangle = \sum_{n = 1}^N{\psi_n \cdot | u_n \rangle} .

On représente aussi le bra sous la forme d’un vecteur ligne, une suite de nombres (les composantes) rangés horizontalement :

\langle \phi | = \begin{pmatrix} \phi_1 \\\phi_2 \\\vdots \\\phi_N \end{pmatrix}_{\varepsilon^*} = \begin{bmatrix} \phi_1 & \phi_2 & \cdots & \phi_N \end{bmatrix} \cdot \begin{bmatrix} \langle u_1 | \\\langle u_2 | \\\vdots \\\langle u_N | \end{bmatrix}

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, 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 termes de produit de deux matrices scalaires de la façon suivante :

\langle \phi \mid \psi \rangle = \left( \begin{pmatrix} \phi_1 \\\phi_2 \\\vdots \\\phi_N \end{pmatrix}_{\varepsilon^*}, \begin{pmatrix} \psi_1 \\\psi_2 \\\vdots \\\psi_N \end{pmatrix}_{\varepsilon} \right) = \begin{bmatrix} \phi_1 & \phi_2 & \cdots & \phi_N \end{bmatrix} \cdot \begin{bmatrix} \psi_1 \\\psi_2 \\\vdots \\\psi_N \end{bmatrix} = \sum_{n = 1}^N{\phi_n \cdot \psi_n}

Ket

Définition

Soit un vecteur de l’espace des états. Il est noté | u \rangle et s'appelle vecteur-ket ou ket.

Deux kets forment un espace vectoriel linéaire. Ainsi, si λ1 et λ2 sont des nombres complexes quelconques et u1 et u2 sont deux kets:

| v \rangle = \lambda_1 \cdot | u_1 \rangle + \lambda_2 \cdot | u_2 \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 normalisée sur [x_1\, ,x_2] , alors,

| u \rangle = \int_{x_1}^{x_2}f(x). | x \rangle \mathrm dx

est un ket.

Propriétés

Le produit scalaire de deux kets est un nombre complexe, noté ( | \phi \rangle, | \psi \rangle ) ou plus simplement \langle \phi \mid \psi \rangle (voir plus bas : bra). Comme tout produit scalaire complexe, ce produit est sesquilinéaire (voir forme sesquilinéaire), c’est-à-dire que :

\langle \phi \mid \lambda \cdot \psi_1 + \mu \cdot \psi_2 \rangle = \lambda \cdot \langle \phi \mid \psi_1 \rangle + \mu \cdot \langle \phi \mid \psi_2 \rangle

mais que :

\langle \lambda \cdot \phi_1 + \mu \cdot \phi_2 \mid \psi \rangle = \lambda^* \cdot \langle \phi_1 \mid \psi \rangle + \mu^* \cdot \langle \phi_2 \mid \psi \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 :

\langle \lambda \cdot \psi \mid \lambda \cdot \psi \rangle = \lambda \cdot \lambda^* \cdot \langle \psi \mid \psi \rangle = |\lambda|^2 \cdot \langle \psi \mid \psi \rangle ,

avec λ un scalaire une sorte de facteur d’échelle. Et d'où :

\langle \psi \mid \psi \rangle = \| \psi \|^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 | u_n \rangle , linéairement indépendants. Il y a autant de vecteurs que de dimensions dans l’espace des états \varepsilon , et \dim{( \varepsilon )} = N .

Ainsi, on peut décomposer | \psi \rangle dans la base des | u_n \rangle  :

| \psi \rangle = \sum_{n = 1}^N {\psi_n \cdot | u_n \rangle} ,

où ψn sont les composantes de | \psi \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 :

| \psi \rangle = \begin{pmatrix} \psi_1 \\\psi_2 \\\vdots \\\psi_N \end{pmatrix}_{\varepsilon} = \begin{bmatrix} \psi_1 \\\psi_2 \\\vdots \\\psi_N \end{bmatrix} \cdot \begin{bmatrix} | u_1 \rangle & | u_2 \rangle & \cdots & | u_N \rangle \end{bmatrix}
L'origine du formalisme
Opérateurs et notation de Dirac
- Introduction - L'origine du formalisme - Bra - Ket - Opérateurs et notation de Dirac
miniature
Une éruption volcanique en 2018 responsable d'une explosion de vie 🌋
miniature
Un système d'exploitation pour les ordinateurs quantiques voit le jour 🖥️
miniature
Des singularités temporelles dans l'Univers ? 🕰️
miniature
Des fossiles de dinosaures mieux datés 🦖
miniature
Une gigantesque muraille de 10 milliards d'années-lumière dans l'Univers 🔭
miniature
Benchmark: les processeurs quantiques sous la loupe, quels sont les meilleurs ? 🏆
miniature
Découverte d'une "fourmi de l'enfer" vieille de 113 millions d'années 🐜
miniature
Le rôle méconnu de la décharge dans l'usure des batteries 🔋
miniature
1
La fonte des glaces déplace les pôles: quelles conséquences ? 🌍
miniature
L'appareil photo de votre smartphone peut détecter l'antimatière 📱
miniature
Cette étoile-zombie peut déformer les atomes à distance, et elle fonce dans notre galaxie ⭐
miniature
Un mosasaure géant découvert dans le Mississippi 🦕
miniature
Problème, les galaxies meurent plus tôt que prévu 🌀
miniature
Ce lien entre cannabis et troubles psychotiques 🧠
miniature
Une révolution dans le refroidissement des puces électroniques ? 🔥
miniature
Des parasites sous-marins filmés en train de vampiriser un poisson des abysses 👀
miniature
Lucy survole un astéroïde en forme de cacahuète 🚀
miniature
Découverte du fossile d'un dinosaure géant méconnu 🦕
miniature
Mars avait-elle un champ magnétique unilatéral ? 🔍
miniature
Des chimpanzés surpris à sociabiliser avec de l'alcool 🍇
miniature
Découverte macabre: ce gladiateur a été tué par un lion il y a 1 800 ans... en Grande-Bretagne 🦁
miniature
L'électroluminescence du graphène, une découverte inattendue ! 💡
miniature
Cet objet métallique n'a pas été fabriqué sur Terre 🔧
miniature
1
Cette innovation permet aux voitures électriques de charger 6 fois plus vite par grand froid ⚡
miniature
Cette super-Terre brûle les attentes des astronomes 🔥
miniature
Découverte exceptionnelle de fossiles d'amphibiens géants 🐸
miniature
Voici ce qui a causé les toutes premières inégalités de richesse 💰
miniature
Quelle est cette zone étrange dans l'Atlantique Nord ? 🌊
miniature
Cette planète orbite à angle droit autour de deux étoiles, une première ! 🔭
miniature
Des cellules solaires flexibles battent des records d'efficacité ⚡
miniature
Ce dispositif reproduit les trous noirs et trous blancs en laboratoire 🌀
miniature
Record établi pour un transistor en diamant 💎
miniature
Les sursauts radio rapides trahissent enfin leur origine cosmique 📡
miniature
Ces biomarqueurs sanguins prédisent la démence 10 ans à l'avance 🧠
miniature
Découverte majeure: des médicaments 23 fois plus efficaces contre le cancer 💊
miniature
Les oscillations collectives des foules humaines denses 🔁
miniature
Une forme inconnue de la matière détectée au LHC ? ⚛️
miniature
Le sel, un facteur méconnu de l'obésité ? 🧂
miniature
L'Univers en rotation, une réponse élégante à ce problème astrophysique majeur 🌀
miniature
Découverte tectonique majeure sous les Petites Antilles 🌍
miniature
1
Peut-on geler en chauffant ? ❄️
miniature
Une peau électronique pour doter les robots du sens du toucher 👌
miniature
Invention d'un bois semi-transparent avec une technique...surprenante ! 🌳
miniature
Le cancer inscrit dans nos gènes dès la naissance ? 🧬
miniature
Des supernovae à l'origine de deux extinctions massives sur Terre ? 💥
miniature
Le passé verdoyant du plus grand désert du monde 🐪
miniature
Après les campagnes antivaccins, la rougeole revient en force aux États-Unis 😷
miniature
Des puces quantiques plus proches que jamais ⚡
miniature
1
Pourrons-nous bientôt communiquer avec les dauphins grâce à l'IA ? 🐬
miniature
En déplaçant deux atomes, des chercheurs transforment le LSD en médicament surpuissant 💊
Page générée en 0.121 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise