A Rigorous Approach to the Feynman-Vernon Influence Functional and its Applications. I

A rigorous representation of the Feynman-Vernon influence functional used to describe open quantum systems is given, based on the theory of infinite dimensional oscillatory integrals. An application to the case of the density matrices describing the Caldeira-Leggett model of two quantum systems with a quadratic interaction is treated.