MHB Is $f$ Constant if Distance Between Points is Raised to a Power Greater than 1?

  • Thread starter Thread starter Euge
  • Start date Start date
Click For Summary
If a function $f$ maps from $\Bbb R$ into a metric space $(X,d)$ and satisfies the condition that the distance between points is raised to a power greater than 1, specifically $d(f(x),f(y)) \le |x - y|^{\gamma}$ for all $x,y \in \Bbb R$ with $\gamma > 1$, then $f$ must be constant. This conclusion follows from the implications of the given inequality, which restricts the variation of $f$. The discussion highlights the importance of the power $\gamma$ in ensuring that any two points in the image of $f$ cannot be too far apart if their inputs are close enough. Participants in the thread have shared solutions, with commendations for those who provided correct answers. The problem emphasizes the relationship between distance in the metric space and the behavior of the function.
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
If $f$ is a function from $\Bbb R$ into a metric space $(X,d)$ such that for some $\gamma > 1$, $d(f(x),f(y)) \le |x - y|^{\gamma}$ for all $x,y\in \Bbb R$, show that $f$ must be constant.

-----

Remember to read the https://mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to https://mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
Congratulations to castor28 and Opalg for their correct solutions. You can read Opalg’s solution below.

Let $x\ne0$. By the triangle inequality $$\begin{aligned} d(f(x),f(0)) &\leqslant \sum_{k=0}^{n-1}d\bigl(f\bigl(\tfrac{kx}{n}\bigr), f\bigl(\tfrac{(k+1)x}{n}\bigr)\bigr) \\ &\leqslant \sum_{k=0}^{n-1}\Bigl|\frac xn\Bigr|^\gamma = \frac{n|x|^\gamma}{n^\gamma} \to0\ \text{as }n\to\infty \end{aligned}$$ (because $\gamma>1$). Therefore $d(f(x),f(0)) = 0$ and so $f(x) = f(0)$. Since that holds for all $x$, it follows that $f$ is constant.