拘束のある力学系というのは，本質的な自由度より変数が水増しされているので拘束条件が生じている． これが困難を招くのが正準量子化したいとき．ポアソン括弧が正しい時間発展etc.を導かないので，これを交換関係に置き換えると正しい量子化ができない． …