Sur l'unicité de la fonction primitive par rapport à une fonction continue arbitraire. (Q2617074)

Nachdem \textit{Lebesgue} in seinen ``Leçons sur l'integration'' (2. éd. 1928; F. d. M. 54, 257 (JFM 54.0257.*)) bewiesen hatte, daß eine Funktion \(f(x)\) in einem Intervall bis auf eine Konstante bestimmt ist, wenn man ihre Ableitung \(f_\varphi (x)\) nach einer stetigen Funktion \(\varphi (x)\), die von beschränkter Schwankung ist, kennt, war die Frage offen geblieben, ob dieser Satz auch für beliebige stetige Funktionen \(\varphi (x)\) richtig ist. Die vorliegende Arbeit bejaht diese Frage, indem sie den noch weitergehenden Satz beweist: Kennt man von einer Funktion \(f(x)\) in einem Intervall eine ihrer einseitigen Ableitungen \(f^+_\varphi \) oder \(f^-_\varphi \) nach einer stetigen Funktion \(\varphi (x)\), so ist \(f\) bis auf eine Konstante bestimmt. Der Beweis ist indirekt, indem er zu einem Widerspruch mit dem eingangs erwähnten Satz von \textit{Lebesgue} hinführt. Der Schlußparagraph weist noch nach, daß die Behauptung auch dann noch gilt, wenn die einseitige Ableitung in einer abzählbaren Menge von Punkten nicht existiert, womit eine von \textit{Menchoff} gestellte Frage positiv beantwortet ist.