Abstract

The main purpose of this paper is to consider the strong law of large numbers for random sets in fuzzy metric space. Since many years ago, limited theorems have been expressed and proved for fuzzy random variables, but despite the uncertainty in fuzzy discussions, the nonfuzzy metric space has been used. Given that the fuzzy random variable is defined on the basis of random sets, in this paper, we generalize the strong law of large numbers for random sets in the fuzzy metric space. The embedded theorem for compact convex sets in the fuzzy normed space is the most important tool to prove this generalization. Also, as a result and by application, we use the strong law of large numbers for random sets in the fuzzy metric space for the bootstrap mean.

1. Introduction

The study of the theory of random sets started with Robbins [1, 2]. Kendall [3], Matheron [4], and Fortet and Kambouzia [5] were among others who studied this field. The motivation for studying random sets is both theoretical and practical. Theoretically, they generalized random variables, random vectors, and fuzzy random variables. Also, practically, they depicted geometrical objects in certain models of growth [6].

The strong law of large numbers (SLLN) for random sets and fuzzy random variables in the Pompeiu–Hausdorff metric and the generalized Pompeiu–Hausdorff metric has been studied since 1982. These studies are based on the embedding theorems, namely, Rådström and Harmender theorems. Note that because the compact subset in the Banach space is not a vector space (with respect to Minkowski addition) in the Pompeiu–Hausdorff metric, proving the SLLN is not easy in this space (see [6]).

The studies in this field began with the Puri and Ralescu [6] in 1983 for random sets in Banach space (Artstein et al. [7] in 1975 and Cressie [8] in 1978 also conducted studies on the SLLN in the Euclidean -dimensional space). Puri and Ralescu [9] in 1986 provided a definition of a fuzzy random variable. In the same year, Kelement et al. [10] established the SLLN for the fuzzy random variable. Random sets and fuzzy random variables in the Pompeiu–Hausdorff metric and generalized Pompeiu–Hausdorff metric () are not separable (see [9]). On the other hand, one of the essential conditions in the SLLN is separability. Also, the previous studies show that the convergence in the metric is stronger than the convergence in the metric . In 2002, Proske et al. [11] studied the SLLN in the metric.

López et al. [12] introduced simple convex random sets. At this time, a new approach was begun to express and prove the SLLN. In this approach, the embedding theorems were not used. Also, since the metric space for compact sets in is not separable, to solve this problem, simple random sets were used. Colubi et al. [13] derived the SLLN for independent identically distributed (i.i.d) fuzzy random sets by the approximation method that was a result of López’s studies ([12]). Also, Molchanov [14] in the same year demonstrated the SLLN for the upper semicontinuous functions with a simpler approach. Li and Ogura [15] presented the SLLN for independent (not necessarily identically distributed) fuzzy set-valued random variables whose base space is a separable Banach space or a Euclidean space, in the sense of the extended Pompeiu–Hausdorff metric.

Fu and Zhang [16] obtained some SLLN for arrays of row-wise independent (not necessarily identically distributed) random compact sets and fuzzy random sets whose underlying spaces are separable Banach spaces. Kim et al. established [17] two types of the SLLN for fuzzy random variables taking values on the space of normal and upper semicontinuous fuzzy sets with compact support in a separable Banach space.

Probabilistic metric spaces were introduced by Menger [18] who generalized the theory of metric spaces. In Menger’s theory, the concept of distance is considered to be statistical or probabilistic; i.e., he proposed associating a distribution function with every pair of elements instead of associating a number. Many research studies have been done on probabilistic metric spaces in recent years. The motivation of introducing the probabilistic metric space is the fact that in many situations the distance between two points is inexact rather than a single real number. But when the uncertainty is due to fuzziness rather than randomness, as sometimes in the measurement of an ordinary length, it seems that the concept of a fuzzy metric space is more suitable. The concept of fuzzy metric space introduced by Kramosil and Michalek [19] and George and Veeramani [20] modified this concept.

