1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Additive functions

  1. Nov 30, 2004 #1
    Ok, so suppose f is a function which takes us from the Reals in p space to the Reals in m space. And f(x+y)=f(x) + f(y) for all x and y 's in the Reals in p space.

    Now if f(0)=0, how do I now show f(x-y)= f(x) - f(y)?
     
  2. jcsd
  3. Nov 30, 2004 #2

    jcsd

    User Avatar
    Science Advisor
    Gold Member

    f(y-y) = f(0) = f(y) + f(-y) = 0 therfore f(-y) = -f(y).
     
  4. Nov 30, 2004 #3
    Ahhhh, so now if f is continuous at some c is an element of the Reals in p space, how does this imply f is continuous throughout the Reals in p space?
     
  5. Dec 1, 2004 #4

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Because you can translate everything back to c.
     
  6. Dec 1, 2004 #5
    How?

    f(x-y)=f(x)-f(y)

    so were f(x-y)=f(n), we can always write this in terms of c

    f(c-t)=f(c)-f(t) where t=c-n

    We know at c, f is continuous, but how do we then conclude that for f(t)?
     
  7. Dec 1, 2004 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Let x= c+t, y=c+s for some s,t consider f(x-t) and the fact that if |x-y| < d then |t-s| < d

    or if you prefer, an interval of width d centred on x can be translated back to an interval of width d centred on c.
     
  8. Dec 1, 2004 #7

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Use 0 (the 0 vector in Rn of course).

    Knowing that f is continuous at q means
    lim(x->q)f(x)= f(q). Let h= x-q so that x= q+h and x= q is equivalent to h= 0. The limit becomes lim(h->0)f(q+h)= lim(h->0) f(q)+ f(h)= f(q)+ lim(h->0)f(h)= f(q) so
    lim(h->0)f(h)= 0.

    Now, if p is any other point, lim(x->p)f(x)= lim(h->0)f(p+ h) (taking h= x- p)
    = lim(h->0) f(p)+ f(h)= f(p)+ lim(h->0)f(h)= f(p)+ 0= f(p) so that f is continuous at p.

    In fact, it is possible to prove (but much harder, I understand) that if f(x+y)= f(x)+ f(y) and f is bounded on any interval, no matter how small, then f is continuous.
     
  9. Dec 1, 2004 #8

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Is it hard? I've not seen this one before like this (though it's close to the bounded implies cont at 0)

    Let x_n be a cauchy seqence tending to 0. Let y_n be the largest integer such that |x_ny_n| is still less than 1. Passing to a s subsequence, we may assume that y_n is strictly monotone increasing and y_n =>n, but then

    |f(x_n)| < M/n where M bounds the value on the unit ball.

    so f(x_n) is cauchy, hence converges to zero, so it's continous at 0 and the previous result applies.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Additive functions
  1. Addition operator (Replies: 1)

  2. Addition operator (Replies: 19)

Loading...