IJST (2012) A4: 461-467 Iranian Journal of Science & Technology http://www.shirazu.ac.ir/en Conditional expectation of weak random elements Z. Shishebor1*, A. R. Soltani2, M. Sharifitabar3 and Z. Sajjadnia4 1Department of Statistics, Shiraz University, Shiraz, Iran 2Department of Statistics, Shiraz University (and Kuwait University) Shiraz, P.O. Box 5969 Safat 13060, Iran 3School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box: 19395-5746, Tehran, Iran 4Department of Statistics, Shiraz University, Shiraz, Iran E-mails: [email protected], [email protected], [email protected], & [email protected] Abstract We prove that the limit of a sequence of Pettis integrable bounded scalarly measurable weak random elements, of finite weak norm, with values in the dual of a non-separable Banach space is Pettis integrable. Then we provide basic properties for the Pettis conditional expectation, and prove that it is continuous. Calculus of Pettis conditional expectations in general is very different from the calculus of Bochner conditional expectations due to the lack of strong measurability and separability. In two examples, we derive the Pettis conditional expectations. Keywords: Pettis integral; Pettis conditional expectation; non-separable Banach spaces; weak p-th order random elements 1. Introduction not have conditional expectation with respect to the -field of Lebesgue measurable sets. Riddle and Recently, studies of infinite dimensional processes Saab [7] prove sufficient conditions for the have increased dramatically due to the progress of existence of Pettis conditional expectation for technologies which allow us to store more and more scalarly measurable bounded random elements for information while modern instruments are able to all -fields inside the -field of the underlying collect data much more effectively due to their probability space. In this paper, we go for the increasingly sophisticated design [1]. Although the Riddle and Saab settings, and establish basic strong second order processes are well developed ingredients for the calculus of the Pettis conditional and widely known [2], the weak second order expectation of weak first-order scalarly measurable processes are not rich enough in theory. This, random elements with values in the dual space of a strongly motivates us to define the conditional non-separable Banach space. The upshot is the expectation of weak second order random processes continuity property, established here. This article is which play a crucial role in the study of different organized as follows. In Section 2 we provide subjects such as martingale theory. notations and preliminaries. Certain new results are A few authors tried to develop the theory of Pettis also provided, Lemma 2.2 and Lemma 2.3. Section conditional expectation of p-th order random 3 is devoted to the main results, basic properties of elements. Brooks [3] gives a formal representation the conditional expectation are given in Theorem of the conditional expectation of strong measurable 3.1, and the continuity is given in Theorem 3.2. and Pettis integrable random elements for a given -field. Uhl [4] provides sufficient conditions for the existence of the Pettis conditional expectation. 2. Preliminaries There are also counter examples which show that Let C be the space of complex numbers. Suppose the Pettis conditional expectations do not exist in general, (see Raybakov [5]). Also, Heinich [6] that X and Y be complex Banach spaces, B(X ) provides an example of a Banach space valued stands for the Borel -field: the smallest -field Pettis integrable function on [0,1]2 which does generated by open subsets of X . The notation x , x is used to denote x (x) when x X *Corresponding author Received: 26 December 2011 / Accepted: 18 February 2012 and x X , where X is the dual space of X . Let (,F,) stand for a probability space. IJST (2012) A4: 1-12 462 A Y -valued function (random element) where fn d is defined in the obvious way and : Y is called strongly measurable when it E (B) f d is called Bochner integral of f is F/B (Y) measurable. A random element from E into Y is called scalarly measurable if the with respect to . complex-valued random variable y , is Let Ł p (Y,) , then E := (B) d B measurable, i.e. F/B(C) is measurable for every is defined in the sense of Bochner integral which 1 y Y . Let us introduce some classical function defines bounded linear transformation of Ł (Y,) spaces which will be used throughout this paper. into Y . Also, the conditional expectation of p • Ł (Y,) stands for the space of all strongly given a -field Γ in F is defined as being a 1 measurable random elements on Y equipped random element in Ł (Y,), denoted by with the norm, EB [ | ], which is Γ -measurable and satisfies p 1/p the condition that p = (E Y ) , (B) d = (B) E [ | G]d, for all A . A A B which are called strong random elements of order p . From now on, we use the term "random element" for scalarly measurable random elements only. • Lp (Y, ) 1 p < stands for the space of w scalarly measurable random elements in Y for Definition 2.2. A random element : Y is which, called Pettis integrable with respect to , if 1 w p 1/p (i) L ( , ) , w Y p = sup (E | y , | ) , * y 1 (ii) For every E F , there exists an element E in Y such that, is finite. Such a random element is called weak y, = y,d, for every y Y . (1) scalarly measurable random element of order p . E E Evidently, the weak p -th order property is weaker The element E is called the Pettis integral of than the strong one. over E with respect to the measure and it is • Let L (X ,) denote the space of scalarly w denoted by (P) d . In particular, E E P measurable random elements in X equipped stands for . with the norm, w If Y is a reflexive Banach space, then every = sup | , x |, x X, X . esssup separably-valued random element of a weak order 1 x one is Pettis integrable, [8]. • L () stands for the space of all mappings from Y into C that are bounded a.e. Lemma 2.1. Let and be two random elements in Y . Then, Definition 2.1. A -measurable function (i) is a random element in Y . f : X is called Bochner integrable if there (ii) If A : Y Y is a bounded linear operator, exists a sequence of simple functions { fn } such then A is a random element in Y . that (iii) Let {n } be a sequence of random elements in lim f f = 0. Y such that a.e. (i.e., n n n y ,n 0, a.e. for every y Y ), In this case (B) f d is defined for each E then is a random element in Y . E F by (B) f d = lim f d Proof: The proof is straightforward. E n E n 463 IJST (2012) A4: 1-12 Definition 2.3. A sequence {yn } in a Banach 1 space Y is called weakly Cauchy if for any positive Lemma 2.2. Let n in Lw(X ,) , and number and every y Y , there exists a {n } be a sequence of Pettis integrable random positive integer N , depending on and y , such elements. Then is a Pettis integrable random that for all m,n > N , we have element in X . | y , yn ym |< . Proof: It is enough to show that for all A F , there exists X such that Definition 2.4. A subset K of the Banach space Y A is called weakly precompact if each sequence in K x ,d = x , . Since in A A n has a weakly Cauchy subsequence. 1 Lw(X ,) , Definition 2.5. Pettis integrable random elements and in Y , are called weakly equivalent if sup | x, |d 0, A n y , = y , a.e.,for all y Y , x 1 w = a.e . and since x , d = x , and A n nA Definition 2.6. Let be a Pettis integrable random sup | x, |d 0 , so, n m element in Y and let Γ be a -field in F . A Pettis x 1 integrable random element EP [ | ] in Y is said to be Pettis conditional expectation of with sup | x, | 0. nA mA respect to Γ if, x 1 (i) EP [ | ] is scalarly Γ-measurable and Pettis integrable, Therefore, { } is a weak Cauchy sequence in (ii) (P) d = (P) E [ | ]d, for nA G G P every G . X and converges weakly to some element Definition (2.6) agrees with the one given in [4] if X and x , = x ,d . A A A the random element is strongly measurable. From now on, we assume Y = X , i.e. the Lemma 2.3. Let be a random element in the desired random element takes its values in the dual space of a non-separable Banach space. This Banach space X for which EP [ | ] exists, enables us to use certain weak* properties. We note then that this assumption is satisfied whenever Y is a x,E [ | ] = E[x, | ] x X . Hilbert space or Y = . P The following theorem is given by L. H. Riddle Proof: and E. Saab [7]. It gives sufficient conditions for Since (P) E [ | ]d = (P) d for bounded Pettis integrable random elements to have G P G Pettis conditional expectation. all G , then Theorem 2.1. Let : (,F,) X be a xx,[|]d=E ,d GGP bounded Pettis integrable random element. If the set =[,|]d,Ex forallG . {,x : x 1} is weakly precompact in G L () , then has Pettis conditional expectation with respect to all sub- -fields in F .