Wilder continua and their subfamilies as coanalytic absorbers (Q517128)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Wilder continua and their subfamilies as coanalytic absorbers |
scientific article |
Statements
Wilder continua and their subfamilies as coanalytic absorbers (English)
0 references
16 March 2017
0 references
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.
0 references
hyperspace of continua
0 references
coanalytic
0 references
Wilder continuum
0 references
absorber
0 references
\(Z\)-set
0 references
Hilbert cube
0 references