The openness of induced maps on hyperspaces

From MaRDI portal





For a continuum \(X\) with metric \(d\), \(C(X)\) denotes the hyperspace of subcontinua of \(X\) with the Hausdorff metric \(H\). If \(f:X\to Y\) is a continuous onto mapping between continua then by letting \(f_1(A)= f(A)\), for every \(A\in C(X)\), is defined a continuous mapping \(f_1:C(X)\to C(Y)\). In a similar way \(f_2: C(C(X))\to C(C(Y))\) is defined. In [Induced mappings on hyperspaces, preprint] \textit{H. Hosokawa} proved that if \(f_1\) is open, then \(f\) is open, and he gave an example showing that the converse of this implication is not true. In the same paper he asked: Is there an open mapping \(f\) such that \(f_1\) is open but \(f_2\) is not open? In the paper under review the following result is obtained: Theorem. Let \(f:X\to Y\) be an onto mapping. If \(Y\) is nondegenerate and \(f_2\) is open, then \(f\) is a homeomorphism. From this theorem follows that for the natural projection \(f:[0,1]\times [0,1]\to [0,1]\), \(f_2\) is not open. Hence an answer to Hosokawa's question is obtained.











This page was built for publication: The openness of induced maps on hyperspaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4368884)