×

On certain separable and connected refinements of the Euclidean topology. (English) Zbl 1349.54071

Summary: Write \(c\) for the cardinality of the continuum and let \(\eta\) be the Euclidean topology on \(\mathbb R\). Let \(\Sigma\) be the family of all \(\sigma\)-ideals \(\mathcal I\) on \(\mathbb R\) such that \(\bigcup\mathcal I\) is dense and \(\mathbb Q\cap\bigcup\mathcal I=\emptyset\). Then for each \(\mathcal I\in\Sigma\) the family \(\eta/\mathcal I\) of all sets \(X\setminus Y\) with \(X\in\eta\) and \(Y\in\mathcal I\) is a topology on \(\mathbb R\). Such a refinement of \(\eta\) always preserves separability and connectedness, but destroys metrizability (and first countability almost always) and makes the space totally pathwise disconnected. Nevertheless, the separable Hausdorff space \((\mathbb R,\eta/\mathcal I)\) still has the two metric properties that every point is reachable by a sequence of points within any fixed countable dense set and that (even in the absence of first countability) sequential continuity is strong enough to entail continuity. In detail we investigate further main properties in the four most interesting cases when the \(\sigma\)-ideal \(\mathcal I\) consists of either all countable sets or all null sets or all meager sets or all sets contained in \(\mathbb R\setminus\mathbb Q\). Finally we track down a subfamily \(\Sigma_1\) of \(\Sigma\) with cardinality \(2^{2^c}\) such that \((\mathbb R,\eta/\mathcal I)\) and \((\mathbb R,\eta/\mathcal J)\) are never homeomorphic for distinct \(\mathcal I,\mathcal J\) in \(\Sigma_1\).

MSC:

54G20 Counterexamples in general topology
PDFBibTeX XMLCite