Martingale Convergence Theorem for the Conditional Intuitionistic Fuzzy Probability

: For the first time, the concept of conditional probability on intuitionistic fuzzy sets was introduced by K. Lendelová. She defined the conditional intuitionistic fuzzy probability using a separating intuitionistic fuzzy probability. Later in 2009, V. Valenˇcáková generalized this result and defined the conditional probability for the MV-algebra of inuitionistic fuzzy sets using the state and probability on this MV-algebra. She also proved the properties of conditional intuitionistic fuzzy probability on this MV-algebra. B. Rieˇcan formulated the notion of conditional probability for intuitionistic fuzzy sets using an intuitionistic fuzzy state. We use this definition in our paper. Since the convergence theorems play an important role in classical theory of probability and statistics, we study the martingale convergence theorem for the conditional intuitionistic fuzzy probability. The aim of this contribution is to formulate a version of the martingale convergence theorem for a conditional intuitionistic fuzzy probability induced by an intuitionistic fuzzy state m . We work in the family of intuitionistic fuzzy sets introduced by K. T. Atanassov as an extension of fuzzy sets introduced by L. Zadeh. We proved the properties of the conditional intuitionistic fuzzy probability.


Introduction
The notion of intuitionistic fuzzy sets was introduced by K. T. Atanassov in [1,2]. In this paper we work with the family of intuitionistic fuzzy events given by In [3] K. Lendelová introduced the conditional intuitionistic fuzzy probability p (a 1 , a 2 ) | y as a couple of two Borel measurable functions p (a 1 , a 2 ) | y , p (a 1 , a 2 ) | y : R → R such that B p (a 1 |y ) dP , B p (1 − a 2 |y ) dP = P (a 1 , a 2 ) · y(B) for each B ∈ B(R), where P is a separating intuitionistic fuzzy probability given by P (a 1 , a 2 ) = P (a 1 ), 1 − P (a 2 ) , the functions P , P : T → [0, 1] are probabilities, T is Lukasiewicz tribe and a 1 , a 2 ∈ T with a 1 + a 2 ≤ 1.
Later in [4] V. Valenčáková defined a conditional probability p(A | y) on a family M = {(µ A , ν A ) ; µ A , ν A : Ω → [0, 1], µ A , ν A are S-measurable} using an MV-state m : M → [0, 1] as a Borel measurable function such that C p(A | y) dm y = m A · y(C) for each C ∈ B(R). Here, A ∈ M and y : B(R) → M are MV-observable. The algebraic system (M, 0 M , 1 M , ¬, ⊕, , ·) is an MV-algebra with product, 1 M = (1 Ω , 0 Ω ), 0 M = (0 Ω , 1 Ω ), Since F ⊂ M and by [5] to each intuitionistic fuzzy state m : F → [0, 1] there exists exactly one MV-state m : M → [0, 1] such that m | F = m, V. Valenčaková in [4] defined a conditional intuitionistic fuzzy probability of an intuitionistic fuzzy event A ∈ F wit respect to an intuitionistic fuzzy observable x : B(R) → F with help of a conditional probability defined on M. She proved the properties of a conditional probability on M, too.
In [6] B. Riečan introduced the conditional intuitionistic fuzzy probability p(A | x) as a Borel measurable function f (i.e., 1] is the intuitionistic fuzzy state, A ∈ F is an intuitionistic fuzzy event and x : B(R) → F is an intuitionistic fuzzy observable.
The convergence theorems play an important role in the theory of probability and statistics and in its application (see [7][8][9]). In [10][11][12] the authors studied the martingale measures in connection with fuzzy approach in financial area. They used a geometric Levy process, the Esscher transformed martingale measures and the minimal L p equivalent martingale measure on the fuzzy numbers for an option pricing. A practical use of results is a good motivation for studying a theory of martingales. In this paper, we formulate the modification of the martingale convergence theorem for the conditional intuitionistic fuzzy probability using the intuitionistic fuzzy state m. As a method, we use a transformation of an intuitionistic probability space to the Kolmogorov probability space.
The paper is organized as follows: Section 2 includes the basic notions from intuitionistic fuzzy probability theory as an intuitionistic fuzzy event, an intuitionistic fuzzy state, an intuitionistic fuzzy observable and a joint intuitionistic fuzzy observable. In Section 3 we present a definition of a conditional intuitionistic fuzzy probability using an intuitionistic fuzzy state and we prove its properties. In Section 3, we formulate a martingale convergence theorem for a conditional intuitionistic fuzzy probability. Last section contains concluding remarks and a future research.
We note that in the whole text we use a notation IF as an abbreviation for intuitionistic fuzzy.

Basic Notions of the Intuitionistic Fuzzy Probability Theory
In this section we recall the definitions of basic notions connected with IF-probability theory (see [13][14][15]).

Definition 1.
Let Ω be a nonempty set.

Definition 2.
Start with a measurable space (Ω, S). Hence S is a σ-algebra of subsets of Ω. By an IF-event we mean an IF-set and the partial ordering is given by In the IF-probability theory (see [6]) we use the notion of state instead of the notion of probability.
One of the most useful results in the IF-state theory is the following representation theorem ( [16]): Proof. In [16] Theorem.
The third basic notion in the probability theory is the notion of an observable. Let J be the family of all intervals in R of the form Then the σ-algebra σ(J ) is denoted B(R) and it is called the σ-algebra of Borel sets. Its elements are called Borel sets.

