Sur les invariants des transformations continues d'ensembles (Q567074)

Die Arbeit stellt sich als Hauptziel, die Darstellung einer neuen (ziemlich künstlichen, aber - wie es scheint - erfolgreichen) allgemeinen Methode anzugeben, mit deren Hilfe es ermöglicht wird, eine Reihe von neuen Invarianten der stetigen Abbildungen aus den gegebenen abzuleiten. Die Grundidee ist die folgende: Es sei eine nichtleere Menge \(M\) in einem metrischen (mit der Metrik \(\varrho ^0\)) Raume \(E^0\) gegeben. Wir betrachten nun eine beliebige topologische Eigenschaft \(W\) dieser Menge, die den folgenden zwei Bedingungen genügen soll: 1) jede Menge, die aus einem einzigen Punkte gebildet ist, soll diese Eigenschaft besitzen, 2) besitzt jede der Mengen \(M_1\) und \(M_2\), wobei \(M_1M_2\neq 0\) ist, die Eigenschaft \(W\), so besitzt sie auch die Summe \(M_1+M_2\). Verf. unterwirft einer genaueren Untersuchung drei solche Eigenschaften \(W_0, W_1, W_2\), welche besagen, daß\ \(M\) zusammenhängend ist resp. ein Kontinuum resp. ein \textit{Peano}sches Kontinuum darstellt. Verf. definiert alsdann eine transfinite Folge von metrischen Räumen \(E^{W,\xi }\) (mit entsprechender Metrik \(\varrho ^{W,\xi }\)) und zwar in folgender Weise: Zuerst wird gesetzt \(E^{W,0}=E^0\), \(\varrho ^{W, 0}=\varrho ^0\). Setzen wir nun voraus, daß\ die Metrik \(\varrho ^{W,\xi }\) aller Räume \(E^{W,\xi }\) (vom Durchmesser \(\delta \leq 1\)) für alle \(\xi <\alpha \) schon definiert wurde, dann definieren wir \[ \varrho ^{W,\alpha }(x,y)=\sup _{\xi <\alpha }[\inf _{M^\xi }\delta (M^\xi )], \] wo \(M^\xi \) alle Untermengen von \(E^{W,\xi }\) durchläuft, welche die Eigenschaft \(W\) besitzen und die beiden Punkte \(x,y\) enthalten. Gibt es zufällig keine Mengen \(M^\xi \) von dieser Eigenschaft, so wird einfach gesetzt: \[ \varrho ^{W,\alpha }(x,y)=1. \] Die Existenz einer solchen Folge von Räumen \(E^{W,\alpha }\) wird nachgewiesen und das gegenseitige Verhältnis der Räume dieser Folge untersucht (insbesondere in bezug auf die oben genannten Eigenschaften \(W_0, W_1, W_2\)). Neben anderen Resultaten gewinnt Verf. eine einfache notwendige und hinreichende bedingung dafür, daß\ die Metrik \(\varrho ^{W,\alpha +1}\) der Metrik \(\varrho ^{W,\alpha }\) äquivalent sei (unter einer zusätzlichen Einschränkung des Charakters der Eigenschaft \(W\)). Unter weiteren Einschränkungen der Eigenschaft \(W\) erhält Verf. einige Folgerungen über den Charakter aller Räume \(E^{W,\alpha }\) in Abhängigkeit von dem Charakter des Raumes \(E^0\). Am Schluß\ des ersten Teiles der Arbeit wird eine Methode angegeben, durch welche man, von einer gegebenen invarianten Eigenschaft \(W\) ausgehend, mit Hilfe der Räume \(E^{W,\alpha }\) eine (im allgemeinen transfinite) Reihe von invarianten Eigenschaften konstruieren kann. Der zweite Teil der Arbeit bringt Anwendungen auf einige Probleme der Theorie der Invarianten von stetigen Transformationen. Insbesondere wird der Beweis der Existenz einer nichtabzählbaren Menge (von der Mächtigkeit \(\mathfrak c\)) von Kontinuen angegeben, von welchen keines ein stetiges Bild jedes anderen darstellt. Ein Verzeichnis von offenen Fragen in dieser Richtung schließt die Arbeit.