Exercises
[1C8] Prerequisites:[1C6].Note:Darboux properties.
Let \(Aβ β\) be an open set, and suppose that \(f:Aββ\) is differentiable. We want to show that, for each interval \(Iβ A\), the image \(f'(I)\) is an interval.
So prove this result. For \(x,yβ I\) with \(x{\lt}y\), letβs define \(a=f'(x), b= f'(y)\). Letβs assume for simplicity that \(a{\lt}b\). For any \(c\) with \(a{\lt} c {\lt} b\), there exists \(πβ I\) with \(x{\lt}π{\lt}y\) such that \(f'(π)=c\).
(Finally, show that this property actually implies that the image \(f'(I)\) of an interval \(I\) is an interval.)
1