The strict topology for double centralizer algebras
The strict topology for double centralizer algebras
复制标题
双中心化代数的严格拓扑
DOI:
--
复制
发表时间:
1970
期刊:
影响因子:
--
通讯作者:
D. C. Taylor
中科院分区:
文献类型:
--
作者:
D. C. Taylor
Sufficient conditions are given for a double centralizer algebra under the strict topology to be a Mackey space. 0. Introduction. Let C(S) be the B*-algebra of all bounded complex valued continuous functions on a locally compact Hausdorff space S; let CO(S) be the algebra of all functions in C(S) that vanish at infinity, and let C(S), denote C(S) under the : or strict topology. In 1958, R. C. Buck [3] proved that the strict dual of C(S) under the strong topology is isometrically isomorphic to the norm dual of Co(S) and then raised the following question: Is it in fact true that the strict topology / coincides with the Mackey topology? In 1967, J. B. Conway [6] answered this question for the most part. He showed that if S is paracompact, then indeed the strict topology is the Mackey topology and he also gave examples of locally compact spaces S where the strict topology for C(S) is not the Mackey topology. More recently, R. C. Busby [4] in his study of double centralizers of B*-algebras introduced a generalized notion of the strict topology. Specifically, if A is a B*algebra and M(A) is its double centralizer algebra, then the strict topology : for M(A) is defined to be that locally convex topology generated by the seminorms (Aa)aeA and (Pa)aeA5 where Aa(X) = ||ax and pa(x) = |xa |, and we let M(A),6 denote M(A) under the strict topology. Although Busby investigated some of the properties of the strict topology in this setting, no mention was made of the strict dual of M(A). Thus, the questions under consideration are the following: (1) Is the strict dual of M(A) under the strong topology a Banach space that is isometrically isomorphic to the norm dual of A ? (2) What are some sufficient conditions for the strict topology for M(A) to be the Mackey topology? The answer to question (1) is yes and to answer question (2) we prove the following two theorems: THEOREM I. Let {AA: A E A} be a family of B*-algebras and let A= (> AA)O. Then M(A)2i is a Mackey space if, and only if, for each A E A, M(AA)2 is a Mackey space. Received by the editors October 14, 1969. AMS Subject Classifications. Primary 4650, 4665; Secondary 4601.