양자역학계의 상태들은 힐버트 스페이스의 벡터들이고, 옵저버블들은 그 스페이스의 허미션 연산자들이며, 계의 대칭성은 유니타리 연산자이고, 측정은 오소고날 프로젝션이다.