Closure of Classes of Mappings with Bounded Distortion on Carnot Groups

It is known that the limit of a locally uniformly convergent sequence of analytic functions is an analytic function. Yu. G. Reshetnyak obtained a natural generalization of this result in the theory of mappings with bounded distortion: the limit of a locally uniformly convergent sequence of mappings with bounded distortion is a mapping with bounded distortion. The present article is devoted to extending this result to nonholonomic structures. As a model, we consider the geometry of Carnot groups. Since the geometry of these groups is non-Riemannian, there appear some constraints on applying analytic tools for groups. In particular, at present the method of the proof by Yu. G. Reshetnyak for the above-mentioned result cannot be implemented for Carnot groups. We give a method of proving the closure theorem which is new also for Euclidean space.