Proving a function is differetiable in R

  • Thread starter Thread starter Simfish
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion centers on proving the differentiability of the function f(x) defined by the inequality |f(x) - f(y)| ≤ |x - y|² for all x, y in ℝ. The proof utilizes the definition of differentiability from Apostol's "Mathematical Analysis" and establishes that the limit as x approaches y exists, confirming differentiability. Additionally, it is concluded that differentiability implies continuity through the epsilon-delta definition of limits, demonstrating that the limit of (f(x) - f(y))/(x - y) approaches zero as x approaches y.

PREREQUISITES
  • Understanding of the epsilon-delta definition of limits
  • Familiarity with differentiability and continuity concepts
  • Knowledge of mathematical analysis, specifically from Apostol's "Mathematical Analysis"
  • Basic calculus, including limits and derivatives
NEXT STEPS
  • Study the epsilon-delta definition of continuity in more depth
  • Explore the implications of differentiability on the continuity of functions
  • Review examples of functions that are differentiable but have non-positive derivatives
  • Investigate the relationship between bounded sequences and limits in mathematical analysis
USEFUL FOR

Mathematics students, educators, and anyone studying real analysis, particularly those focusing on the concepts of differentiability and continuity in functions.

Simfish
Gold Member
Messages
811
Reaction score
2
f(x) is a function with...

| f(x) - f(y) | \leq |x-y|^2 \forall x,y \in \Re

(a) prove differentiability in R, find f'
(b) prove f continuous

====

my steps;

(a) \frac{| f(x) - f(y) |}{|x-y|} \leq |x-y|

Then by the definition of differentiability as stated in Apostol "Mathematica Analysis pg. 104, f is differentiable if the limit of the function as x -> y exists.

So by the inequality, as x -> y, we know that the limit is bounded and therefore must exist. The value of the limit is simply |x-y|, so is that always the derivative of the function? (or could it be |x|)? Since the derivative, after all, must always be positive?

(b) differentiability implies continuity
 
Physics news on Phys.org
Using epsilon-delta definition of limit, let epsilon=delta to show the limit of f(x)-f(y)/(x-y) is zero. that is as x goes to y.

derivatives aren't always positive. consider y=-x.

(-1)^n n a natural number is bounded but has no limit.
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
20
Views
5K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
26
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K