Medium Hard continuity proof Tutorial Q6

Click For Summary
SUMMARY

The discussion focuses on proving the continuity and injectivity of a function \( c \) based on its derivative \( c' \). The user demonstrates an understanding of continuity at a point, specifically at \( c'(0) = 1 \), and correctly applies the definition of continuity using \( \epsilon = \frac{1}{2} \). The conclusion drawn is that since \( c' > 0 \) in the interval \( (-d, d) \), the function \( c \) is strictly increasing and therefore one-to-one. The user acknowledges the need for clarity in mathematical notation and definitions.

PREREQUISITES
  • Understanding of continuity and differentiability in calculus
  • Familiarity with the definitions of limits and the epsilon-delta criterion
  • Knowledge of one-to-one functions and their properties
  • Ability to interpret and manipulate mathematical notation accurately
NEXT STEPS
  • Study the formal definition of continuity and its implications in calculus
  • Learn about the properties of strictly increasing functions and their relationship to injectivity
  • Explore the epsilon-delta definition of limits in more depth
  • Review examples of differentiable functions and their continuity characteristics
USEFUL FOR

Students and educators in mathematics, particularly those studying calculus, real analysis, or anyone interested in understanding the properties of continuous and differentiable functions.

TanWu
Messages
17
Reaction score
5
Homework Statement
Throughout these Tutorial Q6 to Q9 let ##c: \mathbb{R} \rightarrow \mathbb{R}## be a differentiable function whose derivative ##c^{\prime}## is continuous at 0 with ##c^{\prime}(0)=1##
Relevant Equations
##c^{\prime}(0)=1##.
I am trying to solve (a) and (b) of this tutorial question.
1714954259568.png

(a) Attempt:

Since ##c'## is at ##c'(0) = 1##, then from the definition of continuity at a point:

Let ##\epsilon > 0##, then there exists ##d > 0## such that ##|x - 0| < d \implies |c'(x) - c'(0)| < \epsilon## which is equivalent to ##|x| < d \implies |c'(x) - c'(0)| < \epsilon## or ##x \in (-d, d) \implies 1 - \epsilon < c'(x) < 1 + \epsilon##

Which when comparing ##1 - \epsilon < c'(x) < 1 + \epsilon## to ##\frac{1}{2}<c^{\prime}(x)<\frac{3}{2}##, this means that ##\epsilon = \frac{1}{2}##, however, how is that possible i.e. why are we allowed to say ##\epsilon = \frac{1}{2}##? To me it seems like one is fudging the proof.

(b) Attempt:

##c## is a one-to-one function from the open interval ##(-d,d)## onto the open interval ##(-f(-d), f(d)## since it is differentiable which is equivlenet to saying that for every ##x \in dom(c)##, then there exists on and only one ##c(x) \in range(c)##

I express gratitude to those who help.

EDIT: Typos fixed.
 
Last edited:
Physics news on Phys.org
General remark: please don't replicate the style '## d\in\mathbb R > 0 ##'.

By definition of continuity at ##0##, when we take ##\varepsilon =\frac{1}{2}##, we are guaranteed ## |c'(x)-1| <\frac{1}{2} ## for all ##x\in (-d,d)## for some (possibly very small) ##d>0##.

Your proof of injectivity is not correct.
TanWu said:
since it is differentiable which is equivlenet to saying that for every ##x \in dom(c)##, then there exists on and only one ##c(x) \in range(c)##
This is false. You are reproducing the definition of a "function" - for every ##x\in \mathrm{dom}(c)##, there exists exactly one element ##c(x)\in\mathrm{range}(c)##. It is not true that every function is differentiable.

You are given that the derivative is positive in ##(-d,d)##. What does that tell you about the behaviour of ##c## in the interval ##(-d,d)##?

edit: further remarks - to improve readability, it is helpful to distinguish between different kind of objects using different style of symbols. For example, we have a function ##c## for which there exists ## \delta >0## such that ##|c'(x)-1|< \frac{1}{2} ## for every ##x\in (-\delta,\delta)##.
 
Last edited:
  • Like
Likes TanWu and docnet
nuuskur said:
General remark: please don't replicate the style '## d\in\mathbb R > 0 ##'.

By definition of continuity at ##0##, when we take ##\varepsilon =\frac{1}{2}##, we are guaranteed ## |c'(x)-1| <\frac{1}{2} ## for all ##x\in (-d,d)## for some (possibly very small) ##d>0##.

Your proof of injectivity is not correct.

This is false. You are reproducing the definition of a "function" - for every ##x\in \mathrm{dom}(c)##, there exists exactly one element ##c(x)\in\mathrm{range}(c)##. It is not true that every function is differentiable.

You are given that the derivative is positive in ##(-d,d)##. What does that tell you about the behaviour of ##c## in the interval ##(-d,d)##?

edit: further remarks - to improve readability, it is helpful to distinguish between different kind of objects using different style of symbols. For example, we have a function ##c## for which there exists ## \delta >0## such that ##|c'(x)-1|< \frac{1}{2} ## for every ##x\in (-\delta,\delta)##.
Thank you Sir. You have solved by doubt about the proof. I think my other doubt is solved now: From (a), $$c'(x) > 0$$ for $$(-d,d)$$ this implies c is strictly increasing on $$(-d,d)$$ and thus, is one to one.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

Replies
6
Views
2K
  • · Replies 12 ·
Replies
12
Views
1K
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K