Prove $f(x)=Cx$ for All $x$: Functional Equation

  • Context: MHB 
  • Thread starter Thread starter alexmahone
  • Start date Start date
  • Tags Tags
    Functional
Click For Summary

Discussion Overview

The discussion revolves around proving that a function \( f(x) \) satisfying the functional equation \( f(a+b)=f(a)+f(b) \) for all \( a \) and \( b \), and being continuous, must take the form \( f(x)=Cx \) for all \( x \). The scope includes theoretical exploration and mathematical reasoning regarding the properties of continuous functions and their implications.

Discussion Character

  • Exploratory
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that \( f(x)=Cx \) holds for all rational numbers and seek to extend this to all real numbers using continuity.
  • Others emphasize the density of rational numbers in the real numbers as a key point in the argument.
  • Participants discuss the implications of continuity and convergent sequences in the context of proving the property for all real numbers.
  • One participant notes that without the continuity requirement, functions can take forms other than \( f(x)=Cx \), suggesting a broader range of possibilities.

Areas of Agreement / Disagreement

Participants generally agree on the form \( f(x)=Cx \) for rational numbers and the importance of continuity in extending this to all real numbers. However, the exact proof and the role of continuity remain points of exploration and are not fully resolved.

Contextual Notes

Limitations include the need for a rigorous proof that connects the behavior of \( f \) on rational numbers to its behavior on real numbers, particularly through the use of continuity and limits.

alexmahone
Messages
303
Reaction score
0
Suppose $f(x)$ is continuous for all $x$ and $f(a+b)=f(a)+f(b)$ for all $a$ and $b$. Prove that $f(x)=Cx$, where $C=f(1)$.

I have shown that $f(x)=Cx$ for all rational numbers. How do I use the continuity of $f$ to show it is true for all $x$?
 
Physics news on Phys.org
Alexmahone said:
I have shown that $f(x)=Cx$ for all rational numbers.
Having this, remember that rationals are dense in $\mathbb R.$
 
Krizalid said:
Having this, remember that rationals are dense in $\mathbb R.$

Intuitively, I can see that it must be true but I'm having trouble proving it.
 
Alexmahone said:
Intuitively, I can see that it must be true but I'm having trouble proving it.
Every real number is the limit of a sequence of rational numbers.
The function is continuous. What continuity and convergent sequences?
 
Plato said:
Every real number is the limit of a sequence of rational numbers.
The function is continuous. What continuity and convergent sequences?

Got it. Thanks!
 
By the way, if you do not include the requirement that the function be continuous, all f are either of the form f(x)= cx or the graph of y= f(x) is dense in the plane.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K