Un triplet de Gelfand (espace de Hilbert 'rigged') est un triplet Φ ⊂ H ⊂ Φ' où Φ est un sous-espace dense de l'espace de Hilbert H muni d'une topologie plus fine et Φ' est son dual topologique d'applications antilinéaires continues ; ce cadre accueille les vecteurs propres généralisés et les distributions de la formalisation de Dirac.

Principe

En plaçant H entre un espace de vecteurs-tests et son dual, on autorise des objets (vecteurs propres généralisés, kets normalisés par δ) qui ne sont pas quadratiquement intégrables à être traités comme des fonctionnelles continues, permettant des décompositions spectrales pour opérateurs non bornés et spectres continus.

Démonstration

Pour l'opérateur position sur L^2(R), on peut choisir Φ comme l'espace de Schwartz S(R) des fonctions lisses à décroissance rapide ; les 'kets' |x⟩ de position ne sont pas dans L^2(R) mais définissent des éléments de Φ' et permettent d'interpréter rigoureusement des expressions telles que ψ(x) = ⟨x|ψ⟩ comme appariements distributionnels.

Mauvaise application

Traiter les kets de Dirac |x⟩ ou les états planewave de moment comme des membres légitimes de H au lieu de Φ' conduit à des manipulations incorrectes (par exemple présumer une normalisation ordinaire) et masque des problèmes de domaine pour les opérateurs non bornés.

Conséquence

La construction en espace de Hilbert 'rigged' fournit un cadre mathématiquement contrôlé pour les manipulations bra–ket de Dirac, justifie la normalisation par δ et les mesures spectrales généralisées, et clarifie le rôle des distributions en théorie spectrale quantique.

Inversion

Se restreindre strictement à H sans armature empêche de représenter les vecteurs propres de spectre continu et oblige à n'utiliser que des mesures projectives et des suites approchantes, perdant des expressions formelles commodes comme |x⟩.

Limite

Le triplet dépend du choix de l'espace de test Φ et de sa topologie ; il n'est pas unique et n'élimine pas la nécessité de vérifier domaines et continuité pour des opérateurs donnés — Φ doit être choisi en fonction des opérateurs d'intérêt.

Tension sémantique

Il existe une tension entre la notation informelle des physiciens (Dirac) qui traite les kets généralisés comme des 'vecteurs' et l'exigence mathématicienne de duals distributionnels précis ; les triplets de Gelfand réconcilient ces approches au prix d'une structure et de choix supplémentaires.

Synthèse

Le triplet de Gelfand complète un espace de Hilbert par un espace de tests dense et son dual de sorte que les vecteurs propres distributionnels et les états normalisés par δ deviennent des fonctionnelles continues bien définies ; il fournit le cadre rigoureux qui justifie les calculs en style Dirac pour spectres continus et opérateurs non bornés.