The Trotter product formula is an extension of the [Lie product formula](Lie%20product%20formula.md) that asserts that the same formula holds for certain sets of [unbounded](unbounded) [[Hilbert Space]] operators as well. # Precise statement --- # Proofs and Exercises ## Proof of the Trotter product formula #MathematicalFoundations/Algebra/AbstractAlgebra/LinearAlgebra/Operators/Matrices #MathematicalFoundations/Algebra/AbstractAlgebra/GroupTheory/Lie/LieGroups #MathematicalFoundations/Analysis/FunctionalAnalysis