• Research Article
• Open Access

# A Note on Strong Laws of Large Numbers for Dependent Random Sets and Fuzzy Random Sets

Journal of Inequalities and Applications20102010:286862

https://doi.org/10.1155/2010/286862

• Accepted: 7 February 2010
• Published:

## Abstract

This paper deals with a sequence of identically distributed random sets or fuzzy random sets with -mixing dependence in a separable Banach space. The strong laws of large numbers for these two sequences are derived under Kuratowski-Mosco sense.

## Keywords

• Limit Theorem
• Borel Subset
• Separable Banach Space
• Fuzzy Random Variable
• Closed Convex Hull

## 1. Introduction

Recently, great progress has been made towards the theories and applications of random sets and fuzzy random sets in the areas of information science, probability, and statistics. It is well known that Robbins [1, 2] first proposed the concept of random sets and investigated the relationships between random sets and geometric probabilities in his early work. After that, Kendall [3] and Matheron [4] provided a comprehensive mathematical theory of random sets which was greatly influenced by the geometric probability prospective. Their proposed framework exerted a strong influence on the limit theorems developed in the recent decades. Notice that strong laws of large numbers (SLLNs) play an important role in probability limit theorems, and several variants of SLLNs were built by Artstein and Vitale [5], Puri and Ralescu [6], Hiai [7], Inoue [8], Taylor et al. [911], Uemura [12], and so forth. Among them, Artstein and Vitale [5] proved limit theorems concerning random sets in and Puri and Ralescu [6] were the first to obtain the SLLNs for independent identically distributed (i.i.d.) Banach space-valued compact convex random sets. Among others, SLLNs were obtained under more relaxed conditions, and a detailed survey of these results is available in Taylor and Inoue [10].

The theory of fuzzy sets was introduced by Zadeh [13] (for an outline recently, one can refer to [14, 15]), and the concept of fuzzy random variables was promoted by Kwakernaak [16], where useful basic properties were developed. Puri and Ralescu [17] used the concept of fuzzy random variables in generalizing results for random sets to fuzzy random sets. With respect to laws of large numbers, Kruse [18] proved an SLLN for i.i.d. fuzzy random variables. Klement et al. [19] considered fuzzy versions of random sets in Euclidean spaces and obtained an i.i.d. SLLN. Inoue [20] derived SLLNs for independent, tight fuzzy random sets, and i.i.d. fuzzy random sets in a separable Banach space. Recently, SLLNs have been established under various conditions, and one can refer to the following papers [811, 2126]. Also for more detailed results about limit theorems of random sets and fuzzy random sets, we refer the readers to Li et al. [27] and references therein.

However, to the best of our knowledge, many limit theorems, especially the laws of large numbers, were obtained for independent random sets or fuzzy random sets in the past decades, and little is known of dependent random sets or fuzzy random sets except the exchangeable dependence involved in Inoue [8, 28], Taylor et al. [11], and Terán [26]. In this paper, we aim to propose a new kind of dependence for random sets and fuzzy random sets, and then establish several strong laws of large numbers in Kuratowski-Mosco convergence without the restriction of compactness, where random sets take values of closed subsets in separable Banach spaces.

The layout of this paper is as follows. In Section 2, we give some basic definitions and properties, and the new dependence is proposed in Section 3. In the last section we show several SLLNs for a sequence of dependent random sets and fuzzy random sets, and their proofs.

## 2. Definitions and Preliminaries

Throughout this paper, let be a real separable Banach space with the norm and the dual space . For each and denote the norm-closure and the closed convex hull of , respectively. Let (resp., ) denote the collections of all nonempty closed (resp., nonempty closed convex) subsets of . Define the Minkowski's addition and scalar multiplication, respectively, in (or ) by
(2.1)
where (or ) and is a real number. Note that neither nor are linear spaces even when one-dimensional Euclidean space. For the distance of and the Hausdorff distance of and , the norm of and the support function of are defined, respectively, by
(2.2)
Let be a sequence of closed sets in We write if for some Rather than this Hausdorff convergence, we here use the Kuratowski-Mosco convergence. Let be the set of all such that for some that is,   and let be the set of all such that (i.e., converges weakly to ) for some and some subsequence of It is easily seen that , and if Thus we say converges to in the Kuratowski-Mosco sense if and only if
(2.3)

Clearly, the Hausdorff convergence is generally stronger than Kuratowski-Mosco convergence, since the former implies the latter when is infinite dimensional, and in finite dimensional spaces they coincide with bounded sets (cf. [29]).

