Smooth functional derivatives in Feynman path integrals by time slicing approximation

We give a fairly general class of functionals on a path space so that Feynman path integral has a mathematically rigorous meaning. More precisely, for any functional belonging to our class, the time slicing approximation of Feynman path integral converges uniformly on compact subsets of the configuration space. Our class of functionals is closed under addition, multiplication, functional differentiation, translation and real linear transformation. The integration by parts and Taylor's expansion formula with respect to functional differentiation holds in Feynman path integral. Feynman path integral is invariant under translation and orthogonal transformation. The interchange of the order with Riemann-Stieltjes integrals, the interchange of the order with a limit, the semiclassical approximation and the fundamental theorem of calculus in Feynman path integral stay valid as well as N. Kumano-go [Bull. Sci. Math. 128 (3) (2004) 197-251].