AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 183197 10.1155/2014/183197 183197 Research Article L 0 -Linear Modulus of a Random Linear Operator http://orcid.org/0000-0003-1496-9130 Liu Ming Zhang Xia Wang Shawn X. School of Science Tianjin Polytechnic University Tianjin 300387 China tjpu.edu.cn 2014 2732014 2014 05 11 2013 23 02 2014 27 3 2014 2014 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.

We prove that there exists a unique L 0 -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 , which plays an important role in the work of mean ergodicity for linear operators and linear operators semigroups . Recently, the mean ergodicity for random linear operators has been investigated in , and its further developments should naturally include the study of L 0 -linear modulus of a random linear operator on a random normed module. The purpose of this paper is to investigate the existence of the L 0 -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  and subsequently elaborated in , 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 ; in particular, the recently developed L 0 -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, 1720]. 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 L 0 ( , X ) and L p ( ) , where L 0 ( , X ) is the RN module of equivalence classes of X -valued random variables defined on a probability space ( Ω , , P ) and L p ( ) is the L 0 ( , R ) -module generated by L p ( ) ; see , for the construction of L 0 ( , X ) . In particular, L p ( ) constructed in  will be used in this paper and thus we give the details of its construction as follows.

Let ( Ω , , P ) be a probability space, a sub σ -algebra of , and L ¯ 0 ( ) (or L 0 ( ) ) the set of equivalence classes of -measurable extended real-valued (real-valued) random variables on Ω . Let L ¯ + 0 ( ) = { ξ L ¯ 0 ( ) ξ 0 } and L + 0 ( ) = { ξ L 0 ( ) ξ 0 } . Similarly, one can understand such notations as L ¯ 0 ( ) , L 0 ( ) , L ¯ + 0 ( ) , and L + 0 ( ) . Define the mapping | | | · | | | p : L ¯ 0 ( ) L ¯ + 0 ( ) by (1) | | | x | | | p = [ E ( | x | p ) ] 1 / p for any x L ¯ 0 ( ) and 1 p < , where E ( | x | p ) = lim n E ( | x | p n ) denotes the extended conditional expectation and let (2) L p ( ) = { x L 0 ( ) | | | x | | | p L + 0 ( ) } . Then, ( L p ( ) , | | | · | | | p ) is an RN module. In fact, L p ( ) is exactly the L 0 ( ) -module generated by L p ( ) , namely, L p ( ) = L 0 ( ) · L p ( ) : = { ξ x ξ L 0 ( ) and x L p ( ) } , where L p ( ) = { x L 0 ( ) E [ | x | p ] < } .

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, ( Ω , , P ) denotes a given probability space, K the scalar field R of real numbers or C of complex numbers, N the set of positive integers, and L 0 ( , K ) the algebra over K of equivalence classes of K -valued -measurable random variables on Ω under the ordinary scalar multiplication, addition, and multiplication operations on equivalence classes.

Proposition 1 (see [<xref ref-type="bibr" rid="B2">21</xref>]).

L ¯ 0 ( , R ) is a complete lattice under the ordering : ξ η if and only if ξ 0 ( ω ) η 0 ( ω ) , for P -almost all ω in Ω (briefly, a.s.), where ξ 0 and η 0 are arbitrarily chosen representatives of ξ and η , respectively, and has the following nice properties.

(1) Every subset A of L ¯ 0 ( , R ) has a supremum (denoted by A ) and an infimum (denoted by A ) and there exist two sequences { a n , n N } and { b n , n N } in A such that n 1 a n = A and n 1 b n = A .

(2) If A is directed (dually directed), namely, for any two elements c 1 and c 2 in A , there exists some c 3 in A such that c 1 c 2 c 3 ( c 1 c 2 c 3 ); then the above { a n , n N } ( { b n , n N } ) can be chosen as nondecreasing (nonincreasing).

