Remark on relative derivatives. (Q2585263)

Es seien \(x (t)\), \(y (t)\) reelle stetige Funktionen in \((a, b)\). Existiert der Limes von \((y(t)-y(t_0)):(x(t)-x(t_0))\) für \(t\to t_0\) wenn beim Grenzübergang Werte \(t'\) mit \(y (t') -y(t_0) = x(t') - x(t_0) = 0\) außer Betracht bleiben, so werde dieser Limes als Ableitung von \(y (t)\) nach \(x(t)\) (für \(t = t_0\)) bezeichnet. Es gilt dann: Ist die Ab\-leitung von \(y (t)\) nach \(x(t)\) gleich Null für alle \(t\), so ist \(y (t)\) konstant. Für diesen Satz ist neuerdings von \textit{Gourin} Fundam. Math., Warszawa, 32 (1939), 97-102; F. d. M. 65, 195 (JFM 65.0195.*)) ein elementarer Beweis angegeben worden. Verf. gibt einen wesent\-lich einfacheren Beweis. Dieser gründet sich (wie der von Gourin) auf das Lemma: Wenn \(f (t)\) stetig in \((a,b)\) und nirgends monoton auf einer perfekten Teilmenge \(\mathfrak P\) von \((a, b)\), dann nimmt \(f (t)\) mindestens einen ihrer Werte unendlich oft an. Dieses Lemma gewinnt Verf. unmittelbar aus dem (sehr einfach zu beweisenden) folgenden: Unter den gleichen Voraussetzungen über \(f (t)\) wie im vorstehenden Lemma existiert ein Intervall \((a_1,b_1)\subset(a,b)\) derart, daß \((a_1,b_1)\) und \((b_1,b)\) je unendlich viele Punkte von \(\mathfrak P\) enthalten und daß alle Werte, welche \(f (t)\) in \((a_1,b_1)\) annimmt, ent\-halten sind im Intervall derjenigen Werte, welche von \(f(t)\) in \((b_1,b)\) angenommen werden.