The De Giorgi measure and an obstacle problem related to minimal surfaces in metric spaces

We study the existence of a set with minimal perimeter that separates two disjoint sets in a metric measure space equipped with a doubling measure and supporting a Poincaré inequality. A measure constructed by De Giorgi is used to state a relaxed problem, whose solution coincides with the solution to the original problem for measure theoretically thick sets. Moreover, we study properties of the De Giorgi measure on metric measure spaces and show that it is comparable to the Hausdorff measure of codimension one. We also explore the relationship between the De Giorgi measure and the variational capacity of order one. The theory of functions of bounded variation on metric spaces is used extensively in the arguments.