Hey guys, I need to do the following.
Let and 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 if is differentiable and is bounded then is Lipschitz. (this is, in fact, an iff statement)
And thus, if is compact and if is continuously differentiable we must have that necessarily bounded and thus is Lipschitz.