Transformations of enumerable sets which are dense in an interval. (Q2590731): Difference between revisions

Verf. vervollständigt wesentlich Ergebnisse von \textit{P. Urysohn} (Fundam. Math., Warszawa, 7 (1925), 30-137; F. d. M. 52, 590 (JFM 52.0590.*)) und \textit{W. Sierpiński} (Mathematica, Cluj, 11 (1935), 222-228; JFM 61.1101.*) über die topologischen Transformationen zweier abzählbarer Mengen, die in einem Intervall eines euklidischen Raumes überall dicht sind. Das Hauptergebnis lautet: \(E\) und \(F\) seien zwei abzählbare, im Intervall \(0\leqq x\leqq 1\) überall dichte Mengen; \(\varepsilon <1\), \(N\) ganz, seien gegebene positive Zahlen. Dann kann man im Intervall \(0\leqq x\leqq 1\) eine Funktion \(f(x)\) definieren, die eine umkehrbar eindeutige Zuordnung zwischen \(E\) und \(F\) herstellt und folgende Bedingungen erfüllt: 1) \(f(x)\) ist konvex und wachsend;\ \ 2) \(f^{(n)}(x)\) existiert für \(n = 1, 2,\ldots, N\); 3) \(|f'(x) - 1|<\varepsilon\);\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 4) \(|f^{(n)}(x)|<\varepsilon\) für\ \ \ \ \(n = 2, 3,\ldots, N\). Sind \(E\) und \(F\) in Intervallen verschiedener Länge enthalten, so ersetze man in Bedingung 3) die 1 durch das Verhältnis der Längen. Ferner betrachtet Verf. den Fall, daß die beiden Mengen \(E\) und \(F\) überall dicht sind in einem unendlichen Intervall, und beweist dort ein entsprechendes Ergebnis, das man auch leicht auf mehrdimensionale Räume ausdehnen kann.