Constructive closed range and open mapping theorems
作者： Douglas Bridges , Hajime Ishihara
DOI: 10.1016/S0019-3577(00)80019-1
关键词:
摘要: Abstract We prove a version of the closed range theorem within Bishop's constructive mathematics. This is applied to show that if an operator T on Hilbert space has adjoint and complete range, then both * are sequentially open.
elsevier.com
sci-hub.se 参考文章(15)
Hajime Ishihara, Sequential Continuity of Linear Mappings in Constructive Mathematics. Journal of Universal Computer Science. ,vol. 3, pp. 1250- 1254 ,(1997)
Hajime Ishihara, Locating subsets of a Hilbert space Proceedings of the American Mathematical Society. ,vol. 129, pp. 1385- 1390 ,(2000) , 10.1090/S0002-9939-00-05674-4
Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics ,(1987)
Douglas Bridges, Hajime Ishihara, Locating the Range of an Operator on a Hilbert Space Bulletin of the London Mathematical Society. ,vol. 24, pp. 599- 605 ,(1992) , 10.1112/BLMS/24.6.599
Douglas Bridges, A constructive look at positive linear functionals on ${\cal L}(H)$. Pacific Journal of Mathematics. ,vol. 95, pp. 11- 25 ,(1981) , 10.2140/PJM.1981.95.11
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, STEEVE REEVES, Constructive Mathematics in Theory and Programming Practice Philosophia Mathematica. ,vol. 7, pp. 65- 104 ,(1999) , 10.1093/PHILMAT/7.1.65
Douglas Bridges, Hajime Ishihara, A Definitive Constructive Open Mapping Theorem Mathematical Logic Quarterly. ,vol. 44, pp. 545- 552 ,(1998) , 10.1002/MALQ.19980440413
Douglas S. Bridges, Constructive mathematics: a foundation for computable analysis Theoretical Computer Science. ,vol. 219, pp. 95- 109 ,(1999) , 10.1016/S0304-3975(98)00285-0
Peter Schuster, Douglas Bridges, Fred Richman, ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS Department of Computer Science, The University of Auckland, New Zealand. ,(1997)