On a question by Alexey Ostrovsky concerning preservation of completeness

DOI10.1016/J.TOPOL.2009.10.016MaRDI QIDQ2268646zbMATH OpenOpenAlexFDO

Authors Petr Holický, R. Pol

Publication date 8 March 2010

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2009.10.016

zbMATH Keywords

completenesscontinuous maphereditary Baire spacesmetric spacesmetrizable spaceresolvable sets

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Complete metric spaces (54E50)

Review text

The authors have established the following results: Let \(X\) be a complete metric space, and let \(Y\) be a metrizable space. Let \(f:X\to Y\) be a surjective continuous map such that for each countable metrically discrete \(C\) and a neighbourhood \(V\), there is \(L\) such that \(C\subset L\subset V\) and \(f(L)\) is resolvable. Then \(Y\) is completely metrizable. Corollary: Let \(f:X\to Y\) be a continuous map from a completely metrizable zero-dimensional space \(X\) onto a metrizable space \(Y\). If \(f\) maps clopen sets in \(X\) to resolvable sets in \(Y\), then \(Y\) is completely metrizable. Corollary: Let \(X\) be a zero-dimensional hereditarily Baire metrizable space and let \(Y\) be a metrizable space. Let \(f:X\to Y\) be a continuous map such that \(f\) takes clopen sets in \(X\) to resolvable sets in \(Y\). Then \(Y\) is hereditarily Baire. In this connection, we recall the Ostrovsky theorem: Let \(X\) be a \(G_\delta\)-subspace of the irrationals and \(Y\) a metrizable space. Let \(f:X\to Y\) be a surjective continuous function such that \(f\) takes any clopen \(W\) in \(X\) to a set \(f(W)=U\cup V\) where \(U\) is open and \(V\) is closed in \(Y\). Then \(Y\) is completely metrizable. Ostrovsky's question: whether the union in the condition imposed upon \(f(W)\) can be changed to the intersection, or another combination of closed and open sets in \(Y\). The authors give a positive answer to this question.

Recommendations

• Preservation of completeness by some continuous maps
• Preservation of complete Baireness
• Resolvable maps preserve complete metrizability
• A Note on Completely Metrizable Spaces
• scientific article; zbMATH DE number 60038

Cites work

• \(G_{\delta}\)-embeddings in Hilbert space
• A Note on Completely Metrizable Spaces
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• New basic result in classical descriptive set theory: preservation of completeness
• Resolvable maps preserve complete metrizability

Cited in

(12)

• New basic result in classical descriptive set theory: preservation of completeness
• Luzin's topological problem
• Remarks on Ostrovsky's theorem
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Preservation of complete Baireness
• Resolvable maps preserve complete metrizability
• Closed-constructible functions are piecewise closed
• The semi-Polish theorem: one-sided vs joint continuity in groups
• scientific article; zbMATH DE number 222227 (Why is no real title available?)
• Open-constructible functions
• Analytically heavy spaces: analytic Cantor and analytic Baire theorems
• Preservation of completeness by some continuous maps

This page was built for publication: On a question by Alexey Ostrovsky concerning preservation of completeness

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