On dimensions modulo a compact metric ANR and modulo a simplicial complex (Q439297): Difference between revisions

In \textit{J. Krzempek} [Czech. Math. J. 60, No. 2, 445--456 (2010; Zbl 1224.54077)] the author defined an interesting operation: to any pair of non-empty compact spaces \(X, Y\) he assigned a compact space \(Z(X,Y)\) such that each component of \(Z(X,Y)\) was homeomorphic to a component of \(X\) or \(Y\). In the present paper the behavior of Fedorchuk's dimension functions \(K\)-dim, \(L\)-dim, \(K\)-Ind and \(L\)-Ind (see \textit{V. V. Fedorchuk} [Mat. Vesn. 61, No. 1, 25--52 (2009; Zbl 1199.54186)]), where \(K\) is a finite simplicial complex and \(L\) is a compact metric ANR, under the operation \(Z(X, Y)\) is studied. In particular, the author proves that for any compact space \(X\) we have \(L\)-dim \(Z(X, X) = L\)-dim \(X\) and (under some assumption on \(X\)) \(L\)-Ind \(Z(X, X) = L\)-Ind \(X + 1\). This allows to construct for any metric continuum \(C\) with \(L\)-dim \(C = n \geq 1\) and any ordinal \(\alpha \geq n\) a compact Fréchet space \(X_{C, \alpha}\) such that \(L\)-dim \(X_{C, \alpha} = n\), \(L\)-Ind\(X_{C, \alpha} = \alpha\) and each component of \(X_{C, \alpha}\) is homeomorphic to \(C\). Furthermore, it is observed that the equality \(K\)-dim \(Z(X, X) = K\)-dim \(X\) is also valid but it often happens that \(K\)-Ind \(Z(X, X) = K\)-Ind \(X\). The author divides all compacta into two non-empty classes by a function called the dimensional strength degree K-str admitting two values \(0\) and \(1\) and shows that if \(X\) is compact Fréchet with \(\partial \Delta^k\)-str \(X = 1\) then \(\partial \Delta^k\)-Ind \(Z(X, X) = \) \(\partial \Delta^k\)-Ind \(X + 1\), where \(\partial \Delta^k\) is the simplicial complex consisting of the proper faces of a \(k\)-dimensional simplex \(\Delta^k\). This approach enables to obtain the following examples: let \(C\) be a metric continuum and \(n \geq 1\) then there exists a compact Fréchet space \(X_C\) with components homeomorphic to \(C\) and \(\partial \Delta^k\)-dim \(X = n\) such that (a) \(\partial \Delta^k\)-Ind \(X = n+1\) whenever \(k \geq 1\) and dim \(C = k(n+1)-1\) (in this case \(\partial \Delta^k\)-dim \(C = n\) and \(\partial \Delta^k\)-str \(C = 1\)), or (b) \(\partial \Delta^k\)-Ind \(X = n\) while \(|\partial \Delta^k|\)-Ind \(X = n+1\) (here \(|K|\) is a geometric realization of the simplicial complex \(K\)) whenever \(k \geq 2\) and dim \(C = kn\) (in this case \(\partial \Delta^k\)-dim \(C = n\) and \(\partial \Delta^k\)-str \(C = 0\)). The last statement shows that the equality \(K\)-Ind = \(|K|\)-Ind does not hold for all compact spaces unlike to the realm of all hereditarily normal spaces where the equality is valid (it was proved by V. V. Fedorchuk).