What are the functions satisfying f(x+y)=f(x)+f(y)+1 and f(1)=0?

  • Thread starter Thread starter iceblits
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion revolves around finding all functions f: R->R that satisfy the functional equation f(x+y)=f(x)+f(y)+1 with the condition f(1)=0. Participants conclude that the function f(x) can be expressed as f(x) = x - 1, which satisfies both the functional equation and the initial condition. The conversation emphasizes the importance of continuity in proving that this is the only solution, as well as the use of rational approximations to extend the solution to irrational numbers.

PREREQUISITES
  • Understanding of functional equations
  • Knowledge of continuity in mathematical functions
  • Familiarity with rational and irrational numbers
  • Basic proof techniques, including induction
NEXT STEPS
  • Study the properties of continuous functions in real analysis
  • Learn about functional equations and their solutions
  • Explore proof by induction and its applications
  • Investigate the density of rational numbers in real numbers
USEFUL FOR

Mathematics students, educators, and anyone interested in functional equations and their properties, particularly in the context of real analysis and continuity.

  • #61
Dick said:
True. But I was really hoping you'd say limit(q_i-1)=limit(q_i)-1=c-1. That would be the punch line. So f(c)=c-1. You've got all of the parts of this. Can you try and string them together in a logical order??

So:

a sequence of rational numbers q_i approaches any other number. That is, lim(q_i)=c By continuity, lim f(q_i)=f(c). By the formula: f(q_i)=q_i-1. So then lim (q_i-1)=lim(q_i)-1=c-1, so, since f(c)=lim(q_i-1), f(c)=c-1
 
Physics news on Phys.org
  • #62
iceblits said:
So:

a sequence of rational numbers q_i approaches any other number. That is, lim(q_i)=c By continuity, lim f(q_i)=f(c). By the formula: f(q_i)=q_i-1. So then lim (q_i-1)=lim(q_i)-1=c-1, so, since f(c)=lim(q_i-1), f(c)=c-1

Change the first sentence to "Given any irrational number c there is a sequence of rational numbers q_i that approaches c." From there on, I like it. Does it make sense to you?
 
  • #63
Dick said:
Change the first sentence to "Given any irrational number c there is a sequence of rational numbers q_i that approaches c." From there on, I like it.

yes! so does this complete the proof? thank-you so much for your help by the way..you've been great..hopefully I didn't take up too much of your time and/or frustrate you too much
 
  • #64
iceblits said:
yes! so does this complete the proof? thank-you so much for your help by the way..you've been great..hopefully I didn't take up too much of your time and/or frustrate you too much

Welcome. Don't worry about it. You are new to proofs. It takes practice to string things together in the right order. I wouldn't have done it if you hadn't kept helping and showing interest. You might try to put together a proper inductive proof of f(nx)=nf(x)+(n-1) if you are up for it and want to put the icing on the cake. But that's good enough for me.
 
  • #65
Thank-you again! and yes I'll try to do that..I think I can (I've done it I think..at least shown that for n=k+1..the formula is the same..)...Yeah I don't really know much about proofs...I just recently started getting really into math and I've been trying to do as many problems as I can...and I've learned a lot from doing this one thanks to you.
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
976
Replies
5
Views
2K