Contribution à l'étude des transformations essentielles. (Q2597288)

Der Begriff der Wesentlichkeit einer Abbildung wird lokalisiert: Es sei \(f\) eine (eindeutige stetige) Abbildung des Raumes \(X\) in den Raum \(Y\) und \(B\) eine Teilmenge von \(Y\); dann heißt \(B\) ``wesentlich bedeckt'', wenn es eine solche Umgebung \(U\) von \(f^{-1}(B)\) gibt, daß es unmöglich ist, einen Punkt von \(B\) durch eine stetige Abänderung von \(f\), während welcher das Bild von \(X - U\) immer fremd zu \(B\) bleibt, von der Bedeckung durch das Bild von \(X\) zu befreien. Der Zusammenhang zwischen diesem Begriff und dem der gewöhnlichen Wesentlichkeit wird für den Fall untersucht, daß \(B = V\) eine \(m\)-dimensionale geschlossene Mannigfaltigkeit ist, welche in eine \(n\)-dimensionale Mannigfaltigkeit \(Y = W\) ``lokal regulär'' eingebettet ist; diese lokale Regularität bedeutet: jeder Punkt von \(V\) besitzt eine Umgebung in \(W\), in der sich cartesische Parameter \(x_1, \dots, x_n\) als stetige Funktionen des Ortes so einführen lassen, daß \(V\) in dieser Umgebung durch \(x_{m+1} = \cdots = x_n = 0\) gegeben ist. Der Hauptsatz lautet: Wird \(V\) durch die Abbildung \(f\) des (willkürlichen metrischen) Raumes \(X\) in die Mannigfaltigkeit \(W\) wesentlich bedeckt, so wird die Menge \(f^{-1}(V)\) durch \(f\) wesentlich (im gewöhnlichen Sinne) auf \(V\) abgebildet. Zusatz: Die Voraussetzung, daß \(V\) lokal regulär in \(W\) eingebettet sei, ist entbehrlich, falls \(V\) eine geschlossene Linie und falls für jede kompakte Teilmenge \(C\) von \(V\) die Menge \(f^{-1}(C)\) kompakt ist. Aus diesen Sätzen werden Folgerungen auf diejenigen Abbildungen des euklidischen \(R_n\) in sich gezogen, bei welchen die Urbilder der Bildpunkte beschränkt sind. Ferner wird eine polyedrale, jedoch nicht lokal reguläre, Einbettung einer Kugerfläche \(S_2\) in den euklidischen \(R_4\) angegeben. Der Hauptsatz ist eine leichte Folgerung aus einem Satz über die Fortsetzbarkeit stetiger Abbildungsscharen.