(3) L 0 ( , R ) , as a sublattice of L ¯ 0 ( , R ) , 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 L 0 ( , R ) ; then ξ < η is understood as usual, namely, ξ η and ξ η . For A , ξ > η on A means ξ 0 ( ω ) > η 0 ( ω )    P -a.s. on A , where ξ 0 and η 0 are arbitrarily chosen representatives of ξ and η , respectively. Specially, we denote L + 0 ( ) = { ξ L 0 ( , R ) ξ 0 } and L + + 0 ( ) = { ξ L 0 ( , R ) ξ > 0 on Ω }.

Definition 2 (see [<xref ref-type="bibr" rid="B7">10</xref>, <xref ref-type="bibr" rid="B9">17</xref>]).

An ordered pair ( S , · ) is called a random normed module (briefly, an RN module) over K with base ( Ω , , P ) if S is a left module over the algebra L 0 ( , K ) and · is a mapping from S to L + 0 ( ) such that the following three axioms are satisfied:

x = 0 if and only if x = θ (the null vector of S );

ξ x = | ξ | x , for all ξ L 0 ( , K ) and x S ;

x + y x + y , for all x , y S .

Cleary, ( L 0 ( , K ) , | · | ) is an RN module over K with base ( Ω , , P ) .

Let ( S , · ) be an RN module over K with base ( Ω , , P ) . For any ɛ > 0 , 0 < λ < 1 , denote N θ ( ɛ , λ ) = { x S P { ω Ω x ( ω ) < ɛ } > 1 - λ } ; then 𝒰 θ = { N θ ( ɛ , λ ) ɛ > 0 , 0 < λ < 1 } is a local base at θ of some Hausdorff linear topology, called the ( ɛ , λ ) -topology induced by · . In this paper, given an RN module ( S , · ) over K with base ( Ω , , P ) , it is always assumed that ( S , · ) is endowed with the ( ɛ , λ ) -topology. In this paper, it suffices to notice that the ( ɛ , λ ) -topology for an RN module ( S , · ) is a metrizable linear topology and a sequence { x n , n N } in S converges in the ( ɛ , λ ) -topology to some x S if and only if { x n - x , n N } converges in probability P to 0. It should be pointed out that the ( ɛ , λ ) -topology for ( L 0 ( , K ) , | · | ) is exactly the topology of convergence in probability.

Example 3.

Let X be a normed space over K and L 0 ( , X ) the linear space of equivalence classes of X -valued -random variables on Ω . The module multiplication operation · : L 0 ( , K ) × L 0 ( , X ) L 0 ( , X ) is defined by ξ · x = the equivalence class of ξ 0 x 0 , where ξ 0 and x 0 are the respective arbitrarily chosen representatives of ξ L 0 ( , K ) and x L 0 ( , X ) , and ( ξ 0 x 0 ) ( ω ) = ξ 0 ( ω ) x 0 ( ω ) , for all ω Ω . Furthermore, the mapping · : L 0 ( , X ) L + 0 ( ) by x = the equivalence class of x 0 , for all x L 0 ( , X ) , where x 0 is as above. Then it is easy to see that ( L 0 ( , X ) , · ) is an RN module over K with base ( Ω , , P ) .

Definition 4 (see [<xref ref-type="bibr" rid="B12">22</xref>]).

Let ( S 1 , · 1 ) and ( S 2 , · 2 ) be two RN modules over K with base ( Ω , , P ) . A linear operator T from S 1 to S 2 is called a random linear operator; further, the random linear operator T is called a.s. bounded if there exists some ξ L + 0 ( ) such that T x 2 ξ · x 1 for any x S 1 . Denote by B ( S 1 , S 2 ) the linear space of a.s. bounded random linear operators from S 1 to S 2 ; define · : B ( S 1 , S 2 ) L + 0 ( ) by T : = { ξ L + 0 ( ) T x 2 ξ · x 1 , for all x S 1 } for any T B ( S 1 , S 2 ) ; then it is easy to see that ( B ( S 1 , S 2 ) , · ) is an RN module over K with base ( Ω , , P ) .

Proposition 5 (see [<xref ref-type="bibr" rid="B12">22</xref>]).

Let ( S 1 , · 1 ) and ( S 2 , · 2 ) be two RN modules over K with base ( Ω , , P ) . Then, we have the following statements:

