Fixed point sets of autohomeomorphisms of uncountable products (Q1371925)

A space \(X\) is defined to have the complete invariance property (CIP) if every nonempty closed subset of \(X\) is the fixed point set of a (continuous) self-mapping of \(X\) [\textit{L. E. Ward jun.}, Pac. J. Math. 47, 553-565 (1973; Zbl 0251.54025)]. If this condition holds for autohomeomorphisms of \(X\), then we say that \(X\) has the complete invariance property with respect to homeomorphisms (CIPH) [\textit{J. R. Martin}, Proc. Am. Math. Soc. 103, No. 4, 1293-1298 (1988; Zbl 0652.54029)]. Recently it has been shown [the authors with \textit{K. H. Hofmann}, Trans. Am. Math. Soc. 349, No. 11, 4537-4554 (1997; Zbl 0888.22001)] that every infinite compact metrizable group has CIPH as does any metrizable product which contains a positive-dimensional compact group as a factor. However, unlike the metrizable case, nonmetrizable products containing the real line \(\mathbb{R}\) or the circle group \(\mathbb{T}\) as a factor need not have CIP and there are examples of product spaces failing to have CIP even though each factor has CIPH. For instance, \(\mathbb{D}^\tau\times \mathbb{R}\), \(\mathbb{D}^\tau\times \mathbb{T}\) (where \(\mathbb{D}\) denotes the two-point discrete group and \(\tau\) is an uncountable cardinal), Tychonoff cubes and nonmetrizable ANR-compacta all fail to have CIP [\textit{J. R. Martin} and \textit{W. Weiss}, Trans. Am. Math. Soc. 284, 337-353 (1984; Zbl 0543.54037); \textit{P. Koszmider}, Can. Math. Bull. 35, No. 2, 221-229 (1992; Zbl 0796.54056); \textit{A. Chigogidze} and \textit{J. R. Martin}, Topology Appl. 64, No. 3, 201-218 (1995; Zbl 0832.54036)]. In this paper a sufficient condition is given for an infinite product of spaces to have CIPH. In particular, a topological power of uncountably many copies of a compact metrizable group, the real line or the integers \(\mathbb{Z}\) has CIPH. Consequently, given an uncountable cardinal \(\tau\), \(\mathbb{D}^\tau\times \mathbb{R}\) and \(\mathbb{D}^\tau\times \mathbb{T}\) are examples showing that the product of two groups having CIPH need not have CIP. Our sufficient condition does, however, ensure that \(\mathbb{D}^\tau\times \mathbb{R}^\lambda\) and \(\mathbb{D}^\tau\times \mathbb{T}^\lambda\) have CIPH if \(\lambda\geq\tau\). The paper concludes with an example which shows that topological powers of homogeneous locally connected continua which are not groups need not preserve CIPH. In particular, we observe that, for each positive integer \(n\), the \(n\)-dimensional universal Menger cube \(\mu^n\) has CIPH while \((\mu^n)^\tau\) fails to have CIPH for any \(\tau\) with \(2\leq \tau\leq 2^\omega\).