Über den Greenschen Satz in der Ebene. (Q2580058)

Es handelt sich um einen bemerkenswert einfachen Beweis des Greenschen und weiterhin des Cauchyschen Fundamentalsatzes unter sehr schwachen Voraussetzungen. Zunächst wird folgendes Lemma bewiesen. \textit{Vor}. Es sei \(\mathfrak C\) eine einfache, geschlossene rektifizierbare Kurve in der \(x,y\)-Ebene. Ferner seien die reellen Funktionen \(p(x, y)\), \(q(x, y)\) eindeutig und stetig in dem von \(\mathfrak C\) begrenzten abgeschlossenen Bereich \(\overline{\mathfrak B}\), während die reelle Funktion \(f (x, y)\) erklärt und summierbar sein soll im offenen Kern \(\mathfrak B\) von \(\overline{\mathfrak B}\). \textit{Beh}. Gilt für jedes achsenparallele, abgeschlossene Rechteck \(I\), welches in \(\mathfrak B\) enthalten ist, die Beziehung \(\iint\limits_I f(x,y)\,dx\,dy=\int\limits_{\mathfrak R}(p\,dx + q\,dy)\), wo \(\mathfrak R\) der Rand von \(I\) ist, so gilt auch \(\iint\limits_{\mathfrak B} f(x,y)\,dx\,dy = \int\limits_{\mathfrak C} (p\,dx+ q\,dy)\). Entscheidend beim Beweis des Lemmas erscheint die Benutzung des Banachschen Satzes, demzufolge die Gerade \(x = x_0\) bzw. \(y = y_0\) mit \(\mathfrak C\) für fast alle \(x_0, y_0\) nur endlich viele Punkte gemeinsam hat. Aus dem Lemma folgt nun leicht die Greensche Formel \(\iint\limits_{\mathfrak B} (q_x'-p_y')\,dxdy=\int\limits_{\mathfrak C}(p\,dx+q\,dy)\), falls \(p_y'\), \(q_x'\) in \(\mathfrak B\) existieren, endlich und über \(\mathfrak B\) summierbar sind. Ist schließlich \(p_y' = q_x'\) fast überall in \(\mathfrak B\), so wird das Randintegral Null.