𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive closed range and open mapping theorems

✍ Scribed by Douglas Bridges; Hajime Ishihara

Book ID
114036197
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
501 KB
Volume
11
Category
Article
ISSN
0019-3577

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Definitive Constructive Open Mapping T
A Definitive Constructive Open Mapping Theorem?
✍ Douglas Bridges; Hajime Ishihara πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 436 KB

It is proved, within Bishop's constructive mathematics (BISH), that, in the context of a Hilbert space, the Open Mapping Theorem is equivalent to a principle that holds in intuitionistic mathematics and recursive constructive mathematics but is unlikely to be provable within BISH.

Closed graph and open mapping theorems f
Closed graph and open mapping theorems for topological -modules and applications
✍ Claudia Garetto πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 369 KB

## Abstract We present closed graph and open mapping theorems for $ \tilde \lc $‐linear maps acting between suitable classes of topological and locally convex topological $ \tilde \lc $‐modules. This is done by adaptation of De Wilde's theory of webbed spaces and Adasch–Ernst–Keim's theory of barre