号，且常数formula_28换成formula_29：这样的观察导致了保罗·狄拉克提出假设：一般来说，古典的观测量formula_31其量子对应项formula_32应满足于1927年，赫尔曼·外尔（Hermann Weyl）指出了量子算符与相空间中古典分布之间的对应关系并不成立。不过他倒是提出了一个机制，称作魏尔量子化（Weyl quantization），为了一种称作形变量子化（deformation quantization）的量子化方法提供了数学途径。