Wilder continua and their subfamilies as coanalytic absorbers (Q517128)

The coanalytic subspaces \(\mathcal W\) of Wilder continua, \(\mathcal {CW}\) of continuum-wise Wilder continua, and \(\mathcal {HA}\) of hereditarily arcwise-connected continua in the space \(\mathcal C(I^n)\) of all compact continua in \(I^n=[0,1]^n\), \(2\leq n\leq\infty\), are investigated. Let us point out that Wilder continua are connected sets containing at least three points such that for any three points \(a,b,c\) there is a continuum containing \(a\) and exactly one point of \(b\) and \(c\). Continuum-like Wilder continua are defined similarly, the role of the three points is played by triples of disjoint sets of subcontinua. The main result says that \(\mathcal F\) being any of the families \(\mathcal W\), \(\mathcal {CW}\), and \(\mathcal {HA}\) in \(I^n\) for \(n\geq 2\) is strongly coanalytic-universal (for each compact \(K\subset I^{\infty}\), each continuous \(f\) of \(I^{\infty}\) to \(\mathcal C(I^n)\) with \(f(K)\) a \(Z\)-set, and each coanalytic \(C\subset I^{\infty}\), there is a continuous mapping \(g\) of \(I^{\infty}\) to \(\mathcal C(I^n)\) with \(g=f\) on \(K\), \(g(I^{\infty})\) is a \(Z\)-set, and \(g^{-1}(\mathcal F)\setminus K=C\setminus K\)). Using a result of \textit{A.~Samulewicz} [Topology Appl. 154, No. 5, 985--995 (2007; Zbl 1119.54009)], it follows that for \(n\geq 3\), the families above are coanalytic absorbers. The construction in the proof of the main result is a modification of a construction from the paper of A.~Samulewicz [loc. cit.]. The argument includes an application of the Janiszewski Boundary Bumping Theorem.