T B ( S 1 , S 2 )   if and only if T is a continuous module homomorphism;

if   T B ( S 1 , S 2 ) , then   T = { T x 2 x S 1   and   x 1 1 } , where denotes the identity element in   L 0 ( ) .

3. Main Results and Proofs

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

Let S ɛ be the class of simple -measurable functions and L 1 ( ) + = { ξ L 1 ( ) ξ 0 } ; then Lemma 6 holds.

Lemma 6.

L 0 ( ) ( S ɛ L + 1 ( ) ) is dense in L 1 ( ) + .

Proof.

For any f L 1 ( ) + , there exist ξ L 0 ( ) and g L 1 ( ) such that (3) f = ξ · g = I [ ξ > 0 ] [ g > 0 ] · ξ · g + I [ ξ < 0 ] [ g < 0 ] · ξ · g . Clearly, I [ g > 0 ] · g L + 1 ( ) ; thus there exists a sequence { g n , n N } S ɛ L + 1 ( ) such that (4) g n I [ g > 0 ] · g a . s . on Ω as n ; that is, I [ g > 0 ] · g - g n 0 a . s . on Ω as n . Since I [ ξ > 0 ] · ξ L 0 ( ) , it follows that (5) E [ | I [ ξ > 0 ] [ g > 0 ] · ξ · g - I [ ξ > 0 ] · ξ · g n | ] = I [ ξ > 0 ] · ξ · E [ | I [ g > 0 ] · g - g n | ] . Furthermore, since E [ I [ g > 0 ] · g - g 1 ] < , it follows that E [ | I [ g > 0 ] · g - g n | ] converges to 0 a.s. on Ω as n . Hence, E [ | I [ g > 0 ] · g - g n | ] converges to 0 in probability P as n . Consequently, | | | I [ ξ > 0 ] [ g > 0 ] · ξ · g - I [ ξ > 0 ] · ξ · g n | | | 1 converges to 0 in the ( ɛ , λ ) -topology as n .

Next, observe that I [ ξ < 0 ] [ g < 0 ] · ξ · g = I [ - ξ > 0 ] [ - g > 0 ] · ( - ξ ) · ( - g ) ; it follows from the above discussion that there exists a sequence { h n , n N } S ɛ L + 1 ( ) such that I [ - ξ > 0 ] · ( - ξ ) · h n converges to I [ - ξ > 0 ] [ - g > 0 ] · ( - ξ ) · ( - g ) in the ( ɛ , λ ) -topology induced by | | | · | | | 1 as n .

Let (6) f n = I [ ξ > 0 ] · ξ · g n + I [ - ξ > 0 ] · ( - ξ ) · h n . Then, (7) f n = [ I [ ξ > 0 ] · ξ + I [ - ξ > 0 ] · ( - ξ ) ] × ( I [ ξ > 0 ] · g n + I [ - ξ > 0 ] · h n ) L 0 ( ) ( S ɛ L + 1 ( ) ) and f n converges to f in the ( ɛ , λ ) -topology induced by | | | · | | | 1 as n , which shows that L 0 ( ) ( S ɛ L + 1 ( ) ) is dense in L 1 ( ) + .

Now we can present and prove the main result below.

Theorem 7.

Let T be an a.s. bounded random linear operator on L 1 ( ) . Then there exists a unique positive a.s. bounded random linear operator 𝒯 on L 1 ( ) , called the L 0 -linear modulus of T , such that

| | | 𝒯 | | | 1 | | | T | | | 1 ,

| T f | 𝒯 | f | for any f L 1 ( ) ,

𝒯 f = { | T g | g L 1 ( ) and | g | f } for any f L 1 ( ) + .

Proof.

