Định lý Stone–von Neumann