Sequential Continuity of Linear Mappings in Constructive Mathematics
Hajime Ishihara · Zenodo (CERN European Organization for Nuclear Research) · 2020
Abstract: This paper deals, constructively, with two theorems on the sequential continuity of linear mappings. The classical proofs of these theorems use the boundedness of the linear mappings, which is a constructively stronger property than sequential continuity; and constructively inadmissable versions of the Banach-Steinhaus theorem.