Puri and Ralescu [9] provided a definition of a fuzzy random variable based on random sets. Now, if we want to use the concept of fuzzy metric space and the SLLN for fuzzy random variables, it is necessary to consider this concept and theorem for random sets. To reach this purpose, we prove an embedding theorem for random sets in fuzzy metric space. Also, we will introduce the generalization of Lebesgue dominated convergence theorem, in the case of random sets in fuzzy metric space.

Efron’s bootstrapping [21] is a resampling scheme that is used on a variety of estimation problems. Considering the importance of the SLLN in the bootstrap method, much has been done in this area by various researchers (see Athreya [22], Athreya et al. [23]). In this paper, we generalize the SLLN in the fuzzy metric space for the bootstrap mean.

In Section 2, some preliminaries and lemmas will be presented. In Section 3, the generalized Rådström embedding theorem is expressed. In the next section, the Lebesgue dominated convergence theorem will be generalized. The SLLN in fuzzy metric space is stated in Section 5. In Section 6, we use the SLLN in fuzzy metric space for the bootstrap mean. The final section is the conclusion.

2. Preliminaries

In this section, at first, we define the t-norm, the new generalized Hukuhara difference (T-difference), fuzzy metric space, and fuzzy normed space and give several lemmas and theorems in this space that will be used in the next section.

Triangular norms (t-norms for short), introduced by Schweizer and Sklar [24], play a key role in the theory of fuzzy metric spaces. Also, a fuzzy subset of (fuzzy set) is a function of . In the following, the definitions of -norm, fuzzy metric space, and fuzzy normed space and its properties are presented.

Definition 1 (see [25]). A t-norm is a binary operation , such that for all the following four axioms are satisfied:(1)(2) whenever and (3)(4)An i-norm is said to be continuous if it is a continuous function on .
Let be a separable normed space. Denote by and the collection of nonempty compact and compact convex subsets of . The Minkowski addition and scalar multiplication are defined in :for and . Note that is not a vector space but it becomes a complete metric space when endowed with the Pompeiu–Hausdorff distance. We know that the Pompeiu–Hausdorff distance is defined aswhere denotes the norm in and [6]. We use the notationwhere . From here on throughout the article, is the Pompeiu–Hausdorff metric.
In (1), if , scalar multiplication gives the opposite but, in general, ; i.e., the opposite of is not the inverse of in Minkowski addition (unless is a singleton). Minkowski's difference is . This fact is that, in general, even if it is true that , addition/subtraction simplification is not valid, i.e., . To partially overcome this situation, Hukuhara in [26] introduced the following H-difference:and an important property of is that . From an algebraic point of view, the difference of two sets and may be interpreted both in terms of addition as in (4) or in terms of negative addition; i.e.,where is the opposite set of . Conditions (4) and (5) are compatible with each other; that is why Stefanini [27] suggested a generalization of the Hukuhara difference as follows.

Definition 2 (see [27]). Let ; we define the generalized Hukuhara difference (gH-difference) of and as the set such thatSometimes, the gH-difference in (6) of does not exist (see [27]).
Stefanini and Bede [28] defined a generalized difference for compact convex sets, even if the gH-difference does not exist. This difference is called the total gH-difference of (T-difference for short). In the following, we introduce some preliminary concepts for compact convex sets which are required to express the T-difference.
Let be a unit sphere. The support function of is defined bywhere is a (real) Hilbert space with internal product and associated norm .
The gH-difference of can be expressed by the use of the support functions [28]. Consider with as defined in (6); let , and be the support functions of , and , respectively. In case , we have , and in case , we have . So, for all [28],If , then can be associated with a family of compact intervals that characterize it. For , the support function is defined byAs a dual for the support function, is defined byAlso, Stefanini and Bede [28] defined for each the compact intervalsThe following gH-differences for intervals are well defined for all :where

Definition 3 (see [28]). Let and consider the following family of sets:where and are the interval-valued functions defined in (11) and (12), respectively. The set will be called the (generic) difference set of the pair . It is immediate that ; i.e., if and only if .
The new generalized difference will be defined as an element of the family , by requiring appropriate additional conditions.

