Results 1 
2 of
2
Sequential continuity of linear mappings in constructive mathematics
 J. Universal Computer Science
, 1997
"... 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 ve ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
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 BanachSteinhaus theorem.
Locating the range of an operator on a Hilbert space
 Bull. London Math. Soc
, 1992
"... In classical operator theory it is taken for granted that we can project onto the closure of the range of an operator T on a Hilbert space H. In a constructive development of operator theory, to which this note is a contribution, this projection exists if and only if ran(r), the range of T, is locat ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
(Show Context)
In classical operator theory it is taken for granted that we can project onto the closure of the range of an operator T on a Hilbert space H. In a constructive development of operator theory, to which this note is a contribution, this projection exists if and only if ran(r), the range of T, is located, in the sense that the distance