Partial differentiation in the large. (Q565358)

Ohne Beweis wird mitgeteilt: Es sei \(f(x,y)\) in einer offenen Punktmenge \(H\) mit stetigen partiellen Ableitungen erster Ordnung versehen. Existieren außerdem in \(H\) überall die vier Ableitungen \(f_{xx},f_{xy},f_{yx}, f_{yy},\) so ist fast überall \(f_{xy}=f_{yx}\). Existiert wenigstens \(f_{xy}\) überal in \(H\), so gibt es eine Menge positiven Maßes, in der \(f_{yx}\) existiert und gleich \(f_{xy}\) ist. Existiert in jedem Punkt von \(H\) mindestens eine der Ableitungen \(f_{xy},f_{yx}\), so gibt es eine Menge positiven Maßes, in der beide Ablietungen existieren und übereinstimmende Werte haben.