Ein Knotensatz mit Anwendung auf die Dimensionstheorie. (Q1831396)

Jedes einfach geschlossene Polygon \(p\) im dreidimensionalen euklidischen Raum \(R^3\) ist Rand eines singularitätenfreien orientierbaren Flächenstücks \(M^2\). Man erhält ein \(M^2\), indem man von einem (zu \(p\) in allgemeiner Lage befindlichen) Punkt \(\varPi\) den Kegel an \(p\) legt, längs der Doppelerzeugenden aufschneidet und passend wieder zusammenheftet und schließlich die Singularität an der Spitze (Selbstberührung) beseitigt. Der Prozeß laut sich leicht zur Konstruktion beliebig vieler bis auf den gemeinsamen Rand \(p\) zueinander fremder \(M^2\) erweitern (Konstruktion von Nachbarflächen). Daraus folgt weiter: Ist im Innern eines Zylinders endlicher Länge ein Polygonzug \(p\), der die Mittelpunkte der Grund- und Deckkreise verbindet, gegeben, und sind ferner gewisse zueinander fremde Polygonzüge \(p_1, \ldots,p_n\), deren jeder die Endpunkte von \(p\) auf der Zylinderfläche verbindet, vorgeschrieben, so kann man in die durch \(p + p_\nu\) bestimmten einfach geschlossenen Kurven je ein singularitätenfreies, im Innern des Zylinders gelegenes Flächenstück \(M_\nu^2\) einspannen, so daß die \(M_\nu^2\) bis auf \(p\) zueinander fremd sind. Dieses Resultat führt nun zum Beweis der Übereinstimmung der \textit{Brouwer-Menger-Urysohn}schen und der \textit{Alexandroff}schen Dimensionsdefinition für kompakte Teilmengen des \(R^3\). Dazu hat man zu zeigen, daß eine in sich kompakte Menge \(F\) des \(R^3\), die im \(R^3\) kein Gebiet zerlegt, auch im Sinne der \textit{Brouwer-Menger-Urysohn}schen. Definition höchstens eindimensional ist. Der Nachweis gelingt, indem man mit Hilfe der angegebenen Zerlegung des Zylinderinnern, ausgehend von einer hinreichend fernen Triangulation des \(R^3\), eine Zerlegung des \(R^3\) in dreidimensionale berandete Mannigfaltigkeiten \(U_\nu\) von beliebig kleinem Durchmesser herstellt, so daß die auf dem Rande der \(U_\nu\) gelegeneu Punkte von \(F\) stets nur zur gemeinsamen Begrenzung von höchstens zwei \(U_\nu\) gehören. Die Zerlegung \[ F = \sum _\nu F\cdot U_\nu \] zeigt, daß nach dem Pflastersatz \(F\) im \textit{Brouwer-Menger-Urysohn}schen Sinne höchstens eindimensional ist.