A certain open manifold whose group is unity. (Q2612861)

Formale 3-Zelle heißt eine offene dreidimensionale Mannigfaltigkeit, die ausgeschöpft wird durch eine wachsende Folge von 3-Elementen, die aus Zellen derselben Zerlegung aufgebaut sind. (Stetigkeitstopologisch ist also eine formale 3-Zelle homöomorph dem offenen Zahlenraum.) Es wird eine offene Mannigfaltigkeit angegeben, deren Wegegruppe und zweite Homologiegruppe die Einheit sind, und in der jede 2-Sphäre ein 3-Element begrenzt, und die doch keine formale 3-Zelle ist. Die Mannigfaltigkeit läßt sich in etwas anderer Wendung so beschreiben: In der 3-Sphäre nehme man zwei nach Enzyklopädie der mathematischen Wissenschaften III AB 3, Fig. 21 verkettete Vollringe \(A\) und \(A'\) mit den Oberflächen \(F\) und \(F'\) und dem Rest \(B\). Auf \(F\) und \(F'\) seien \(u\) und \(v\) bzw. \(u'\) und \(v'\) je zwei einfach geschlossene, einander in einem Punkte schneidende Kurven, und zwar sei \(u\) in \(A' + B\) und \(u'\) in \(A'\) zusammenziehbar. Zwischen \(F\) und \(F'\) bestehe die Abbildung \(f\), die \(u\) in \(u'\) und \(v\) in \(v'\) verwandelt. Nun vereinige man \(A\) und unendlich viele Exemplare \(B_0 = B\), \(B_1\), \(B_2\), \dots, indem man \(F_n'\) gemäß \(f\) mit \(F_{n+1}\) identifiziert: so hat man die gewünschte Mannigfaltigkeit. Bei geeigneter Wahl von \(v\) und \(v'\) läßt sie sich als simpliziale Zerlegung eines Gebiets im Zahlenraum darstellen.