Let 𝒫 denote the family of all finite measurable partitions of Ω to ; that is, for any D 𝒫 , there exists D i   ( i = 1,2 , , k ( D ) ) such that i = 1 k ( D ) D i = Ω , where k ( D ) is a finite number with respect to D . It is known that 𝒫 is partially ordered in the usual way: D D in 𝒫 means that D is a refinement of D ; that is, the sets D i are unions of sets of D . For any f L 1 ( ) + , define (8) Q ( D , T , f ) = i = 1 k ( D ) | T ( I ~ D i · f ) | . Then, for any fixed f , Q ( D , T , f ) is monotone increasing on 𝒫 . Furthermore, (9) E [ | Q ( D , T , f ) | n ] = E [ ( i = 1 k ( D ) | T ( I ~ D i · f ) | ) n ] = E [ i = 1 k ( D ) ( | T ( I ~ D i · f ) | n ) ] = i = 1 k ( D ) E [ | T ( I ~ D i · f ) | n ] , letting n in (9), yields that (10) | | | Q ( D , T , f ) | | | 1 = i = 1 k ( D ) | | | T ( I ~ D i · f ) | | | 1 . Observe that (11) | | | f | | | 1 = lim n E [ | f | n ] = lim n E [ | i = 1 k ( D ) ( I ~ D i · f ) | n ] = i = 1 k ( D ) lim n E [ | I ~ D i · f | n ] = i = 1 k ( D ) | | | I ~ D i · f | | | 1 . Combining (10) and (11), we have (12) | | | Q ( D , T , f ) | | | 1 i = 1 k ( D ) | | | T | | | 1 · | | | I ~ D i · f | | | 1 = | | | T | | | 1 · | | | f | | | 1 , which shows that the net { Q ( D , T , f ) , D 𝒫 } is not only monotone increasing on 𝒫 but also L 0 -norm bounded with respect to | | | · | | | 1 . Thus, we can define 𝒯 by (13) 𝒯 f = { Q ( D , T , f ) , D 𝒫 } L 1 ( ) + . Then, 𝒯 is a positive a.s bounded random linear operator according to Lemma 6 and from inequality (12) we get | | | 𝒯 | | | 1 | | | T | | | 1 .

For any f L 1 ( ) + , let (14) L f = { | T g | g L 1 ( ) , | g | f } . For any g L 0 ( ) ( S ɛ L 1 ( ) ) and | g | f , it is clear that | T g | 𝒯 | g | , and further observe that 𝒯 | g | 𝒯 f since 𝒯 is positive. Consequently, (15) | T g | 𝒯 | g | 𝒯 f , which shows that (16) L f 𝒯 f holds. If the converse inequality of (16) does not hold, then there exists an f L 1 ( ) + , a D 𝒫 , an A 0 with P ( A 0 ) > 0 , and an ɛ > 0 such that (17) Q ( D , T , f ) L f + ɛ on A 0 .

Now there exists a set A 1 A 0 with P ( A 1 ) > 0 and a ξ 1 L 0 ( , C ) with | ξ 1 | = I ~ A 1 such that (18) | T ( ξ 1 · I ~ D 1 · f ) - | T ( I ~ D 1 · f ) | | < ɛ 2 k ( D ) on A 1 . Continuing in this way we find A 0 A 1 A 2 A k ( D ) with P ( A k ( D ) ) > 0 and ξ i L 0 ( , C ) with | ξ i | = I ~ A i ( i = 1,2 , , k ( D ) ) such that (19) | T ( ξ i · I ~ D i · f ) - | T ( I ~ D i · f ) | | < ɛ 2 k ( D ) on A i . Setting g = i = 1 k ( D ) ξ i · I ~ D i · f we have | g | | f | and this leads to a contradiction with inequality (17) on A k ( D ) .

This completes the proof.

If we put = { Ω , Φ } , then the following classical result holds.

Corollary 8 (see [<xref ref-type="bibr" rid="B1">1</xref>]).

Let T be a bounded linear operator on L 1 ( ) . Then, there exists a unique positive bounded linear operator 𝒯 on L 1 ( ) , called the linear modulus of T , such that

𝒯 1 T 1 ,

| T f | 𝒯 | f | for any f L 1 ( ) ,

𝒯 f = { | T g | g L 1 ( ) and   | g | f } for any f L + 1 ( ) .

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).

