Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1709.08178

Ideal weak QN-spaces

Adam Kwela
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper is devoted to studies of IwQN-spaces and some of their cardinal characteristics. Recently, Šupina proved that I is not a weak P-ideal if and only if any topological space is an IQN-space. Moreover, under $\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 ${\tt non}(\text{IwQN-space})$ similar to the one given by Šupina in the case of ${\tt non}(\text{IQN-space})$. We calculate ${\tt non}(\text{IQN-space})$ and ${\tt non}(\text{IwQN-space})$ for some weak P-ideals. Namely, we show that $\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 ${\tt non}(\text{IQN-space})={\tt non}(\text{IwQN-space})=\mathfrak{b}$ for every $\mathtt{F_σ}$ ideal I as well as for every analytic P-ideal I generated by an unbounded submeasure (this establishes some new bounds for $\mathfrak{b}(I,I,Fin)$). As a consequence, we obtain some bounds for ${\tt add}(\text{IQN-space})$. In particular, we get ${\tt add}(\text{IQN-space})=\mathfrak{b}$ for analytic P-ideals I generated by an unbounded submeasure. By a result of Bukovský, Das and Š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 ${\tt cov^*}(I)$, then X is an IwQN-space if and only if it is a wQN-space.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Kwela. 2018-01-23. Ideal weak QN-spaces. https://doi.org/10.1016/j.topol.2018.03.007

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The circle as a topological fractal

We prove that no family of two continuous self-maps witnesses that the circle is a topological fractal, answering a question of Karasová and the present author. Since three maps are known to suffice, this bound is optimal. In contrast, for every $\varepsilon>0$ there are two continuous self-maps of the circle, depending on $\varepsilon$, whose images cover the circle and an integer $N$ such that every composition of $N$ of them has image of diameter less than $\varepsilon$. Thus two maps suffice at any prescribed scale, but no fixed pair works at all scales.

math.GN↗
arXiv2026

Finite-Point Metrizable Coarsenings: Compatible Gauges, Simplicial Metrics, and Hausdorff Lower Bounds

Let $(X,τ)$ be metrizable and let $F=\{a_1,\ldots,a_k\}\subseteq X$, where $2\le k<\infty$. We represent all metrizable topologies $σ\subseteqτ$ agreeing with $τ$ on $X\setminus F$ by compatible systems of continuous gauges $s_i:X\to[0,1]$ with $s_i^{-1}(0)=\{a_i\}$. The condition $\inf_X\max\{s_i,s_j\}>0$ for $i\ne j$ is equivalent to both Hausdorffness and metrizability of the prescribed gauge topology. A normalized product map into the standard simplex gives an explicit metric; its triangle inequality follows from a simplex slack inequality. This metric is complete whenever the auxiliary bounded compatible metric is complete. For two compatible systems, their coordinatewise minimum describes the intersection topology. It is compatible exactly when the two coarsenings have a common Hausdorff lower bound; in that case the intersection is metrizable and is their meet. Otherwise every common lower topology is non-Hausdorff. A closed-discrete construction produces such an obstructed pair for every noncompact metrizable space and every finite exceptional set with at least two points. Consequently, for these exceptional sets, the family is downward directed, or is a lattice, if and only if $(X,τ)$ is compact, in which case it consists only of $τ$.

math.GN↗
arXiv2026

Journey into special $T_1$-spaces

In this survey, we review certain types of special \(T_{1}\) spaces and their associated fixed-point theorems. Kupka introduced the notion of a feeble topological contraction, which naturally generalizes Lipschitz contractions defined on metric spaces. Specifically, Kupka established a fixed-point theorem for feeble topological contractions possessing a closed graph within the product of arbitrary \(T_{0}\) spaces. Furthermore, the \(T_{1}\) separation axiom is shown to guaranty the uniqueness of such fixed points. Finally, we discuss peripheral Hausdorff and locally Hausdorff spaces within the context of these fixed-point results.

math.GN↗