リー・トロッター積公式
この公式は、量子力学における経路積分において応用されており、この公式によってシュレーディンガー時間推進作用素 (そのジェネレーターがハミルトニアンである) を、運動エネルギー作用素 (の時間積分断片)とポテンシャルエネルギー作用素 (の時間積分断片) の交互の積の列に分離することが可能になっている。同様のアイデアは微分方程式の数値解法における分割法 (離散化) を構築する上でも使われている。
特に複素正方行列の場合について証明する。以下の証明は (窪田 2008, pp. 34–36) による。次の補題を用いる。