Suppose $f$ is a Hölder continuous function on $\mathbb R$ with exponent $\alpha >1$. It can be proved that it has to be zero.
But, are there other spaces on which nontrivial Hölder continuous functions can be defined and are nontrivial? Are there interesting applications for such a line of thought?