On a lemma of McShane. (Q2582225): Difference between revisions

Das zur Untersuchung stehende McShanesche Lemma ist folgendes: In einem Einheitsquadrat \(Q: 0 \leqq u \leqq 1,\;0\leqq v\leqq 1\) seien die Tripel stetiger Funktionen \(x(u, v)\), \(y(u, v)\), \(z(u, v)\); \(x_n(u, v)\), \(y_n(u, v)\), \(z_n(u, v)\) gegeben, welche folgende Eigenschaften haben sollen: 1) Die partiellen Ableitungen \(x_u\), \(x_v\); \(y_u\), \(y_v\); \(z_u\), \(z_v\) existieren fast überall in \(Q\). 2) Die Funktionaldeterminanten \[ X=\dfrac{\partial(y,z)}{\partial(u,v)},\quad Y=\dfrac{\partial(z,x)}{\partial(u,v)},\quad Z=\dfrac{\partial(x,y)}{\partial(u,v)} \] seien in \(Q\) summierbar. 3) Die Funktionen \(x(u, v)\), \(y(u, v)\), \(z(u, v)\) sind totalstetig auf dem Rande \(B\) von \(Q\). 4) Es gelten die Integralrelationen \[ \iint\limits_Q X du\,dv = \tfrac12\oint\limits_B (ydz - zdy),\quad \iint\limits_Q Y du\,dv = \tfrac12\oint\limits_B (zdx - xdz), \] \[ \iint\limits_Q Z du\,dv = \tfrac12\oint\limits_B (xdy - ydx). \] 5) Die Funktionen \(x_n(u,v)\), \(y_n(u,v)\), \(z_n(u, v)\) sind ``quasilinear'' in \(Q\), d.h. für jede dieser Funktionen läßt sich eine Quadrattriangulierung angeben, in deren jedem einzelnen Dreieck diese betreffende Funktion linear ist. 6) Es ist gleichmäßig in \(Q\): \(x_n(u, v) \to x (u, v)\), \(y_n(u, v) \to y(u, v)\), \(z_n(u, v)\to z(u, v).\) Dann gibt es für jede Wahl der Konstanten \(a, b, c\) eine Folge \(\{V_n\}\) meßbarer Teilmengen \(V_n\) aus \(Q\), für welche \[ \iint\limits_{V_n}(aX_n + bY_n + cZ_n) du\,dv \,\overrightarrow{{}_{n\to\infty}} \iint\limits_Q(aX + bY + cZ) du\,dv \] gilt, mit \[ X_n =\dfrac{ \partial(y_n,z_n)}{\partial(u,v)},\quad Y_n =\dfrac{\partial (z_n,x_n)}{\partial(u,v)},\quad Z_n=\dfrac{\partial(x_n, y_n)}{\partial(u,v)}. \] Verf. beweist nun dieses McShanesche Lemma unter Vermeidung der Voraussetzungen 3) und 4).