Discrete subspaces of countably tight compacta

Partition relations (03E02) Ordinal and cardinal numbers (03E10) Continuum hypothesis and Martin's axiom (03E50) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Consistency and independence results in general topology (54A35) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20)

Review text

The main result of this paper is that under the assumption ``\(2^\kappa\) is a finite successor of \(\kappa\) for every cardinal \(\kappa\), in any countably tight compact \(T_2\) space there is a discrete subspace \(D\) with \(| \overline{D}| =| X| \). This gives a consistent confirmation of a conjecture of \textit{A. Dow} [Stud. Sci. Math. Hung. 42, 227--234 (2005; Zbl 1081.54004)]. Enroute to the proof of this result are two interesting lemmas: (1) Suppose \(X\) is countably compact and \(T_3\) and \(\lambda\) is a strong limit cardinal of countable cofinality, greater than the \(\pi\)-character of \(X\), and suppose \(| G| \geq \lambda\) for every nonempty open subset \(G\) of \(X\). Then \(X\) has a discrete subset \(D\) with \(| \overline {D}| \geq \lambda^\omega\). (2) Suppose \(\kappa\rightarrow(\lambda,\mu)^2\) and \(X\) is a \(T_3\) space with a left-separated subspace of cardinality \(\kappa\). Then either \(X\) has a discrete subset of size \(\lambda\) or a free sequence of length \(\mu\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Discrete subspaces of countably tight compacta

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