论文信息 - A first constructive look at the comparison of projections - 字舞流文

A first constructive look at the comparison of projections

Some results about the comparison of projections on a Hilbert space—in particular, the countable additivity of equivalence and the antisymmetry of the associated relation of inequivalence—are investigated within a constructive framework.

Douglas S. Bridges | Luminita Vîta

[1] David M. Topping. Lectures on von Neumann algebras , 1971 .

[2] R. Kadison,et al. Fundamentals of the Theory of Operator Algebras , 1983 .

[3] Douglas S. Bridges,et al. ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS , 1997 .

[4] P. Aczel,et al. Notes on constructive set theory , 1997 .

[5] Luminita Dediu. The constructive theory of operator algebras. , 2000 .

[6] E. Bishop. Foundations of Constructive Analysis , 2012 .

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

[8] John L. Bell,et al. Zorn's lemma and complete Boolean algebras in intuitionistic type theories , 1997, Journal of Symbolic Logic.

[9] A. Bauer,et al. Realizability as the Connection between Computable and Constructive Mathematics , 2005 .

[10] F. Richman,et al. Compactly generated Banach spaces , 1981 .

[11] Klaus Weihrauch,et al. Computable Analysis , 2005, CiE.

[12] Bas Spitters,et al. Constructive Results on Operator Algebras , 2005, J. Univers. Comput. Sci..

[13] Klaus Weihrauch. A Foundation for Computable Analysis , 1997, SOFSEM.