We study removable sets for Newtonian Sobolev functions in metric measure spaces satisfying the usual (local) assumptions of a doubling measure and a Poincare inequality. In particular, when restricted to Euclidean spaces, a closed set E c Rn with zero Lebesgue measure is shown to be removable for W1;p.Rn \ E/ if and only if Rn \ E supports a p-Poincare inequality as a metric space. When p > 1, this recovers Koskelas result (Ark. Mat. 37 (1999), 291-304), but for p = 1, as well as for metric spaces, it seems to be new. We also obtain the corresponding characterization for the Dirichlet spaces L1;p. To be able to include p = 1, we first study extensions of Newtonian Sobolev functions in the case p = 1 from a noncom-plete space X to its completion Xy. In these results, p-path almost open sets play an important role, and we provide a characterization of them by means of p-path open, p-quasiopen and p-finely open sets. We also show that there are nonmeasurable p -path almost open subsets of Rn, n > 2, provided that the continuum hypothesis is assumed to be true. Furthermore, we extend earlier results about measurability of functions with Lp-integrable upper gradients, about p-quasiopen, p-path open and p-finely open sets, and about Lebesgue points for N1;1-functions, to spaces that only satisfy local assumptions.
Funding Agencies|Swedish Research Council [2016-03424, 2020-04011, 621-2014-3974, 2018-04106]