Indecomposable sets of finite perimeter in doubling metric measure spaces (Q1984781)

The aim of the authors is to study the notion of an indecomposable set with finite perimeter on doubling spaces supporting a weak \((1, 1)\)-Poincaré inequality (in the sense of \textit{J. Heinonen} and \textit{P. Koskela} [Acta Math. 181, No. 1, 1--61 (1998; Zbl 0915.30018)]). By an indecomposable set, they mean a set of finite perimeter \(E\) that cannot be written as a disjoint union of two non-negligible sets \(F\), \(G\) satisfying \(P(E) = P(F)+P(G)\). This concept constitutes the measure-theoretic counterpart of the topological notion of `connected set' and, as such, many statements concerning connectedness have a correspondence in the context of indecomposable sets. The two main results obtained by the authors are a decomposition theorem into indecomposable sets and a characterization of extreme points in the space of BV functions. In both cases, the author's proof needs an additional assumption on the space, which is called isotropicity and concerns the Hausdorff-type representation of the perimeter measure.