The sets where a function has infinite one-sided derivatives (Q810649)

The main result is the following: Let \(E_ 1\), \(E_ 2\) be disjoint subsets of \({\mathbb{R}}\). There exists a function \(f: {\mathbb{R}}\to {\mathbb{R}}\) such that \(E_ 1=\{x:\;f'_ -(x)=\infty \}\) and \(E_ 2=\{x:\;f'_ - (x)=-\infty \}\) if and only if \(m(E_ 1)=m(E_ 2)=0\) \((f'_ -(x)\) the left-hand derivative at x, m the Lebesgue measure).