Published online by Cambridge University Press: 20 November 2018
If f is a lower semicontinuous function mapping a connected open subset of ℝn to (—∞, ∞], and if the proximal subgradient of f reduces to zero wherever it exists, then f is constant.
Soit f une fonction semicontinue inférieurement de U à (—∞, ∞], où U est un ensemble ouvert et connexe de ℝn. Si tout sousgradient proximal de f est nul, alors f est constante.