The purpose of this paper is to relate two notions of Sobolev and BV spaces into metric spaces, due to Korevaar and Schoen on the one hand, and Jost on the other hand. We prove that these two notions coincide and define the same p-energies. We review also other definitions, due to Ambrosio (for BV maps into metric spaces), Reshetnyak and finally to the notion of Newtonian–Sobolev spaces. These last approaches define the same Sobolev (or BV) spaces, but with a different energy, which does not extend the standard Dirichlet energy. We also prove a characterization of Sobolev spaces in the spirit of Bourgain, Brezis and Mironescu in terms of "limit" of the space Ws,p as s → 1, 0 < s < 1, and finally following the approach proposed by Nguyen. We also establish the [Formula: see text] regularity of traces of maps in Ws,p (0 < s ≤ 1 < sp).
A characterization of wavelet convergence in sobolev spaces
