Openness of the set of boundary preserving maps of an annulus with intermingled attracting basins (Q948499)

\textit{I. Kan} [Bull. Am. Math. Soc., New Ser. 31, No. 1, 68--74 (1994; Zbl 0853.58077)] constructed a skew product \(F:X\rightarrow X\) over a duplication of a circle \(X=S^{1}\times I,\) \(S^{1}=\mathbb{R}/2\pi\mathbb{Z},\) \(I=[0,1],\) \(\left( y,x\right) \rightarrow\left( 2y,f_{y}(x)\right) \) with the the property that the \(\omega\)-limit sets of almost all points of \(X\) under this map belong to the boundary \(\partial X=A_{0}\cup A_{1},\) where \(A_{0}=S^{1}\times\left\{ 0\right\} \) and \(A_{1}=S^{1}\times\left\{ 1\right\} .\) Both basins \(\mathcal{B}_{0}\) and \(\mathcal{B}_{1}\) (sets of those points whose \(\omega\)-limit sets belong, respectively, to \(A_{0}\) and \(A_{1}\)) are dense in \(X,\) and their union has full measure. All nearby skew products \(G:\left( x,y\right) \rightarrow\left( 2y,g_{y}(x)\right) \) have the same property. Although Kan asserted that all boundary points preserving maps from a small \(C^{1}\) neighborhood of \(F\) have the same property of density of basins, he did not publish a detailed proof of this fact. The authors prove a weaker form of Kan's theorem stating that each basin \(\mathcal{B}_{i}\) has positive Lebesgue measure and is dense, but it is not established that the union of \(\mathcal{B}_{0}\) and \(\mathcal{B}_{1}\) has full measure.