Continuity properties of the normal cone to the level sets of a quasiconvex function (Q1824568)

Two main properties of the subgradient mapping of convex functions are transposed for quasiconvex ones. The continuity of the function \(x\to \| \nabla f(x)\|^{-1}\nabla f(x)\) on the domain where it is defined is deduced from some continuity properties of the normal cone N to the level sets of the quasiconvex function f. We also prove that, under a pseudoconvexity-type condition, the normal cone \(N(\bar x)\) to the set \(\{x: f(x)\leq f(\bar x)\}\) can be expressed as the convex hull of the limits of type \(\{N(x_ n)\}\), where \(\{x_ n\}\) is a sequence converging to \(\bar x\) and contained in a dense subset D. In particular, when f is pseudoconvex, D can be taken equal to the set of points where f is differentiable.