Hey guys, I need to do the following.
Letand let
. Show that
is Lipschitz continuous for
.
My idea is to set, but it is hard to prove that this is a valid Lipschitz constant.
What Opalg is just a consequence of a much broader theorem, namely that ifis differentiable and
is bounded then
is Lipschitz. (this is, in fact, an iff statement)
And thus, ifis compact and if
is continuously differentiable we must have that
necessarily bounded and thus
is Lipschitz.