Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-19T21:19:32.268Z Has data issue: false hasContentIssue false

Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras

Published online by Cambridge University Press:  22 January 2016

Masanao Ozawa*
Affiliation:
Department of Electrical Engineering and Computer Science, Northwestern University, Evanston, Illinois 60208, U.S.A. and Department of Mathematics, College of General Education, Nagoya University, Nagoya 464, Japan
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Recently, systematic applications of the Scott-Solovay Boolean valued set theory were done by several authors; Takeuti [25, 26, 27, 28, 29, 30], Nishimura [13, 14] Jech [8] and Ozawa [15, 16, 17, 18, 19, 20] in analysis and Smith [23], Eda [2, 3] in algebra. This approach seems to be providing us with a new and powerful machinery in analysis and algebra. In the present paper, we shall study Banach space objects in the Scott-Solovay Boolean valued universe and provide some useful transfer principles from theorems of Banach spaces to theorems of Banach modules over commutative AW*-algebras. The obtained machinery will be applied to resolve some problems concerning the module structures of von Neumann algebras.

Type
Research Article
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1990

References

[1] Berberian, S. K., Baer *-Rings, Springer-Verlag, Berlin, 1972.CrossRefGoogle Scholar
[2] Eda, K., A Boolean power and a direct product of abelian groups, Tsukuba J. Math., 6 (1982), 187194.Google Scholar
[3] Eda, K., On a Boolean power of a torsion free abelian group, J. Algebra, 82 (1983), 8493.CrossRefGoogle Scholar
[4] Halmos, P. R., Lectures on Boolean algebras, Van Nostrand, New York, 1963.Google Scholar
[5] Halpern, H., Module homomorphisms of a von Neumann algebra into its center, Trans. Amer. Math. Soc., 140 (1969), 183193.CrossRefGoogle Scholar
[6] Halpern, H., Embedding as a double commutator in a type I AW*-algebra, Trans. Amer. Math. Soc., 148 (1970), 8598.Google Scholar
[7] Jech, T., Set Theory, Academic Press, New York, 1978.Google Scholar
[8] Jech, T., Abstract theory of abelian operator algebras: an application of forcing, Trans. Amer. Math. Soc., 289 (1985), 133162.Google Scholar
[9] Kaplansky, I., Projections in Banach algebras, Ann. of Math., 53 (1951), 235249.Google Scholar
[10] Kaplansky, I., Algebras of type I, Ann. of Math., 56 (1952), 460472.Google Scholar
[11] Kaplansky, I., Modules over operator algebras, Amer. J. Math., 75 (1953), 839858.CrossRefGoogle Scholar
[12] MacLane, S., Categories for the Working Mathematician, Springer-Verlag, New York, 1971.Google Scholar
[13] Nishimura, H., An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis, Publ. RIMS, Kyoto Univ., 20 (1984), 10911101.Google Scholar
[14] Nishimura, H., Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups, Publ. RIMS, Kyoto Univ., 21 (1985), 181190.Google Scholar
[15] Ozawa, M., Boolean valued interpretation of Hilbert space theory, J. Math. Soc. Japan, 35 (1983), 609627.Google Scholar
[16] Ozawa, M., Boolean valued analysis and type I AW*-algebras, Proc. Japan Acad., 59A (1983), 368371.Google Scholar
[17] Ozawa, M., A classification of type I AW*-algebras and Boolean valued analysis, J. Math. Soc. Japan, 36 (1984), 589608.CrossRefGoogle Scholar
[18] Ozawa, M., Nonuniqueness of the cardinality attached to homogeneous AW*-algebras, Proc. Amer. Math. Soc., 93 (1985), 681684.Google Scholar
[19] Ozawa, M., A transfer principle from von Neumann algebras to AW*-algebras, J. London Math. Soc., (2) 32 (1985), 141148.Google Scholar
[20] Ozawa, M., Boolean valued analysis approach to the trace problem of AW*-algebras, J. London Math. Soc., (2) 33 (1986), 347354.CrossRefGoogle Scholar
[21] Sakai, S., A characterization of W*-algebras, Pacific J. Math., 6 (1956), 763773.Google Scholar
[22] Ozawa, M., C*-Algebras and W*-Algebras, Springer-Verlag, Berlin, 1971.Google Scholar
[23] Smith, K., Commutative regular rings and Boolean-valued fields, J. Symbolic Logic, 49 (1984), 281297.Google Scholar
[24] Takesaki, M., Theory of Operator Algebras I, Springer-Verlag, New York, 1979.Google Scholar
[25] Takeuti, G., Two Applications of Logic to Mathematics, Princeton University Press, Princeton, 1978.Google Scholar
[26] Takeuti, G., Boolean valued analysis, in Applications of Sheaves, (ed. Fourman, , Mulvey, and Scott, ), Lecture Notes in Math., 753, 714731, Springer-Verlag, Berlin, 1979.Google Scholar
[27] Takeuti, G., A transfer principle in harmonic analysis, J. Symbolic Logic, 44 (1979), 417440.CrossRefGoogle Scholar
[28] Takeuti, G., Boolean completion and m-convergence, in Categorical Aspects of Topology and Analysis, (ed. Banaschewski, ), Lecture Notes in Math., 915, 333350, Springer-Verlag, Berlin, 1982.Google Scholar
[29] Takeuti, G., Von Neumann algebras and Boolean valued analysis, J. Math. Soc Japan, 35 (1983), 121.CrossRefGoogle Scholar
[30] Takeuti, G., C*-algebras and Boolean valued analysis, Japan. J. Math., 9 (1983), 207245.Google Scholar
[31] Takeuti, G. and Zaring, W. M., Axiomatic Set Theory, Springer-Verlag, New York, 1973.CrossRefGoogle Scholar
[32] Halpern, H., A generalized dual for a C*-algebra, Trans. Amer. Math. Soc., 153 (1971), 139156.Google Scholar
[33] Glimm, J., A Stone-Weierstrass Theorem for C*-algebras, Ann. of Math., (2) 72 (1960), 216244.Google Scholar
[34] Tomiyama, J. and Takesaki, M., Application of fibre bundles to the certain class of C*-algebras, Tôhoku Math. J., (2) 13 (1961), 498522.Google Scholar