On dense subsets of Tychonoff products

From MaRDI portal
Publication:2451999





Let \(X\) be the product of \(\mathfrak c\) many countable discrete spaces. Then there is a countable dense subspace \(D\subset X\) such that: \(D=\bigcup_{k\in\omega}D_k\) where each \(D_k\) is finite and \(D_k\cap D_\ell=\varnothing\) when \(k\not=\ell\); for each infinite \(C\subset\omega\) the set \(\bigcup_{k\in C}D_k\) is dense in \(X\); if for \(E\subset D\) there is \(m\in\omega\) such that \(|E\cap D_k|\leq m\) for all \(k\in\omega\) then \(D\setminus E\) is dense in \(X\); if for \(E\subset D\) there is \(m\in\omega\) such that \(|E\cap D_k|\leq m\) for all \(k\in\omega\) then \(E\) is discrete and closed in \(D\). If more generally \(X\) is the product of \(\mathfrak c\) many separable spaces then there is a countable dense subspace \(D\subset X\) satisfying the first three conditions above.











This page was built for publication: On dense subsets of Tychonoff products

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