Introduction des idées de base de la mécanique quantique
La mécanique quantique étudie des phénomènes fondamentaux à l'oeuvre dans des
systèmes physique de petites échelles (ex : échelle atomique). Hors cela
provoque donc des profondes difficultés conceptuelles.
La dualité onde-corpuscule avec la longueur d'onde de Broglie λ = h p \lambda =
\dfrac{h}{p} λ = p h avec h h h la constante de plank et p p p l'impulsion du
corpuscule
La superposition
L'intrication quantique
Produit scalaire
soit H \mathcal{H} H un espace vectoriel dans C \mathbb{C} C . Le produit
scalaire sur H \mathcal{H} H est une application.
{ ( . ∣ . ) : H × H → C ( u , v ) ↦ ( u ∣ v ) ∈ C \begin{cases} (. \vert .) : \mathcal{H} \times \mathcal{H} \rightarrow
\mathbb{C} \\ (u,v) \mapsto (u \vert v) \in \mathbb{C} \end{cases} { ( .∣. ) : H × H → C ( u , v ) ↦ ( u ∣ v ) ∈ C
Le produit scalaire vérifie les propriétés suivantes :
Linéarité à droite
( u ∣ λ 1 v 1 + λ 2 v 2 ) = λ 1 ( u ∣ v 1 ) + λ 2 ( u ∣ v 2 ) ∀ u , v 1 , v 2 ∈ H , λ 1 , λ 2 ∈ C (u \vert \lambda_1 v_1 + \lambda_2 v_2) = \lambda_1 (u \vert v_1) + \lambda_2
(u \vert v_2) \forall u, v_1, v_2 \in \mathcal{H}, \lambda_1, \lambda_2 \in
\mathbb{C} ( u ∣ λ 1 v 1 + λ 2 v 2 ) = λ 1 ( u ∣ v 1 ) + λ 2 ( u ∣ v 2 ) ∀ u , v 1 , v 2 ∈ H , λ 1 , λ 2 ∈ C
Anti-linéarité à gauche
( λ 1 u 1 + λ 2 u 2 ∣ v ) = λ 1 ( u 1 ∣ v ) + λ 2 ( u 2 ∣ v ) ∀ u 1 , u 2 , v ∈ H , λ 1 , λ 2 ∈ C (\lambda_1 u_1 + \lambda_2 u_2 \vert v) = {\lambda_1} (u_1 \vert v) +
{\lambda_2} (u_2 \vert v) \forall u_1, u_2, v \in \mathcal{H}, \lambda_1,
\lambda_2 \in \mathcal{C} ( λ 1 u 1 + λ 2 u 2 ∣ v ) = λ 1 ( u 1 ∣ v ) + λ 2 ( u 2 ∣ v ) ∀ u 1 , u 2 , v ∈ H , λ 1 , λ 2 ∈ C
Symétrie hermitienne ( u ∣ v ) = ( v ∣ u ) , ∀ u , v ∈ H (u \vert v) = {(v \vert u)}, \forall u,v \in
\mathcal{H} ( u ∣ v ) = ( v ∣ u ) , ∀ u , v ∈ H
Positivité ( u ∣ u ) ∈ R + , ∀ u ∈ H (u \vert u) \in \mathbb{R}_+, \forall u \in \mathcal{H} ( u ∣ u ) ∈ R + , ∀ u ∈ H
Non-dégéneresence : ∀ u ∈ H \forall u \in \mathcal{H} ∀ u ∈ H si ( u ∣ v ) = 0 , ∀ v ∈ H (u \vert v) = 0,
\forall v \in \mathcal{H} ( u ∣ v ) = 0 , ∀ v ∈ H , alors u = 0 ⇒ ( u ∣ u ) = 0 ⇒ u = 0 u = 0 \Rightarrow (u | u) = 0 \Rightarrow
u = 0 u = 0 ⇒ ( u ∣ u ) = 0 ⇒ u = 0 .
On appele un espace pré-herlbertien tout espace vectoriel H \mathcal{H} H sur
C \mathbb{C} C muni d'un produit scalaire ( . ∣ . ) (.\vert.) ( .∣. ) qui vérifie les
propriétés ci-dessus. Un espace de Hilbert est un espace pré-hilbertien
pour lequel on peut définir une norme qui découle du produit scalaire ∣ ∣ u ∣ ∣ : = ( u ∣ u ) ∀ u ∈ H || u
||: = \sqrt{(u | u)} \forall u \in \mathcal{H} ∣∣ u ∣∣ := ( u ∣ u ) ∀ u ∈ H
H ∗ \mathcal{H}^\ast H ∗ est l'espace de formes linéaires sur H \mathcal{H} H
H ∗ : = L ( H , C ) \mathcal{H}^\ast := \mathcal{L}(\mathcal{H},\mathbb{C}) H ∗ := L ( H , C )
Base orthonormée de H \mathcal{H} H
H \mathcal{H} H admet une base orthonormée c'est à dire une famille de
vecteurs e 1 , e 2 , . . . , e n e_1, e_2, ..., e_n e 1 , e 2 , ... , e n est une base tel que ( e i ∣ e j ) = δ i j ∀ i , j = 1 , . . . , n (e_i | e_j) =
\delta_{ij} \forall i,j = 1, ..., n ( e i ∣ e j ) = δ ij ∀ i , j = 1 , ... , n .
Fixons une base orthonormée sur H \mathcal{H} H . Si u , v ∈ H u,v \in \mathcal{H} u , v ∈ H ont
pour coordonnées
X , Y ∈ M n , 1 ( C ) X,Y \in \mathcal{M}_{n,1}(\mathbb{C}) X , Y ∈ M n , 1 ( C )
dans cette base alors
( u ∣ v ) = X + . Y (u | v) = X^+.Y ( u ∣ v ) = X + . Y
X = ( x 1 x 2 ⋮ x n ) , Y = ( y 1 y 2 ⋮ y n ∈ M m , n ) X = \begin{pmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{pmatrix}, Y=
\begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_n \in \mathcal{M}_{m,n} \end{pmatrix} X = x 1 x 2 ⋮ x n , Y = y 1 y 2 ⋮ y n ∈ M m , n
On peut donc déduire ( u ∣ v ) = ∑ i = 1 , j = 1 n , m x i , y j (u \vert v) = \sum \limits_{i=1, j=1}^{n,m} x_i,y_j ( u ∣ v ) = i = 1 , j = 1 ∑ n , m x i , y j
Application
Application adjointe
Soit une application linéaire L : H → H L: \mathcal{H} \rightarrow \mathcal{H} L : H → H .
L'application adjointe L ∗ L^\ast L ∗ est défini par ( u ∣ L v ) = ( L ∗ u ∣ v ) , ∀ u , v ∈ H (u | L v) = (L^\ast u | v),
\forall u,v \in \mathcal{H} ( u ∣ Lv ) = ( L ∗ u ∣ v ) , ∀ u , v