An approach to metric space-valued Sobolev maps via weak* derivatives

Abstract

Abstract We give a characterization of metric space-valued Sobolev maps in terms of weak* derivatives. More precisely, we show that Sobolev maps with values in dual-to-separable Banach spaces can be defined in terms of classical weak derivatives in a weak* sense. Since every separable metric space X X embeds isometrically into ℓ ∞ {\ell }^{\infty } , we conclude that Sobolev maps with values in X X can be characterized by postcomposition with such embedding and the mentioned weak gradients. A slight variation on our definition was proposed previously by Hajłasz and Tyson. However, we show that their definition does not work in the sense that for technical reasons the arising Sobolev space is essentially empty.