The Isoperimetric Inequality and the Lebesgue Definition of Surface Area (Q5793451)

Es bezeichne \(S\) die Einheitssphäre \(\vert\mathfrak s\vert = 1\) im gewöhnlichen Raum, und es sei \(C\) das durch \(P = f(p)\) \((p\in S, P\in [C])\) erzeugte eindeutige stetige Bild (orientierte Fläche im Sinne von Fréchet ), wobei \(C\) von der Bildpunktmenge \([C]\) zu unterscheiden ist. Einem beliebigen Punkt \(P\ni [C]\) ist nun ein topologischer Index \(i(P)\) zugeordnet, der ganzzahlige positive oder negative Werte annimmt, innerhalb der Komponenten, in welche der Raum durch \([C]\) zerlegt wird, konstant ausfällt und außerhalb einer ausreichend großen Kugel verschwindet. Dieser Index läßt sich als Grad derjenigen stetigen Abbildung von \(S\) in eine weitere Einheitssphäre \(T\), \(\vert\mathfrak t\vert = 1\), erklären, die dadurch entsteht, daß man dem Punkt \(p\in S\) den Richtungseinheitsvektor \(\mathfrak t\) des Differenzvektors \(\mathfrak x\{P\} - \mathfrak x\{f(p)\}\) zuordnet. Das im erweiterten algebraischen Sinn verstandene, von \(C\) umschlossene Volumen ist durch das sich über den ganzen Raum erstreckende Integral \(V' = \int i(P)\, dP\) gegeben, wobei \(dP\) das Volumdifferential bedeutet, und die Existenz im Lebesgueschen Sinn vorausgesetzt wird. Verf. führt nun durch den Ansatz \(V = \int \vert i(P)\vert\, dP\) ein absolutes Volumen ein und führt den Beweis, daß an Stelle der gewöhnlichen Form der isoperimetrischen Ungleichung \(36\pi V'^2 \le A^3\) die im allgemeinen schärfere absolute Förm \(36\pi V^2 \le A^3\) gilt. Hierbei bedeutet \(A\) den Lebesgueschen Flächeninhalt von \(C\). Die Beweiskonstruktion führt über Dreieckspolyederflächen durch sorgfältige Diskussion notwendiger Grenzübergänge zum Ziel.