Research Article | Open Access

# -Linear Modulus of a Random Linear Operator

**Academic Editor:**Shawn X. Wang

#### Abstract

We prove that there exists a unique -linear modulus for an a.s. bounded random linear operator on a specifical random normed module, which generalizes the classical case.

#### 1. Introduction

In 1964, Chacon and Krengel began to study linear modulus of a linear operator and proved that there exists a unique linear modulus for a bounded linear operator [1], which plays an important role in the work of mean ergodicity for linear operators and linear operators semigroups [2ā5]. Recently, the mean ergodicity for random linear operators has been investigated in [6ā8], and its further developments should naturally include the study of -linear modulus of a random linear operator on a random normed module. The purpose of this paper is to investigate the existence of the -linear modulus for an a.s. bounded random linear operator on a specifical random normed module.

The notion of random normed modules (briefly, RN modules), which was first introduced in [9] and subsequently elaborated in [10], is a random generalization of ordinary normed spaces. In the last ten years the theory of RN modules together with their random conjugate spaces has obtained systematic and deep developments [11ā17]; in particular, the recently developed -convex analysis, which has been a powerful tool for the study of conditional risk measures, is just based on the theory of RN modules together with their random conjugate spaces [12, 17ā20]. One of the key points in the process of applying the theory of RN modules to random analysis and the theory of conditional risk measures is to properly construct the two classes of RN modules and , where is the RN module of equivalence classes of -valued random variables defined on a probability space and is the -module generated by ; see [17], for the construction of . In particular, constructed in [18] will be used in this paper and thus we give the details of its construction as follows.

Let be a probability space, a sub -algebra of , and (or ) the set of equivalence classes of -measurable extended real-valued (real-valued) random variables on . Let and . Similarly, one can understand such notations as , , , and . Define the mapping by for any and , where denotes the extended conditional expectation and let Then, is an RN module. In fact, is exactly the -module generated by , namely, , where .

The remainder of this paper is organized as follows: in Section 2 we briefly recall some necessary notions and facts and in Section 3 we present and prove our main results.

#### 2. Preliminaries

In the sequel of this paper, denotes a given probability space, the scalar field of real numbers or of complex numbers, the set of positive integers, and the algebra over of equivalence classes of -valued -measurable random variables on under the ordinary scalar multiplication, addition, and multiplication operations on equivalence classes.

Proposition 1 (see [21]). *, is a complete lattice under the ordering if and only if , for -almost all in (briefly, a.s.), where and are arbitrarily chosen representatives of and , respectively, and has the following nice properties.**(1) Every subset of has a supremum (denoted by ) and an infimum (denoted by ) and there exist two sequences and in such that and .**(2) If is directed (dually directed), namely, for any two elements and in , there exists some in such that (); then the above () can be chosen as nondecreasing (nonincreasing).**(3) , as a sublattice of , is complete in the sense that every subset with an upper bound (a lower bound) has a supremum (an infimum).*

Let and be two elements in ; then is understood as usual, namely, and . For , on means āā-a.s. on , where and are arbitrarily chosen representatives of and , respectively. Specially, we denote and on }.

*Definition 2 (see [10, 17]). *An ordered pair is called a random normed module (briefly, an RN module) over with base if is a left module over the algebra and is a mapping from to such that the following three axioms are satisfied:(1) if and only if (the null vector of );(2), for all and ;(3), for all .

Cleary, is an RN module over with base .

Let be an RN module over with base . For any , , denote ; then is a local base at of some Hausdorff linear topology, called the -topology induced by . In this paper, given an RN module over with base , it is always assumed that is endowed with the -topology. In this paper, it suffices to notice that the -topology for an RN module is a metrizable linear topology and a sequence in converges in the -topology to some if and only if converges in probability to 0. It should be pointed out that the -topology for is exactly the topology of convergence in probability.

