论文信息 - Sequential Continuity of Linear Mappings in Constructive Mathematics

Sequential Continuity of Linear Mappings in Constructive Mathematics

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.

Hajime Ishihara

[1] Hajime Ishihara. Markov's principle, Church's thesis and Lindelöf's theorem , 1993 .

[2] Douglas S. Bridges,et al. Linear mappings are fairly well-behaved , 1990 .

[3] Hajime Ishihara,et al. Continuity properties in constructive mathematics , 1992, Journal of Symbolic Logic.

[4] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[5] Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics , 1991, J. Symb. Log..