Verbal covering properties of topological spaces

DOI10.1016/J.TOPOL.2015.12.036MaRDI QIDQ5963966zbMATH OpenOpenAlexFDO

Authors Taras Banakh, Oleksandr Ravs'kyj

Publication date 26 February 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.04480

totally disconnected covering property quasi-uniformity foredensity pre-uniformity topological cardinal invariants neighborhood assignments

Mathematics Subject Classification ID

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Uniform structures and generalizations (54E15)

Abstract: For any topological space

X

we study the relation between the universal uniformity

m a t h c a l U_{X}

, the universal quasi-uniformity

q m a t h c a l U_{X}

and the universal pre-uniformity

p m a t h c a l U_{X}

on

X

. For a pre-uniformity

m a t h c a l U

on a set

X

and a word

v

in the two-letter alphabet

+, -

we define the verbal power

m a t h c a l U^{v}

of

m a t h c a l U

and study its boundedness numbers

e l l (m a t h c a l U^{v})

and

. The boundedness numbers of the (Boolean operations over) the verbal powers of the canonical pre-uniformities

p m a t h c a l U_{X}

,

q m a t h c a l U_{X}

and

m a t h c a l U_{X}

yield new cardinal characteristics

e l l^{v} (X)

,

q e l l^{v} (X)

,

u e l l (X)

of a topological space

X

, which generalize all known cardinal topological invariants related to (star)-covering properties. We study the relation of the new cardinal invariants

e l l^{v}

,

to classical cardinal topological invariants such as Lindel"of number

e l l

, density

d

, and spread

s

. The simplest new verbal cardinal invariant is the foredensity

e l l^{-} (X)

defined for a topological space

X

as the smallest cardinal

k a p p a

such that for any neighborhood assignment

(O_{x})_{x i n X}

there is a subset

A s u b s e t X

of cardinality

| A | l e k a p p a

that meets each neighborhood

O_{x}

,

x i n X

. It is clear that

e l l^{-} (X) l e d (X) l e e l l^{-} (X) c d o t c h i (X)

. We shall prove that

e l l^{-} (X) = d (X)

if

| X | < a l e p h_{o} m e g a

. On the other hand, for every singular cardinal

k a p p a

(with

k a p p a l e 2^{2^{c f (k a p p a)}}

) we construct a (totally disconnected)

T_{1}

-space

X

such that

e l l^{-} (X) = c f (k a p p a) < k a p p a = | X | = d (X)

.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Verbal covering properties of topological spaces

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