*Example 3. *Let be a normed space over and the linear space of equivalence classes of -valued -random variables on . The module multiplication operation is defined by the equivalence class of , where and are the respective arbitrarily chosen representatives of and , and , for all . Furthermore, the mapping by = the equivalence class of , for all , where is as above. Then it is easy to see that is an RN module over with base .

*Definition 4 (see [22]). *Let and be two RN modules over with base . A linear operator from to is called a random linear operator; further, the random linear operator is called a.s. bounded if there exists some such that for any . Denote by the linear space of a.s. bounded random linear operators from to ; define by , for all for any ; then it is easy to see that is an RN module over with base .

Proposition 5 (see [22]). *Let and be two RN modules over with base . Then, we have the following statements:*(1)*āāif and only if ** is a continuous module homomorphism;*(2)*ifāā**, thenāā**āāandāā**, where denotes the identity element ināā**.*

#### 3. Main Results and Proofs

The main result of this paper is Theorem 7, which will be derived from Lemma 6.

Let be the class of simple -measurable functions and ; then Lemma 6 holds.

Lemma 6. * is dense in .*

*Proof. *For any , there exist and such that
Clearly, ; thus there exists a sequence such that
as ; that is, . on as . Since , it follows that
Furthermore, since , it follows that converges to 0 a.s. on as . Hence, converges to 0 in probability as . Consequently, converges to 0 in the -topology as .

Next, observe that ; it follows from the above discussion that there exists a sequence such that converges to in the -topology induced by as .

Let
Then,
and converges to in the -topology induced by as , which shows that is dense in .

Now we can present and prove the main result below.

Theorem 7. *Let be an a.s. bounded random linear operator on . Then there exists a unique positive a.s. bounded random linear operator on , called the -linear modulus of , such that*(1)*,*(2)* for any ,*(3)* for any .*

*Proof. *Let denote the family of all finite measurable partitions of to ; that is, for any , there exists āā() such that , where is a finite number with respect to . It is known that is partially ordered in the usual way: in means that is a refinement of ; that is, the sets are unions of sets of . For any , define
Then, for any fixed , is monotone increasing on . Furthermore,
letting in (9), yields that
Observe that
Combining (10) and (11), we have
which shows that the net is not only monotone increasing on but also -norm bounded with respect to . Thus, we can define by
Then, is a positive a.s bounded random linear operator according to Lemma 6 and from inequality (12) we get .

For any , let
For any and , it is clear that , and further observe that since is positive. Consequently,
which shows that
holds. If the converse inequality of (16) does not hold, then there exists an , a , an with , and an such that

Now there exists a set with and a with such that
on . Continuing in this way we find with and with () such that
on . Setting we have and this leads to a contradiction with inequality (17) on .

This completes the proof.

If we put , then the following classical result holds.

Corollary 8 (see [1]). *Let be a bounded linear operator on . Then, there exists a unique positive bounded linear operator on , called the linear modulus of , such that*(1)*,*(2)* for any ,*(3)*ā andāā for any .*

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors would like to express their sincere gratitude to Professor Guo Tiexin for his invaluable suggestions. This research is supported by the National Natural Science Foundation of China (Grant no. 11301380) and the Higher School Science and Technology Development Fund Project in Tianjin (Grant no. 20031003).

#### References

