Les trois axiomes de la mécanique quantique

Les trois axiomes de la mécanique quantique

Sommaire

Introduction

Souvent, la mécanique quantique est présentée comme si elle était une théorie étrange, dépassant même l'entendement humain. Or s'il est vrai que cette théorie est très mal comprise par la plupart des profanes, elle est plutôt bien comprise par les initiés. Pourquoi une telle différence de compréhension ? Peut-être simplement car de nombreuses choses différentes ont été dites sur celle-ci, peut-être du fait que son formalisme est d'une abstraction jamais égalée auparavant par une théorie voulant décrire le "monde observable". Ou simplement car cette théorie va à l'encontre des fondements de la pensée scientifique, ceux-là même qui nous ont permis de construire notre représentation du monde. En effet la mécanique quantique pose de gros problèmes au concept du déterminisme tel que nous le connaissions avant le XXe siècle. Avec son avènement, il nous faut reconstruire les concepts de mesure, de reproductibilité d'une expérience, et même de déterminisme...

Le modèle des trois axiomes est une approche rigoureuse qui mène à l'idée que l'espace des états est un espace vectoriel (souvent un espace de Hilbert) chose qui est postulée par d'autres approches. La connaissance du théorème de Stone et du théorème de Noether (probablement les deux théorèmes les plus importants de la mécanique quantique, le premier servant à construire l'idée d'évolution temporelle, le deuxième la notion de quantité de mouvement) mène sans trop de difficulté à la reconstruction des postulats habituels de la mécanique quantique (voir postulats de la mécanique quantique).

Les 3 axiomes

Afin de posséder le vocabulaire des trois axiomes, il est nécessaire d'introduire quelques notions fondamentales. En effet, en opposé aux six postulats de la mécanique quantique, ces trois axiomes reposent sur des concepts étroitement liés à l'expérience voire à la mesure. (Il peut être intéressant de lire Problème de la mesure quantique à ce sujet)

Questions, Propriétés et Espace des états

La notion de question découle de l'idée de mesure. Une question \alpha ~ est une mesure sur un système physique dont la réponse est vraie ou fausse.

Pour illustrer cette idée, nous pouvons faire l'expérience de pensée suivante :

Le système physique est constitué d'une voiture qui roule sur l'autoroute. La question est : Roule-t-elle à 130 km/h ? Notre appareil de mesure est un radar. La réponse est vraie, si sur le radar, on lit 130 km/h, elle est fausse sinon.

A partir de toute question \alpha ~, il est possible de définir une question inverse  \tilde{\alpha}. Dans notre expérience de pensée, la question inverse serait : la voiture roule-t-elle à une vitesse différente de 130 km/h ?

L'ensemble Q~ est l'ensemble de toutes les questions que l'on peut poser sur le système étudié.

On dira qu'une question est vraie pour un système donné lorsqu'on peut prédire avec certitude (par un calcul théorique) que la mesure répondra "oui", avant de la réaliser. Une question non vraie n'est pas nécessairement fausse à coup sûr ; dans ce modèle on laisse la place aux questions incertaines, aléatoires. Une question est incertaine pour un système donné lorsque, si l'on construisait un système identique du point de vue de la physique, un clone possédant le même état physique, alors la mesure sur le clone ne donnerait pas à coup sûr la même valeur que la mesure sur le système d'origine. Une question incertaine ne peut par conséquent pas être vraie : le système physique choisit une réponse aléatoirement lorsqu'il est mesuré, malgré la connaissance totale de son état a priori. L'existence de questions incertaines est la différence clef entre la physique classique et la physique quantique, comme nous le formaliserons plus bas avec l'axiome 0.

