Birkhoff’s individual ergodic theorem and maximal ergodic theorem for fuzzy dynamical systems
- Dagmar Markechová^{1}Email author and
- Anna Tirpáková^{1}
https://doi.org/10.1186/s13662-016-0855-x
© Markechová and Tirpáková 2016
Received: 28 October 2015
Accepted: 3 May 2016
Published: 9 May 2016
Abstract
In our previous paper (Tirpáková and Markechová in Adv. Differ. Equ. 2015:171, 2015), we presented fuzzy analogies of Mesiar’s ergodic theorems. Our aim in this contribution is to prove analogues of Birkhoff’s individual ergodic theorem and the maximal ergodic theorem for the case of fuzzy dynamical systems.
Keywords
MSC
1 Introduction
Ergodic theory is currently rapidly and massively developing area of theoretical and applied mathematical research. Ergodic theory theorems are studied in many structures, especially, in structures created on the basis of fuzzy approach. Some ergodic theorems valid in the classical ergodic theory [2] have been proven, among others, for D-posets of fuzzy sets [3], for MV-algebras of fuzzy sets [4, 5], and recently also for families of IF-events [6]. In our previous paper [1], we proved fuzzy versions of Mesiar’s ergodic theorems for the case of fuzzy dynamical systems defined and studied in [7]. This way, we contributed to the extension of our study of fuzzy dynamical systems. By a fuzzy dynamical system we mean a system \((\Omega, M, m, U)\), where \((\Omega, M, m)\) is a fuzzy probability space defined by Piasecki [8], and \(U: M \to M\) is an m-invariant σ-homomorphism. This structure can serve as an alternative mathematical model of ergodic theory for the case where the observed events are described vaguely. Fuzzy dynamical systems include the classical dynamical systems; on the other hand, they enable one to study more general situations. The aim of this paper is to generalize some other assertions valid in the classical ergodic theory to the case of fuzzy dynamical systems. In Section 3, after the introductory section (Section 2), we prove fuzzy analogies of Birkhoff’s individual ergodic theorem and the maximal ergodic theorem. The basic idea of our proofs is based on a factorization of the fuzzy σ-algebra M and on properties of the σ-homomorphism U. Note that other approaches to a fuzzy generalization of the notion of a dynamical system are presented in [9–12]. The authors of these papers used some other connectives to define the fuzzy set operations.
2 Basic definitions and facts
Let us recall some definitions and basic facts.
Definition 2.1
[8]
- (iv)
\(m(f \vee f') = 1\) for every \(f \in M\);
- (v)
if \(\{ f_{n} \}_{n = 1}^{\infty}\) is a sequence of pairwise weakly separated fuzzy subsets from M (i.e., \(f_{i} \le f'_{j}\) (point wisely) whenever \(i \ne j\)), then \(m( \bigvee_{n = 1}^{\infty} f_{n}) = \sum_{n = 1}^{\infty} m(f_{n})\).
The symbols \(\bigvee_{n = 1}^{\infty} f_{n}: = \sup_{n}f_{n}\) and \(\bigwedge_{n = 1}^{\infty} f_{n} =:\inf_{n}f_{n}\) denote the fuzzy union and fuzzy intersection of a sequence \(\{ f_{n} \}_{n = 1}^{\infty} \subset M\), respectively, in the sense of Zadeh [13]. A couple \((\Omega, M)\), where Ω is a nonempty set, and M is a fuzzy σ-algebra of fuzzy subsets of Ω, is called a fuzzy measurable space. The presented σ-additive fuzzy measure m satisfies all properties analogous to the properties of classical probability measure in the crisp case. The described structure \((\Omega, M, m)\) can serve as a mathematical model of random experiments, the results of which are vaguely defined events, the so-called fuzzy events. A probability interpretation of the above notions is as follows: a set Ω is the set of elementary events; a fuzzy set from the system M is a fuzzy event; the value \(m(f)\) is the probability of a fuzzy event f; a fuzzy event \(f'\) is the opposite event to a fuzzy event f; and weakly separated fuzzy events are interpreted as mutually exclusive events.
Definition 2.2
[7]
By a fuzzy dynamical system we mean a quadruplet \((\Omega, M, m, U)\), where \((\Omega, M, m)\) is a fuzzy probability space, and \(U: M \to M\) is an m-invariant σ-homomorphism, that is, \(U(f') = (U(f))'\), \(U( \bigvee_{n = 1}^{\infty} f_{n}) = \bigvee_{n = 1}^{\infty} U(f_{n})\), and \(m(U(f)) = m(f)\) for every \(f \in M\) and any sequence \(\{ f_{n} \}_{n = 1}^{\infty} \subset M\).
We present some examples of the above notions.
The trivial case of a fuzzy dynamical system is a quadruplet \((\Omega, M, m, I)\), where \((\Omega, M, m)\) is any fuzzy probability space, and \(I: M \to M\) is the identity mapping.
Example 2.1
Let \((\Omega, S, P, T)\) be a classical dynamical system. Put \(M = \{ \chi_{A}; A \in S \}\), where \(\chi_{A}\) is the indicator of a set \(A \in S\), and define the mapping \(m:M \to \langle 0, 1 \rangle\) by \(m(\chi_{A}) = P(A)\). Then the triplet \((\Omega, M, m)\) is a fuzzy probability space, and the system \((\Omega, M, m, U)\), where the mapping \(U: M \to M\) is defined by (2.1), is a fuzzy dynamical system. By this procedure a classical model can be imbedded into a fuzzy one.
We can also consider the following extension of a fuzzy dynamical system from the previous example.
Example 2.2
Let \((\Omega, S, P, T)\) be a classical dynamical system. Denote by M the system of fuzzy subsets f of Ω such that f is an S-measurable mapping and \(P(f \in (1 / 4; 3 / 4)) = 0\). If we define the mapping \(m:M \to \langle 0, 1 \rangle\) by the equality \(m(f) = P\) (\(f > (1 / 2)_{\Omega} \)), then the triplet \((\Omega, M, m)\) is a fuzzy probability space, and the system \((\Omega, M, m, U)\), where the mapping \(U: M \to M\) is defined by (2.1), is a fuzzy dynamical system.
Example 2.3
Let \(\Omega = \langle 0, 1 \rangle\), \(f:\Omega \to \Omega\), \(f(x) = x\) for every \(x \in \Omega\). Put \(M = \{ f, f', f \vee f', f \wedge f', 0_{\Omega}, 1_{\Omega} \}\) and define the mapping \(m:M \to \langle 0, 1 \rangle\) by the equalities \(m(1_{\Omega} ) = m(f \vee f') = 1\), \(m(0_{\Omega} ) = m(f \wedge f') = 0\), and \(m(f) = m(f') = 1 / 2\). Then the triplet \((\Omega, M, m)\) is a fuzzy probability space. Moreover, if we define the mapping \(U: M \to M\) by the equalities \(U(f \vee f') = f \vee f'\), \(U(1_{\Omega} ) = 1_{\Omega}\), \(U(0_{\Omega} ) = 0_{\Omega}\), \(U(f \wedge f') = f \wedge f'\), \(U(f) = f'\), \(U(f') = f\), then \((\Omega, M, m, U)\) is a fuzzy dynamical system.
An analog of a random variable in terms of the classical probability theory is an F-observable.
Definition 2.3
[14]
- (i)
\(x(E^{C}) = 1_{\Omega} - x(E)\) for every \(E \in B(\Re )\);
- (ii)
\(x( \bigcup_{n = 1}^{\infty} E_{n}) = \bigvee_{n = 1}^{\infty} x(E_{n})\) for any sequence \(\{ E_{n} \}_{n = 1}^{\infty} \subset B(\Re )\),
Example 2.4
Let \((\Omega, S, P)\) be a classical probability space, and \(\xi: \Omega \to \Re\) be a random variable in the sense of classical probability theory. Then the mapping x defined by \(x(E) = \chi_{\xi^{ - 1}(E)}\), \(E \in B(\Re )\), is an F-observable on the fuzzy measurable space \((\Omega, M)\) from Example 2.1.
Let x be an F-observable on a fuzzy measurable space \((\Omega, M)\). Then the range of F-observable x, that is, the set \(R(x): = \{ x(E); E \in B(\Re )\}\) is a Boolean σ-algebra of \((\Omega, M)\) with minimal and maximal elements \(x( \varnothing)\) and \(x(\Re )\), respectively. If \(U: M \to M\) is a σ-homomorphism, then it is easy to verify that the mapping \(U \circ x:B(\Re ) \to M\), \(U \circ x: E \to U (x (E))\), \(E \in B(\Re )\), is an F-observable on \((\Omega, M)\), too.
Definition 2.4
[16]
3 Main results
In this section, we present Birkhoff’s individual ergodic theorem and the maximal ergodic theorem for fuzzy dynamical systems. In the proofs, we will use the factorization of a fuzzy σ-algebra M described further and the properties of a σ-homomorphism U. The presented results can be obtained also using the factorization over the σ-ideal of weakly empty sets. Details on this approach can be found in [17].
Let any fuzzy probability space \((\Omega, M, m)\) be given. In the set M, we define the relation of equivalence ∼ in the following way: for every \(f, g \in M\), \(f \sim g\) if and only if \(m(f \Delta g) = 0\), where \(f \Delta g = (f \wedge g') \vee (f' \wedge g)\) is the symmetric difference of fuzzy sets f and g. Put \([f ]= \{ g \in M; m(f \Delta g) = 0 \}\) for \(f \in M\). It is easy to verify that if \(f_{1},f_{2} \in [f ]\), then \(m(f_{1}) = m(f_{2})\). In the system \([M ]= \{ [f]; f \in M \}\), we can define the relation ≤ as follows: for every \([f], [g] \in[M ]\), \([f] \le [g]\) if and only if \(m(f \wedge g') = 0\). The couple \(([M ], \le)\) is a partially ordered set with a minimal element \([0_{\Omega}]\) and a maximal element \([1_{\Omega}]\); moreover, \([M]\) is a Boolean σ-algebra, where \([\bigvee_{n = 1}^{\infty} f_{n}]\) is the least upper bound of a sequence \(\{ [f_{n}] \}_{n = 1}^{\infty} \subset [M]\), that is, \(\bigvee_{n = 1}^{\infty} [f_{n}] = [ \bigvee_{n = 1}^{\infty} f_{n}]\). Further, for all \(f, g \in M\), \([f] \wedge [g] =[f \wedge g]\). For every \([f]\in [M]\), \([f] \wedge [f'] = [f \wedge f'] = [0_{\Omega}]\) and \([f] \vee [f'] = [f \vee f'] =[1_{\Omega}]\); hence, we have \([f]' = [f']\) for every \(f \in M\). If we define the mapping \(\mu: [M ] \to \langle 0, 1 \rangle\) by the equality \(\mu ( [f ]): = m(f)\) for \([f]\in [M]\), then μ is a probability measure on the Boolean σ-algebra \([M]\), that is, \(\mu ([1_{\Omega} ]) = 1\), \(\mu \ge 0\), and \([f_{i}] \wedge [f_{j}] =[0_{\Omega} ]\) (\(i \ne j\)) implies \(\mu ( \bigvee_{n = 1}^{\infty} [f_{n}]) = \sum_{n = 1}^{\infty} \mu ([f_{n}])\).
Let \((\Omega, M, m, U)\) be any fuzzy dynamical system. Then the mapping \(\bar{U}: [M] \to [M]\) defined by \(\bar{U}([f]) =[U(f)]\), \([f]\in [M]\), is a σ-homomorphism of the Boolean σ-algebra \([M]\), that is, for every \([f]\in [M]\), \(\bar{U}([f]') = (\bar{U}([f]))'\), and for every sequence \(\{ [ f_{n} ] \}_{n = 1}^{\infty} \subset [ M ]\), \(\bar{U}( \bigvee_{n = 1}^{\infty} [f_{n}]) = \bigvee_{n = 1}^{\infty} \bar{U}([f_{n}])\); moreover, Ū is invariant in μ, that is, \(\mu (\bar{U}[f]) = \mu ([f])\) for every \([f]\in [M]\).
In the following, we will need the notion of an ergodic fuzzy dynamical system. We introduce this notion analogously as in the classical ergodic theory [2].
Definition 3.1
A fuzzy dynamical system \((\Omega, M, m, U)\) is said to be ergodic if a σ-homomorphism U of \((\Omega, M)\) is ergodic in m, that is, for every \(f \in M\), the statement \(m(f \wedge U(f')) = 0 = m(U(f) \wedge f')\) implies \(m(f) \in \{ 0, 1 \}\).
The following theorem is a fuzzy analogue of Birkhoff’s individual ergodic theorem. It should be noted that the first authors interested in the ergodic theory on fuzzy measurable spaces were Harman and Riečan [18]. They proved Birkhoff’s individual ergodic theorem for the compatible case. Theorem 3.1 presents a more general case.
Theorem 3.1
Proof
The following theorem is a fuzzy generalization of the maximal ergodic theorem.
Theorem 3.2
Let \((\Omega,M,m,U)\) be a fuzzy dynamical system, and x be an F-observable on \((\Omega, M)\) with a finite mean value in m. Let \(S_{k} = \sum_{i = 1}^{k - 1} U^{i} \circ x\), \(k = 1,\ldots, n\), and \(f = \bigvee_{i = 1}^{n} S_{i} (( 0, \infty ))\). Then \(\int_{f} x \,dm \ge 0\).
Proof
4 Conclusions
In the classical theory, an event is understood as an exactly defined phenomenon, and from the mathematical point of view, it is a classical set. In practice, however, we often encounter events that are described imprecisely, vaguely, so-called fuzzy events. That is why various proposals for a fuzzy generalization of the dynamical system of classical ergodic theory have been created (e.g., in [7, 9–12]). In this note, we contributed to the extension of our study concerning fuzzy dynamical systems introduced by Markechová in [7]. We presented generalizations of Birkhoff’s individual ergodic theorem and the maximal ergodic theorem from the classical ergodic theory to the case of fuzzy dynamical systems.
Declarations
Acknowledgements
The authors thank the editor and the referees for their valuable comments and suggestions.
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.
Authors’ Affiliations
References
- Tirpáková, A, Markechová, D: The fuzzy analogies of some ergodic theorems. Adv. Differ. Equ. 2015, 171 (2015). doi:10.1186/s13662-015-0499-2 MathSciNetView ArticleGoogle Scholar
- Halmos, PR: Lectures on Ergodic Theory. Chelsea, New York (1956) MATHGoogle Scholar
- Riečan, B: On the individual ergodic theorem in D-posets of fuzzy sets. Czechoslov. Math. J. 50(4), 673-680 (2000) MathSciNetView ArticleMATHGoogle Scholar
- Riečan, B, Neubrunn, T: Integral, Measure and Ordering. Kluwer Academic, Dordrecht (1997) MATHGoogle Scholar
- Jurečková, M: A note on the individual ergodic theorem on product MV-algebras. Int. J. Theor. Phys. 39, 757-764 (2000) MathSciNetView ArticleMATHGoogle Scholar
- Čunderlíková, K: The individual ergodic theorem on the IF-events with product. Soft Comput. 14, 229-234 (2010) View ArticleMATHGoogle Scholar
- Markechová, D: The entropy of fuzzy dynamical systems and generators. Fuzzy Sets Syst. 48, 351-363 (1992) MathSciNetView ArticleMATHGoogle Scholar
- Piasecki, K: Probability of fuzzy events defined as denumerable additivity measure. Fuzzy Sets Syst. 17, 271-284 (1985) MathSciNetView ArticleMATHGoogle Scholar
- Dumitrescu, D: Entropy of a fuzzy dynamical system. Fuzzy Sets Syst. 70, 45-57 (1995) View ArticleMATHGoogle Scholar
- Srivastava, P, Khare, M, Srivastava, YK: m-Equivalence, entropy and F-dynamical systems. Fuzzy Sets Syst. 121, 275-283 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Srivastava, P, Khare, M, Srivastava, YK: Fuzzy dynamical systems - inverse and direct spectra. Fuzzy Sets Syst. 113(3), 439-445 (2000) MathSciNetView ArticleMATHGoogle Scholar
- Rahimi, M, Assari, A, Ramezani, F: A local approach to Yager entropy of dynamical systems. Int. J. Fuzzy Syst. 1, 1-5 (2015) MathSciNetGoogle Scholar
- Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965) MathSciNetView ArticleMATHGoogle Scholar
- Dvurečenskij, A, Riečan, B: On joint distribution of observables for F-quantum spaces. Fuzzy Sets Syst. 20(1), 65-73 (1991) MathSciNetView ArticleMATHGoogle Scholar
- Riečan, B: On mean value in F-quantum spaces. Appl. Math. 35(3), 209-214 (1990) MathSciNetMATHGoogle Scholar
- Riečan, B: On the convergence of observables in fuzzy quantum logics. Tatra Mt. Math. Publ. 6, 149-156 (1995) MathSciNetMATHGoogle Scholar
- Navara, M: Boolean representations of fuzzy quantum spaces. Fuzzy Sets Syst. 87(2), 201-207 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Harman, B, Riečan, B: On the individual ergodic theorem in F-quantum spaces. Zesz. Nauk. - Akad. Ekon. Pozn. 187(1), 25-30 (1992) Google Scholar
- Varadarajan, VS: Geometry of Quantum Theory. Van Nostrand, New York (1968) View ArticleMATHGoogle Scholar