If Derivative is Not Zero Anywhere Then Function is Injective.

Click For Summary

Discussion Overview

The discussion revolves around the question of whether a differentiable function \( f: (a,b) \to \mathbb{R} \) with a non-zero derivative everywhere in the interval is necessarily injective. Participants explore the implications of differentiability and the properties of derivatives in relation to injectivity.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses uncertainty about the injectivity of \( f \), noting that a function can be differentiable and have a discontinuous derivative, suggesting this may imply \( f \) is not necessarily injective.
  • Another participant questions the existence of a differentiable function with a discontinuous derivative and references the function \( f(x) = |x| \), which is not differentiable at 0.
  • A later reply introduces Rolle's theorem, implying that if \( f(c) = f(d) \) for \( c \neq d \), it would lead to a contradiction regarding the non-zero derivative condition.
  • Another participant mentions the Darboux theorem, which states that if a function is differentiable, its derivative satisfies the Intermediate Value property, potentially relevant to the discussion of injectivity.
  • One participant provides a proof by contradiction, using the Mean Value Theorem to argue that if \( f(c) = f(d) \) for \( c \neq d \), it would contradict the condition \( f'(x) \neq 0 \), thus concluding that \( f \) must be injective.

Areas of Agreement / Disagreement

Participants do not reach a consensus. While some argue that the conditions imply injectivity, others raise questions about the assumptions and the existence of counterexamples, indicating ongoing debate.

Contextual Notes

Some participants reference the properties of derivatives and the implications of differentiability, but there are unresolved questions about the existence of functions that may challenge the injectivity claim.

caffeinemachine
Gold Member
MHB
Messages
799
Reaction score
15
Hello MHB.

I am sorry that I haven't been able to take part in discussions lately because I have been really busy.

I am having trouble with a question.

In a past year paper of an exam I am preparing for it read:

Let $f: (a,b)\to \mathbb R$ be a differentiable function with $f'(x)\neq 0$ for all $x\in(a,b)$. Then is $f$ necessarily injective?

I know that a function can be differentiable at all points and have a discontinuous derivative.
This makes me think that $f$ is not necessarily injective. But I am not able to construct a counterexample.

Can anybody help?
 
Physics news on Phys.org
caffeinemachine said:
I know that a function can be differentiable at all points and have a discontinuous derivative.

It can? Can you come up with an example of a function that does this? For me, I think of $f(x)=|x|$. It is not differentiable at $0$; its derivative is discontinuous at the origin.
 
caffeinemachine said:
Hello MHB.

I am sorry that I haven't been able to take part in discussions lately because I have been really busy.

I am having trouble with a question.

In a past year paper of an exam I am preparing for it read:

Let $f: (a,b)\to \mathbb R$ be a differentiable function with $f'(x)\neq 0$ for all $x\in(a,b)$. Then is $f$ necessarily injective?

I know that a function can be differentiable at all points and have a discontinuous derivative.
This makes me think that $f$ is not necessarily injective. But I am not able to construct a counterexample.

Can anybody help?
Rolle's theorem.
 
Ackbach said:
It can? Can you come up with an example of a function that does this? For me, I think of $f(x)=|x|$. It is not differentiable at $0$; its derivative is discontinuous at the origin.
calculus - Discontinuous derivative. - Mathematics Stack Exchange
See Mark McClure's answer. He provides such an example.
Also see Haskell Curry's answer. He doesn't provide an example but his post is useful.
 
Another result of interest, which I found here: the Darboux theorem. If a function is differentiable, then its derivative must satisfy the Intermediate Value property.
 
Let us suppose by way of contradiction a counter-example exists.

Thus we have two points $c < d \in (a,b)$ such that:

$f(c) = f(d)$, but $c \neq d$.

By supposition, $c$ and $d$ are, of course, interior points of $(a,b)$, and thus since $f$ is differentiable on $(a,b)$, $f$ is continuous on $[c,d]$ and differentiable on $(c,d)$.

Hence we may apply the mean value theorem to deduce there exists a point $x_1 \in (c,d)$ such that:

$f'(x_1) = \dfrac{f(d) - f(c)}{d - c} = 0$

violating the condition $f'(x) \neq 0$ for all $x \in (a,b)$.

Thus no such pair exists, which thus means if for $c,d \in (a,b), f(c) = f(d)$, we must have $c = d$, that is, $f$ is injective.

(Note this proof takes advantage of the trichotomy rule, a consequence of the order properties of $\Bbb R$).
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
12
Views
4K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
762
Replies
21
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K