I'm trying to prove that if $g: [0,1] \longrightarrow [0,1]^2$ is an $\alpha$-Hölder continuous mapping whose image is the entire square $[0, 1]^2$ then $\alpha \leq 1/2$. I wouldn't know where to start, surely the surjectivity is essential to prove the result but i don't know how..
Hölder continuity of a function from $[0,1]$ to $[0,1]^2$
1
$\begingroup$
analysis
multivariable-calculus
-
0Yes, using the result cited in the above link it is immediate, thank you! – 2012-04-02
1 Answers
4
Assume $g$ is Hölder continuous with exponent $a$, hence $\|g(x)-g(y)\|\leqslant C|x-y|^a$ for every $x$ and $y$ in the interval $[0,1]$. In particular all the images of an interval of length $1/n$ are at distance at most $C/n^a$ from each other, hence the area these occupy in the square $[0,1]^2$ is at most $\pi C^2/n^{2a}$. Since $n$ intervals of length $1/n$ cover $[0,1]$, the image of $[0,1]$ covers at most an area $\pi C^2n^{1-2a}$ in the square. If $a\gt1/2$, this goes to zero when $n\to\infty$, which is a contradiction to the hypothesis that the image of $g$ is the whole square. Thus, $a\leqslant1/2$.