Schwarzscher Stiefel – Wikipedia
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/Francesco_del_Cossa_-_Griffoni_Polyptych_-_Saint_Florian_%28detail%29_1.jpg/220px-Francesco_del_Cossa_-_Griffoni_Polyptych_-_Saint_Florian_%28detail%29_1.jpg)
Der schwarzsche Stiefel oder schwarzsche Laterne bezeichnet eine Approximation eines Zylinders durch eine von Polygonen begrenzte Fläche. In der Mathematik wird er als pathologisches Beispiel dafür behandelt, dass der Grenzwert approximierender Polyeder nicht immer geeignet ist, um die Fläche von glatten Oberflächen auszurechnen.
Name und Entdecker
[Bearbeiten | Quelltext bearbeiten]Benannt ist sie nach Hermann Schwarz, der die Konstruktion formulierte. Die Bezeichnung Stiefel oder Laterne rührt daher, dass die Konstruktion aussieht wie die Falzung eines Stiefels oder wie ein Lampion. Unabhängig von Schwarz entdeckte auch Giuseppe Peano 1882 diese Konstruktion.[1]
Hintergrund
[Bearbeiten | Quelltext bearbeiten]Schon in der Antike versuchte man krummlinige Flächen und Längen mithilfe von Näherungskonstruktionen auszurechnen. Von Archimedes ist sein nach ihm benannter Algorithmus bekannt, der eine Näherungsberechnung für die Kreiszahl angab. Flächen mithilfe von Rechtecken oder einfacheren Polygonen zu approximieren war der Grundgedanke hinter der Integralrechnung oder numerischen Berechnungsmethoden wie der Keplerschen Fassregel. Die Berechnung der Fläche eines Zylinders wird heutzutage über das Oberflächenintegral berechnet, aber historisch gab es Definitionsversuche, die Volumen von Untermannigfaltigkeiten des als Grenzwert von einfacheren Integralen zu definieren. Im zweidimensionalen Fall lässt sich zum Beispiel die Länge eines Weges folgendermaßen nähern: Dafür zerlegt man das Intervall in Punkte mit der Eigenschaft
Eine grobe Näherung wäre dann gegeben durch:
Für größere müsste also anschaulich eine bessere Näherung entstehen. So könnte man versuchen, die Länge einer Kurve als den Grenzwert solcher Polygonzüge zu definieren, was im Allgemeinen aber nicht funktioniert, da man sich sehr unintuitive Wege ausdenken könnte, sodass der oben stehende Term gar nicht mehr konvergiert oder abhängig von der Wahl der Zerlegung verschiedene Grenzwerte hervorbringt.[2]
Der schwarzsche Stiefel demonstriert, dass man auch Oberflächeninhalte nicht durch eine Folge von Polyedern definieren kann, wie das zum Teil noch in manchen Lehrbüchern des 19. Jahrhunderts behauptet wurde.[3] Denn abhängig von der Wahl der Folge können auch hier verschiedene Ergebnisse herauskommen. Dieses Beispiel hat auch noch heutige Relevanz, weil es zeigt, dass man bei der Anwendung von zum Beispiel der Finite-Elemente-Methode aufpassen muss, unter welchen Bedingungen der Grenzwert einer Triangulation sinnvollerweise konvergiert.
Konstruktion
[Bearbeiten | Quelltext bearbeiten]![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/12/Antiprism17.jpg/220px-Antiprism17.jpg)
Es sei gegeben ein Zylinder der Höhe und des Radius . In dieser Berechnung interessieren wir uns nicht für den gesamten Oberflächeninhalt, sondern lediglich für die Mantelfläche. Für die Konstruktion des Schwarzschen Stiefels werden zwei natürliche Zahlen und betrachtet.[4]
- Ein Zylinder soll in einzelne Ringe zerlegt werden. Jeder einzelne Teilring sollte also die Höhe besitzen.
- Die einzelnen Ringe berühren sich an ihren Rändern. In jedem dieser Ränder sollen Punkte mit einem Abstand von platziert werden. Da der Umfang beträgt, heißt das, dass sie auf dem gesamten Rand gleichmäßig verteilt sind. In jedem nächsthöheren Ring werden die Punkte um rotiert, sodass im nächsthöheren Ring ein Punkt sich zwischen zwei Punkten des nächsttieferen Ringes befindet. Für entspricht das einfach einem Antiprisma.
Daraus entsteht für jedes und ein Polyeder. In jedem dieser Ringe befinden sich gleichschenklige Dreiecke, also sind es insgesamt Dreiecke. Die Grundseite jedes Dreieckes hat nach trigonometrischen Überlegungen die Länge
- .
Mithilfe des Satz des Pythagoras lässt sich für jedes Dreieck die Höhe ermitteln:
Am Ende beträgt die Mantelfläche des Polyeders also:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/20/Schwarz-lantern.gif/220px-Schwarz-lantern.gif)
Wegen
- und
ist der Grenzwert für ein festes
entspricht also der Fläche der Teilringe und konvergiert für gegen die Mantelfläche des Zylinders.
Wenn wir stattdessen aber zuerst betrachten, gilt
Die Grenzwerte sind nicht vertauschbar, also , obwohl anschaulich gesehen beide die Mantelfläche approximieren müssten.
Anmerkungen
[Bearbeiten | Quelltext bearbeiten]- ↑ Sébastien Gandon und Yvette Perrin: Le Problème de La Définition de l’aire d’une Surface Gauche: Peano et Lebesgue in: Archive for History of Exact Sciences, Bd. 63, Nr. 6, 2009, S. 665–704.
- ↑ Hans von Mangoldt, Konrad Knopp: Einführung in die höhere Mathematik. 13. Auflage. S. Hirzel Verlag, S. 227.
- ↑ zum Beispiel: J. A. Serret: Cours de calcul différentiel et intégral, Band 2, Gauthier-Villars. S. 296
- ↑ Die Konstruktion orientiert sich an: Frieda Zames: Surface Area and the Cylinder Area Paradox, in: The Two-Year College Mathematics Journal, Bd. 8, Nr. 4, 1977, S. 207–11.