1
$\begingroup$

At the top of the wikipedia articles on Hölder condition, Lipschitz Continuity and others, the chain of logic is as follows: On a compact subspace of a metric space: $$Continuously Differentiable \subseteq Lipschitz Continuous \subseteq \alpha-Hölder Continuous \subseteq Uniformly Continuous \subseteqq Continuous$$

There's a nice proof $Uniformly Continuous \subseteqq Continuous$ on compact metric spaces here.

$f(x) = x^2$ is a function which is continuous, but not uniformly continuous. It is however continuously differentiable, but not Lipschitz continuous.

My question is, do any of the inclusions above hold when we relax the imposition of compactness? (is, for example, the branch Lipschitz $\subseteq$ Hölder always true?)

$\endgroup$
  • $\begingroup$ Well, LipschitzContinuous $⊆$ $α$-HölderContinuous $⊆$ UniformlyContinuous $⊆$ Continuous holds in general. Compactness gives you ContinuouslyDifferentiable $⊆$ LipschitzContinuous and Continuous $⊆$ UniformlyContinuous (note the order). $\endgroup$ – user87690 Oct 29 '14 at 17:06
  • $\begingroup$ (I mean $α$-Hölder for $a ∈ (0, 1)$, for $α=1$ we got Lipschitz and for $α=0$, we got bounded. Note that continuous $⊆$ bounded on compact.) $\endgroup$ – user87690 Oct 29 '14 at 17:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.