Translation groups of three-space. (Q2599692)

Sei \(R\) ein im kleinen kompakter, zusammenhängender, separabler metrischer Raum. Jedem Vektor \(v\) des \(k\)-dimensionalen Zahlenraums entspreche eine Abbildung von \(R\) in sich, die den Punkt \(x\) in \(vx\) verwandle. Es gelte \(v(wx)=(v+w)x\), und \(vx\) hänge stetig von \(v\) und \(x\) ab. Man hat also eine stetige Gruppe \(V^k\) topologischer Abbildungen von \(R\) auf sich. Sie heiße zerstreuend (dispersive), wenn es zu irgend zwei Punkten von \(R\) immer Umgebungen gibt derart, daß bei hinreichend großem Betrage des Vektors \(v\) die Abbildung \(v\) keinen Punkt der einen Umgebung in einen der anderen verwandelt. Ist \(V^k\) zerstreuend, so ist \(R\) das topologische Produkt von \(v^k\) mit einem Teilraum \(R_k\) von \(R\). Ist \(R\) der \(n\)-dimensionale Zahlenraum und \(k > n - 2\), so verwandelt sich \(V^k\) durch Einführung geeigneter Koordinaten (in \(R\)) in eine Gruppe von Parallelverschiebungen. Beim Beweise werden die ``Querschnitte'' von \textit{H. Whitney} (Ann. Math., Princeton, (2) 34 (1933), 244-270; JFM 59.1256.*) benutzt sowie besondere topologische Eigenschaften der Kugelfläche -daher die Beschränkung auf \(k \geqq n - 2\).