Proving Continuity of a Function Using the Definition of Differentiability

  • Thread starter Thread starter sinClair
  • Start date Start date
  • Tags Tags
    Differentiability
Click For Summary
SUMMARY

The discussion focuses on proving the continuity of a function defined as f:(0,∞)->R, satisfying the equation f(x)-f(y)=f(x/y) for all x,y in (0,∞) and f(1)=0. It establishes that f is continuous on (0,∞) if and only if f is continuous at the point 1. The proof involves manipulating limits and sequences, specifically using the definitions of continuity and the properties of the function to show that as x approaches any point a in (0,∞), f(x) approaches f(a).

PREREQUISITES
  • Understanding of continuity in real analysis
  • Familiarity with limits and sequences
  • Knowledge of functional equations
  • Basic proficiency in LaTeX for mathematical expressions
NEXT STEPS
  • Study the properties of continuous functions in real analysis
  • Learn about functional equations and their solutions
  • Explore the concept of limits and their applications in proofs
  • Review the definition of continuity and its implications at specific points
USEFUL FOR

Students of real analysis, mathematicians interested in functional equations, and anyone seeking to understand the relationship between differentiability and continuity in mathematical functions.

sinClair
Messages
22
Reaction score
0

Homework Statement


Suppose f:(0,\infty)->R and f(x)-f(y)=f(x/y) for all x,y in (0,\infty) and f(1)=0. Prove f is continuous on (0,\infty) iff f is continuous at 1.

Homework Equations


I think I ought to use these defn's of continuity: f continuous at a iff f(x)->f(a) as x->a
or f is cont at a iff for Xn->a, f(Xn)-f(a) as Xn->\infty

The Attempt at a Solution


The forward direction is immediate. For the backwards direction, we want to show that f(x)->f(a) as x->a for a in (0,\infty). So since f cont at 1, f(x)->f(1)=0 as x->1. I tried to manipulate this but couldn't find a way to make x->a instead of x->1.

Then I used the other definition and let Xn=1+1/n and Yn=a(Xn)=a+(a/n). Now Yn->a so just want to show that f(Yn)->f(a) as n->\infty. But f(Yn)->a*0=0 as n->\infty...

I know I have to use f(x)-f(y)=f(x/y) somehow. So I went backwards: So I want to show that f(x)-f(a)->0 as x->a. So that means I want f(x/a)->0 as x->a. But now I don't see how to incorporate the fact that f is continuous at a.I know this is related to the log function but don't think this problem requires me to appeal that fact... Note Xn and Yn are sequences indexed by n (I'm noob at this latex).Thanks for helping.
 
Last edited:
Physics news on Phys.org
take any a in (0, inf), then a !=0 so x/a makes sense and we have f(x) - f(a) = f(x/a), so f(x) = f(x/a) + f(a), now take the limit as x->a. Note as x->a, x/a -> 1
 
Thank you, Dan. It makes so much sense now.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
Replies
2
Views
1K
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K