リー・トロッター積公式
数学において、ソフス・リー (Sophus Lie, 1875) にちなんで名づけられたリーの積公式 (英: Lie product formula) 、あるいはトロッター積公式 (Trotter 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}} が成り立つという定理である。 ここで eA は A の行列指数関数を表す。