Über die lokale Dimension von Mengensummen. (Q559505)

Beweis des Satzes: Sind \(M\) und \(N\) zwei in ihrer Summe abgeschlos\-sene separable Mengen, so gilt: \[ \text{Max} (\dim _pM,\dim _pN)\leqq \dim _p(M+N)\leqq \text{Max}(\dim _pM,\dim _pN,1+\dim MN). \] Diese Formel läßt sich leicht auf endlich viele Summanden verallgemeinern. Eine Verschärfung erhält man, indem man \(1+\dim MN\) durch \(1+\text{Min}(\dim _pZMN)\) ersetzt, wobei sich das Minimum auf alle Umgebungen \(Z\) von \(p\) bezieht.