Metric regularity, tangential distances and generalized differentiation in Banach spaces

In this paper we establish new generalized differentiation rules in general Banach spaces regarding normal cones to set images under functions, coderivatives of compositions of set-valued mappings, as well as calculus results for normal compactness of sets and their images. In addition to the metric regularity of mappings, our results involve tangential distances of sets for which we also provide a fairly complete study by exploring its variations, basic properties, as well as relations to similar notions. Some related results are also established.