Prove Constant Function Cannot Satisfy Condition for r>1

  • Thread starter Thread starter Treadstone 71
  • Start date Start date
  • Tags Tags
    Constant Function
Click For Summary

Homework Help Overview

The discussion revolves around a mathematical proof involving a function f: R -> R and a condition related to the behavior of the function based on the distance between two real numbers x and y, specifically for rational numbers r greater than 1.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the condition provided, questioning whether a constant function can satisfy it under various scenarios. They discuss specific cases, such as when r=3, and consider the nature of the inequality involved.

Discussion Status

The discussion is ongoing, with participants examining different interpretations of the condition and its implications for the function f. Some have pointed out potential misunderstandings regarding the nature of the proof, while others suggest that the condition may not hold for certain values of r.

Contextual Notes

There is a mention of a possible typo in the original condition, which could affect the interpretation of the problem. Additionally, the arbitrary nature of x and y is noted, which raises questions about the validity of the condition under different circumstances.

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.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
20
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
14
Views
3K
Replies
3
Views
2K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K