American Journal of Computational and Applied Mathematics

p-ISSN: 2165-8935    e-ISSN: 2165-8943

2016;  6(2): 118-122

doi:10.5923/j.ajcam.20160602.12

 

Comparative Notes on Banach Principle for Semifinite von Neumann Algebras (W* - Algebras) and JW-Algebras

Bassi I. G., Habu P. N., H. Ibrahim

Department of Mathematics, Federal University Lafia, Lafia, Nigeria

Correspondence to: Bassi I. G., Department of Mathematics, Federal University Lafia, Lafia, Nigeria.

Email:

Copyright © 2016 Scientific & Academic Publishing. All Rights Reserved.

This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/

Abstract

The objective of the paper is to give a comparative survey notes on non-commutative extension of the Banach Principle for that was suggested in [3], [7], which extend the results in [8] to the case of JW-algebras without direct summand of the type . We discuss relationships among the conditions and in JW-algebras as discussed in the case of the *-algebras. We introduced the notion of uniform equicontinuity for sequences of functions with values in the space of measurable operators and present a non – commutative version of the Banach Principle for . We established the Banach Principle for semi-finite without direct summand of type I2, which was the extension of the results of Chilin and Litvinov on the Banach Principle for semi-finite von Neumann algebras. The results in this paper has shown how Banach Principle for semi-finite Von Neumann (W*-algebras) algebras was extended to the case of without direct summand of type I2.

Keywords: Von Neumann algebras, Measure topology, Jordan operator algebras, Almost uniform convergence, Banach Principle, *-algebra of measurable operators affiliated to a semi-finite von Neumann algebra

Cite this paper: Bassi I. G., Habu P. N., H. Ibrahim, Comparative Notes on Banach Principle for Semifinite von Neumann Algebras (W* - Algebras) and JW-Algebras, American Journal of Computational and Applied Mathematics , Vol. 6 No. 2, 2016, pp. 118-122. doi: 10.5923/j.ajcam.20160602.12.

1. Introduction

Let be a probability space. Denote by , the set of all (classes of) complex-valued measurable functions on . Let stand for the measure topology in . The classical Banach principle can be stated as follows:
Classical Banach Principle. Let be a Banach space, and let be a sequence of continuous linear maps. Consider the following properties:
(i) the sequence converges almost everywhere (a.e) for every
(ii) a.e for every ;
(iii) holds, and the maximal operator is continuous at 0;
(iv) the set is closed in X.
Then the implications are always true. If in addition, there exists a dense subset , such that the sequence converges a.e. for every , then all the four conditions (i) – (iv) above are equivalent.
The Banach Principle above was often applied in the case where . However, in the case p = the uniform topology on appears to be too strong for the classical Banach Principle to be effective in . For example, continuous functions are not uniformly dense .
Bellow and jones [3], using the fact that the unit ball is complete in , suggested to consider the measure topology on by replacing by , since is not a linear space, however, some geometrical implications do occurred but was resolved by Bellow and Jones. A non-commutative version of the Banach Principle for was proposed by Chilin and Litvinov, while the non-commutative notions of Banach Principle for measurable operators affiliated to a semi-finite von Neumann algebra (W*-algebra) were established by Goldstein, M; Litvinov, S and Litvinov, S; Mukhamedov, F. Then it was refined and applied in [5], [6], [13]. In [5] the notion of uniform equicontinuity of a sequence of functions into was introduced. The objective of the paper is to give a comparative survey notes on non-commutative extension of the Banach Principle for that was suggested in [3], [7], which extend the results in [8] to the case of JW-algebras without direct summand of the type .

2. Preliminaries

