Matematisk formulering af kvantemekanik