  For a bounded open set Omega in a complete oriented Riemannian n-manifold and
a positive finite Borel measure mu with support contained in the closure of
Omega, we define an associated Dirichlet Laplacian Delta_mu by assuming the
Poincare inequality. We obtain sufficient conditions for the Laplacian to have
compact resolvent and in this case, we prove the Hodge theorem for functions,
which states that there exists an orthonormal basis of L^2(Omega,mu) consisting
of eigenfunctions of Delta_mu, the eigenspaces are finite-dimensional, and the
eigenvalues of -Delta_mu are real, countable, and increasing to infinity. One
of these sufficient conditions is that the L^infty-dimension of mu is greater
than n-2. The main tools we use are Toponogov's and Rauch's comparison
theorems. We prove that the above results also hold for measures without
compact support, provided the Riemannian manifold is of bounded geometry. We
study the condition the L^infty-dimension of mu is greater than n-2 for
self-similar and self-conformal measures. Results in this paper extend
analogous ones by Hu et al., which are established for measures on R^n.
