Definition:Hölder Continuous

Theorem
Let $\left({M_1, d_1}\right)$ and $\left({M_2, d_2}\right)$ be metric spaces.

Let $\alpha \in \R$.

A mapping $f: M_1 \to M_2$ is said to be $\alpha$-Hölder continuous iff:


 * $\exists L \in \R: \forall x, y \in M_1: d_2 \left({f \left({x}\right), f \left({y}\right)}\right) \le L \cdot d_1 \left({x, y}\right)^\alpha$

Further, $f$ is said to be Hölder continuous iff it is $\alpha$-Hölder continuous for some $\alpha \in \R$.

Also see

 * Lipschitz Condition, the case $\alpha = 1$