Abstract
We consider classical Dirichlet forms defined over an infinite dimensional space E as in the work of Albeverio and Röckner. We use a compactification to strengthen their result that there exists an associated E‐valued diffusion, provided E is a separable Banach space. We do not require any additional assumptions on E.
Keywords: