Some set theoretic operators preserving ideal Hausdorff convergence (Q2148875): Difference between revisions

Given a normed space \(X\), let \(Cl(X)\) be the family of closed subsets of \(X\). The former space \(Cl(X)\) is endowed with the Hausdorff distance \(H\) defined by \[ \forall A,B \in Cl(X), \quad H(A,B):=\max\left\{\sup_{a \in A}\inf_{b \in B}\|a-b\|,\, \sup_{b \in B}\inf_{a \in A}\|a-b\|\right\}. \] Let \(\mathcal{I}\) be an ideal on \(\mathbb{N}\). Pick sequences \((A_n), (B_n)\) and set \(A,B\) in \(Cl(X)\) such that \(\mathcal{I}\text{-}\lim A_n=A\) and \(\mathcal{I}\text{-}\lim B_n=B\). Fix a real sequence \((\alpha_n)\) convergent to some \(\alpha \in \mathbb{R}\). The main results of the authors are: \begin{itemize} \item[1.] \(\mathcal{I}\text{-}\lim \mathrm{conv}A_n=\mathrm{conv}A\), provided that they are compact; \item[2.] \(\mathcal{I}\text{-}\lim (A_n+B_n)=A+B\), provided that they are compact; \item[3.] \(\mathcal{I}\text{-}\lim \alpha_n A_n=\alpha A\), provided that they are compact; \item[4.] \(\mathcal{I}\text{-}\lim (A_n\cup B_n)=A\cup B\); \item[5.] \(\mathcal{I}\text{-}\lim (A_n\times B_n)=A \times B\); \item[6.] \(\mathcal{I}\text{-}\lim \phi(A_n)=\phi(A)\), provided that \(\phi\) is uniformly continuous. \end{itemize} Lastly, the latter cannot be weakened to separate continuity if \(X=\mathbb{R}^2\).