JUCS - Journal of Universal Computer Science 3(11): 1250-1254, doi: 10.3217/jucs-003-11-1250
Sequential Continuity of Linear Mappings in Constructive Mathematics
expand article infoHajime Ishihara‡
‡ School of Information Science Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan

Corresponding author: Hajime Ishihara ( ishihara@jaist.ac.jp )

© Hajime Ishihara.
This article is freely available under the J.UCS Open Content License.
Citation: Ishihara H (1997) Sequential Continuity of Linear Mappings in Constructive Mathematics. JUCS - Journal of Universal Computer Science 3(11): 1250-1254. https://doi.org/10.3217/jucs-003-11-1250
Open Access
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. 1.) Proceedings of the First Japan-New Zealand Workshop on Logic in Computer Science, special issue editors D.S. Bridges, C.S. Calude, M.J. Dinneen and B. Khoussainov.
Keywords
sequential continuity, pointwise continuity, linear mappings, constructive mathematics