Non-Smooth Analysis in Infinite Dimensional Banach Homogenous Groups

We develop a theory of non-smooth analysis in infinite dimensional Banach homogenous groups and extend the Fritz John necessary condition for minimizers of a Lipschitz function subject to Lipschitz constraints