# Local supporting points of Lipschitz functions

Let X be a separable reflexive Banach space and f:X\to\mathbb{R} be a Lipschitz function. Say that a point x in X is a local supporting point of f if there exist x^* in X^* and an open neighborhood U of x such that either x^* (y-x)\leq f(y)-f(x) for all y in U or x^* (y-x)\geq f(y)-f(x) for all y in U.

Question: is true that the set of local supporting points of f is dense in X?

This question is obviously related to differentiability; it might be difficult.

I would be very much interested to know whether it has been asked by others.

-

One can take strictly saddle $f$ on $\mathbb R^2$, say $f(x,y)=\sqrt{1+x^2}-\sqrt{1+y^2}$.
Anton, as it was stated the question your example is correct. The question was motivated by the concept of $\varepsilon$-Frechet differentiability (and the error of linear approximation); as you pointed out it has to be reformulated. –  Anonymous Jan 8 '10 at 13:03