Measure density and extendability of Sobolev functions

Abstract

We study necessary and sufficient conditions for a domain to be a Sobolev extension domain in the setting of metric measure spaces. In particular, we prove that extension domains must satisfy a measure density condition.