Ample continua in Cartesian products of continua (Q1705847): Difference between revisions

In this paper the authors study the so called \textit{fupcon property} for the Cartesian product of continua. The product of continua \(X \times Y\) has the fupcon property if whenever \(M \subseteq X \times Y\) is a continuum with full projections onto coordinate spaces, then \(M\) has the following property: for every open neighborhood \(U\) of \(M\) there is an open and connected set \(V\) such that \(M \subset V \subset U\). This notion can be naturally generalized to Cartesian products of more than two continua. Note that the abbreviation fupcon is for full projections imply connected neighborhoods. In Theorem 1.1. the authors prove that if \(S\) is a solenoid, then the product \([0,1] \times S\) has the fupcon property, answering a question posed by \textit{A. Illanes} [Acta Math. Hung. 148, No. 1, 73--82 (2016; Zbl 1374.54035)] in the positive. Based on Theorem 1.1. and Illanes' theorem (Theorem A in the paper) they prove that if \(S\) is a solenoid and \(K\) is a Knaster continuum, then \(K \times S\) has the fupcon property (Theorem 1.2. in the paper), answering a question posed by \textit{D. P. Bellamy} and \textit{J. M. Lysko} [Topol. Proc. 44, 223--231 (2014; Zbl 1325.54016)] in the positive. In Theorem 1.3. the authors prove that if \({\mathcal M}\) is Smith's nonmetric pseudo-arc (i.e.\ a Hausdorff chainable, homogeneous, hereditary equivalent and hereditary indecomposable continuum), then any Cartesian power of \({\mathcal M}\) has the fupcon property. At the end of the paper, the authors state the following questions. (i) [Bellamy and Lysko, loc. cit.] Does the product of two nonhomeomorphic solenoids have the fupcon property? (ii) Suppose \(X\) and \(Y\) are 1-dimensional continua such that \(X \times Y\) has the fupcon property. Does the product \(X_P \times Y_P\) have the fupcon property? (iii) Does the product of \([0,1]\) and the pseudo-circle have the fupcon property? (iv) Does the product of the pseudo-arc and the pseudo-circle have the fupcon property? (v) Does the product of two pseudo-circles have the fupcon property? (vi) [Illanes, loc. cit.] Let \(X\) and \(Y\) be chainable Kelly continua. Does \(X \times Y\) have the fupcon property?