Functions of bounded variation and Lipschitz algebras in metric measure spaces

Given a unital algebra A of locally Lipschitz functions defined over a metric measure space (X, d, m), we study two associated notions of function of bounded variation and their relations: the space BV ₇ (X; A), obtained by approximating in energy with elements of A, and the space BV ₖ (X; A), defined through an integration-by-parts formula that involves derivations acting in duality with A. Our main result provides a sufficient condition on the algebra A under which BV ₇ (X; A) coincides with the standard metric BV space BV ₇ (X), which corresponds to taking as A the collection of all locally Lipschitz functions. Our result applies to several cases of interest, for example to Euclidean spaces and Riemannian manifolds equipped with the algebra of smooth functions, or to Banach and Wasserstein spaces equipped with the algebra of cylinder functions. Analogous results for metric Sobolev spaces H^1, p of exponent p (1, ) were previously obtained by several different authors.