Admissible vectors and their associated Dirichlet forms

Abstract

Bouleau and Hirsch have introduced in [4] the energy-image density property and have proved that such property held for the Dirichlet form associated with the classical Wiener space. We will extend their result by proving that such energy-image density property holds more generally for the classical Dirichlet forms (see [1] for the terminology) on any infinite dimensional topological vector spaces provided with admissibility (introduced by Albeverio-Rockner in [1]).