Let be a semi-finite von Neumann algebra of bounded operators acting on a complex Hilbert space , and let denote the algebra of all bounded linear operators on . A densely-defined closed operator in is said to be affiliated to if . We denote by the complete lattice of projections in . Let be a faithful normal semi-finite trace on Denote by the orthogonal complemented projection for the projection , where is the identity of . An operator affiliated to is called if for every there exist a projection with such that belongs to the domain of the operator . Let the set of all operator affiliated to . Denote the uniform norm in .
If we set
then, the topology defined on by the family of neighborhoods of zero is called the measure topology ([14], [15])
Theorem 1: is a complete metrizable topological *-algebra
Proof: see ([14], [15]) for the details of the proof.
Let be a semifinite of without a direct summand of type and be the complete lattice of projections in , and be a faithful normal semifinite trace on . Let be the von Neumann enveloping algebra of the Jordan algebra . Then can be uniquely extended to a faithful normal semifinite trace on , for which we will use the same symbol . A self adjoint operator is called affiliated to a if all its spectral projections belong to . An operator affiliated to is called if for all there exist with such that belongs to the domain of the operator . Let be the set of all operators affiliated to .
Remark: A sequence is said to converge almost uniformly (a.u) to if for all there exist with such that
Proposition 1: For the following conditions are equivalent
(i) converges a.u. in ;
(ii) For all there exist with such that as
Proof: see [7] for details
The following theorem is a non-commutative notion of Riesz theorem.
Theorem 2: If and then for some subsequence
The proof of this theorem can be seen in [9] and [15].
A sequence is said to converge bilaterally with square almost uniformly (b.s.a.u.) to if given there is with
Then the following proposition holds;
Proposition 2: For the following conditions are equivalent.
(i) converges a.u. in ;
(ii) Given , there is with
(iii) converges b.s.a.u.in
(iv) Given , there is with
Proof: conditions (i) are trivial. For (iv) : From
so we can see that b.s.a.u. fundamentalness of a sequence in a reversible JW-algebra is equivalent to a.u. fundamentalness of the same sequence in its von Neumann enveloping algebra M = M(A). Thus the statement follows from proposition 1 above and hence the proved.
The Riesz theorem above will now take the following form
Theorem 3: If and then for some subsequence
Proof: Directly from propositions 1 and 2 respectively.

3. Uniform Equicontinuity for Sequences of Maps into

Let E be any set. If and are such that , then we denote
The following fact should be noted.
Corollary: Let be a semigroup, be sequence of additive maps. Assume that is such that for every there exist a sequence and a projection with such that
(i) converges a.u. as for every k;
(ii)
Then the sequence converges a.u. in L.
Proof: Fix and let and with be such that the two conditions hold. Now pick and let be such that then by proposition 1, there is a projection with and a positive integer for which the inequality holds whenever. If we define , then and for all . Therefore by proposition 1, the sequence converges a.u. in L.
The following definitions hold:
Definition: A sequence is said to be equicontinuous at if, given , there is a neighborhood U of in (X,t) such that for every and every one can find a projection with satisfying
Now let be a topological space, and let and be such that
Definition: Let and be as above. Let The sequence will be called uniformly equicontinuous at on E if, given, there is a neighborhood U of in such that for every there exists a projection satisfying

4. Bilateral with Square Uniform Equicontinuity for Sequences of Maps into

Definition: Let be a topological space, and be such that for . A sequence is called bilaterally with square equicontinuous at in such that i.e. for all for all one can find a projection with satisfying .
Definition: Let A sequence is called bilaterally with square uniformly equicontinuous at on E, if for all there is a neighborhood of in such that i.e. for all and for all one can find a projection with satisfying
We can now define a bilaterally sequence with square uniformly equicontinuous as follows:
Definition: Let . A sequence is called bilaterally with square uniformly equicontinuous at on E, if for all there is a neighborhood U of in such that for all there is with satisfying
We then have the following result
Proposition 3: Let the sequence and as in definition above. Then,
(i) is equicontinuous at on E into iff it is bilaterally with square equicontinuous at on E into
(ii) is uniformly equicontinuous at on E into iff it is bilaterally with square uniformly equicontinuous at on E into
Proof: Directly follows from proposition 2 and arguments in [7]
Also in [7] it has been established that for any the sets
and
are complete.
Therefore, is a complete metrizable topological algebra, and is a complete metrizable topological Jordan subalgebra of Hence, it is easy to see that the set is complete as well.

5. Main Results