Definition 4.
By an IF-observable on F we understand each mapping x : B(R) → F satisfying the following conditions: Remark 1. Sometimes we need to work with n-dimensional IF-observable x : B(R n ) → F defined as a mapping with the following conditions: If n = 1 we simply say that x is an IF-observable.
Similarly as in the classical case the following theorem can be proved (see [6,17]). Then Proof. In [17] Proposition 3.1.
In [3] we introduced the notion of product operation on the family of IF-events F as follows: Definition 5. We say that a binary operation · on F is a product if it satisfies the following conditions: (i) (1 Ω , 0 Ω ) · (a 1 , a 2 ) = (a 1 , a 2 ) for each (a 1 , a 2 ) ∈ F ; (ii) the operation · is commutative and associative; In the following theorem is the example of product operation for IF-events.

Proof. In [3] Theorem 1.
In [15] B. Riečan defined the notion of a joint IF-observable as follows: Definition 6. Let x, y : B(R) → F be two IF-observables. The joint IF-observable of the IF-observables x, y is a mapping h : B(R 2 ) → F satisfying the following conditions:  If we have several IF-observables and a Borel measurable function, we can define the IF-observable, which is the function of several IF-observables, as follows: Definition 7. Let x 1 , . . . , x n : B(R) → F be IF-observables, h n be their joint IF-observable and let g n : R n → R be a Borel measurable function. Then the IF-observable g n (x 1 , . . . , x n ) : B(R) → F is given by the formula g n (x 1 , . . . , x n )(A) = h n g −1 n (A) .
for each A ∈ B(R).

Conditional Intuitionistic Fuzzy Probability
In [6] B. Riečan defined the conditional probability for IF-case. He was inspired by classical case, in which a conditional probability (of A with respect to B) is the real number P(A | B) such that An alternative way of defining the conditional probability is The number P(A | B) can be regarded as a constant function. The constant functions are measurable with respect to the σ-algebra S 0 = {∅, Ω}.
Generally, P(A | S 0 ) can be defined for any σ-algebra S 0 ⊂ S as an S 0 -measurable function such that An important example of S 0 is the family of all pre-images of a random variable ξ : Ω → R: In this case we write P(A | S 0 ) = P(A | ξ), hence By the transformation formula, B. Riečan in [6] used this formulation for the IF-case to define the conditional IF-probability: Theorem 5. Let F be family of IF-events, A ∈ F , and y : B(R) → F be an IF-observable. Then p A|y has the following properties: (i) p (0 Ω , 1 Ω )|y = 0, p (1 Ω , 0 Ω )|y = 1 hold m y -almost everywhere; (ii) 0 ≤ p A|y) ≤ 1 holds m y -almost everywhere; (iv) if A n A, then the convergence p A n |y p A|y holds m y -almost everywhere. We note that the cases m y (B 0 ) > 0, m y (B 1 ) > 0 lead to contradictions B 0 p(A|y) dm y < 0 ,

Proof. By
A i = (0 Ω , 1 Ω ). Then using Definition 5 and the properties of IF-state m we obtain (iv) Let A n A, A n , A ∈ F . Then m A n · y(B) m A · y(B) holds for each B ∈ B(R). Therefore

Martingale Convergence Theorem
Let us consider the probability space (Ω, S, P), A ∈ S, a random variable ξ : Ω → R and the Borel measurable functions g n : R → R (n = 1, 2, . . .) such that lim n→∞ g n (t) = g(t) for each t ∈ R and g −1 n B(R) g −1 B(R) . Then by the martingale convergence theorem we have are the conditional probabilities (see [18]). We show a version of the martingale convergence theorem for the conditional intuitionistic fuzzy probabilities p( for A ∈ F and an IF-observable y : B(R) → F .

Proposition 1.
Let A ∈ F , y : B(R) → F be an IF-observable and let an IF-observable x : B(R) → F be defined by holds m y -almost everywhere.
Proof. By definitions we obtain Hence p(A | y) = p(A | ξ) holds m y -almost everywhere.

Theorem 6. (Martingale Convergence Theorem).
Let F be a family of IF-events with product ·, A ∈ F , y : B(R) → F be an IF-observable, m : F → [0, 1] be an IF-state and g, g n : R → R (n = 1, 2, . . .) be the Borel measurable functions such that g −1 n B(R) g −1 B(R) . Then the convergence holds m y•g −1 -almost everywhere.
Proof. By Proposition 1 we have the probability space (Ω, S, P), A ∈ S, a random variable ξ such that P ξ = m y and p(A | y) = p(A | ξ) holds m y -almost everywhere. Put η n = g n • ξ (n = 1, 2, . . .) and η = g • ξ. Then η n , η are the random variables such that η n η and where E(χ A | S n ) are the conditional expectations. Then the sequence ( f n , S n ) n is a martingale and the convergence f n → f ∞ holds S ∞ -almost everywhere, where By a special type of martingale theorem we have that the convergence P(A | S n ) → P(A | S 0 ) holds S 0 -almost everywhere, and hence the convergence holds P η -almost everywhere. Now we prove that For each B ∈ B(R) we get = m x({1}) · y(g −1 n (B)) = m A · y(g −1 n (B)) = B p(A | y • g −1 n ) dm y•g −1 n .
Finally, we obtain that the convergence holds m y•g −1 − almost everywhere.

Conclusions
The paper deals with the probability theory on intuitionistic fuzzy sets. We proved the properties of the conditional intuitionistic fuzzy probability induced by an intuitionistic fuzzy state. We formulated and proved the martingale convergence theorem for the conditional intuitionistic fuzzy probability, too. The next very interesting notion is the notion of a conditional expectation. In [19] V. Valenčaková defined a conditional expectation of intuitionistic fuzzy observables E(x | y) using Gödel connectives ∨, ∧ given by . She proved the martingale convergence theorem for this conditional expectation. In future research directions one can try to formulate the definition of conditional intuitionistic fuzzy expectation using Lukasiewicz connectives ⊕, and to prove the version of the martingale convergence theorem in this context.