A constructive Banach's inverse mapping theorem in F-spaces
作者： H Ishihara , L.S Vita
DOI:
关键词:
摘要: Within Bishop’s constructive mathematics (BISH) we prove that if T is a one-one sequentially continuous linear mapping of separable F-space E onto an F , then T−1 continuous.
参考文章(9)
Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics ,(1987)
Douglas Bridges, Hajime Ishihara, Constructive closed range and open mapping theorems Indagationes Mathematicae. ,vol. 11, pp. 509- 516 ,(2000) , 10.1016/S0019-3577(00)80019-1
Douglas Bridges, William Julian, Ray Mines, A Constructive Treatment of Open and Unopen Mapping Theorems Mathematical Logic Quarterly. ,vol. 35, pp. 29- 43 ,(1989) , 10.1002/MALQ.19890350105
Douglas Bridges, Hajime Ishihara, A Definitive Constructive Open Mapping Theorem Mathematical Logic Quarterly. ,vol. 44, pp. 545- 552 ,(1998) , 10.1002/MALQ.19980440413
Douglas Bridges, Hajime Ishihara, Linear mappings are fairly well-behaved Archiv der Mathematik. ,vol. 54, pp. 558- 562 ,(1990) , 10.1007/BF01188684
M. Landsberg, K. Yosida, Functional Analysis. (Die Grundlehren der mathematischen Wissenschaften, Band 123) XII + 458 S. Berlin/Heidelberg/New York 1965. Springer-Verlag. Preis geb. DM 66, — ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik. ,vol. 46, pp. 75- 75 ,(1966) , 10.1002/ZAMM.19660460126
Errett Bishop, Foundations of Constructive Analysis ,(2012)
Hajime Ishihara, Continuity and nondiscontinuity in constructive mathematics Journal of Symbolic Logic. ,vol. 56, pp. 1349- 1354 ,(1991) , 10.2307/2275479
Walter Rudin, Functional Analysis ,(1973)