Decompositions and dimension of closed sets in \(R^n\). (Q2597338)

Eine abgeschlossene Teilmenge \(F\) des euklidischen \(R^n\) ist dann und nur dann von der Dimension \(r\), wenn es ein \(\delta >0\) gibt, so daß \(F\) darstellbar ist als Vereinigungsmenge von abzählbar vielen abgeschlossenen Mengen \(F_{i}\) (\(i = 1\), 2,\dots ) mit Durchmesser kleiner als \(\delta \) und dim \((F_iF_j)\leqq r-1\) \((i\neq j)\) und daß ferner für jede solche Darstellung von \(F\) für mindestens ein Indexpaar \(m\), \(n\) die Gleichung dim \((F_mF_n)=r-1\) stattfindet. Dieser (für endliche Zerlegungen bekannte) Satz wird mit Hilfe des folgenden Satzes bewiesen: Es sei \(S(p, \delta )\) die offene Vollkugel um \(p\) vom Radius \(\delta \). Ist \(F\subset R^n\) abgeschlossen, \(F=\sum F_i, F_i\), abgeschlossen (\(i=1\), 2,\dots ), \(p\in F\), \(\delta > 0\), \(z^{n-r-1}\) ein Zykel in \(S(p, \delta )-F\), welcher in \(S(p, \delta ) - F_i\) berandet (\(i =1\), 2,\dots ), nicht aber in \(S(p, \delta )-F\), so gibt es ein Indexpaar \(m\), \(n\) mit \(\dim(F_mF_nS(p, \delta ))\geqq r-1\). Nebenbei folgt hieraus auch, daß die Vereinigungsmenge von abzählbar vielen abgeschlossenen Mengen, von denen keine den \(R^n\) zerlegt und deren paarweise Durchschnitte höchstens von der Dimension \(n - 3\) sind, ebenfalls den \(R^n\) nicht zerlegt, was als eine Verallgemeinerung eines Satzes von \textit{A. M. Mullikin} (Trans. Amer. math. Soc. 24 (1923), 144-162; F. d. M. 49, 143 (JFM 49.0143.*)) angesehen werden kann.