On dense subsets of Tychonoff products of \(T_{1}\)-spaces (Q1790242)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On dense subsets of Tychonoff products of \(T_{1}\)-spaces
scientific article

    Statements

    On dense subsets of Tychonoff products of \(T_{1}\)-spaces (English)
    0 references
    2 October 2018
    0 references
    It is well-known that the Tychonoff product of \(\mathfrak c\) many separable spaces is a separable space (by the classical Hewitt-Marczewski-Pondiczery Theorem). In the paper under review, the author considers the problem of the existence, in products of \(\mathfrak c\) separable spaces, of a dense countable subset with additional properties. The main result states as follows: let \(Z\) be a separable, infinite topological space, and let \(\eta\) be a family of non-empty, countable subsets of \(Z\), \(|\eta| \leqslant \mathfrak c\). Then there is a countable dense subset \(Q \subseteq Z^{\mathfrak c}=\prod\limits_{X \subseteq \omega} ZX\) satisfying the following condition: (*) every countable set \(E \subseteq Q\) contains a countable subset \(E' \subseteq E\) such that for every \(G \in \eta\) there is some \(X \subseteq \omega\) such that \(\prod_X(E') = G\) and \(\prod_{X|_{E'}}: E' \to G\) is a finite-to-one mapping. The author deduces a number of consequences of the above stated result. For instance, it is shown in the paper that if \(Z\) is a separable \(T_1\) space with more than one point then there is a countable dense set \(Q \subseteq Z^{\mathfrak c}\) which does not contain nontrivial convergent sequences in \(Z^{\mathfrak c}\). All proofs of the paper use the notion of independent matrices of subsets of a countable set.
    0 references
    product of spaces
    0 references
    dense set
    0 references
    convergent sequence
    0 references
    independent matrix
    0 references
    0 references

    Identifiers