Chacon R. V. Krengel U. Linear modulus of linear operator Proceedings of the American Mathematical Society 1964 15 553 559 MR0164244 ZBL0168.11701 Starr N. Majorizing operators between L p spaces and an operator extension of Lebesgue's dominated convergence theorem Mathematica Scandinavica 1971 28 91 104 MR0308848 ZBL0221.46029 Kubokawa Y. Ergodic theorems for contraction semi-groups Journal of the Mathematical Society of Japan 1975 27 184 193 MR0397444 10.2969/jmsj/02720184 Satō R. Contraction semigroups in Lebesgue space Pacific Journal of Mathematics 1978 78 1 251 259 MR513298 10.2140/pjm.1978.78.251 ZBL0363.47021 Krengel U. Ergodic Theorems 1985 6 Berlin, Germany Walter de Gruyter MR797411 Zhang X. On mean ergodic semigroups of random linear operators Japan Academy Proceedings A. Mathematical Sciences 2012 88 4 53 58 10.3792/pjaa.88.53 MR2912842 ZBL06224203 Zhang X. On conditional mean ergodic semigroups of random linear operators Journal of Inequalities and Applications 2012 150 1 10 10.1186/1029-242X-2012-150 MR2960877 ZBL06224203 Zhang X. Guo T. X. Von Neumann's mean ergodic theorem on complete random inner product modules Frontiers of Mathematics in China 2011 6 5 965 985 10.1007/s11464-011-0139-4 MR2836861 ZBL1235.47015 Guo T. X. Extension theorems of continuous random linear operators on random domains Journal of Mathematical Analysis and Applications 1995 193 1 15 27 10.1006/jmaa.1995.1221 MR1338499 ZBL0879.47018 Guo T. X. Some basic theories of random normed linear spaces and random inner product spaces Acta Analysis Functionalis Applicata 1999 1 2 160 184 MR1739254 ZBL0965.46010 Guo T. X. Li S. B. The James theorem in complete random normed modules Journal of Mathematical Analysis and Applications 2005 308 1 257 265 10.1016/j.jmaa.2005.01.024 MR2142417 ZBL1077.46061 Kupper M. Vogelpoth N. Complete L 0 - normed modules and automatic continuity of monotone convex functions Working Paper 2008 10 Vienna, Austria Vienna Institute of Finance Tang Y. H. Random spectral theorems of self-adjoint random linear operators on complete complex random inner product modules Linear and Multilinear Algebra 2013 61 3 409 416 10.1080/03081087.2012.689981 MR3003433 ZBL1278.47045 Wu M. Z. The Bishop-Phelps theorem in complete random normed modules endowed with the ( ϵ , λ ) -topology Journal of Mathematical Analysis and Applications 2012 391 2 648 652 10.1016/j.jmaa.2012.02.037 MR2903160 Wu M. Z. 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 2012 42 897 903 Tang Y. H. A new version of the Gleason-Kahane-Żelazko theorem in complete random normed algebras Journal of Inequalities and Applications 2012 85 1 6 10.1186/1029-242X-2012-85 MR2922732 ZBL06211694 Guo T. X. Relations between some basic results derived from two kinds of topologies for a random locally convex module Journal of Functional Analysis 2010 258 9 3024 3047 10.1016/j.jfa.2010.02.002 MR2595733 ZBL1198.46058 Filipović D. Kupper M. Vogelpoth N. Separation and duality in locally L 0 -convex modules Journal of Functional Analysis 2009 256 12 3996 4029 10.1016/j.jfa.2008.11.015 MR2521918 Guo T. X. Recent progress in random metric theory and its applications to conditional risk measures Science in China A 2011 54 4 633 660 10.1007/s11425-011-4189-6 MR2786706 ZBL1238.46058 Guo T. X. Zhao S. E. Zeng X. L. On random convex analysis—the analytic foundation of the module approach to conditional risk measures http://arxiv.org/abs/1210.1848 Dunford N. Schwartz J. T. Linear Operators I 1957 New York, NY, USA Interscience Guo T. X. Module homomorphisms on random normed modules Northeastern Mathematical Journal 1996 12 1 102 114 MR1409792 ZBL0858.60012