On \(\Phi\)-differentiability of functions over metric spaces (Q1909706)

The author provides a generalization of each of the following classical theorems on differentiability of convex functions. Theorem 1: (Mazur 1933) If \(f\) is continuous, real-valued, and convex on the open convex set \(\Omega\) of the separable real Banach space \(X\) then \(f\) is Gâteaux differentiable at each point in the complement of some first category subset of \(\Omega\). Theorem 2: (Asplund 1968) If \(f\) is continuous, real-valued, and convex on the open convex set \(\Omega\) in the real Banach space \(X\) whose dual space \(X^*\) supports an equivalent strictly convex norm then \(f\) is Fréchet differentiable at each point in the complement of some first category subset of \(\Omega\). In the generalizations, the convex set \(\Omega\) is replaced by an open set in a complete separable metric space and the notion of convexity of functions by one involving approximation from below by members of a collection \(\Phi\) of locally Lipschitz functions with several special properties. The notions of Fréchet and Gâteaux differentiability are replaced by similar notions involving approximation by the members of \(\Phi\).