On tangential transversality (Q2325979)

The transversality of the intersection of two smooth manifolds is an important notion in differential topology. Recently it was extended to Banach space setting with applications to feasibility problems, being closely related to that of regularity for sets -- while regularity refers to individual sets, transversality can be viewed as regularity of the intersection of sets (see, for instance, the book \textit{A. D. Ioffe}, Variational analysis of regular mappings. Theory and applications. Cham: Springer (2017; Zbl 1381.49001)). The authors introduce a notion, called tangential transversality, lying between subtransversality and transversality (at the moment unknown if strictly), motivated by the study of a Pontryagin type maximum principle for optimal control problems with terminal constraints in infinite dimensional state space. This paper and its companion, see [the first author, ``On strong tangential transversality'', Preprint, \url{arXiv:1810.01814}], contain a systematic study of this notion with applications to nonseparation theorems, abstract Lagrange multiplier rule and some tangential intersection properties. One studies the relations of this notion to the established results and methods of nonsmooth optimization, ``obtaining a vast variety of results in a unified and economical way'' (quoted from the paper). The proofs are based on some nontrivial technical tools elaborated in two previous papers: [the second author et al., SIAM J. Control Optim. 49, No. 5, 2155--2182 (2011; Zbl 1234.49020); the last two authors, ibid. 55, No. 3, 1598--1618 (2017; Zbl 1366.49026)].