English

Ideal weak QN-spaces

General Topology 2018-04-16 v2

Abstract

This paper is devoted to studies of IwQN-spaces and some of their cardinal characteristics. Recently, \v{S}upina proved that I is not a weak P-ideal if and only if any topological space is an IQN-space. Moreover, under p=c\mathfrak{p}=\mathfrak{c} he constructed a maximal ideal I (which is not a weak P-ideal) for which the notions of IQN-space and QN-space do not coincide. In this paper we show that, consistently, there is an ideal I (which is not a weak P-ideal) for which the notions of IwQN-space and wQN-space do not coincide. We also prove that for this ideal the ideal version of Scheepers Conjecture does not hold (this is the first known example of such weak P-ideal). We obtain a strictly combinatorial characterization of non(IwQN-space){\tt non}(\text{IwQN-space}) similar to the one given by \v{S}upina in the case of non(IQN-space){\tt non}(\text{IQN-space}). We calculate non(IQN-space){\tt non}(\text{IQN-space}) and non(IwQN-space){\tt non}(\text{IwQN-space}) for some weak P-ideals. Namely, we show that bnon(IQN-space)non(IwQN-space)d\mathfrak{b}\leq{\tt non}(\text{IQN-space})\leq{\tt non}(\text{IwQN-space})\leq\mathfrak{d} for every weak P-ideal I and that non(IQN-space)=non(IwQN-space)=b{\tt non}(\text{IQN-space})={\tt non}(\text{IwQN-space})=\mathfrak{b} for every Fσ\mathtt{F_\sigma} ideal I as well as for every analytic P-ideal I generated by an unbounded submeasure (this establishes some new bounds for b(I,I,Fin)\mathfrak{b}(I,I,Fin)). As a consequence, we obtain some bounds for add(IQN-space){\tt add}(\text{IQN-space}). In particular, we get add(IQN-space)=b{\tt add}(\text{IQN-space})=\mathfrak{b} for analytic P-ideals I generated by an unbounded submeasure. By a result of Bukovsk\'y, Das and \v{S}upina it is known that in the case of tall ideals I the notions of IQN-space (IwQN-space) and QN-space (wQN-space) cannot be distinguished. We prove that if I is a tall ideal and X is a topological space of cardinality less than cov(I){\tt cov^*}(I), then X is an IwQN-space if and only if it is a wQN-space.

Keywords

Cite

@article{arxiv.1709.08178,
  title  = {Ideal weak QN-spaces},
  author = {Adam Kwela},
  journal= {arXiv preprint arXiv:1709.08178},
  year   = {2018}
}
R2 v1 2026-06-22T21:53:00.889Z