Le premier postulat affirme qu'à tout état physique
du système
étudié correspond un vecteur ket
qui code cet état et
le représente mathématiquement. C'est notamment le cas de
l'état initial
d'un processus étudié. Nous verrons
plus tard comment déterminer le ket
et comment en
déduire le ket
représentatif d'un état final
ultérieur quelconque. Or ce ket
supposé connu,
code l'information maximum possible sur cet état final.
Par suite, les prévisions concernant les résultats de toute
mesure effectuée sur cet état doivent pouvoir être
déduites et calculées à partir de ce ket
. Une
telle déduction constitue un premier aspect du décodage du
formalisme.