- R. V. Chacon and U. Krengel, āLinear modulus of linear operator,ā
*Proceedings of the American Mathematical Society*, vol. 15, pp. 553ā559, 1964. View at: Google Scholar | Zentralblatt MATH | MathSciNet - N. Starr, āMajorizing operators between ${L}^{p}$ spaces and an operator extension of Lebesgue's dominated convergence theorem,ā
*Mathematica Scandinavica*, vol. 28, pp. 91ā104, 1971. View at: Google Scholar | Zentralblatt MATH | MathSciNet - Y. Kubokawa, āErgodic theorems for contraction semi-groups,ā
*Journal of the Mathematical Society of Japan*, vol. 27, pp. 184ā193, 1975. View at: Publisher Site | Google Scholar | MathSciNet - R. Satō, āContraction semigroups in Lebesgue space,ā
*Pacific Journal of Mathematics*, vol. 78, no. 1, pp. 251ā259, 1978. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - U. Krengel,
*Ergodic Theorems*, vol. 6, Walter de Gruyter, Berlin, Germany, 1985. View at: MathSciNet - X. Zhang, āOn mean ergodic semigroups of random linear operators,ā
*Japan Academy Proceedings A. Mathematical Sciences*, vol. 88, no. 4, pp. 53ā58, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - X. Zhang, āOn conditional mean ergodic semigroups of random linear operators,ā
*Journal of Inequalities and Applications*, vol. 150, pp. 1ā10, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - X. Zhang and T. X. Guo, āVon Neumann's mean ergodic theorem on complete random inner product modules,ā
*Frontiers of Mathematics in China*, vol. 6, no. 5, pp. 965ā985, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. Guo, āExtension theorems of continuous random linear operators on random domains,ā
*Journal of Mathematical Analysis and Applications*, vol. 193, no. 1, pp. 15ā27, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. Guo, āSome basic theories of random normed linear spaces and random inner product spaces,ā
*Acta Analysis Functionalis Applicata*, vol. 1, no. 2, pp. 160ā184, 1999. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. X. Guo and S. B. Li, āThe James theorem in complete random normed modules,ā
*Journal of Mathematical Analysis and Applications*, vol. 308, no. 1, pp. 257ā265, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Kupper and N. Vogelpoth, āComplete ${L}^{0}-$normed modules and automatic continuity of monotone convex functions,ā
*Working Paper*10, Vienna Institute of Finance, Vienna, Austria, 2008. View at: Google Scholar - Y. H. Tang, āRandom spectral theorems of self-adjoint random linear operators on complete complex random inner product modules,ā
*Linear and Multilinear Algebra*, vol. 61, no. 3, pp. 409ā416, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Z. Wu, āThe Bishop-Phelps theorem in complete random normed modules endowed with the $(\u03f5,\lambda )$-topology,ā
*Journal of Mathematical Analysis and Applications*, vol. 391, no. 2, pp. 648ā652, 2012. View at: Publisher Site | Google Scholar | MathSciNet - M. Z. Wu, āA further study on the Riemann-integrability for abstract-valued functions from a closed real interval to a complete random normed module,ā
*Scientia Sinica Mathematica*, vol. 42, pp. 897ā903, 2012 (Chinese). View at: Google Scholar - Y. H. Tang, āA new version of the Gleason-Kahane-Żelazko theorem in complete random normed algebras,ā
*Journal of Inequalities and Applications*, vol. 85, pp. 1ā6, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. Guo, āRelations between some basic results derived from two kinds of topologies for a random locally convex module,ā
*Journal of Functional Analysis*, vol. 258, no. 9, pp. 3024ā3047, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - D. Filipović, M. Kupper, and N. Vogelpoth, āSeparation and duality in locally ${L}^{0}$-convex modules,ā
*Journal of Functional Analysis*, vol. 256, no. 12, pp. 3996ā4029, 2009. View at: Publisher Site | Google Scholar | MathSciNet - T. X. Guo, āRecent progress in random metric theory and its applications to conditional risk measures,ā
*Science in China A*, vol. 54, no. 4, pp. 633ā660, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. X. Guo, S. E. Zhao, and X. L. Zeng, āOn random convex analysis—the analytic foundation of the module approach to conditional risk measures,ā http://arxiv.org/abs/1210.1848. View at: Google Scholar
- N. Dunford and J. T. Schwartz,
*Linear Operators I*, Interscience, New York, NY, USA, 1957. - T. X. Guo, āModule homomorphisms on random normed modules,ā
*Northeastern Mathematical Journal*, vol. 12, no. 1, pp. 102ā114, 1996. View at: Google Scholar | Zentralblatt MATH | MathSciNet

#### Copyright

Copyright © 2014 Ming Liu and Xia Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.