リー・トロッター積公式
数学において、ソフス・リー (Sophus Lie, 1875) にちなんで名づけられたリーの積公式 (英: Lie product formula) は、任意の実あるいは複素正方行列 A, B に対して、
e A + B = lim n → ∞ ( e A / n e B / n ) n {\displaystyle e^{A+B}=\lim _{n\rightarrow \infty }(e^{A/n}e^{B/n})^{n}}
が成り立つという定理である。ここで e は A の行列指数関数を表す。リー・トロッターの積公式 (Lie–Trotter product formula) (Trotter 1959) およびトロッター・加藤の定理 (Trotter–Kato theorem) (Kato 1978) はこれをある種の非有界線型作用素 A, B に拡張する。