On peut construire une relation de préordre partiel (relation d'ordre) sur les questions :

Reprenons notre expérience de pensée, nous définissons deux questions :
\alpha~ : la voiture roule-t-elle à une vitesse comprise entre 120km/h et 140km/h ?
\beta~ : la voiture roule-t-elle à 130km/h ?
On remarque que \alpha~ est toujours vrai si \beta~ est vrai, on dira que \beta~ est plus faible que \alpha~
Notation : \beta~  < \alpha~

Attention au sens, la question la plus faible est à gauche de " < ". Cette notation est suggérée par le fait que l'ensemble des cas où \beta~ est vraie est plus petit que pour \alpha~, ie \beta~ est plus restrictive. Cette notation est de plus conforme avec la relation intuitive  \forall q\in Q~, \, 0 \leq q \leq 1, avec 0 et 1 les questions absurde (réponse toujours fausse) et triviale (réponse toujours vraie).

Ce préordre partiel crée une relation d'équivalence:

on dira \alpha~ est équivalent à \beta~, si et seulement si \alpha~ \leq \beta~ et   \beta~ \leq \alpha~
notation : \alpha~ \sim \beta~

La classe d'équivalence a~ d'une Question \alpha~ est une Propriété.

Une propriété est dite actuelle si les questions associées à celle-ci sont vraies à coup sûr. Au contraire, si les réponses à ses questions sont incertaines voire toujours fausses, on dit que la propriété est potentielle.

Nous définissons L~ comme l'ensemble de toutes les propriétés du système.

Une chose remarquable est, que sans aucune autre supposition, nous pouvons déjà avoir une certaine information sur la structure de L~. En effet, la relation de préordre sur Q~ impose le fait que L~ soit partiellement ordonné. Et donc L~ est toujours un treillis complet, c’est-à-dire :

\forall E~=\big\{ a~_i | a~_i \in L~  ,  i \in J~ \big\} ( J étant un sous-ensemble quelconque de N (nombre naturel)) il existe a~,b~ \in L~ telle que :
si x~ \in L~ alors :
x~ < a_i ~\forall i \in J~ \Longleftrightarrow x~< a~
x~ > a_i ~\forall i \in J~ \Longleftrightarrow x~> b~

a~,b~ sont respectivement la borne inférieure et supérieure du sous-ensemble E~.

États et Propriétés-états

Par définition, l'état E~ d'un système physique est l'ensemble de toutes ses propriétés actuelles. Il vient E\subset L~.

Un état E~ est un sous-ensemble de L~ tel que la propriété p~ est actuelle quand toutes les propriétés contenues dans E~ sont actuelles. On peut donc définir un état ainsi :

E~=\big\{ x~ \in L~ | p~ < x~ \big\}

Une telle propriété p~ définit entièrement E~ et est appelée propriété-état.

Atomes

Les atomes sont les éléments minimaux de L\setminus \{0\}. Autrement dit, une propriété p \in L est appelée atome si :

p \neq 0 ,\quad  p est différente de la propriété minimale définie par la question \tilde{i} (l'inverse de la question triviale)

et que :

\forall x\in L, \; x<p \Rightarrow ( x=p \quad \textrm{ou} \quad x=0)

Les atomes sont des propriétés-états. En effet un atome p \in L étant non nul, il existe un état E du système dans lequel p est actuel. La borne inférieure de E minore p et est non nulle ; par conséquent elle est égale à p.

Représentation de Cartan

Par définition de la relation d'équivalence sous-jacente aux propriétés, une propriété est entièrement déterminée par les états du système dans lesquels elle est actuelle. On formalise cela ici, soit S l'ensemble de tous les états possible du système. Nous pouvons définir une application μ de L dans P(S) l'ensemble des partie de S.

\mu : a \to \mu a = \left\{ E\in S | a \in E \right\}

Cette application s'appelle le morphisme de Cartan, et l'image de L dans P(S) est appelée la représentation de Cartan.

De plus, cette application est injective et préserve l'ordre et la borne inférieure.

Notion d'orthogonalité

On dit de deux états E_1, E_2 \subset L qu'ils sont orthogonaux (notation : E_1 \perp E_2) s'il existe une question α telle que :

α est vrai pour E1 et \tilde{\alpha} est vrai pour E2

Par exemple l'énergie d'une particule quantique piégée dans un puits de potentiel ne peut prendre qu'un ensemble discret de valeurs (elle est quantifiée). On peut donc définir deux états E1 et E2, où la particule quantique a respectivement une énergie e1 et e2. Ces 2 états sont orthogonaux par la question α = "la particule a une énergie e1", vraie dans l'état E1 et fausse dans l'état E2. Dans la représentation usuelle des états quantiques de la particule par un espace de Hilbert, les états E1 et E2 seront orthogonaux au sens du produit scalaire.

On dit que deux propriétés a, b \in L qu'elles sont orthogonales (notation : a \perp b) si tous les états μa sont orthogonaux aux états μb :

a \perp b si et seulement si \mu a \perp  \mu b

Système Classique

Axiome 0:

Nous dirons qu’une question  \alpha~ est classique si, pour chaque état E~, ou bien \alpha~ est vraie, ou bien  \tilde{\alpha} est vraie. Et nous dirons d’un système qu’il respecte le préjugé classique si pour chaque propriété a~ il existe au moins une question classique \alpha~

Cet axiome détermine entièrement la structure de L~. De plus si le système satisfait l’axiome 0 alors le morphisme de Cartan est surjectif et L~ et P~(S) sont isomorphes

Généralisation : les systèmes quantiques

Axiome I

Toute propriété-états est un atome de L

Cet axiome signifie simplement que si deux états E_1,E_2 \subset L sont différents alors la relation E_1 \subset E_2 est exclue.

Aristote l'avait déjà énoncé : si le système change d’état, qu’il passe donc de l’état E1 à E2, il s’enrichit de nouvelles propriétés qui s’actualisent, et il en perd nécessairement d’autres. Donc E1 ne peut être entièrement contenu dans E2.

Cet axiome permet d'identifier les états du système aux atomes de L.

Axiome II

Pour chaque état E donné il existe une (unique) question qui est vraie si et seulement si l’état du système est orthogonal à E

Pour chaque état E la question associée est bien unique, car définie par les états dans lesquels elle est actuelle : les états orthogonaux à E. Autrement dit pour n'importe quel état E, il existe une expérience physique permettant de savoir à coup sûr qu'un système donné est dans un état orthogonal à E.

En tenant compte de l'axiome I l'axiome II signifie que :

Pour chaque propriété-état p atome de L, il existe une (unique) propriété p' qui est actuelle si et seulement si l’état est orthogonal à p

La fonction p \mapsto p' définie sur les atomes par l'axiome II peut être étendue à L tout entier par :

 a\mapsto a' = \bigwedge \{ p' \, ; \, p \text{ atome}, p\leq a\}

Cette fonction est plus claire dans la représentation de Cartan :

\mu (a') = \mu (a) ^\perp

Notation : A^{\perp}=\big\{ E \in S \, | \, \forall \eta \in A, E \perp \eta \big\}

Axiome III

L’application de L dans L : a \to  a' est surjective.

Structure de l'espace des états

Tout comme l'axiome 0, les axiomes I, II, III déterminent entièrement la structure de l'espace des états.

Théorème :

Si le système satisfait les axiomes 1, 2 et 3 alors:
  • le morphisme de Cartan détermine un isomorphisme entre L et (S, \perp)
  • L est un treillis complet, comblé d’atomes
  • L’application définie dans l'axiome III est une orthocomplémentation
L'espace des états est un treillis complet, comblé d’atomes et muni d’une orthocomplémentation

Les espaces de Hilbert

Nous désirons montrer que l’espace engendré par les rayons d’un espace de Hilbert convient parfaitement pour décrire un espace des états.

Théorème :

Soit H un espace de Hilbert, l’ensemble de tous les sous-espaces G contenus dans H est un treillis complet, orthocomplémenté et comblé d’atome.

Démonstration :

  • treillis complet :
Les sous-espaces fermés G peuvent être ordonnés par inclusion. Ils forment un treillis complet car l’intersection d’ensembles fermés est encore un ensemble fermé.
  • Orthocomplementé :
l’application qui à G fait correspondre G^\perp définit une orthocomplémentation. En effet:

 (G^\perp)^\perp=G \qquad \qquad G + G^\perp=H

G_1 \subset G_2 \Rightarrow G_2^\perp\subset G_1^\perp \qquad G \cap G^\perp = \{ 0\}

  • Comblé d’atomes:
Les atomes de ce treillis sont les sous-espaces de dimension 1 (c’est-à-dire les rayons) et tous les sous-espaces sont engendrés par les rayons qu’il contiennent.

Bibliographie

  • Constantin Piron, Mécanique Quantique: Bases et Applications, Presses Polytechniques et Universitaires Romandes, 1998 (ISBN 2-88074-399-0) 
    Cet ouvrage propose l'approche des « trois axiomes », mais ne parle pas des six postulats. Ce livre est donc plutôt destiné à des gens possédant déjà un bon niveau en mécanique quantique, malgré le fait qu'il soit mathématiquement accessible avec un niveau de mathématique de premier cycle universitaire.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Les trois axiomes de la mécanique quantique de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Les Trois Axiomes De La Mécanique Quantique — Sommaire 1 Introduction 2 Les 3 axiomes 2.1 Questions, Propriétés et Espace des états 2.2 États et Propriétés états …   Wikipédia en Français

  • Les trois axiomes de la mecanique quantique — Les trois axiomes de la mécanique quantique Sommaire 1 Introduction 2 Les 3 axiomes 2.1 Questions, Propriétés et Espace des états 2.2 États et Propriétés états …   Wikipédia en Français

  • Axiomes de la mécanique quantique — Postulats de la mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • Mecanique quantique — Mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • Mécanique Quantique — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • Mécanique quantique — La mécanique quantique est la branche de la physique qui a pour but d étudier et de décrire les phénomènes fondamentaux à l œuvre dans les systèmes physiques, plus particulièrement à l échelle atomique et subatomique. C est aussi la partie de la… …   Wikipédia en Français

  • Postulats de la mecanique quantique — Postulats de la mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • Postulats de la mécanique quantique — Cet article traite des postulats de la mécanique quantique. La description du monde microscopique que fournit la mécanique quantique s appuie sur une vision radicalement nouvelle, et s oppose en cela à la mécanique classique. Elle repose sur des… …   Wikipédia en Français

  • Quantique — Mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • QUANTIQUE (MÉCANIQUE) - Propriétés fondamentales — La mécanique quantique est aujourd’hui une théorie parfaitement «classique», dont la cohérence n’a fait que se renforcer au cours des cinquante dernières années. Après un laborieux enfantement au début du XXe siècle, elle accède à la maturité… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”