Definition 4 (see [28]). is called minimal with respect to set magnitude (norm-minimal for short) if no exists with .
The set of all elements of with the norm-minimality property will be denoted by . It is immediate that . Furthermore, there exists a real number , depending only on and , such thatClearly,, because .

Definition 5 (see [28]). Let be given. The following convex set always exists and is uniquewhere is the closure of with respect to convex unions of its elements. has the following basic properties:(1).(2).(3).(4) is norm-minimal with respect to .(5) .(6).(7)If the gH-difference exists, then .(8)The magnitude of coincides with the Pompeiu–Hausdorff distance; i.e.,The set will be called the total gH-difference of and (T-difference for short).

Definition 6 (see [20]). Let be an arbitrary nonempty set and is a continuous t-norm. The 3-tuple is said to be a fuzzy metric space if is a fuzzy set on satisfying the following conditions for all and :(1)(2) (3)(4)(5)

Example 1 (see [20]). Let be a metric space. Define or and ,In this case, is a fuzzy metric space. In particular, if , thenwhich is called the standard fuzzy metric induced by metric .

Definition 7 (see [20]). A sequence in a fuzzy metric space is a Cauchy sequence if and only if for each and there exist such that for all A fuzzy metric space is said to be complete if and only if every Cauchy sequence is convergent.

Definition 8 (see [29]). The 3-tuple is said to be a fuzzy normed space if is a vector space, is a continuous t-norm, and is a fuzzy set on satisfying the following conditions for every and :(1)(2)(3)(4)(5)(6)

Definition 9. Let be a normed space. Also, addition, multiplication, distance, norm, and difference are defined in (1)–(3) and (6), respectively. If , then is a fuzzy norm, where is a decreasing function with respect to . It is called a fuzzy norm induced by .
It is immediate that is a fuzzy normed space where is a continuous t-norm.

Example 2 (see [29]). Let be a normed space. Suppose that or , and ,where is defined in (3). In this case, is a fuzzy normed space.

Lemma 1. Let be a fuzzy normed space and . If we defineThen, is a fuzzy metric on , which is called the fuzzy metric induced by the fuzzy norm .

Proof. According to Definitions 3 and 4 and Lemma 3 in [29], it is easy to show that Lemma 1 is established.

Lemma 2. A fuzzy metric , which is induced by a fuzzy norm , has the following properties for all and every scalar :(1)(2)

Proof. By Lemma 1, Definition 9, and Lemma 4 [29], it is easy to show that the result is established; for example, for (2), we have

3. Generalized Rådström Embedding Theorem

As mentioned in Section 1, the compact subset in the Banach space is not a vector space (with respect to Minkowski addition) in the Pompeiu–Hausdorff metric (see [6]). The Rådström embedding theorem states that the collection of nonempty closed bounded and convex subsets of a Banach space can be embedded in a normed space. This theorem enables us to prove the SLLN.

In the following, first, we present the properties of the fuzzy metric space in the fuzzy metric and then generalize the Rådström embedding theorem.

Theorem 1. Let be a fuzzy normed space and is fuzzy metric induced by . Suppose that is the collection of nonempty compact convex subsets of ; then, is a fuzzy metric space.

Proof. By using Definition 9 and T-difference, we show that for all , the conditions of Definition 6 are established as follows:(1)(2) if and only if (3)(4) and (5) is continuousRådström in [30] showed that , a class of compact convex sets, can be embedded isometrically into normed space. In the following, we will show that this property is established also into a fuzzy normed space.
The space plays an important role since it can be embedded isometrically into a fuzzy normed space. Actually, this theorem generalizes the Rådström embedding theorem [30] from into a fuzzy normed space.

Theorem 2. Let be a separable normed space. There exist a fuzzy normed space and a function with the following properties:(1)(2)(3)Note that fuzzy normed space is not complete in general, but one can always take the completion of , and thus, is embedded into a fuzzy normed space by .

