Pointwise properties of functions of bounded variation in metric spaces (Q395141)

Functions with bounded variation are studied on a complete metric space \(X\) with a regular Borel outer measure \(\mu\), i.e., a measure for which some positive \(c\) exists such that for each \(x \in X\), \(r>0\) there is \(\mu(B(x,2r)) \leq c \mu (B(x,r))\), \(B\) denoting a neighborhood of a point. A version of the Sobolev-Poincaré inequality is shown for approximate continuous representations of a bounded variation function in this space. The convergence of a sequence of locally Lipschitz functions to a function with a bounded variation is discussed. As a consequence a version of the Leibniz rule for nonnegative bounded variations functions is derived and it is shown that Lipschitz functions are dense in the space \(BV(X)\) in the Luzin sense.