For continuity at any , choose for a desired error . If , the stated bound gives . Thus is continuous, in fact uniformly continuous.
When , the difference quotient satisfiesTherefore the derivative exists at every point and is zero. Part (i) proves is constant. This is the lemma that Hölder exponent greater than one forces constancy; no differentiability was assumed in advance.
Articles by others on the same topic
There are currently no matching articles.