Sobolev classes of mappings on a Carnot–Carathéodory space: Various norms and variational problems

We prove the equivalence of various definitions of Sobolev classes and the $BV$-class of metric-space-valued mappings on some domain in a Carnot–Carathéodory space. Moreover, we prove the existence and uniqueness of the solution to some variational problem.