Submaximal spaces and cardinal invariants

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35)

Abstract: We give a combinatorial characterization of countable submaximal subspaces of

2^{k} a p p a

. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of

2^{o m e g a_{1}}

whilst

m a t h f r a k c = o m e g a_{2}

. Combining this with previous results, we construct a disjointly tight countable irresolvable space of weight

< m a t h f r a k c

, answering a question of Bella and Hruv{s}'{a}k.

Review text

A space $X$ is \textit{crowded} if $X$ contains no isolated points. A crowded Hausdorff space $X$ is \textit{irresolvable} if $X$ does not contain two disjoint dense subsets, is \textit{submaximal} if every dense set is open, and is \textit{disjointly tight} if for every $p\in X$ which is an accumulation point of a set $A$, there are disjoint subsets $A_0, A_1$ of $A$, such that $x\in A_0\cap A_1$. Using forcing theory and maximal independent families in the set theory setting of $ZFC+\mathfrak{c}=\omega_2$, a countable submaximal subspace of the product space $2^{\omega_1}$ is constructed. This example in combination with another known example is used to construct a space of weight $<\mathfrak{c}$ that answers a 2020 question by Bella and Hrušak [\textit{A. Bella} and \textit{M. Hrusak}, Appl. Gen. Topol. 21, No. 2, 326--329 (2020; Zbl 1450.54015)].

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Submaximal spaces and cardinal invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140633)