Restricting uniformly open surjections

DOI10.1016/J.CRMA.2017.09.008MaRDI QIDQ2408526zbMATH OpenOpenAlexFDO

Authors Tomasz Kania, Martin Rmoutil

Publication date 12 October 2017

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.02624

zbMATH Keywords

absolute formulacomplete metric spacedensityelementary submodeluniformly open map

Mathematics Subject Classification ID

Applications of model theory (03C98) Special maps on metric spaces (54E40)

Abstract: We employ the theory of elementary submodels to improve a recent result by Aron, Jaramillo and Le Donne (Ann. Acad. Sci. Fenn. Math., to appear) concerning restricting uniformly open, continuous surjections to smaller subspaces where they remain surjective. To wit, suppose that $X$ and $Y$ are metric spaces and let $fcolonXoY$ be a continuous surjection. If $X$ is complete and $f$ is uniformly open, then $X$ contains a~closed subspace $Z$ with the same density as $Y$ such that $f$ restricted to $Z$ is still uniformly open and surjective. Moreover, if $X$ is a Banach space, then $Z$ may be taken to be a closed linear subspace. A counterpart of this theorem for uniform spaces is also established.

Review text

The paper gives an example of reasoning by absoluteness; said differently: by the method of elementary submodels. It strengthens a result of [\textit{R. M. Aron} et al., Ann. Acad. Sci. Fenn., Math. 42, No. 2, 525--534 (2017; Zbl 1390.46023)], and says the following: 1. If \(X,Y\) are metric spaces with \(X\) complete, \(f:X\to Y\) is surjective, continuous and uniformly open, then \(X\) contains a closed subspace \(Z\) of the same density as \(Y\) such that \(f|_{Z}\) is surjective and \textit{uniformly open}. 2. If, moreover, \(X\) is a Banach space, then \(Z\) may be chosen a closed linear subspace. 3. If \(X,Y\) are uniform spaces with \(X\) super-complete, \(f:X\to Y\) is surjective, continuous and uniformly open, then \(X\) contains a closed subspace \(Z\) of the same density as \(Y\) such that \(f|_{Z}\) is surjective and \textit{uniformly open}.

Recommendations

• Restricting open surjections
• Smooth surjections and surjective restrictions
• Restricted Uniform Boundedness in Banach Spaces
• Uniformly open mappings and uniform embeddings of function spaces
• Smooth surjections without surjective restrictions

Cites work

• scientific article; zbMATH DE number 44597 (Why is no real title available?)
• scientific article; zbMATH DE number 1021609 (Why is no real title available?)
• scientific article; zbMATH DE number 1097274 (Why is no real title available?)
• Set theory. An introduction to independence proofs
• Smooth surjections and surjective restrictions
• Smooth surjections without surjective restrictions
• Topologies on Spaces of Subsets

Cited in

(4)

• Uniformly open mappings and uniform embeddings of function spaces
• Restricting open surjections
• Restricted Uniform Boundedness in Banach Spaces
• Smooth surjections and surjective restrictions

This page was built for publication: Restricting uniformly open surjections

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