Lipschitz functions on subspaces of Asplund generated spaces are generically virtually pseudo-regular (Q2708293)

A real-valued function \(\psi: X\to R\) on a Banach space \(X\) is called to be \textit{pseudo-regular} at \(x\in X\) if NEWLINE\[NEWLINE\psi^0(x; y)= \psi^+(x; y)\quad\forall y\in X.NEWLINE\]NEWLINE Here \(\psi^0(x;\cdot)\) and \(\psi^+(x;\cdot)\) are the Dini directional derivative and the Clarke directional derivative, respectively, at \(x\in X\). It is well-known that a locally Lipschitz function on a separable Banach space is generically pseudo-regular. Moreover, the set of points where it is Gâteaux differentiable but not strictly differentiable is of first category.NEWLINENEWLINENEWLINEIn the paper the authors provide a slightly weaker property than pseudo-regularity which holds generically for all locally Lipschitz functions on spaces more general than separable spaces. Introducing the so-called \textit{associated directional derivative} of \(\psi\) according to NEWLINE\[NEWLINE\psi^\square(x;\cdot)= \psi^0(x;\cdot)- \psi^+(x;\cdot)NEWLINE\]NEWLINE and the \textit{associated subdifferential} of \(\psi\) according to NEWLINE\[NEWLINE\partial^\square\psi(x)= \{f\in X^*\mid f(y)\leq \psi^\square(x; y)\quad\forall y\in X\}NEWLINE\]NEWLINE the following simple relations NEWLINE\[NEWLINE\begin{aligned} \psi\text{ is pseudo-regular at }x\quad &\Leftrightarrow\quad \psi^\square(x; y)= 0\quad\forall y\in X\\ &\Rightarrow\quad \partial^\square \psi(x)= \{0\}\end{aligned}NEWLINE\]NEWLINE hold. The converse of the last relation does not hold since \(\psi^\square(x;\cdot)\) is not sublinear in general. Hence, the function \(\psi\) is called to be \textit{virtually pseudo-regular} at \(x\) if \(\partial^\square\psi(x)= \{0\}\).NEWLINENEWLINENEWLINEIn the first main theorem of the paper it is shown that a locally Lipschitz function \(\psi\) on an open subset \(A\) of a Banach space \(X\) which is a closed linear subspace of an Asplund generated space is virtually pseudo-regular on a residual subset of \(A\). In the second main theorem it is pointed out that the set of points where \(\psi\) is directionally differentiable but not strictly differentiable is of first category.