Derivate planes and tangent planes of a measurable function. (Q568511)

Verf. beschäftigt sich mit der Übertragung der Sätze, die \textit{Denjoy} und \textit{Young} für die verschiedenen Ableitungen einer reellen Funktion \(f(x)\) gewonnen haben, auf reelle Funktionen \(f(x,y)\). Wird zur Abkürzung \(z=x+iy\) gesetzt, und wird \(f(z)\) für \(f(x,y)\) geschreiben, so ist die obere zweidimensionale Derivierte von \(f(x,y)\) nach \textit{Rademacher} und \textit{Stepanoff} \[ L_f(x,y)=\lim_{r\to 0}\overline{\text{fin}}_{|\delta|<r}\Bigl | \frac {f(z+\delta)-f(z)}{\delta}\Bigr | \] (\(\delta\) beliebig komplex, jedoch \(\neq 0\)). Verf. betrachtet daneben gerichtete Ableitungen. Ist \(S_\alpha(r,\eta)\) der offene Sektor \(0<|z|<r\), \(\alpha -\eta <\operatorname {arc} z<\alpha +\eta \), so wird \[ \begin{gathered} B^{\alpha }(r,\eta,z) =\overline{\text{fin}}_{\delta \in S_{\alpha }(r,\eta )} \frac {f(z+\delta )-f(z)}{|\delta |\cos ( \operatorname {arc} \delta - \alpha )}\\ \Delta ^{\alpha }(\eta,z) = \lim _{r\to 0} B^{\alpha }(r,\eta,z) \end{gathered} \] und schließlich die obere gerichtete Ableitung längs der Richtung \(\alpha\) \[ D^{\alpha }(z) = \lim _{\eta \to 0} \Delta ^{\alpha }(\eta,z) \] gesetzt. Entsprechend wird die untere gerichtete Ableitung \(D^{\alpha }(z)\) definiert. Für meßbare Funktionen \(f(x,y)\) gilt dann nach Verf. für fast alle Punkte: Entweder gibt es eine zweidimensionale Derivierte und \(f\) besitzt ein totales Differential im Sinne von \textit{Stolz}; oder es gibt eine obere zweidimensionale Derivierte, und es ist \(D_{\alpha }=-\infty \) für jedes \(\alpha \); oder es gibt eine untere zweidimensionale Derivierte, und es ist \(D^{\alpha }=+\infty \) für jedes \(\alpha \); oder \(D^{\alpha } = +\infty \), \(D_{\alpha } = -\infty \) für jedes \(\alpha \).