Sequential continuity of linear mappings in constructive mathematics (1997)
by
Hajime Ishihara
| Venue: | J. Universal Computer Science |
| Citations: | 5 - 2 self |
BibTeX
@ARTICLE{Ishihara97sequentialcontinuity,
author = {Hajime Ishihara},
title = {Sequential continuity of linear mappings in constructive mathematics},
journal = {J. Universal Computer Science},
year = {1997},
volume = {3},
pages = {1250--1254}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
Citations
| 342 | Constructive Analysis - Bishop, Bridges - 1985 |
| 13 | Continuity and nondiscontinuity in constructive mathematics - Ishihara - 1991 |
| 10 | Continuity properties in constructive mathematics. Journal of Symbolic Logic - Ishihara - 1992 |
| 10 | Constructivism in Mathematics - Dalen, Troelstra - 1988 |
| 6 | A constructive version of Banach's inverse mapping theorem - Ishihara - 1994 |
| 5 | Markov’s principle, Church’s thesis and Lindelöf’s theorem - Ishihara - 1993 |
| 4 | Linear mappings are fairly well-behaved - Bridges, Ishihara - 1990 |
| 2 | A constructive closed graph theorem - ISHIHARA - 1990 |
| 2 | Functional Analysis" 2nd ed - Rudin - 1973 |
| 1 | Varieties of Constructive Mathematics"; Cambridge Univ - Bridges, Richman - 1987 |