Proof. Since is a class of compact convex sets in normed space, for all except 3 and 8–10, all the conditions of the Rådström embedding theorem in [30] are established. Now, we prove 3 and 8–10 conditions (with instead of ).
In Theorem 1, we showed that with is metrizable. Furthermore, from Lemma 2 in [30], condition 3 is confirmed.
Also, given that is a decreasing function with respect to , from Theorem 2 in [30], 8–10 conditions in are established. So, there are and .
Properties 2 and 3 follow from the definitions.

4. Generalized Lebesgue Convergence Theorem

An important tool in Section 5, which is used to prove the SLLN for random sets in fuzzy metric space, is the Lebesgue convergence theorem. In this section, after defining a random set, we will generalize this theorem for random sets in the fuzzy metric space.

Suppose that is a probability space. The following definitions describe the concept of the random closed set, random compact, and random compact convex set.

Definition 10 (see [31]). Let be the family of closed subsets of . A map is called a random closed set if, for every ,.

Definition 11 (see [31]). A random closed set with almost everywhere compact values (so that ) is called a random compact set.
The -valued random set (i.e., random sets whose values are compact subsets of ) is a Borel measurable function .

Definition 12 (see [31]). Let be Borel -algebra. Random closed sets are said to be independent iffor all .
For more information about this concept, see [31].
A random closed set in the separable normed space is called integrably bounded ifhas a finite expectation [31]. In other words, . The expected value of the random set was defined by Aumann [32] and later by Debreu [33]. These definitions were shown to be equivalent to Byrne [34]. If is a random compact set, then is defined asHere, is a selection of and denotes the classical expectation (via the Bochner integral). In general, may be empty, but if , then (Aumann [32], Debreu [33]).
Note that is a random compact convex set, whenever . In the following, the random compact convex set is called a random set for brevity.
In the following, we will introduce the generalized Lebesgue dominated convergence type theorem in the case of random sets in fuzzy metric space, which is used in the next section.
The almost everywhere convergence of random sets is usually defined with respect to the Pompeiu–Hausdorff metric as [31]. It can equally be said a.e. In fuzzy metric whenever, a.e.

Theorem 3. Let and be random sets with values in such that and . Assume that in the fuzzy metric is convergent a.e. to and for all , where is integrable. Then, in the fuzzy metric ,

Proof. Using the inequality in Debreu [33], p.366–367, we haveWe know that is a random variable, so, will be real. Therefore, according to Definition 11 and Lemma 1, we haveOn the other hand, from the hypothesis, since a.e., so, a.e. By the triangle inequality, we getAccording to the integrability and , is integrable. Now, due to the classical Lebesgue dominated convergence theoremthereforeFurthermore, from (20), it follows a.e. Also, by using (21), we conclude thatThis means that (19) holds.

5. Strong Law of Large Numbers in Fuzzy Metric Space

In this section, by using the Rådström embedding theorem, we establish the SLLN for random sets in fuzzy Banach space. In the following, we first express the definition of the fuzzy Banach space and then will show that is a separable fuzzy metric space. In the last step, the SLLN will be expressed and proved in the fuzzy Banach space.

Definition 13 (see [29]). The fuzzy normed space is said to be a fuzzy Banach space whenever is complete with respect to the fuzzy metric induced by a fuzzy norm.

Theorem 4. Fuzzy metric space is separable.

Proof. We know that is a separable metric space [35], and given that the continuous image of a separable metric space is separable, so, the result is established.

Corollary 1. Fuzzy metric space is separable, too.

Theorem 5. Let be independent and identically distributed (i.i.d.) random sets such that is integrable. Then,the convergence being in the fuzzy metric .

