Prove Constant Function Cannot Satisfy Condition for r>1

  • Thread starter Thread starter Treadstone 71
  • Start date Start date
  • Tags Tags
    Constant Function
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
Treadstone 71
Messages
275
Reaction score
0
"Let r be a rational number greater than 1. Let f:R->R be a function that satisfies the condition that for all real numbers x and y,

[tex]|f(x)-f(y)|\leq (x-y)^r[/tex]

Prove that f is a constant."

Perhaps there's some subtlety which I misunderstood, but even a constant function fails to satisfy the conditions for some choice of r. For instance, let r=3 and f be a constant. Let x<y, and the inequality fails, i.e.,

[tex]|f(x)-f(y)|=0\leq (x-y)^3 <0[/tex]
 
Physics news on Phys.org
The question says that IF f satisfies this condition THEN it is a constant, not IF f is a constant THEN it satisfies the condition. If the thing you're asked to prove is true, then given what you just showed when r = 3, you can only conclude that NO function f (constant or otherwise) satisfies the condition.
 
But since x and y are arbitrary, x-y could be negative. In that case, if r is some rational number with an odd numerator and an even denominator, this whole thing fails, regardless of what kind of function it is.
 
Probably just a typo, it should probably say

|f(x) - f(y)| <= |x - y|^r.
 
If r is the type you suggested, then since x-y could be negative, the condition wouldn't hold, as you point out. Again, I repeat, it says IF the condition holds THEN f is a constant.