Sulle trasformazioni continue e sull'area delle superficie. (Q2580595)

In der Arbeit werden 1) gewisse eindeutige stetige Abbildungen eines Quadrates \(A\) in die Ebene untersucht; die hierbei erhaltenen Ergebnisse werden 2) angewandt auf die Frage nach der Existenz (Endlichkeit) des Flächeninhaltes \(L\) im Lebesgueschen Sinne für Flächenstücke im \(R_3\), d. h. für eindeutige stetige Quadratbilder im \(R_{3}\), und auf die Frage nach der Darstellbarkeit von \(L\) durch das bekannte klassische Integral. Für eine ziemlich ausgedehnte Klasse von Flächenstücken erhält Verf. notwendige und zugleich hinreichende Bedingungen, sei es für die Existenz von \(L\), sei es für die Giltigkeit der Integraldarstellung von \(L\). Im Einzelnen handelt es sich um Folgendes: 1) Die (eindeutige, stetige) Abbildung \(\varPhi \), gegeben durch \(x=\varphi (u, v)\), \(y=\psi (u, v)\) heiße \textit{regulär}, wenn zwei abzählbare, in \([0, 1]\) dichte Teilmengen \(\{\xi \}\), \(\{\eta \}\) reeller Zahlen \(\xi \), \(\eta \) aus \([0, 1]\) existieren derart, daß jede Kurve \(C(\xi )=(\varphi (\xi, v), \psi (\xi, v))\), bzw. \(C'(\eta )=(\varphi (u,\eta ), \psi (u,\eta ))\) eine Nullmenge in \(K\) ist, wobei \(K\) ein festes, den Bildbereich von \(A\) überdeckendes Quadrat sein soll. Es sei \(\{R\}\) die Menge aller Rechtecke \(R=(\xi '\leqq u\leqq \xi '', \eta '\leqq v\leqq \eta '')\) mit \(\xi '\in\{\xi \}\), \(\xi ''\in\{\xi \}\), \(\eta '\in\{\eta \}\), \(\eta ''\in\{\eta \}\). Das Bild \(C(R)\) der Begrenzung \(\varGamma (R)\) von \(R\) ist dann eine Nullmenge in \(K\). Bezeichnet \(O(x, y; C)\) den Kroneckerschen Index der geschlossenen Kurve \(C\subset K\) bezüglich des Punktes \((x, y)\), so setze man \[ \begin{gathered} g(R)= \iint\limits_{K}|\,O(x,y; C(R))\,|\,dxdy,\;\,t(R)={\lower3pt\mbox{\Bigl|}}\iint\limits_{K}O(x,y; C(R))\,dxdy\,\lower3pt\mbox{\Bigr|},\\ u(R)= \iint\limits_{K}|\,o(x,y; C(R))\,|\,dxdy,\end{gathered} \] wobei \(o=1\) oder \(= 0\) ist, je nachdem \(O\neq0\) oder \(O = 0\) ist. Ist \(\{R_i\}\) irgendeine Zerlegung des Rechtecks \(R\in\{R\}\) in endlich viele Rechtecke \(R_i\in\{R\}\), so werde gesetzt: \[ G(R)=\textstyle \overline{\text{Grenze}}\bigl(\sum\limits_{i}g(R_i)\bigr), T(R)=\overline{\text{Grenze}}\bigl(\sum\limits_{i}t(R_i)\bigr), U(R)=\overline{\text{Grenze}}\bigl(\sum\limits_{i}u(R_i)\bigr), \] wobei \(\overline{\text{Grenze}}\) gebildet wird für alle \(\{R_i\}\). Nach Feststellung gewisser Eigenschaften der \(g(R)\) usw. wird erklärt: Die \textit{reguläre} Abbildung \(\varPhi \) heiße \textit{von beschränkter Variation}, kurz v. b. V., wenn \(\sum\limits_{\lambda }g(R_\lambda )\) beschränkt ist, die Summe erstreckt über beliebige, endlich viele \(R_\lambda \in\{R\}\) mit paarweise fremden offenen Kernen; wird \(\sum\limits_{\lambda }g(R_\lambda )\) überdies beliebig klein für alle hinreichend kleinen \(\sum\limits_{\lambda }|\,R_\lambda \,|\), so heiße \(\varPhi \) \textit{absolut stetig}, kurz: a. s. Ist \(\varPhi \) v. b. V., so gilt \(G(A_0)=T(A_0)=U(A_0)\) für jedes Rechteck \(A_0\subset A\). Ferner besitzen \(g(R)\), \(t(R)\) und \(u(R)\) fast überall endliche Ableitungen \(g'(P)\) usw. nach dem System aller \(R\in\{R\}\) mit \(2^{-1}(\eta ''-\eta ')\leqq \xi ''-\xi '\leqq 2(\eta ''-\eta ')\), falls \(\varPhi \) regulär and v. b. V. ist, und es ist \[ G(A)\geqq \textstyle \iint\limits_{A}g'(P)dP,\;\;T(A)\geqq \iint\limits_{A}t'(P)dP,\;\;U(A)\geqq \iint\limits_{A}u'(P)dP. \] Damit \(\varPhi \) überdies a. s. sei, ist notwendig und hinreichend, daß in vorstehenden drei Ungleichungen überall das Gleichheitszeichen steht. Besitzen \(\varphi \) und \(\psi \) fast überall endliche partielle Ableitungen nach \(u\), \(v\) und ist \(\varPhi \) v. b. V., so gilt \(G(A)\geqq \iint\limits_{A}|\,I(P)\,|\,dP\) (Gleichheitszeichen dann und nur dann, wenn \(\varPhi \) a. s. ist), wobei mit \(I(P)\) die Funktionaldeterminante von \(\varPhi \) bezeichnet wird. 2) Das durch die Abbildung \(\varPsi =(x=\varphi (u,v), y=\psi (u,v ), z=\chi(u,v))\) erklärte eindeutige stetige Bild \(\mathfrak x(u, v)\) von \(A\) in den \(R_{3}\) heiße ein \textit{reguläres Flächenstück} \(\mathfrak F\), wenn zwei abzählbare, in \([0, 1]\) dichte Mengen \(\{\xi \}\), \(\{\eta \}\) existieren derart, daß die Projektionen aller Kurven \(\mathfrak x(\xi , v)\) und \(\mathfrak x(u,\eta )\) mit \(\xi \in\{\xi \}\), \(\eta \in\{\eta \}\) auf die drei Koordinatenebenen Nullmengen sind. Die durch \(\varPhi \) bestimmten Abbildungen \(z=\varphi (u, v)\), \(y=\psi (u, v)\) bzw. \(y=\psi (u, v)\), \(z=\chi(u, v)\) bzw. \(z=\chi(u, v)\), \(x=\varphi (u, v)\) seien bzw. mit \(\varPhi _1\), \(\varPhi _2\), \(\varPhi _3\) bezeichnet. Mit \(\varPhi \) sind auch die \(\varPhi _1\), \(\varPhi _2\), \(\varPhi _3\) regulär. Ist \(\mathfrak F\) regulär, und besitzt \(\mathfrak F\) das dreidimensionale Maß Null, so ist der Flächeninhalt \(L\) von \(\mathfrak F\) dann und nur dann endlich, wenn \(\varPhi _1\), \(\varPhi _2\) und \(\varPhi _3\) v. b. V. sind. Besitzen \(\varphi \), \(\psi \), \(\chi\). fast überall endliche partielle Ableitungen, und ist \(L\) endlich, so ist \(L\) durch das klassische Integral dann und nur dann darstellbar, wenn die (regulären) \(\varPhi _1\), \(\varPhi _2\), \(\varPhi _3\) a. s. sind. Die beiden letzten {\S\S} 15 und 16 behandeln u. a. auch das Peano-Maß. (Vgl. Verf., Ann. Scuola norm. sup. Pisa, Sci. fis. mat. (2) 10 (1941), 253-295; F. d. M. 67, 175 (JFM 67.0175.*)).