One way to interpret smoothness of a measure in infinite dimensions is quasi-invariance of the measure under a class of transformations. Usually such settings lack a reference measure such as the Lebesgue or Haar measure, and therefore we can not use smoothness of a density with respect to such a measure. We describe how a functional inequality can be used to prove quasi-invariance results in several settings. In particular, this gives a different proof of the classical Cameron-Martin (Girsanov) theorem for an abstract Wiener space. In addition, we revisit several more geometric examples, even though the main abstract result concerns quasi-invariance of a measure under a group action on a measure space.1991 Mathematics Subject Classification. Primary 58G32 58J35; Secondary 22E65 22E30 22E45 58J65 60B15 60H05.1 2 GORDINA moreover we do not refer to the extensive literature on the subject, as it is beyond the scope of our paper.We start by describing an abstract setting of how finite-dimensional approximations can be used to prove such a quasi-invariance. In [9] this method was applied to projective and inductive limits of finite-dimensional Lie groups acting on themselves by left or right multiplication. In that setting a functional inequality (integrated Harnack inequality) on the finite-dimensional approximations leads to a quasi-invariance theorem on the infinite-dimensional group space. Similar methods were used in the elliptic setting on infinite-dimensional Heisenberg-like groups in [8], and on semi-infinite Lie groups in [14]. Note that the assumptions we make below in Section 3 have been verified in these settings, including the sub-elliptic case for infinite-dimensional Heisenberg group in [1]. Even though the integrated Harnack inequality we use in these situations have a distinctly geometric flavor, we show in this paper that it does not have to be.The paper is organized as follows. The general setting is described in Section 2 and 3, where Theorem 3.2 is the main result. One of the ingredients for this result is quasi-invariance for finite-dimensional approximations which is described in Section 3. We review the connection between an integrated Harnack inequality and Wang's Harnack inequality in Section 4. Finally, Section 5 gives several examples of how one can use Theorem 3.2. We describe in detail the case of an abstract Wiener space, where the group in question is identified with the Cameron-Martin subspace acting by translation on the Wiener space. In addition we discuss elliptic (Riemannian) and sub-elliptic (sub-Riemannian) infinite-dimensional groups which are examples of a subgroup acting on the group by multiplication.Acknowledgement. The author is grateful to Sasha Teplyaev and Tom Laetsch for useful discussions and helpful comments.