Selection principle \(\mathrm{S}_{1}\) and combinatorics of open covers (Q1738942)

From MaRDI portal
Revision as of 20:37, 14 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q128288610, #quickstatements; #temporary_batch_1723663638014)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Selection principle \(\mathrm{S}_{1}\) and combinatorics of open covers
scientific article

    Statements

    Selection principle \(\mathrm{S}_{1}\) and combinatorics of open covers (English)
    0 references
    0 references
    24 April 2019
    0 references
    Some relationships between covering properties of a topological space $X$ and properties of the space of real continuous functions $C_p(X)$ are studied. If $\mathcal{A}, \mathcal{B}\subseteq\mathcal{P}(Y)$ are sets of subsets of a set $Y$, then $\mathrm{S}_1(\mathcal{A}, \mathcal{B})$ means the following: for any sequence $\{\mathcal{U}_n\}_{n\in\omega}$ of elements of $\mathcal{A}$, for every $n\in\omega$ there exists an $U_n\in\mathcal{U}_n$ such that $\{U_n: n\in\omega\}\in\mathcal{B}$. In this paper the author obtains some properties of topological spaces of real functions on $X$ equivalent to the property $\mathrm{S}_1(\mathcal{A}, \mathcal{B})$ or $\mathrm{S}_1(\mathcal{A}^{sh}, \mathcal{B})$ for $\mathcal{A}, \mathcal{B}$ being the family of all open, open $\omega$- or open $\gamma$-covers of a topological space $X$, where $\mathcal{A}^{sh}$ denotes the families of shrinkable covers of a cover $\mathcal{A}$. For example, the following is proved: Assume that $\Phi$ is one of the symbols $\Omega$ ($\omega$-covers) and $\Gamma$ ($\gamma$-covers), and $\Psi$ is one of the symbols $\mathcal{O}$ (open covers), $\Omega$ and $\Gamma$. Then for any couple $\langle\Phi, \Psi\rangle$ different from $\langle\Omega, \mathcal{O}\rangle$, a topological space $X$ is an $\mathrm{S}_1(\Phi, \Psi)$-space if and only if USC$_p(X)^+$ satisfies the selection principle $\mathrm{S}_1(\Phi_0, \Psi_0)$.
    0 references
    open cover
    0 references
    \(\omega\)-cover
    0 references
    \(\gamma\)-cover
    0 references
    covering property
    0 references
    selection property
    0 references
    sequence selection property
    0 references
    shrinkable cover
    0 references
    0 references

    Identifiers