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
SUMMARY

The discussion centers on proving that a continuous function \( f(x) \) satisfying the functional equation \( f(a+b) = f(a) + f(b) \) for all \( a \) and \( b \) must take the form \( f(x) = Cx \), where \( C = f(1) \). The proof is established for rational numbers, leveraging the density of rationals in the real numbers and the continuity of \( f \) to extend the result to all real numbers. The continuity condition is crucial, as it differentiates between functions that are linear and those that may be dense in the plane without continuity.

PREREQUISITES
  • Understanding of functional equations, specifically Cauchy's functional equation.
  • Knowledge of real analysis concepts, particularly continuity and limits.
  • Familiarity with the properties of rational numbers and their density in the real numbers.
  • Basic algebraic manipulation and proof techniques in mathematics.
NEXT STEPS
  • Study the proof of Cauchy's functional equation under the assumption of continuity.
  • Explore the implications of discontinuous solutions to functional equations.
  • Investigate the role of dense subsets in real analysis.
  • Learn about convergence of sequences and their application in proving continuity.
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in functional equations and their properties will benefit from this discussion.

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