Proof. Let be the isometry provided by the Rådström embedding theorem. Since is separable (Corollary 1), by considering Lemma 1, it is easy to show that fuzzy normed space is separable. Then, are i.i.d. -valued random elements, where is an isometry. By a standard SLLN in Banach space, it follows thatThe main point now is to show that , if is integrable.
Assume first that is a simple function (for some ); i.e.,It is easy to check that in this case. To prove this, due to Theorem 1, we see thatSince is measurable, there exists a sequence of simple functions with a.e. in the fuzzy metric . Also from the continuity of , a.e.We now consider the truncated random sets as follows ():Note that are simple functions. It is easy to see in fuzzy metric that a.e. and thatThe hypotheses of Theorem 4 are satisfied, because , so Therefore, in ,It is easy to see that and, from properties of the Bochner integral, that Since , it follows that Therefore,From the properties of , it follows that

6. Bootstrap Mean in Fuzzy Metric Space

The bootstrap method introduced in Efron [21] is a very general resampling procedure for estimating the distributions of statistics based on independent observations. Athreya [22] provided strong Law for the Bootstrap and Athreya et al. [23] established laws of large numbers for bootstrapped U-statistics. Also, Csrgo [36] presented the weak and strong law of large numbers for bootstrap sample means under minimal moment conditions. In this section, we want to generalize the SLLN in fuzzy metric space for the bootstrap mean.

Let be an infinite sequence of i.i.d. random sets defined on a probability space and is integrable. For each , let be the ordinary Efron bootstrap sample of size where is a sequence of positive integers. The variables result from sampling times the sequence with replacement such that at each stage any one element has a probability to be picked [36].

Suppose that is the bootstrap sample mean where

Puri and Ralescu [35] provided limit theorems for random compact sets in Banach space. In fact, they showed that

Now, if we apply this theorem for bootstrap mean, then we have

Sometimes, the expert’s opinion may be important in determining the magnitude or smallness of the distance. In this case, the use of the SLLN in fuzzy metric space (stated in Section 5) is more appropriate. By specifying the value of , the expert can apply his opinion on the distance between two values. In the following, we will illustrate with an example that the bootstrap SLLN in fuzzy metric space is established. In other words,

Example 3. The probability that someone in time will sell a piece of property at a profit of range thousand dollars is , the probability that he in time will sell it at a profit of range thousand dollars is , the probability that in time the sale profit is in the range of is equal to , the probability that in time the sale profit is in the range of is equal to , and the probability that he in time will profit of range is . What is his expected profit?
Here, we denote the random set with :Then, for each random set, the Aumann integral (19) is denoted by and is equal toSuppose that the following data are a random sample from the population:Now, we generate 1000 samples by using the bootstrap method. In the next step, we calculate the mean of every 1000 samples. To show better convergence, we compute the mean of the bootstrap method for the number of different iterations with ten steps in the interval from 1 to 1000. In other words, we calculate the mean value in steps 10, 20, ..., 1000 and display it on the chart. These values are shown in Figure 1.
As we can see in Figure 1, when and , the expectation of the random set tends to the sample mean by using the bootstrap method in the fuzzy metric. In other words,Also, the effect of value on the behavior of and convergence rate can be seen in Figure 2. In fact, using a low value of reduces the value of to 0 too quickly as the Pompeiu–Hausdorff distance increases. On the other hand, if a high value is used, the value of decreases too slowly (Figure 2). The expert’s opinion is important in determining the appropriate value of .

7. Conclusion

When the uncertainty is fuzziness, as sometimes in the measurement of an ordinary length, the concept of a fuzzy metric space is more suitable. Since the fuzzy random variable is defined on the basis of a random set, the SLLN for random sets in fuzzy metric space assists us in expressing this theorem for fuzzy random variables in a fuzzy metric space. Therefore, we have presented a new theorem for the study of the SLLN for random sets in fuzzy metric spaces in the sense of George and Veeramani [20]. Also, we generalized the Rådström embedding theorem and Lebesgue dominated convergence that are important tools to prove these theorems. In fact, this article can provide the conditions for the expression of limit theorems for fuzzy random variables in fuzzy metric space. As an application of the SLLN for random sets in fuzzy metric space, we show that tends to in fuzzy metric space for bootstrap method. In fact, when an expert’s opinion is important in determining distance, the value of in fuzzy metric becomes significant.

Data Availability

This research is a theoretical study, and no data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.