  By using the integration by parts formula of a Markov operator, the
closability of quadratic forms associated to the corresponding invariant
probability measure is proved. The general result is applied to the study of
semilinear SPDEs, infinite-dimensional stochastic Hamiltonian systems, and
semilinear SPDEs with delay.
