L'énoncé mathématique selon lequel les opérateurs normaux (en mécanique quantique, en particulier les opérateurs auto-adjoints) admettent une représentation spectrale : ils peuvent s'exprimer via une mesure à valeurs de projection P(·) comme A = ∫ λ dP(λ), ce qui sous-tend la diagonalisation, le calcul fonctionnel et l'interprétation probabiliste des observables.

Principe

Le théorème spectral organise la structure des opérateurs en décomposant l'espace de Hilbert en sous-espaces spectraux orthogonaux de sorte que l'action de l'opérateur est localement scalaire, permettant de définir rigoureusement les fonctions d'opérateurs et de relier l'algèbre des opérateurs aux résultats mesurables.

Démonstration

Pour un opérateur auto-adjoint borné sur un espace de Hilbert séparable, le théorème garantit l'existence d'une unique mesure à valeurs de projection P sur la σ-algèbre borélienne de la droite réelle telle que A = ∫ λ dP(λ) ; en dimension finie ceci se réduit à la diagonalisation par une matrice unitaire.

Mauvaise application

Abuser du théorème spectral en supposant qu'il s'applique sans forme aux opérateurs non normaux ou en ignorant les questions de domaine pour les opérateurs non bornés conduit à des affirmations incorrectes sur la diagonalisation et les mesures spectrales.

Conséquence

L'application correcte du théorème spectral fournit les outils pour définir f(A) pour des fonctions boréliennes f, construire l'évolution temporelle via les exponentielles d'hamiltoniens et interpréter les statistiques de mesure par des mesures de projecteurs.

Inversion

L'accent inverse traite la mesure à valeurs de projection et le calcul fonctionnel mesurable comme primordiaux et voit l'opérateur comme un objet dérivé ; cela met en lumière les fondations mesurables plutôt que l'intuition matricielle.

Limite

Valable pour les opérateurs normaux (auto-adjoints, unitaires ou plus généralement normaux) ; pour les opérateurs auto-adjoints non bornés il faut spécifier soigneusement le domaine et le calcul fonctionnel via mesures spectrales ; les opérateurs non normaux sont hors du champ direct.

Tension sémantique

Il existe une tension entre la diagonalisation élémentaire enseignée en algèbre linéaire finie et le théorème spectral complet : ce dernier généralise la diagonalisation mais introduit des mesures à valeurs de projection et des distinctions mesurables subtiles nécessaires pour les observables quantiques.

Synthèse

Le théorème spectral affirme que les observables quantiques (opérateurs auto-adjoints) admettent une représentation comme intégrales contre des mesures à valeurs de projection, fournissant la base rigoureuse de la diagonalisation, des fonctions d'opérateurs, de la dynamique et du lien entre formalisme opérateur et probabilités de mesure.