In the algebra, let’s consider the following conditions. Let now for a sequence of function then
(i)almost uniform convergence of for every
(ii) uniform equicontinuity at 0 on ;
(iii) closedness in of the set
With these conditions, one can study relationships among the conditions and. Following the classical scheme, one more condition can be added, namely, a non-commutative version of the existence of the maximal operator as follows: given and there is with .. This condition may be called a pointwise uniform boundedness of on . It can be easily verified that implies , but does not guarantee . However, if is additive for every , then follows from while if is closed in then is equivalent to the closedness of in .
In the JW-algebras, the above conditions can also be extended as follows: Let . For a sequence then
(i) Bilateral with square almost uniform convergence of for every
(ii) Bilateral with square uniform equicontinuity at 0 on
(iii) Closedness in of the set
We can then discuss relationships among the conditions and as discussed in the case of the *-algebras. These are summarized below in the following theorems and whose proofs are obtained directly in [7] and the arguments in this paper.
Theorem 4: Let be a sequence of positive continuous linear maps with . Then the sequence is also
Theorem 5: A sequence of additive maps is as well
Theorem 6: Let be a sequence of positive continuous linear maps such that . If a sequence is being the conditions are equivalent.

6. Conclusions

The results in this paper has shown how Banach Principle for semifinite Von Neumann (W*-algebras) algebras was extended to the case of without direct summand of type I2. We can extend these results to the case of bilateral almost uniform convergence on semifinite von Neumann algebras and semifinite without direct summand of type I2. These results can further be extended to obtain Stochastic Banach Principle, and then apply it to obtain some new Ergodic type theorems for Jordan algebras.

References

[1]  Ayupov, Sh. A., Ergodic theorem in Jordan algebras of measurable elements. (English), An. Univ. Craiova Mat. Fiz – Chim, Vol. 9, 1981, 22 – 28.
[2]  Ayupov, Sh. A., Locally measurable operators for JW – algebras and representations of ordered Jordan algebras. (Russian), Izv. Akad. Nauk SSSR Ser. Mat., Vol. 48, No. 2, 1984, 211 – 236.
[3]  Bellow, A.; Jones R. L., A Banach Principle for (English), Adv. Math., Vol. 36, 1996 155 – 172.
[4]  Bratteli, O.; Robinson, D. N., Operator algebras and quantum statistical mechanics, 1. C* - and W*-algebras, symmetry groups, decomposition of states. (English), 2ed edition, Texts and Monographs in Physics, Springer-Verlag, New York, 1987, 505 pages
[5]  Chilin V., Litvinov S., Uniform equicontinuity for sequences of homomorphisms into the ring of measurable operators, Methods Funct. Anal. Topology, submitted.
[6]  Chilin V., Litvinov S., Skalski A.; A few remarks in non- commutative ergodic theory, J. Operator Theory, Vol. 53, 2005, 301- 320.
[7]  Chilin V., Litvinov S., A Banach Principle for semifinite von Neumann algebras. (English), SIGMA symmetry integrability Geom. Methods Appl., Vol. 2, 2006, paper 023, 9 pages.
[8]  Genady YA. G., Alexander A. K., A Note on Banach Principle for JW-algebras WSEAS Transactions on Mathematics issue 10, Vol. 6, 2007, 833 – 837.
[9]  Goldstein, M.; Litvinov, S., Banach Principle in the space of measurable operators (English) Studia Math., Vol. 143, 2000, 33 – 41.
[10]  Kadison R. V., A generalized Schwarz inequality and algebraic invariants for operator algebras, Ann. of Math., 1952, Vol. 56, 55 – 62.
[11]  Karimov, A. K.; Mukhamedov, F. M., The Banach Principle in Jordan algebras and its applications. (Russian), Dopov. Nats. Akad. Nauk Ukr. Prorodozn Tekh, No. 1, 2003, 22 – 24.
[12]  Karimov, A. K.; Mukhamedov, F. M., An individual ergodic theorem with respect to a uniform sequence and the Banach Principle in Jordan algebras. (Russian), Mat. Sb., Vol. 194, No. 2, 2003, 73 – 86; translation in Sb. Math., 194, No. 1 – 2, 2003, 237 – 250.
[13]  Litvinov, S; Mukhamedov, F.; On individual subsequential ergodic theorem in von Neumann algebras. (English), Studia Math, Vol. 145, 2001, 55 – 62.
[14]  Nelson, E., Notes on non – commutative integration. (English), J. Func. Anal., Vol. 15, 1974, 103 – 116.
[15]  Segal, I., A non – commutative extension of abstract integration. (English), Ann. of Math., Vol. 57, 1953, 401 – 457.