Let denote a probability measure space. A random closed set is a Borel measurable function that is,   for each Moreover, we assume that the random closed sets are measurable in the sequel, where means the Borel subsets of For a random set in there exists a corresponding set in which can be used in defining an expected value. A measurable function is called a measurable selection of if for every Denote by
(2.4)
where denotes the space of measurable functions such that if and only if the random variable is integrable. For each random set , the expectation of , denoted by is defined by
(2.5)

where is the usual Bochner integral in Define for . This definition was introduced by Aumann in 1965 as a natural generalization of the integral of real-valued random variables in [30]. If a Bochner integral can be defined as and (cf. [31]). The random set is said to be integrably bounded if the real-valued random variable is integrable (cf. [27, 32]). Hiai and Umegaki [32] showed that a random set is integrably bounded if and only if is bounded in Thus an integrably bounded random set may take unbounded sets.

Now we introduce some notions of fuzzy random sets. A fuzzy set in is a function Let denote the family of the fuzzy subset satisfying the following conditions:

(a) is upper semicontinuous, that is, the -level set of , that is, is a closed subset of for each ,

(b) has compact closure,

(c) .

A linear structure in is defined by the following operations:
(2.6)
where This of course implies and Then we adopt the metric (see [17, 19, 33]) as a generalization of the Hausdorff metric from to where
(2.7)
where The concept of a fuzzy random set as a generation for a random set was extensively studied by Puri and Ralescu [17]. A fuzzy random set is a function such that for each is a random closed set. The expectation of a fuzzy random set , denoted by is an element in such that for each
(2.8)
where the closure is taken in and By virtue of the existence theorem (cf. [27]), we have an equivalent definition as follows:
(2.9)

Furthermore, for any

## 3. Mixing Dependence

Many statistical results are concerned with independent and identically distributed (i.i.d.) random sets or fuzzy random sets. While it is not always possible to assume that random sets or fuzzy random sets are independent, the sequence can be often dependent. However, for dependent case, it seems that only the exchangeability is involved. In what follows, we propose a new kind of dependence for random sets which is popular with random variables and random elements. Similarly, it can be defined for fuzzy random sets.

Given two -fields in , write
(3.1)
Let be a sequence of random closed sets on Denote where (the set of all nature numbers). For two nonempty disjoint sets define as Let and be the -fields generated by and respectively. Now we define two mixing coefficients for the sequence of For any real number set
(3.2)

