Über die Urysohnschen Konstanten. (Q559512)

An eine Frage von \textit{Mazurkiewicz} ankn\"pfend definiert Verf. \textit{Urysohn}\-sche Konstanten für die Dimensionsbergriffe nach willkürlichen (evtl. sogar variablen) Koeffizientenbereichen. Sei \(\mathfrak J\) ein Koeffizientenbereich, \(Z\) ein ``wahrer Zyklus'' nach \(\mathfrak J, F'\) ein Träger von \(Z\), in dem \(Z\) nicht homolog null ist. Die Zahl \(d\) gebe an, daß\ \(Z\) in der \(d\)-Umgebung von \(F'\) (genommen in \(R^n\)) noch nicht nullhomolog sei. Die obere Grenze von \(d\) heiße \(d(Z,F')\); die obere Grenze der \(d(Z,F')\), wenn \(F'\) alle Träger von \(Z\) in \(F\) durchläuft, heiße \(d(Z)\); die obere Grenze von \(d(Z)\), wenn \(Z\) alle berandenden \((n-1)\)-dimensionalen Zyklen von \(F\) durchläuft, heiße \(u_{\mathfrak J}^r\), die \(r\)-te \textit{Urysohn}sche Konstante. Ist \(r\) die Dimension von \(F\) zum Koeffizientenbereich \(\mathfrak J\), so ist \(u_{\mathfrak J}^r\neq 0\) für \(i\leqq r\) und \(u_{\mathfrak J}^r=0\) für \(i>r\). Der Durchschnitt einer absteigenden Folge \(r\)-dimensionaler Mengen ist \(r\)-dimensional dann und nur dann, wenn die \(r\) -ten \textit{Urysohn}schen Konstanten über eine positiven Schranke bleiben. Ist die Dimension von \(F_1F_2\leqq r-2\), so ist \[ u_{\mathfrak J}^r(F_1+F_2)=\text{Max} \big ( u_{\mathfrak J}^r(F_1),u_{\mathfrak J}^r(F_2)\big ) \qquad \text{usw}. \] Der Satz von \textit{Mazurkiewicz} (Sur les composantes dimensionnelles d'un espace compact, Fundamenta 19 (1932), 243-246; F. d. M. 58) gestattet nun die Verallgemeine\-rung auf beliebige \textit{Alexandroff}sche Dimensionsbegriffe: Die Menge der dimensionel\-len Komponenten von \(F\) ist abzählbar oder von der Mächtigkeit des Kontinuums.