scientific article; zbMATH DE number 1543074

MaRDI QIDQ4520530zbMATH OpenFDO

Authors Hajime Ishihara

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_11/sequential_continuity_of_linear

zbMATH Keywords

boundednessBanach-Steinhaus theoremsequential continuityconstructive functional analysissequential continuity of linear mappings

Mathematics Subject Classification ID

Barrelled spaces, bornological spaces (46A08) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• Sequentially continuous linear mappings in constructive analysis
• scientific article; zbMATH DE number 1665440
• Sequential Continuity of Functions in Constructive Analysis
• scientific article; zbMATH DE number 1858
• scientific article; zbMATH DE number 2234453
• Continuity properties in constructive mathematics
• Constructive Compact Linear Mappings
• scientific article; zbMATH DE number 1818153
• Sequentially linearly Lindelöf spaces
• Sequential, pointwise, and uniform continuity: A constructive note

Cited in

(15)

• Constructive closed range and open mapping theorems
• Locating the range of an operator with an adjoint
• Completeness: when enough is enough
• scientific article; zbMATH DE number 1665440 (Why is no real title available?)
• Constructive Compact Linear Mappings
• The uniform boundedness theorem and a boundedness principle
• A Constructive Treatment of Open and Unopen Mapping Theorems
• A constructive Banach inverse mapping theorem in \(F\)-spaces
• A computable version of Banach's inverse mapping theorem
• Linear mappings are fairly well-behaved
• The Banach‐Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis
• Bishop-Style Constructive Reverse Mathematics
• Generalized functions with pseudobounded support in constructive mathematics
• Sequential, pointwise, and uniform continuity: A constructive note
• Sequential Continuity of Functions in Constructive Analysis

This page was built for publication:

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