Some applications of the theory of Katětov order to ideal convergence
Let \(\mathcal{I}\) be an ideal on~\(\omega\). A~sequence \(\{x_n\}_{n<\omega}\) in~\(X\) is said to be \(\mathcal{I}\)-convergent to an \(x\in X\), if \(\{n:x_n\notin U\}\in\mathcal{I}\) for every open neighborhood~\(U\) of~\(x\). A~set \(A\subset X\) is called \(\mathcal{I}\)-closed, if \(A\) contains all \(x\in X\) for which there is a~sequence of elements of~\(A\) that is \(\mathcal{I}\)-convergent to~\(x\). A~function \(f:X\to Y\) is called \(\mathcal{I}\)-continuous, if \(f^{-1}(E)\) is \(\mathcal{I}\)-closed in~\(X\) for every \(\mathcal{I}\)-closed set \(E\) in~\(Y\). An ideal \(\mathcal{I}\) on~\(\omega\) is said to be \(K\)-uniform, if for every \(\mathcal{I}\)-positive set \(A\subseteq\omega\) the ideal \(\{A\cap B:B\in\mathcal{I}\}\) on~\(A\) is below the ideal~\(\mathcal{I}\) in the Katětov partial order. The authors prove that if \(\mathcal{I}\)~is \(K\)-uniform, then every finite union of \(\mathcal{I}\)-closed sets is \(\mathcal{I}\)-closed. On the other hand there are a~tall \(F_\sigma\)-ideal~\(\mathcal{I}\) and a~countable zero-dimensional Hausdorff space with character equal to the continuum in which there are two \(\mathcal{I}\)-closed sets with non-\(\mathcal{I}\)-closed union. The authors prove that the following statement is independent of~ZFC: ``For every Hausdorff space~\(X\) of character less than the continuum and for every tall \(F_\sigma\)-ideal~\(\mathcal{I}\), finite unions of \(\mathcal{I}\)-closed sets in~\(X\) are \(\mathcal{I}\)-closed. The authors also study the preservation of \(\mathcal{I}\)-convergence by maps and in particular by \(\mathcal{I}\)-continuous maps.
- F_σ-ideals and ω_1 ω^*_1-gaps in the Boolean algebras Ρ(ω)/I.
- Homogeneous ideals on countable sets
- scientific article; zbMATH DE number 787541 (Why is no real title available?)
- Katětov order on Borel ideals
- Mathias forcing and combinatorial covering properties of filters
- The cardinal characteristic for relative \(\gamma \)-sets
- Towers in filters, cardinal invariants, and Luzin type families
- Spaces not distinguishing ideal convergences of real-valued functions. II
- \( \mathcal{I} \)-connected spaces and the images of metric spaces
- \(\mathcal{I}_{sn}\)-sequential spaces and the images of metric spaces
- Katětov and Katětov-Blass orders on F_ -ideals
- No minimal tall Borel ideal in the Katětov order
- On ideal-derived-set mappings in uniform spaces
- Katětov order between Hindman, Ramsey and summable ideals
- The first-countability in generalizations of topological groups with ideal convergence
- A unified approach to Hindman, Ramsey, and van der Waerden spaces
- On G_s-convergence and G_s-countable compactness
- The symmetrizability in weak topological groups with ideal continuity
- \(\mathcal{I}\)-\(sn\)-metrizable spaces and the images of semi-metric spaces
- \(\mathcal{I}\)-closed sets and \(\mathcal{I}\)-continuous functions
This page was built for publication: Some applications of the theory of Katětov order to ideal convergence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820704)
