Sequentially continuity in constructive mathematics

MaRDI QIDQ2752138zbMATH OpenFDO

Authors Hajime Ishihara

Publication date 23 June 2002

zbMATH Keywords

Baire theoremconstructive analysiscontinuous mappingssequential continuity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Review text

The paper deals with the constructive notion of continuity. Some distinctions between various types of continuity are reviewed. Constructive and original versions for continuous mappings of five theorems (Banach's inverse mapping theorem, The open mapping theorem, The closed graph theorem, The Banach-Steinhaus theorem, The Hellinger-Toeplitz theorem) are presented and discussed. For the entire collection see [Zbl 0967.00065].

Recommendations

• scientific article; zbMATH DE number 1543074
• Continuity properties in constructive mathematics
• Continuity and nondiscontinuity in constructive mathematics
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• Sequential, pointwise, and uniform continuity: A constructive note

Cited in

(22)

• Addendum to: A method for constructing ordered continua
• On a continuity theorem for constructive functions
• Constructive notions of equicontinuity
• Strong continuity implies uniform sequential continuity
• Increasing, nondecreasing, and virtually continuous functions
• On the constructive notion of closure maps
• Continuity properties of preference relations
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Sequentially continuous linear mappings in constructive analysis
• A Definitive Constructive Open Mapping Theorem?
• The uniform boundedness theorem and a boundedness principle
• Weak continuity properties in constructive analysis
• Sequential, pointwise, and uniform continuity: A constructive note
• scientific article; zbMATH DE number 1543074 (Why is no real title available?)
• scientific article; zbMATH DE number 1795219 (Why is no real title available?)
• scientific article; zbMATH DE number 2152236 (Why is no real title available?)
• Continuity Properties of Preference Relations
• Sequential Continuity of Functions in Constructive Analysis
• Continuity, Constructibility, and Intuitivity
• Extensional constructive real analysis via locators
• Realizability models refuting Ishihara's boundedness principle

This page was built for publication: Sequentially continuity in constructive mathematics

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