L’espace de Fock est un espace de Hilbert utilisé en physique quantique pour décrire les états quantiques avec un nombre variable ou inconnu de particules.
L’espace de Fock se définit comme l’espace de Hilbert obtenu par la somme directe des produits tensoriels des espaces de Hilbert pour une particule.
où :
Un exemple d’état de l’espace de Fock est
qui décrit n particules, une avec la fonction d'onde φ1, la deuxième avec φ2 et ainsi de suite et où φi est une fonction d’onde quelconque de l’espace de Hilbert H à une particule. Quand nous parlons d'une particule dans l’état φi, il faut garder à l’esprit qu’en mécanique quantique les particules identiques sont indiscernables et, dans un même espace de Fock, toutes les particules sont identiques (pour décrire plusieurs types de particules, il faut effectuer le produit tensoriel de plusieurs espaces de Fock différents). Une des propriétés les plus puissantes de ce formalisme est que les états sont intrinsèquement symétrisés correctement. Par exemple, si l’état ci-dessus
Une base utile et pratique pour cet espace est la base du nombre de particules. Si
avec, bien sûr, si ν = − , chaque ni prenant seulement les valeurs 0 ou 1 (autrement l’état est nul).
Un tel état est appelé un état de Fock. Puisque les
Deux opérateurs d’une immense importance sont les opérateurs de création et d’annihilation qui agissent sur un état de Fock en, respectivement, ajoutant et retirant une particule à l’état quantique décrit. Ils sont notés
En pratique, on dispose générale des opérateurs de création et d’annihilation et l’on cherche à construire l’espace de Fock. On définit l’état du vide
On peut ensuite construire les états à une particule en faisant agir l’opérateur de création sur l’état du vide :
Ensuite, en utilisant la procédure mathématique standard de superposition linéaire et la complétion de Cauchy, on construit l’espace complet. L’espace résultant est l’espace de Fock recherché.