If (resp. tends to zero as then we say that the sequence is -mixing (resp., -mixing). Obviously, a -mixing sequence is a -mixing sequence. Also it is well known that many limit results were derived for real-valued mixing random sequences and random fields in the past thirty years (cf. [34, 35] and references therein). Zhang [36, 37] extended them to the Banach space-valued mixing random fields and established some moment inequalities. As far as we know, there is little concerning the dependent random sets or fuzzy random sets except the exchangeability dependence. The main purpose of this paper is to establish limit theorems for mixing dependent random sets or fuzzy random sets which extend the results of independent case.

## 4. Limit Theorems

Lemma 4.1.

Let be the smallest sub- -filed of to which and are measurable, respectively. Let be a random closed set and measurable. Then one has the following.

For each with
(4.1)

where

Let be a sequence of -mixing and identically distributed random closed sets. For each where denotes the set of all measurable functions in there exists such that is -mixing.

For each -mixing and identically distributed random closed sets with one has
(4.2)

Proof.

Note that for the conditional expectation of with respect to is given as a function such that
(4.3)
If with then from Hiai and Umegaki [32] it follows that there exists a -measurable satisfying that
(4.4)

Noting that is measurable, it follows that

(4.5)
Recall that and , and hence
(4.6)
Since is separable and is -measurable, there exists a -measurable function satisfying that for every where means the Borel subsets of Now define Note that is an identically distributed sequence of -mixing random sets, and this leads to that is also of mixing dependence, since the definitions of mixing dependence rely on -fields. In fact, the mixing coefficients of are less than those of Thus we have
(4.7)

Noting that the function of into is -measurable, thus is -mixing and identically distributed. Hence, a.s. implies a.s., which leads to

It follows from (2) easily.

Remark 4.2.

The lemma also holds for -mixing random closed sets in a similar way.

Hiai [7] proved a strong law of large numbers of i.i.d. random variables in in Kuratowski-Mosco convergence. Recently, Inoue and Taylor [28] replaced i.i.d. by exchangeability and obtain a strong law of large numbers. Here we replace the i.i.d. by -mixing dependence which is a more extensive dependence and derive strong laws of large numbers for random sets and fuzzy random sets, respectively.

Theorem 4.3.

Let be a sequence of mixing and identically distributed random closed sets in with Suppose that one of the following conditions is satisfied:
(4.8)
Then one has
(4.9)

Proof.

Here we only consider the -mixing case, since the -mixing case can be proved similarly. By Lemma 4.1(2), for a sequence of -mixing random set in , there exists a -measurable function and the corresponding random elements such that for all

Let and Since is -mixing and identically distributed random sets, it follows that is -mixing and identically distributed. For any and , we can choose such that
(4.10)
where is the smallest sub -field of with respect to which is measurable and By Lemma 4.1, there exists a sequence of such that is -mixing and identically distributed for each Let If where then we have
(4.11)

by a similar way of Theorem of Hiai [7] and Theorem of Zhang [37]. Note that are closed sets in which implies a.s. Thus, it follows that a.s., and hence a.s.

In the following we show Let be a sequence dense in Since is separable, by the separation theorem there exists a sequence in with such that
(4.12)
Thus it follows if and only if for all Notice for each , is a sequence of -mixing random variables in since is -mixing, and hence there exists a -null set such that for every and ,
(4.13)
If for then for some So, for each we have
(4.14)

which implies Thus a.s. follows.

Remark 4.4.

If is a finite dimensional Banach space and are compact sets, then Theorem 4.3 still holds in the Hausdorff convergence.

The next theorem describes a strong law of large numbers for mixing fuzzy random sets in

Theorem 4.5.

Let be a sequence of mixing fuzzy random sets taking values in . If , and one of the following conditions is satisfied:
(4.15)
then
(4.16)

Proof.

Since is a sequence of mixing fuzzy random sets in , by the definitions of mixing we have that is mixing random closed sets with for any Thus the desired result follows from Theorem 4.3 immediately.

Remark 4.6.

By the definitions of mixing dependence and -fields, it follows that the mixing coefficients in Theorem 4.5 is less than those in Theorem 4.3.

## Declarations

### Acknowledgments

The author thanks the referees for pointing out some errors in a previous version, as well as for several comments that have led to improvements in this work. This project was supported by the National Natural Science Foundation of China (nos. 10671176, 10771192, and 10901138) and the Research Grant of Zhejiang Gongshang University (X10-26).

## Authors’ Affiliations

(1)
Department of Mathematics, Zhejiang Gongshang University, Hangzhou, 310018, China

## References

1. Robbins HE: On the measure of a random set. Annals of Mathematical Statistics 1944, 15: 70–74. 10.1214/aoms/1177731315
2. Robbins HE: On the measure of a random set. II. Annals of Mathematical Statistics 1945, 16: 342–347. 10.1214/aoms/1177731060
3. Kendall DG: Foundations of a theory of random sets. In Stochastic Geometry (A Tribute to the Memory of Rollo Davidson). Edited by: Harding EF, Kendall DG. John Wiley & Sons, New York, NY, USA; 1974:322–376.Google Scholar
4. Matheron G: Random Sets and Integral Geometry, Wiley Series in Probability and Mathematical Statistics. John Wiley & Sons, New York, NY, USA; 1975:xxiii+261.Google Scholar
5. Artstein Z, Vitale RA: A strong law of large numbers for random compact sets. Annals of Probability 1975, 3(5):879–882. 10.1214/aop/1176996275
6. Puri ML, Ralescu DA: Strong law of large numbers for Banach space valued random sets. The Annals of Probability 1983, 11(1):222–224. 10.1214/aop/1176993671
7. Hiai F: Convergence of conditional expectations and strong laws of large numbers for multivalued random variables. Transactions of the American Mathematical Society 1985, 291(2):613–627. 10.1090/S0002-9947-1985-0800254-X
8. Inoue H: Exchangeability and convergence for random sets. Information Sciences 2001, 133(1–2):23–37. 10.1016/S0020-0255(01)00075-5
9. Taylor RL, Inoue H: Convergence of weighted sums of random sets. Stochastic Analysis and Applications 1985, 3(3):379–396. 10.1080/07362998508809069
10. Taylor RL, Inoue H: Laws of large numbers for random sets. In Random Sets (Minneapolis, MN, 1996). Volume 97. Springer, New York, NY, USA; 1997:347–360. 10.1007/978-1-4612-1942-2_15
11. Taylor RL, Vidyashankar AN, Chen Y: Limit theorems for exchangeable random elements and exchangeable random sets. Asymptotics in Statistics and Probability 2000, 367–378.Google Scholar
12. Uemura T: A law of large numbers for random sets. Fuzzy Sets and Systems 1993, 59(2):181–188. 10.1016/0165-0114(93)90197-P
13. Zadeh LA: Fuzzy sets. Information and Computation 1965, 8: 338–353.
14. Zadeh LA: Toward a generalized theory of uncertainty (GTU)—an outline. Information Sciences 2005, 172(1–2):1–40. 10.1016/j.ins.2005.01.017
15. Zadeh LA: Is there a need for fuzzy logic? Information Sciences 2008, 178(13):2751–2779. 10.1016/j.ins.2008.02.012
16. Kwakernaak H: Fuzzy random variables. I. Definitions and theorems. Information Sciences 1978, 15(1):1–29. 10.1016/0020-0255(78)90019-1
17. Puri ML, Ralescu DA: Fuzzy random variables. Journal of Mathematical Analysis and Applications 1986, 114(2):409–422. 10.1016/0022-247X(86)90093-4
18. Kruse R: The strong law of large numbers for fuzzy random variables. Information Sciences 1982, 28(3):233–241. 10.1016/0020-0255(82)90049-4
19. Klement EP, Puri ML, Ralescu DA: Limit theorems for fuzzy random variables. Proceedings of the Royal Society A 1986, 407(1832):171–182. 10.1098/rspa.1986.0091
20. Inoue H: A strong law of large numbers for fuzzy random sets. Fuzzy Sets and Systems 1991, 41(3):285–291. 10.1016/0165-0114(91)90132-A
21. Colubi A, López-Díaz M, Domínguez-Menchero JS, Gil MA: A generalized strong law of large numbers. Probability Theory and Related Fields 1999, 114(3):401–417. 10.1007/s004400050229
22. Fu K, Zhang L: Strong limit theorems for random sets and fuzzy random sets with slowly varying weights. Information Sciences 2008, 178(12):2648–2660. 10.1016/j.ins.2008.01.005
23. Guan L, Li S: Laws of large numbers for weighted sums of fuzzy set-valued random variables. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2004, 12(6):811–825. 10.1142/S0218488504003223
24. Joo SY, Kim YK, Kwon JS: Strong convergence for weighted sums of fuzzy random sets. Information Sciences 2006, 176(8):1086–1099. 10.1016/j.ins.2005.02.002
25. Li S, Ogura Y: Strong laws of large numbers for independent fuzzy set-valued random variables. Fuzzy Sets and Systems 2006, 157(19):2569–2578. 10.1016/j.fss.2003.06.011
26. Terán P: A strong law of large numbers for random upper semicontinuous functions under exchangeability conditions. Statistics & Probability Letters 2003, 65(3):251–258. 10.1016/j.spl.2003.08.004
27. Li S, Ogura Y, Kreinovich V: Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables, Theory and Decision Library. Series B: Mathematical and Statistical Methods. Volume 43. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2002:xiv+391.
28. Inoue H, Taylor RL: Laws of large numbers for exchangeable random sets in Kuratowski-Mosco sense. Stochastic Analysis and Applications 2006, 24(2):263–275. 10.1080/07362990500522114
29. Salinetti G, Wets RJ-B: On the convergence of sequences of convex sets in finite dimensions. SIAM Review 1979, 21(1):18–33. 10.1137/1021002
30. Aumann RJ: Integrals of set-valued functions. Journal of Mathematical Analysis and Applications 1965, 12: 1–12. 10.1016/0022-247X(65)90049-1
31. Debreu G: Integration of correspondences. In Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics and Probability (Berkeley, Calif., 1965/66), Vol. II: Contributions to Probability Theory, Part 1. University of California Press, Berkeley, Calif, USA; 1967:351–372.Google Scholar
32. Hiai F, Umegaki H: Integrals, conditional expectations, and martingales of multivalued functions. Journal of Multivariate Analysis 1977, 7(1):149–182. 10.1016/0047-259X(77)90037-9
33. Puri ML, Ralescu DA: Différentielle d'une fonction floue. Comptes Rendus des Séances de l'Académie des Sciences. Série I. Mathématique 1981, 293(4):237–239.
34. Bradley RC: On the spectral density and asymptotic normality of weakly dependent random fields. Journal of Theoretical Probability 1992, 5(2):355–373. 10.1007/BF01046741
35. Lin ZY, Lu CR: Limit Theory on Mixing Random Variables. Kluwer Academic Publishers and Science Press, Dordrecht, The Netherlands; 1997.Google Scholar
36. Zhang L: Rosenthal type inequalities for -valued strong mixing random fields and their applications. Science in China 1998, 41(7):736–745. 10.1007/BF02901956
37. Zhang LX, Wen JW: A strong law of large numbers for -valued random fields. Chinese Annals of Mathematics 2001, 22(2):205–216.