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.