First countable almost discretely Lindelöf T₃ spaces have cardinality at most continuum

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Sequential spaces (54D55)

Abstract: A topological space

X

is called almost discretely Lindel"of if every discrete set

D s u b s e t X

is included in a Lindel"of subspace of

X

. We say that the space

X

is {em

m u

-sequential} if for every non-closed set

A s u b s e t X

there is a sequence of length

l e m u

in

A

that converges to a point which is not in

A

. With the help of a technical theorem that involves elementary submodels, we establish the following two results concerning such spaces. (1) For every almost discretely Lindel"of

T_{3}

space

X

we have

| X | l e 2^{c h i (X)}

. (2) If

X

is a

m u

-sequential

T_{2}

space of pseudocharacter

p s i (X) l e 2^{m} u

and for every free set

D s u b s e t X

we have

L (o v e r l i n e D) l e m u

, then

| X | l e 2^{m} u

. The case

c h i (X) = o m e g a

of (1) provides a solution to Problem 4.5 from "I. Juh'asz, V. Tkachuk, and R. Wilson, Weakly linearly Lindel"of monotonically normal spaces are Lindel"of", while the case

m u = o m e g a

of (2) is a partial improvement on the main result of "A.V. Archangel'skii and R.Z. Buzyakova, On some properties of linearly Lindel"of spaces".

Review text

A space is almost discretely Lindelöf if every discrete subspace lies in a Lindelöf subspace and is \(\mu\)-sequential if every non-closed subset \(A\) contains a sequence of length at most \(\mu\) converging to a point not in \(A\). The two main results are that if \(X\) is an almost discretely Lindelöf \(T_3\) space then \(|X|\leq2^{\chi(X)}\) and that if \(X\) is a \(\mu\)-sequential \(T_2\) space of pseudocharacter at most \(2^\mu\) such that every free subset has closure with Lindelöf degree at most \(\mu\) then \(|X|\leq2^\mu\). Elementary submodels form a useful tool.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: First countable almost discretely Lindelöf \(T_{3}\) spaces have cardinality at most continuum

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