Sei eine kompakte meßbare Menge.
Eine Fläche (im dreidimensionalen Raum) ist eine Funktion derart, daß es eine offene Obermenge gibt und sich fortsetzen läßt zu einer stetig differenzierbaren Funktion .
Der Grund für die Forderung der Existenz der größeren Menge und der Fortsetzung ist, daß wir auch in Randpunkten von die Ableitung von betrachten wollen. Kurz gesagt, ist eine ,,auch auf dem Rand von `` stetig differenzierbare Funktion.
Die Bildmenge heißt der Träger von .
Der Normalenvektor der Fläche ist an jedem Punkt definiert durch
Wir erinnnern dabei an die Definition des Kreuzproduktes
Oberflächenintegral eines Vektorfeldes.
Es sei ein stetiges Vektorfeld. Dann definieren wir das Oberflächenintegral von über vermöge
Oberflächenintegral einer skalaren Funktion.
Es sei eine stetige skalare Funktion. Dann definieren wir das Oberflächenintegral von über vermöge
Das Integrationselement steht dabei für die Integration über eine Fläche, englisch ,,surface``.
So ist z.B. der Flächeninhalt der Fläche definiert als
Das Oberflächenintegral ist in gewissem Sinne nur abhängig vom Träger und von der Orientierung der Fläche. Genauer, ist eine weitere kompakte meßbare Menge, eine stetig differenzierbare Funktion, und ist eine stetig differenzierbare bijektive Abbildung so, daß und überall, so heißen die Flächen und äquivalent. Es gelten dann
Der Kurvenschwerpunkt und die 2. Guldinsche Regel.
Sei ein Weg mit . Dann heißt der Punkt mit den Koordinaten
Sei nun speziell ein Weg mit Kurvenschwerpunkt . Sei die aus entstehende Rotationsfläche bei Drehung um die -Achse, d.h. ist die Fläche mit der Parametrisierung