On certain generalized versions of groupability (Q1738927)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On certain generalized versions of groupability
scientific article

    Statements

    On certain generalized versions of groupability (English)
    0 references
    0 references
    0 references
    0 references
    24 April 2019
    0 references
    Selection principles in topology have been widely studied in the literature. In this paper, the authors study selection principles in terms of stars, ideals and groupability. Recall that for a subset $A$ of a space $X$ and a family ${\mathcal P}$ of subsets of $X$, the \textit{star of} $A$ with respect to ${\mathcal P}$, denoted by $St(A,{\mathcal P})$, is the set $\bigcup\{P\in{\mathcal P}:A\cap P\neq\emptyset\}$; a family ${\mathcal I}$ of subsets of $X$ is said to be an \textit{ideal} of $X$ if for any $A,B\in{\mathcal I}$, we have that $A\cup B\in{\mathcal I}$, and if $A\in{\mathcal I}$ and $B\subset A$, then $B\in{\mathcal I}$; an element $A$ of a family ${\mathcal A}$ is said to be \textit{groupable} if there is a partition $A=\bigcup_{n\in\mathbb N} A_n$ of $A$ into pairwise disjoint finite sets such that for each infinite subset $N$ of the set of all positive integers, $\bigcup\{A_n:n\in N\}\in{\mathcal A}$, cf. [\textit{Lj. D. R. Kočinac} and \textit{M. Scheepers}, Fundam. Math. 179, No. 2, 131--155 (2003; Zbl 1115.91013)]. Two sample results: \textbf{Theorem 3.2.} For a paracompact space \(X\) if TWO has a winning strategy in the \(S\mathcal{I}H\) game on \(X\) then each \(\mathcal{I}\)-large cover is a star-\(\mathcal{I}\)-groupable as well as an \(\mathcal{I}\)-groupable open cover of \(X\). \textbf{Theorem 4.1.} For a space \(X\) \begin{itemize} \item[(i)] \(SS^*_{fin}(\mathcal{O}, \mathcal{R})\) and \(SS^*_{fin}(\mathcal{O}, \mathcal{O}^{\mathcal{R}-gp})\) are equivalent. \item[(ii)] \(U^*_{fin}(\mathcal{O}, \mathcal{R})\) and \(U^*_{fin}(\mathcal{O}, \mathcal{O}^{\mathcal{R}-gp})\) are equivalent. \item[(iii)] \(^*U_{fin}(\mathcal{O}, \mathcal{R})\) and \(^*U_{fin}(\mathcal{O}, \mathcal{O}^{\mathcal{R}-gp})\) are equivalent. \end{itemize}
    0 references
    ideal
    0 references
    Hurewicz property
    0 references
    \(\mathcal{I}\)-\(\gamma\)-cover
    0 references
    \(\mathcal{I}\)-large cover
    0 references
    \(\mathcal{R}\)-groupability
    0 references
    star-\(\mathcal{I}\)-groupability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references