Abstract
Interval-valued fuzzy sets were introduced in 1970s as an extension of Zadeh’s fuzzy sets. For interval-valued fuzzy events, (IV-events for short) IV-probability theory has been developed. In this paper, we prove central limit theorems for triangular arrays of IV-observables within this theory. We prove the Lindeberg CLT and the Lyapunov CLT, assuming that IV-observables are not necessary identically distributed. We also prove the Feller theorem for null arrays of IV-observables. Furthermore, we present examples of applications of the aforementioned theorems. In particular, we study the convergence in distribution of scaled sums of identically distributed IV-observables.
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Avoid common mistakes on your manuscript.
1 Introduction
The notion of a fuzzy set was introduced by L.A. Zadeh in 1965. The introduced notion of a fuzzy set is a powerful tool for studying different branches of science (in particular mathematics). It has been applied for introducing the fuzzy analogue of many notions existing for crisp sets. Some of these applications are due to Atanassov (1999, 2012), Couso et al. (2014), Dubois et al. (2005), Grattan-Guiness (1975), Tripathy and Ray (2012) and many others. Problems concerning convergence of series and sequences of fuzzy numbers have been considered, i.a., by Tripathy and Das (2012), Tripathy and Sarma (2012), and Tripathy et al. (2012).
The classical Kolmogorov’s theory of probability is a commonly used mathematical model of randomness. It has been described in nearly all textbooks on probability and is well known both for scientists and practitioners dealing with random phenomena. However, there exist other approaches to model such phenomena proposed by mathematicians, physicists and philosophers (see, e.g. the book of Fine 1973). One of them, the Boolean algebraic probability theory, was proposed for the case of quantum systems. This approach is based on fundamental works of great mathematicians: C. Carathéodory, G. Birkhoff, and J. von Neumann. In their works (see, Birkhoff and von Neumann 1936 and Carathéodory 1956), they considered states and observables of a quantum system as counterparts of probability and random variables in the Kolmogorov theory of probability. The concepts of Carathéodory, Birkhoff, and von Neumann were further developed by Gudder (1979), Pták and Pulmannová (1989), Riečan and Neubrunn (1997), Varadarajan (1968), where quantum logics were considered as orthomodular posets.
In many practical applications, randomness is not the only source of uncertainty. The second such source is imprecision nowadays usually modelled by Zadeh’s fuzzy sets. When uncertain phenomena of interest are both random and imprecise, the concept of a fuzzy random variable can be applied. There exist many definitions of the fuzzy random variable which have different interpretations (see, e.g. Kruse and Meyer 1987; Kwakernaak 1978; Liu and Liu 2003; Puri and Ralescu 1986; Couso et al. 2014). According to the first, introduced by Kwakernaak (1978), the fuzzy random variable can be interpreted as fuzzy perception of an original crisp random variable. According to this interpretation, the fuzzy random variable is a (disjunctive) fuzzy set of classical random variables and is described by a fuzzy set of classical probability distributions. This interpretation is nowadays called epistemic and allows to generalize in a relatively easy way the classical concepts of probability and mathematical statistics. Another definition was proposed by Puri and Ralescu (1986). According to their definition, to describe the fuzzy random variable \(\sigma \)-algebras of fuzzy sets are used. Thus, it is a classical random variable with values belonging to a set of functions. This interpretation of the fuzzy random variable understood in the sense of Puri and Ralescu is nowadays called ontic, and its theoretical foundations can be regarded as the generalizations of theory of random sets. For more information about different definitions and interpretations of fuzzy random variables, the reader is encouraged to read an excellent textbook by Couso, Dubois and Sánchez (2014), or the paper by Dubois and Prade (2012).
Fuzzy sets, according to Zadeh himself, were introduced in order to provide a precise mathematical description (i.e. to ‘precisiate’) of imprecise notions, described, e.g. using human’s plain language. However, from a practical point of view non-random imprecision may have different, sometimes subtle, interpretations. Therefore, many different generalizations of fuzzy sets have been proposed. One of such generalizations, which nowadays has become quite popular, is the theory of IF-sets introduced by Atanassov (see Atanassov 1999, 2012 and references therein) in the 1980s. Another one is the theory of interval-valued fuzzy sets (IVF-sets), introduced independently (in the same year!) by four authors: Grattan-Guiness (1975), Jahn (1975), Sambuc (1975), and Zadeh (1975). In this case, the generalization of fuzzy sets consists in the considering the values of the membership function as uncertain intervals (see, e.g. Zadeh 1975 and Türkşen 1986). The mutual relationship between these two models has been studied by many authors who have shown their formal equivalence (see, Deschrijver and Kerre 2003 and Dubois et al. 2005). It is worth noticing that IVF-sets are also equivalent to grey sets introduced by Deng (1989) very popular in East Asia (see Deschrijver and Kerre 2003).
The majority of results about the fuzzy generalizations of the probability have been related to the classical Kolmogorov’s definition of probability. However, fuzzy models of quantum mechanics have also been studied recently. One should mention the theories of F-quantum spaces and fuzzy quantum logics (for details see Riečan and Neubrunn 1997 and references therein). The fuzzy quantum logic of all measurable functions with values in the interval [0, 1] is an example of MV-algebra, introduced by Chang (1958). Fundamentals and the most important theorems of MV-algebraic probability theory, including the central limit theorem, can be found in Nowak and Hryniewicz (2015), Riečan (1999, 2000), Riečan and Mundici (2002), Riečan and Neubrunn (1997). In the area of fuzzy sets, the MV-algebraic probability theory was also applied in the Atanassov’s IF-sets setting. This application let Riečan (2007b) to develop the probability theory for IF-events. Riečan (2007b) proved the central limit theorem (CLT) for independent, identically distributed IF-observables and M-observables. Other results of probability theories concerning IF-events can be found, e.g. in Ciungu and Riečan (2010), Lendelová (2006), Lendelová and Petrovičová (2006), Renčová (2010), Riečan (2004, 2006a, b, 2007a). Generalized versions of central limit theorems within the IF-probability theory and M-probability theory for non-identically distributed observables were proved in the recent paper by Nowak and Hryniewicz (2016).
In contrast to the probability theory of IF-sets, its counterpart for the probability theory of IVF-sets is much less developed. Some interesting results concerning the probability theory of IVF-sets have been published by Riečan and Král’ (2010), Kuková (2011), and Samuelčík and Hollá (2013). The aim of this paper is to fill the gap between the well-developed theory of probability for IF-sets and the theory of probability for IVF-sets. It is devoted to central limit theorems within the IV-probability theory, i.e. the probability theory for IV-events, which involves the Łukasiewicz connectives between IVF-sets. Analysing the limit behaviour of the row sums of triangular arrays of independent IV-observables, we prove the Lindeberg CLT and the Lyapunov CLT as well as the Feller theorem, which is a converse of the Lindeberg CLT. We use a proving technique based on MV-algebraic probability theory from Nowak and Hryniewicz (2015). We additionally present three examples of applications of our theorems for sequences and arrays of IV-observables with convergent scaled sums or row sums. The first example is general and concerns a sequence of independent IV-observables with the same distributions. We prove an appropriate theorem for such a sequence and we apply it to the case corresponding to the classical de Moivre–Laplace theorem. In the second and the third example, we apply the Lindeberg CLT and the Lyapunov CLT. In the last two examples, we use a special form of the IV-probability, basing on a modified notion of the probability of IF-events, considered by Szmidt and Kacprzyk (1999a), Szmidt and Kacprzyk (1999b), Grzegorzewski and Mrówka (2002) and generalized by Nowak (2003, 2004a, b).
Despite formal similarity between IF-sets and IVF-sets, the semantics used for their interpretation is different. Therefore, the results obtained in this paper may be useful for those practitioners for whom the semantics of IVF-sets is better understandable than the semantics of IF-sets. These results may be used in the development of statistical methods for IFV-sets which, as for now, are practically non-existent. In the development of such methods, one can use approaches, already developed for random fuzzy sets, and described in an overview paper by Gil and Hryniewicz (2009) or in a recent paper by Blanco-Fernández et al. (2014).
The paper is organized as follows. In Sect. 2, we introduce some elements of the theories of MV-algebras and MV-probability. Section 3 contains our main results, including the Lindeberg CLT, Lyapunov’s CLT, and the Feller theorem for IV-observables. In Sect. 4, we analyse examples of applications of the limit theorems proved in Sect. 3. The last section is dedicated to conclusions.
2 Basic notions and facts concerning the MV-algebraic probability theory
Let \(n\in \mathbb {N}\), where \(\mathbb {N}\) is the set of all positive integers. We denote by \(\mathbb {N}[n]\) and \(\mathcal {B}(\mathbb {R}^{n})\) the set \(\{1,2,\ldots ,n\}\) and the \(\sigma \)-algebra of Borel subsets of \(\mathbb {R} ^{n}\), respectively.
We will use following theorem (see Billingsley 1986, Theorem 16.12) concerning the change of variable for integrals.
Let \((X,\mathcal {X}) \) and \((X^{\prime },\mathcal {X} ^{\prime }) \) be measurable spaces. Let \(T:X\rightarrow X^{\prime }\) be an \(\mathcal {X}/\mathcal {X}^{\prime }\) measurable function, i.e. \(T^{-1}\left( A^{\prime }\right) \in \mathcal {X}\) for each \(A^{\prime }\in \mathcal {X} ^{\prime }\). For a measure \(\mu \) on \(\mathcal {X}\) we define a measure \(\mu T^{-1}\) on \(\mathcal {X}^{\prime }\) given by
Theorem 1
Let \(f:X^{\prime }\rightarrow \mathbb {R} \) be an \(\mathcal {X}^{\prime }\)-measurable function. If f is non-negative, then
A function f (not necessarily non-negative) is integrable with respect to \(\mu T^{-1}\) if and only if fT is integrable with respect to \(\mu \), in which case (1) and
where \(A^{\prime }\in \mathcal {X}^{\prime }\), hold. Moreover, for any non-negative f, the identity (2) always holds.
MV-algebras are considered as non-commutative generalizations of Boolean algebras. The fundamentals of the theory of MV-algebras were discussed, e.g. by Cignoli et al. (2000) and Mundici (1986). We present only selected elements of the theory of MV-algebras and the MV-algebraic probability theory from Riečan and Mundici (2002) and Nowak and Hryniewicz (2015) with minor modifications.
Definition 1
An algebra \((M,0,1,\lnot ,\oplus ,\odot ) \), where M is a non-empty set, the operation \(\oplus \) is associative and commutative with 0 as the neutral element,
and for arbitrary \(x,y\in M\)
is called an MV-algebra.
In an MV-algebra \((M,0,1,\lnot ,\oplus ,\odot )\) the relation \(\le \) given by the condition
defines a partial order.
The distributive lattice \((M,\vee ,\wedge )\) with least element 0 and greatest element 1, where
and
for \(x,y\in M\), is called the underlying lattice of M.
Definition 2
We call an MV-algebra M \(\sigma \) - complete (complete) if every sequence (non-empty family, respectively) of elements of M has the supremum in M.
We will use the following notations.
Let \(\{ A_{n}\} _{n=1}^{\infty }\) be a sequence of subsets of a set X. Then
For a sequence \(\{x_{n}\} _{n=1}^{\infty }\) of real numbers,
Additionally, for a sequence \(\{b_{n}\}_{n=1}^{\infty }\) of elements of an MV-algebra \(M\ \)
with respect to the underlying order of M.
Within the MV-algebraic probability theory the notions of state and observable were introduced, by abstracting the properties of probability measure and classical random variable.
Definition 3
Let M be a \(\sigma \)-complete MV-algebra. A state on M is a function \(m:M\rightarrow [0,1] \) fulfilling the following conditions for arbitrary \(a,b,c\in M\) and \(\{a_{n}\} _{n=1}^{\infty }\subset M\):
- (1):
-
\(m(1)=1;\)
- (2):
-
if \(b\odot c=0\), then \(m(b\oplus c)=m(b)+m(c);\)
- (3):
-
if \(a_{n}\nearrow a\), then \(m(a_{n})\nearrow m(a).\)
We call a state m faithful if \(m(x)\ne 0\) for each nonzero element x of\(\ M\).
Apart from the defined above notion of state, its additive counterpart, for which \(\sigma \)-additivity is not assumed, is also considered in the literature (see Nowak and Hryniewicz 2015 for more details).
Definition 4
A pair (M, m) consisting of a \(\sigma \) - complete MV-algebra M and a faithful state m on M is called a probability MV-algebra.
It was proved that every probability MV-algebra is complete (see Mundici 2011, Theorem 13.8).
Definition 5
Let M be a \(\sigma \)-complete MV-algebra. An n -dimensional observable of M is a function \(x:\mathcal {B}(\mathbb {R} ^{n})\rightarrow M\) fulfilling the following conditions:
- (1):
-
\(x(\mathbb {R} ^{n})=1;\)
- (2):
-
\(x(A)\odot x(B)=0\) and \(x(A\cup B)=x(A)\oplus x(B)\) for arbitrary \(A,B\in \mathcal {B}(\mathbb {R} ^{n}) \) such that \(A\cap B=\varnothing ;\)
- (3):
-
for arbitrary \(A,A_{1},A_{2},\ldots \in \mathcal {B}(\mathbb {R} ^{n})\)
if \(A_{n}\nearrow A\), then \(x(A_{n})\nearrow x(A).\)
Theorem 2
Let M be a \(\sigma \)-complete MV-algebra, \(x:\mathcal {B}(\mathbb {R}^{n})\rightarrow M\) be an n-dimensional observable, and m be a state on M. Then the function \(m_{x}:\mathcal {B}(\mathbb {R}^{n})\rightarrow [0,1]\) given by
is a probability measure on \(\mathcal {B}(\mathbb {R} ^{n}) \).
For the proof of Theorem 2 we refer the reader to Nowak and Hryniewicz (2015).
Definition 6
Let (M, m) be a probability MV-algebra. An observable \(x:\mathcal {B}(\mathbb {R})\rightarrow M\) of M is said to be integrable in (M, m) if the expectation \(\mathbb {E}(x)=\int _{\mathbb {R} }tm_{x}(\mathrm{d}t)\) exists. We say that x is square-integrable in (M, m) if \(\int _{\mathbb {R} }t^{2}m_{x}(\mathrm{d}t)\) exists. If x is square-integrable in (M, m), then its variance exists and is given by
We denote by \(L_{m}^{1}\) (\(L_{m}^{2}\)) the space of observables \(x:\mathcal {B} (\mathbb {R})\rightarrow M\) integrable (square-integrable, respectively) in (M, m). More generally, we write \(x\in L_{m}^{p}\) for \(p\ge 1\) if \(\int _{ \mathbb {R} }|t|^{p}m_{x}(\mathrm{d}t)<\infty .\)
Definition 7
Let (M, m) be a probability MV-algebra. Observables \(x_{1},x_{2},\)...,\(x_{n}\) of M are said to be independent (with respect to m) if there exists an n-dimensional observable \(h:\mathcal {B}(\mathbb {R} ^{n})\rightarrow M\) such that for all \(C_{1},C_{2},\)...,\(C_{n} \in \mathcal {B}(\mathbb {R})\)
Remark 1
Assume that \(x_{1},x_{2},\ldots ,x_{n}:\mathcal {B} (\mathbb {R}) \rightarrow M\) are independent observables in a probability MV-algebra (M, m) and \(h:\mathcal {B}(\mathbb {R} ^{n})\rightarrow M\) is their joint observable. Then for any Borel measurable function \(g: \mathbb {R} ^{n}\rightarrow \mathbb {R} \)
is an observable.
We fix a sequence \(\{k_{n}\} _{n\in \mathbb {N} }\) of positive integers such that \(\lim _{n\rightarrow \infty }k_{n}=\infty \) and a sequence of probability MV-algebras\(\ \{(M_{(n)},m_{(n)})\} _{n\in \mathbb {N} }\). For each \(n\in \mathbb {N} \) and arbitrary observable \(x:\mathcal {B}(\mathbb {R})\rightarrow M_{(n)}\) belonging to \(L_{m_{(n)}}^{2}\) we denote by \(\mathbb {E}_{(n)}(x)\) the expected value of x and by \(\mathbb {D}_{(n)}^{2}(x)\) the variance of x with respect to \(m_{(n)}\). Furthermore, for each \(x:\mathcal {B}(\mathbb {R})\rightarrow M_{(n)}\) belonging to \(L_{m_{(n)}}^{2}\) and \(\varepsilon ,s>0\) we use the symbol \(l_{n}^{x}(\varepsilon ,s)\) to denote the \( \mathbb {R} \)-valued function of the form
Definition 8
Let us assume that for each \(n\in \mathbb {N} \ \{x_{n1},x_{n2},\ldots ,x_{nk_{n}}\}\) is a sequence of independent (with respect to \(m_{(n)}\)) observables of the MV-algebra \(M_{(n)}\). We call \(\{ x_{nj}\} _{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) a triangular array of independent observables (TA for short).
Definition 9
Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TA such that for each \(n\in \mathbb {N} \)
Then \(\{x_{nj}\} _{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is said to satisfy the Lindeberg condition if for arbitrary \(\varepsilon >0\)
Definition 10
A TA \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) fulfilling (3) is said to satisfy the Lyapunov condition if there exists \(\delta >0\) such that
Definition 11
Let \(\left\{ \left( M_{(n)},m_{(n)}\right) \right\} _{n\in \mathbb {N} }\) be a sequence of probability MV-algebras. A sequence of observables \(\big \{ x_{n}:\mathcal {B}(\mathbb {R})\rightarrow M_{(n)}\big \} _{n\in \mathbb {N} }\) is convergent in distribution to a function \(F: \mathbb {R} \rightarrow [0,1]\;\)if
for each \(t\in \mathbb {R}\). If \(\left\{ x_{n}:\mathcal {B}(\mathbb {R})\rightarrow M_{(n)}\right\} _{n\in \mathbb {N} }\) is convergent in distribution to the cumulative distribution function of the standard normal distribution \(\varPhi \), then we write
\(x_{n}\rightarrow N(0,1) \) in distribution, as \(n\rightarrow \infty \).
We recall generalized versions of MV-algebraic central limit theorems and the Feller theorem proved in Nowak and Hryniewicz (2015).
Theorem 3
(Lindeberg CLT) Let us assume that a TA \(\{x_{nj}\}_{n\in \mathbb {N} ,j\in \mathbb {N}[k_{n}]}\) satisfies (3) and the Lindeberg condition (4). Then
in distribution, as \(n\rightarrow \infty \).
Theorem 4
(Lyapunov CLT) Let us assume that a TA \(\{x_{nj}\}_{n\in \mathbb {N} ,j\in \mathbb {N}[k_{n}]}\) satisfies (3) and Lyapunov’s condition (5). Then
in distribution, as \(n\rightarrow \infty \).
Theorem 5
(Feller) Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TA satisfying (3) and such that for each \(\varepsilon >0\)
as \(n\rightarrow \infty \). If
in distribution, as \(n\rightarrow \infty \), then the Lindeberg condition (4) holds.
3 IV-probability
3.1 Basic definitions and theorems
Definition 12
Let \((\varOmega ,\mathcal {S}) \) be a measurable space. By an interval-valued event (for short IV-event) we mean any pair \(A=(\mu _{A},\nu _{A}) \) of \(\mathcal {S}\)-measurable, [0, 1]-valued functions such that \(\mu _{A}\le \nu _{A}\). We denote by \(\mathcal {V}(\varOmega ,\mathcal {S})\) the set of all IV-events and we introduce the following operations on \(\mathcal {V}(\varOmega ,\mathcal {S})\). For \(A=(\mu _{A},\nu _{A}) \), \(B=(\mu _{B},\nu _{B}) \in \mathcal {V}(\varOmega ,\mathcal {S})\), \(\{A_{n}\} _{n\in \mathbb {N}}=\left\{ \left( \mu _{A_{n}} ,\nu _{A_{n}}\right) \right\} _{n\in \mathbb {N}}\subset \mathcal {V}(\varOmega ,\mathcal {S})\):
and we write \(A_{n}\nearrow A\Leftrightarrow \mu _{A_{n}}\nearrow \mu _{A} ,\ \nu _{A_{n}}\nearrow \nu _{A}\text {.}\)
Moreover, we consider the product
\(\mathcal {V}(\varOmega ,\mathcal {S})\) is ordered as follows:
The following theorem from Kuková (2011) states that \(\mathcal {V}(\varOmega ,\mathcal {S})\) can be embedded to an MV-algebra.
Theorem 6
Let
and the summation be defined by the formula
Let the partial order on \(\mathcal {G}\) be defined by
Let − denote the inverse operation to \(+\), \(\mathbf {0}_{\varvec{{\Omega }}}=(0_{\varOmega },0_{\varOmega })\) be the neutral element of \(+\), and \(\mathbf {1}_{{\varvec{\Omega }}}=(1_{\varOmega },1_{\varOmega })\). Let \(\mathcal {M}(\varOmega ,\mathcal {S})\) be an interval in \(\mathcal {G}\), \(\mathcal {M}(\varOmega ,\mathcal {S})=[\mathbf {0}_{\varvec{{\Omega }}},\mathbf{1}_{\varvec{{\Omega }}}]\), with the operations
Then the system
is an MV-algebra and \(\mathcal {V}(\varOmega ,\mathcal {S})\subset \mathcal {M}(\varOmega ,\mathcal {S})\).
We recall the notions of state, probability and observable for IV-events from Kuková (2011), Samuelčík and Hollá (2013), which we call IV-state, IV-probability and IV-observable, respectively, in this paper.
Definition 13
An IV-state on \(\mathcal {V}(\varOmega ,\mathcal {S})\) is a map \(m:\mathcal {V}(\varOmega ,\mathcal {S}) \rightarrow [0,1]\) satisfying the following conditions for all \(A,B\in \mathcal {V}(\varOmega ,\mathcal {S})\) and \(\{ A_{n}\} _{n=1}^{\infty }\subset \mathcal {V}(\varOmega ,\mathcal {S})\):
- (1):
-
\(m(\mathbf {1}_{{\varvec{\Omega }}})=1,\ m(\mathbf {0}_{{\varvec{\Omega }}})=0;\)
- (2):
-
\(A\odot B=\mathbf {0}_{\varvec{{\Omega }}}\Rightarrow m(A\oplus B)=m(A)+m(B);\)
- (3):
-
if \(A_{n}\nearrow A\), then \(m(A_{n})\nearrow m(A).\)
Let \(\mathcal {J}\) be the family of all closed subintervals of [0, 1].
Definition 14
An IV-probability is a mapping \(\mathfrak {P}:\mathcal {V}(\varOmega ,\mathcal {S})\rightarrow \mathcal {J}\) satisfying the following conditions for all \(A,B\in \mathcal {V}(\varOmega ,\mathcal {S})\) and \(\{ A_{n}\} _{n=1}^{\infty }\subset \mathcal {V}(\varOmega ,\mathcal {S})\):
- (1):
-
\(\mathfrak {P}(\mathbf {1}_{{\varvec{\Omega }}})=[1,1],\ \mathfrak {P}(\mathbf {0}_{{\varvec{\Omega }}})=[0,0];\)
- (2):
-
\(A\odot B=\mathbf {0}_{{\varvec{\Omega }}}\Rightarrow \mathfrak {P}(A\oplus B)=\mathfrak {P}(A) +\mathfrak {P}(B);\)
- (3):
-
if \(A_{n}\nearrow A\), then \(\mathfrak {P}( A_{n})\nearrow \mathfrak {P}(A).\)
An IV-probability space is a pair \((\mathcal {V}(\varOmega ,\mathcal {S}) ,\mathfrak {P})\), where \(\mathfrak {P}\) is an IV-probability on \(\mathcal {V}(\varOmega ,\mathcal {S})\). We will use the notation \(\mathfrak {P}(A)\mathfrak {=}[\mathfrak {P}^{\flat }(A)\mathfrak {,P}^{\natural }(A)]\) for each \(A\in \mathcal {V}(\varOmega ,\mathcal {S}).\)
It is easy to verify that if \(\mathfrak {P}:\mathcal {V}(\varOmega ,\mathcal {S})\rightarrow \mathcal {J}\) is an IV-probability, then the mappings \(\mathfrak {P}^{\flat }\mathfrak {\ }\) and \(\mathfrak {P}^{\natural }\) are IV-states on \(\mathcal {V}(\varOmega ,\mathcal {S})\).
In Sect. 4, we will use the following lemma.
Lemma 1
Let \(\hat{P}\) be a probability measure defined on a measurable space \((\varOmega ,\mathcal {S})\). Then \(\mathfrak {P}_{\hat{P}}:\mathcal {V}(\varOmega ,\mathcal {S})\rightarrow \mathcal {J}\) of the form:
is an IV-probability.
Proof
It is obvious that \(\mathfrak {P}_{\hat{P}}\) satisfies condition (1). Let \(A\odot B=\mathbf {0}_{{\varvec{\Omega }}}\) for \(A,B\in \mathcal {V}(\varOmega ,\mathcal {S})\). Then for arbitrary \(\omega \in \varOmega \)
Therefore,
Thus, condition (2) is satisfied.
Let \(A\in \mathcal {V}(\varOmega ,\mathcal {S})\), \(\{A_{n}\} _{n=1}^{\infty } \subset \mathcal {V}(\varOmega ,\mathcal {S})\) and \(A_{n}\nearrow A\). Then
by the Dominated Convergence Theorem. Therefore, condition (3) is also fulfilled. \(\square \)
The IV-probability \(\mathfrak {P}_{\hat{P}}((\mu ,\nu ))\) is a modification of the probability of IF-events, which was considered by Szmidt and Kacprzyk (1999a, b), Grzegorzewski and Mrówka (2002) and generalized by Nowak (2003, 2004a, b).
Definition 15
An IV-observable is a mapping \(x:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) satisfying the following conditions:
- (1):
-
\(x(\mathbb {R})=\mathbf {1}_{{\varvec{\Omega }}},\ x(\emptyset )=\mathbf {0}_{{\varvec{\Omega }}};\)
- (2):
-
whenever \(A,B\in \mathcal {B}(\mathbb {R}) \) and \(A\cap B=\emptyset \), then
$$\begin{aligned} x(A)\odot x(B) =\mathbf {0}_{{\varvec{\Omega }}}\ \text {and}\quad x(A\cup B)=x(A)\oplus x(B); \end{aligned}$$ - (3):
-
for all \(A,A_{1},A_{2},\ldots \in \mathcal {B}(\mathbb {R})\)
if \(A_{n}\nearrow A\), then \(x(A_{n})\nearrow x(A).\)
Definition 16
If \(x_{1},x_{2},\ldots ,x_{n}:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S}) \) are IV-observables, then their joint IV-observable is the map \(h:\mathcal {B}(\mathbb {R} ^{n}) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) satisfying the following conditions:
- (1):
-
\(h(\mathbb {R} ^{n})=\mathbf {1}_{{\varvec{\Omega }}},h(\emptyset )=\mathbf {0}_{{\varvec{\Omega }}};\)
- (2):
-
whenever \(A,B\in \mathcal {B}(\mathbb {R} ^{n})\) and \(A\cap B=\emptyset \), then
$$\begin{aligned} h(A) \odot h(B)=\mathbf {0}_{\varvec{{\Omega }}}, h(A\cup B)=h(A)\oplus h(B); \end{aligned}$$ - (3):
-
for all \(A,A_{1},A_{2},\ldots \in \mathcal {B}(\mathbb {R} ^{n})\)
if \(A_{n}\nearrow A\), then \(h(A_{n})\nearrow h(A);\)
- (4):
-
for all \(C_{1},C_{2},\ldots ,C_{n}\in \mathcal {B} (\mathbb {R})\)
$$\begin{aligned}&h(C_{1}\times C_{2}\times \cdots \times C_{n})\\&\quad =x_{1}(C_{1})\cdot x_{2}(C_{2})\cdot \ldots \cdot x_{n}(C_{n}). \end{aligned}$$
The following theorems and proposition from Kuková (2011) (see Theorem 2) and Samuelčík and Hollá (2013) (see Proposition 1 and Theorem 1), concern properties of the notions defined above.
Theorem 7
Let \(\bar{p}:\mathcal {M}(\varOmega ,\mathcal {S}) \rightarrow [0,1]\) be defined by the formula
where \(p:\mathcal {V}(\varOmega ,\mathcal {S}) \rightarrow [0,1]\) is an IV-state on \(\mathcal {V}(\varOmega ,\mathcal {S})\). Then
-
1.
for arbitrary \(A\in \mathcal {V}(\varOmega ,\mathcal {S})\) \(\bar{p}(A)=p(A),\)
-
2.
\(\bar{p}\) is a state on \(\mathcal {M}(\varOmega ,\mathcal {S})\).
Proposition 1
If \(x:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) is an IV-observable and p : \(\mathcal {V}(\varOmega ,\mathcal {S})\rightarrow [0,1]\) is an IV-state, then the mapping \(p_{x}\) \(=\) \(p\circ x:\) \(\mathcal {B}(\mathbb {R})\rightarrow [0,1]\) defined by the formula
is a probability measure.
Theorem 8
For any IV-observables
there exists their joint IV-observable
The following remarks will be very useful in the further part of the paper.
Remark 2
Since \(\mathcal {V}(\varOmega ,\mathcal {S})\subset \mathcal {M}(\varOmega ,\mathcal {S})\), any IV-observable \(x:\mathcal {B}(\mathbb {R} ) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) is an observable in the sense of the MV-algebraic probability theory. Furthermore,
are probability measures.
Remark 3
Let \(x_{1},x_{2},\ldots ,x_{n}:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) be IV-observables. Let \(g: \mathbb {R} ^{n}\rightarrow \mathbb {R} \) be a Borel measurable function and let \(h:\mathcal {B}(\mathbb {R} ^{n})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S}) \) be the joint observable of \(x_{1},x_{2},\ldots ,x_{n}\). Then
is an IV-observable.
Definition 17
IV-observables
are independent (with respect to \(\mathfrak {P}\)) if there exists an n-dimensional IV-observable \(h:\mathcal {B}(\mathbb {R} ^{n})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) such that for all \(C_{1},C_{2},\ldots ,C_{n}\in \mathcal {B}(\mathbb {R})\)
Definition 18
Let \(\mathfrak {P}:\mathcal {V}(\varOmega ,\mathcal {S}) \rightarrow \mathcal {J}\) be an IV-probability and \(x:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) be an IV-observable. Then x is said to be integrable if the expectations
exist. We say that x is square-integrable if \(\int _{ \mathbb {R} }t^{2}\mathfrak {P}_{x}^{\flat }(\mathrm{d}t) \) and \(\int _{ \mathbb {R} }t^{2}\mathfrak {P}_{x}^{\natural }(\mathrm{d}t)\) exist. If x is square-integrable, then the variances of x also exist and are described by the equalities
We write \(x\in L_{\mathfrak {P}}^{p_{1},p_{2}}\) for \(p_{1},p_{2}\ge 1\) if \(\int _{ \mathbb {R} }|t|^{p_{1}}\mathfrak {P}_{x}^{\flat }(\mathrm{d}t) <\infty \) and \(\int _{ \mathbb {R} }|t|^{p_{2}}\mathfrak {P}_{x}^{\natural }(\mathrm{d}t) <\infty .\) Finally, we use the notation \(x\in L_{\mathfrak {P}}^{p}\) instead of \(x\in L_{\mathfrak {P}}^{p,p}\) for \(p\ge 1\).
The following lemma concerns the form of the expected value of a Borel function of an IV-observable.
Lemma 2
Let \(\mathfrak {P}:\mathcal {V}(\varOmega ,\mathcal {S}) \rightarrow \mathcal {J}\) be an IV-probability, \(\varphi \) be an \( \mathbb {R} \)-valued Borel function, which domain is the whole set of real numbers \( \mathbb {R} \), \(x:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\) be an IV-observable and \(y=\varphi (x)=x\circ \varphi ^{-1}\). Then \(\mathbb {E}^{\flat }(y)\) exists if and only if \(\int _{ \mathbb {R} }|\varphi (t) |\mathfrak {P}_{x}^{\flat }(\mathrm{d}t) <\infty \) and then \(\mathbb {E}^{\flat }(y)=\int _{ \mathbb {R} }\varphi (t) \mathfrak {P}_{x}^{\flat }(\mathrm{d}t) .\) Moreover, the analogous assertion holds for \(\mathbb {E}^{\natural }(y)\) and the corresponding probability measure \(\mathfrak {P} _{x}^{\natural }\).
Proof
We use Theorem 1 for
Then \(\mu =\mathfrak {P}_{x}^{\flat }\) is a probability measure. Moreover, by straightforward computations one can verify the equality \( \mu T^{-1}=\mathfrak {P}_{\varphi (x)}^{\flat }=\mathfrak {P}_{y}^{\flat }, \) which ends the proof. One can prove analogously the assertion for \(\mathbb {E}^{\natural }(y)\). \(\square \)
3.2 Central limit theorems
We denote by \(\{ k_{n}\} _{n\in \mathbb {N} }\) a fixed sequence of positive integers and assume that \(\lim _{n\rightarrow \infty }k_{n}=\infty \).
Let \(\left\{ \left( \mathcal {V}\left( \varOmega _{(n)},\mathcal {S}_{(n)}\right) ,\mathfrak {P}_{(n)}\right) \right\} _{n\in \mathbb {N} }\) be a sequence of IV-probability spaces. For each \(n\in \mathbb {N} \) and an observable \(x:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega _{(n) } ,\mathcal {S}_{(n)}) \), we use the symbols \(\mathbb {E} _{(n)}^{\flat }(x) \), \(\mathbb {E}_{(n)}^{\natural }(x) \) to denote the expected values of x and the symbols \(\mathbb {D}_{(n) }^{2,\flat }(x) \), \(\mathbb {D}_{(n) }^{2,\natural }(x) \) to denote the variances of x with respect to \(\mathfrak {P}_{(n)}^{\flat }\mathfrak {\ }\)and \(\mathfrak {P}_{(n)}^{\natural }\), respectively.
For \(n\in \mathbb {N}\), constants \(\varepsilon ,s>0\), and an arbitrary IV-observable \(x:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega _{(n) } ,\mathcal {S}_{(n)})\) belonging to \(L_{\mathfrak {P} _{(n)}}^{2}\) we consider the following \( \mathbb {R} \)-valued functions:
Lemma 2 implies that \(\mathfrak {l}_{n,\flat }^{x}\) and \(\mathfrak {l} _{n,\natural }^{x}\) are well-defined.
Definition 19
Let for each \(n\in \mathbb {N}\) \(\ \{ x_{nj}\} _{j\in \mathbb {N}[k_{n}]}\) be a sequence of independent (with respect to \(\mathfrak {P}_{(n)}\)) IV-observables of \(\mathcal {V}(\varOmega _{(n)},\mathcal {S}_{(n)}) \). Then \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is called a triangular array of independent IV-observables (TVI for short).
Definition 20
Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TVI satisfying the following conditions for each \(n\in \mathbb {N} \)
Then \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is said to satisfy the Lindeberg condition if for each \(\varepsilon >0\)
where
Definition 21
Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TVI fulfilling (7)–(8). Then the array \(\{x_{nj} \}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is said to satisfy the Lyapunov condition if there exist positive constants \(\delta _{1}\) and \(\delta _{2}\) such that
where \(s_{n}^{2+\delta _{1},\flat }=\left( s_{n}^{\flat }\right) ^{2+\delta _{1}}\) and \(s_{n}^{2+\delta _{2},\natural }=\left( s_{n}^{\natural }\right) ^{2+\delta _{2}}\).
The next two theorems are IV-probabilistic versions of central limit theorems.
Theorem 9
(Lindeberg CLT) Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TVI satisfying (7)–(8) as well as the Lindeberg condition (9). Then for \(t\in \mathbb {R}\)
Proof
We consider the sequence of MV-algebras
\(\mathcal {M}(\varOmega _{(n)},\mathcal {S}_{(n)})\) with states \(\mathfrak {\bar{P}}_{(n) }^{\flat }\), \(n\in \mathbb {N} \). From Theorem 7, it follows that for arbitrary \(n\in \mathbb {N} \) one can find a state \(\mathfrak {\bar{P}}_{(n) }^{\flat }:\mathcal {M}(\varOmega _{(n)},\mathcal {S}_{(n)}) \rightarrow [0,1] \mathcal {\ }\)such that \(\mathfrak {\bar{P}}_{(n)}^{\flat }|_{\mathcal {V}(\varOmega _{(n)},\mathcal {S}_{(n)})}=\mathfrak {P}_{(n)}^{\flat }\). Since
the array \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is a TA of MV-algebras
\(\left\{ \mathcal {M}(\varOmega _{(n)},\mathcal {S}_{(n)}) \right\} _{n\in \mathbb {N} }\). For arbitrary \(n\in \mathbb {N} \), \(j\in \mathbb {N}[k_{n}]\) \((\mathfrak {\bar{P}}_{(n) }^{\flat }) _{x_{nj}}\) and \((\mathfrak {P}_{( n)}^{\flat }) _{x_{nj}}\) coincide. Consequently, for arbitrary \(n\in \mathbb {N}\) expected values \(\mathbb {E}_{(n) }^{\flat }(x_{nj}) \), \(j\in \mathbb {N}[k_{n}]\), variances \(\mathbb {D} _{(n) }^{2,\flat }( x_{nj}) \), \(j\in \mathbb {N} [k_{n}]\) as well as \(\mathfrak {L}_{n}^{\flat }(\varepsilon )\), \(\mathfrak {L}_{n}^{\natural }(\varepsilon )\) coincide with their MV-algebraic counterparts for the state \(\mathfrak {\bar{P}}_{(n) }^{\flat }\). Thus, the Lindeberg condition (9) implies its MV-algebraic counterpart (4) for \(\{ x_{nj}\} _{j\in \mathbb {N}[k_{n}],n\in \mathbb {N} }\), since the array fulfils (3).
Let \(\{ Z_{n}^{\flat }\} _{n\in \mathbb {N}}\) be the sequence of \(\mathcal {V}(\varOmega _{(n)},\mathcal {S}_{(n)}) \)-valued observables given by the formula:
Clearly, for each \(n\in \mathbb {N} \) and \(t\in \mathbb {R} \)
By Theorem 3,
for \(t\in \mathbb {R}\) and therefore the convergence (11) holds. The convergence (12) we obtain analogously. \(\square \)
Theorem 10
(Lyapunov CLT) Let \(\{x_{nj}\} _{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TVI satisfying (7)–(8) and Lyapunov’s condition (10). Then for each \(t\in \mathbb {R}\) (11)–(12) hold.
Proof
As we noticed previously, \(\{x_{nj}\} _{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is a TA of the MV-algebras \(\{\mathcal {M}(\varOmega _{(n)},\mathcal {S}_{(n)})\} _{n\in \mathbb {N}}\) with states \(\mathfrak {\bar{P} }_{(n)}^{\flat }\), \(n=1,2,\ldots \) For any positive integer n expected values \(\mathbb {E}_{(n) }^{\flat }(x_{nj}) \), \(j\in \mathbb {N}[k_{n}]\), and variances \(\mathbb {D}_{(n)}^{2,\flat }(x_{nj})\), \(j\in \mathbb {N}[k_{n}]\), coincide with their MV-algebraic counterparts for the state \(\mathfrak {\bar{P}}_{(n)}^{\flat }\). Thus, the TA \(\{x_{nj}\} _{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) of MV-algebras \(\mathcal {M}(\varOmega _{(n)},\mathcal {S} _{(n)}) \) fulfils (3) and the Lyapunov condition (10) implies its counterpart (5) for this array, considered with states \(\mathfrak {\bar{P}}_{(n)}^{\flat }\). Therefore, Theorem 4 implies
for arbitrary \(t\in \mathbb {R}\), where \(\{Z_{n}^{\flat }\} _{n\in \mathbb {N} }\) is the sequence of \(\mathcal {V}(\varOmega _{(n)},\mathcal {S}_{(n)})\)-valued observables given by formula (13). The same reasoning as in the last part of the previous proof justifies (11). Analogously, we obtain (12). \(\square \)
The following theorem is an IV-probabilistic version of the Feller theorem.
Theorem 11
(Feller) Let \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) be a TVI satisfying (7)–(8) and such that for each \(\varepsilon >0\)
where
for \(a>0\). Let us additionally assume that for \(t\in \mathbb {R}\) the convergences (11) and (12) hold. Then the Lindeberg condition (9) is fulfilled.
Proof
Since for any \(n\in \mathbb {N} \), \(j\in \mathbb {N}[k_{n}]\) \((\mathfrak {\bar{P}}_{(n) }^{\flat }) _{x_{nj}}\) and \((\mathfrak {P}_{(n) }^{\flat }) _{x_{nj}}\) coincide, the equalities
follows from (14) and (15). The TA \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) of MV-algebras \(\mathcal {M}(\varOmega _{(n)},\mathcal {S}_{(n)})\), considered with states \(\mathfrak {\bar{P}}_{(n)}^{\flat }\) and \(\mathfrak {\bar{P}}_{(n)}^{\natural }\), satisfies (3) and therefore Theorem 5 implies that for each \(\varepsilon >0\; \mathfrak {L}_{n}^{\flat }(\varepsilon ) \rightarrow 0\), \(\mathfrak {L}_{n}^{\natural }(\varepsilon ) \rightarrow 0,\) as \(n\rightarrow \infty .\) Thus, \(\mathfrak {L}_{n}(\varepsilon ) =\mathfrak {L}_{n}^{\flat }(\varepsilon ) +\mathfrak {L}_{n}^{\natural }(\varepsilon ) \rightarrow 0\text {, as }n\rightarrow \infty \), which finishes the proof. \(\square \)
4 Applications
In this section, we present and analyse three examples of arrays and sequences of IV-observables with convergent scaled sums or row sums. The first example is preceded by the central limit theorem for independent, identically distributed IV-observables with proof. In the second and third example, the considered observables are not identically distributed and therefore Theorem 12 cannot be applied for them. To prove the convergence in distribution of the considered scaled row sums to standard normal distribution, we use Theorem 9 and Theorem 10.
4.1 Convergence of independent IV-observables with the same distributions
Let us consider a sequence of independent IV-observables with the same distribution.
Theorem 12
Let \((\mathcal {V}(\varOmega ,\mathcal {S}) ,\mathfrak {P})\) be an IV-probability space. Let us assume that \(\{ x_{j}:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\} _{j\in \mathbb {N} }\) is a sequence of independent IV-observables with the same distribution and variances
with respect to \(\mathfrak {P} ^{\flat }\mathfrak {\ }\)and \(\mathfrak {P}^{\natural }\), respectively, where \(0<\mathbb {\sigma }^{\flat },\mathbb {\sigma }^{\natural }<\infty \). Let \(e^{\flat }=\mathbb {E}^{\flat }(x_{1}) \ \text {and}\ e^{\natural }=\mathbb {E} ^{\natural }(x_{1}).\) Then for \(t\in \mathbb {R}\)
Proof
Let \(\{(\mathcal {V}(\varOmega _{(n)},\mathcal {S}_{(n)}), \mathfrak {P}_{(n) })\} _{n\in \mathbb {N} }\) be the constant sequence of IV-probability spaces, where \(\varOmega _{(n)}=\varOmega \), \(\mathcal {S}_{(n)}=\mathcal {S}\) for arbitrary \(n\in \mathbb {N} \). Let for each \(n\in \mathbb {N} \) \(k_{n}=n\) and \(x_{nj}=x_{j}\text {, }j\in \mathbb {N}[n]\). Then \(\{x_{nj} \}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) is a TVI with respect to the aforementioned constant sequence of IV-probability spaces. Moreover, \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) satisfies conditions (7) and (8), where
Furthermore, for each \(n\in \mathbb {N} \) and \(j\in \mathbb {N}[n]\)
Clearly,
Therefore,
by Lemma 2. Applying the Dominated Convergence Theorem, we obtain the convergence
Thus,
as \(n\rightarrow \infty \) and similarly
as \(n\rightarrow \infty \). Consequently, \(\{x_{nj}\}_{n\in \mathbb {N},j\in \mathbb {N}[k_{n}]}\) satisfies the Lindeberg condition (9). Therefore, Theorem 9 implies the convergences (18) and (19). \(\square \)
Let \(\mathcal {V}(\varOmega ,\mathcal {S})\) be defined as follows:
Let for each \(k\in \mathbb {N} \left[ K\right] \) \({\pi }_{k}=(\mathbf {\mu }_{k},\mathbf {\nu }_{k})\in \mathcal {V}(\varOmega ,\mathcal {S})\) has the form:
We assume that the IV-probability \(\mathfrak {P}:\mathcal {V}(\varOmega ,\mathcal {S})\rightarrow \mathcal {J}\) has the form \(\mathfrak {P=P}_{\hat{P}}\), where \(\hat{P}\) is the probability defined on \((\varOmega ,\mathcal {S})\) by the conditions: \(\hat{P}( \{\omega _{k}\}) =p_{k}>0\), \(k\in \mathbb {N} \left[ K\right] \), \(\sum _{k=1}^{K}p_{k}=1\).
The following example corresponds to the case considered in the de Moivre–Laplace CLT.
Let \(K=2\). Let for arbitrary \(A\in \mathcal {B}(\mathbb {R} ) \) observable \(x_{j}:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\text {, }j\in \mathbb {N} ,\;\) be uniquely defined by the conditions
We assume that the IV-observables \(\{x_{j}\} _{j\in \mathbb {N} }\) are independent. Then for \(j\in \mathbb {N} \)
and
Thus, by Theorem 12, for \(t\in \mathbb {R}\)
4.2 Application of the Lindeberg CLT
Let \((\mathcal {V}(\varOmega ,\mathcal {S}),\mathfrak {P}) \) be the IV-probability space defined in the previous subsection for \(K=3\) and \(p_{1}=p_{3}\). Let for each \(n\in \mathbb {N} \) \(x_{nj}=x_{j}\), \(k_{n}=n\) and for arbitrary \(A\in \mathcal {B}(\mathbb {R}) \) the observable \(x_{j}:\mathcal {B}(\mathbb {R}) \rightarrow \mathcal {V}(\varOmega ,\mathcal {S}) \text {, }j=1,2,3,\ldots ,\) is uniquely defined by the following conditions:
where
We assume that \(\{ x_{j}\} _{j\in \mathbb {N}}\) are independent. Then for each \(j\in \mathbb {N}\)
and
Thus,
For a fixed \(\varepsilon >0\) and sufficiently large n
as well as
since the supports of the probability measures \((\mathfrak {P}_{(n)}^{\flat }) _{x_{j}}\) and \((\mathfrak {P}_{(n) }^{\natural })_{x_{j}}\) are bounded. Consequently,
Therefore, the convergences
for each \(t\in \mathbb {R}\) follow from Theorem 9.
4.3 Application of the Lyapunov CLT
We consider the \(\mathcal {V}\left( \varOmega ,\mathcal {S}\right) \) specified in the previous example for \(K=3\).
For arbitrary \(n\in \mathbb {N} \), we denote by \(\hat{P}_{n}\) the probability defined on \((\varOmega ,\mathcal {S}) \) by the equalities:
and by \(\mathfrak {P}_{(n)}\) the IV-probability \(\mathfrak {P}_{(n) }:\mathcal {V}(\varOmega ,\mathcal {S}) \rightarrow \mathcal {J}\) of the form \(\mathfrak {P}_{(n) }=\mathfrak {P}_{\hat{P}_{n}}\).
For each \(n\in \mathbb {N} \), we assume that \(k_{n}=n\) and for \(A\in \mathcal {B}(\mathbb {R}) \) the IV-observable \(x_{nj}:\mathcal {B}(\mathbb {R})\rightarrow \mathcal {V}(\varOmega ,\mathcal {S})\), \(j\in \mathbb {N} [n]\), is defined by the formula
We additionally assume that \(\{ x_{nj}\} _{j\in \mathbb {N}[n]}\) are independent for each positive integer n.
Fix \(n\in \mathbb {N} \) and \(\delta >0\). For arbitrary \(j\in \mathbb {N}[n]\)
Therefore,
and
Therefore, by Theorem 10,
for \(t\in \mathbb {R}\).
5 Conclusions
In this paper, we proved the Lindeberg CLT, the Lyapunov CLT, and the Feller theorem for IV-events. The results obtained in the IV-probabilistic case correspond to the classical limit theorems for independent but not necessary identically distributed random variables. We also presented examples of applications of the aforementioned limit theorems for scaled sums of IV-observables. Our future possible considerations will concern further development of the probability theory for IV-events. In our opinion, the theorems proved in this paper can be important tools for future statistical applications.
References
Atanassov K (1999) Intuitionistic fuzzy sets: theory and applications. Physica, New York
Atanassov K (2012) On intuitionistic fuzzy sets theory. studies in fuzziness and soft computing 283. Springer, Berlin
Billingsley P (1986) Probability and measure, 2nd edn. Wiley Press, New York
Birkhoff G, Von Neumann J (1936) The logic of quantum mechanics. Anna Math 37:823–843
Blanco-Fernández A, Casals MR, Colubi A, Corral N, García-Bárzana M, Gil MÁ, González-Rodríguez G, López MT, Lubiano MA, Montenegro M, Ramos-Guajardo AB, la Rosa De, de Sáa S, Sinova B (2014) A distance-based statistical analysis of fuzzy number-valued data. J Approx Reason 55(1487–1501):1601–1605
Carathéodory C (1956) Mass und integral und ihre algebraisierung. Birkäuser, Boston
Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490
Ciungu LC, Riečan B (2010) Representation theorem for probabilities on IFS-events. Inf Sci 180:793–798
Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer Academic Publishers, Dordrecht
Couso I, Dubois D, Sánchez L (2014) Random sets and random fuzzy sets as ill-perceived random variables. Springer briefs in applied sciences and technology, Cham
Deng JL (1989) Introduction to grey system theory. J Grey Syst 1:1–24
Deschrijver G, Kerre EE (2003) On relationship between some extensions of fuzzy set theory. Fuzzy Sets Syst 133:227–235
Dubois D, Gottwald S, Hajek P, Kacprzyk J, Prade H (2005) Terminological difficulties in fuzzy set theory-the case of “Intuitionistic Fuzzy Sets”. Fuzzy Sets Syst 156:485–491
Dubois D, Prade H (2012) Gradualness, uncertainty and bipolarity: making sense of fuzzy sets. Fuzzy Sets and Syst 192:3–24
Fine TL (1973) Theories of probability: an examination of foundations. Academic Press, New York
Gil MÁ, Hryniewicz O (2009) Statistics with imprecise data. In: Myers R (ed) Encyclopedia of complexity and system science. Springer, Heidelberg, pp 8679–8690
Grattan-Guiness I (1975) Fuzzy membership mapped onto interval and many-valued quantities. Zeit. Math. Logik. Grundlagen Math. 22:149–160
Grzegorzewski P, Mrówka E (2002) Probability of intuitionistic fuzzy events. In: Grzegorzewski P, Hryniewicz O, Gil MÁ (eds) Soft methods in probability, statistics and data analysis. Physica-Verlag, Heidelberg, pp 105–115
Gudder S (1979) Stochastic methods of quantum mechanics. Elsevier, North-Holland
Jahn KU (1975) Intervall-wertige Mengen. Math. Nachrichten 68:115–132
Kruse R, Meyer KD (1987) Statistics with vague data. Reidel Publ. Co., Dordrecht
Kuková M (2011) An extension of a state from interval valued fuzzy sets to MV-Algebra. In: 3rd international workshop Quantum Structures, Kočovce, Slovakia
Kwakernaak H (1978) Fuzzy random variables. part I: definitions and theorems. Inf Sci 15:1–29
Lendelová K (2006) Conditional IF-probability. In: Advances in soft computing: soft methods for integrated uncertainty modelling, pp 275–283
Lendelová K, Petrovičová J (2006) Representation of IF-probability for MV-algebras. Soft Comput 10:564–566
Liu YK, Liu B (2003) Fuzzy random variables: a scalar expected value operator. Fuzzy Optim Decis Mak 2:143–160
Mundici D (1986) Interpretation of AFC*-algebras in Lukasiewicz sentential calculus. J Funct Anal 65:15–63
Mundici D (2011) Advanced Lukasiewicz calculus and MV-algebras. Springer, New York
Nowak P (2003) Monotone measures of intuitionistic fuzzy sets. In: Proceedings of the 3rd Conference of the European society for Fuzzy logic and technology, EUSFLAT 2003, Zittau, pp 172–176
Nowak P (2004a) Construction of monotone measures of intuitionistic fuzzy sets. In: Atanassov K, Hryniewicz O, Kacprzyk J (eds) Soft Comput Found Theor Asp. Academicka Oficyna Wydawnicza EXIT, Warsaw, pp 303–317
Nowak P (2004b) Integral with respect to a monotone measure on intuitionistic fuzzy sets. In: de Baets B, de Caluwe R, de Tre G, Fodor J, Kacprzyk J, Zadrozny S (eds) Current issues in data and knowledge engineer. Academicka Oficyna Wydawnicza EXIT, Warsaw, pp 378–387
Nowak P, Hryniewicz O (2015) Generalized versions of MV-algebraic central limit theorems. Kybernetika 51:765–783
Nowak P, Hryniewicz O (2016) On generalized versions of central limit theorems for IF-events. Inf Sci 355:299–313
Pták P, Pulmannová S (1989) Kvantové logiky (in Slovak). Veda, Bratislava
Puri ML, Ralescu DA (1986) Fuzzy random variables. J Math Anal Appl 114:409–422
Renčová M (2010) A generalization of probability theory on MV-algebras to IF-events. Fuzzy Sets Syst 161:1726–1739
Riečan B (1999) On limit theorems in fuzzy quantum spaces. Fuzzy Sets Syst 101:79–86
Riečan B (2000) On the probability theory on MV-algebras. Soft Comput 4:49–57
Riečan B (2004) On the law of large numbers on IFS Events. Advances in soft Computing 2. Springer, Dortmundt, Germany, pp 677–680
Riečan B (2006a) On two ways for the probability theory on IF-sets. In: Soft methods for integrated uncertainty modelling, advances in soft computing. Springer, Berlin pp 285–290
Riečan B (2006b) On a problem of Radko Mesiar: general form of IF-probabilities. Fuzzy Sets Syst 152:1485–1490
Riečan B (2007a) M-probability theory on IF-events. In: Štěpnička M, Novák V, Bodenhofer U (eds) Proceedings on EUSFLAT’2007, Universitas Ostraviensis, pp 227–230
Riečan B (2007b) Probability theory on IF events. In: Aguzzoli S et al. (eds) Trends and progress in system identification. Papers in honor of Daniele Mundici on the occasion of his 60th birthday. Lecture notes in computer science 4460. Springer, Berlin, pp 290–308
Riečan B, Král’ P (2010) Probability on interval valued events. In: Proceedings of the 11th international workshop on generalized nets and 2nd international workshop on generalized nets, intuitionistic fuzzy sets and knowledge engineering. London, pp 66–70
Riečan B, Mundici D (2002) Probability on MV-algebras. In: Pap E (ed) Handbook of measure theory. Elsevier, Amsterdam, pp 869–909
Riečan B, Neubrunn T (1997) Integral measure and ordering. Kluwer Academic Publishers, Bratislava
Sambuc R (1975) Fonctions \(\Phi \)-floues. Application a l’aide au diagnostic en pathologie thyroidienne. Dissertation. Faculté de Médecine de Marseille
Samuelčík K, Hollá I (2013) The limit theorems on the interval valued events. In: 9th international workshop on IFSs, Banská Bystrica. Notes on intuitionistic fuzzy sets 19(2):31–41
Szmidt E, Kacprzyk J (1999a) A concept of a probability of an intuitionistic fuzzy event. In: Proceedings of the 1999 IEEE international fuzzy systems conference, Seoul, pp 1346–1349
Szmidt E, Kacprzyk J (1999b) Probability of intuitionistic fuzzy events and their applications in decision making. In: Proceedings of the 9th congreso EUSFLAT’99, pp 457–460
Tripathy BC, Baruah A, Et M, Gungor M (2012) On almost statistical convergence of new type of generalized difference sequence of fuzzy numbers. Iran J Sci Technol Trans A: Sci 36(2):147–155
Tripathy BC, Das PC (2012) On convergence of series of fuzzy real numbers. Kuwait J Sci Eng 39(1A):57–70
Tripathy BC, Ray GC (2012) On mixed fuzzy topological spaces and countability. Soft Comput 16(10):1691–1695
Tripathy BC, Sarma B (2012) On I-convergent double sequences of fuzzy real numbers. Kyungpook Math J 52(2):189–200
Türkşen IB (1986) Interval valued fuzzy sets based on normal forms. Fuzzy Sets Syst 20:191–210
Varadarajan VC (1968) Geom Q Mech. van Nostrand, Princeton, New Jersey
Zadeh LA (1975) The concept of a linguistic variable and its application to approximate reasoning, part I. Inf Sci 8:199–249
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Nowak, P., Hryniewicz, O. On central limit theorems for IV-events. Soft Comput 22, 2471–2483 (2018). https://doi.org/10.1007/s00500-017-2731-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2731-3