A Constructive Treatment of Open and Unopen Mapping Theorems

DOI10.1002/MALQ.19890350105MaRDI QIDQ3788500zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Ray Mines, William H. Julian

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350105

zbMATH Keywords

Banach's inverse mapping theoremopen mapping theoremunopen mapping theorem

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Constructive functional analysis (46S30)

Recommendations

• A Definitive Constructive Open Mapping Theorem?
• Constructive closed range and open mapping theorems
• scientific article; zbMATH DE number 770280
• A constructive Banach inverse mapping theorem in F-spaces
• scientific article; zbMATH DE number 1543074

Cited in

(16)

• The open mapping and closed range theorems
• A completeness theorem for open maps
• Logical equivalence of the fundamental theorems on operators between Banach spaces
• Locating subsets of a Hilbert space
• Constructing the infimum of two projections
• On the constructive notion of closure maps
• Iterative processes and open mapping theorems
• An open mapping theorem using lower semicontinuous functions
• scientific article; zbMATH DE number 3944651 (Why is no real title available?)
• A Definitive Constructive Open Mapping Theorem?
• scientific article; zbMATH DE number 562209 (Why is no real title available?)
• scientific article; zbMATH DE number 770280 (Why is no real title available?)
• scientific article; zbMATH DE number 7578120 (Why is no real title available?)
• A constructive Banach inverse mapping theorem in F-spaces
• Constructive closed range and open mapping theorems
• Linear mappings are fairly well-behaved

This page was built for publication: A Constructive Treatment of Open and Unopen Mapping Theorems

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