 Research
 Open access
 Published:
Birkhoff’s individual ergodic theorem and maximal ergodic theorem for fuzzy dynamical systems
Advances in Difference Equations volume 2016, Article number: 127 (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.
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 Dposets of fuzzy sets [3], for MValgebras of fuzzy sets [4, 5], and recently also for families of IFevents [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 minvariant σ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]
A fuzzy probability space is a triplet \((\Omega,M,m)\) where Ω is a nonempty set, M is a fuzzy σalgebra of fuzzy subsets of Ω (i.e., \(M \subset [ 0, 1 ]^{\Omega}\) such that (i) \(1_{\Omega} \in M\), \((1 / 2)_{\Omega} \notin M\); (ii) if \(f_{n} \in M\), \(n = 1, 2,\ldots\) , then \(\bigvee_{n = 1}^{\infty} f_{n} \in M\); (iii) if \(f \in M\), then \(f': = 1_{\Omega}  f \in M\)), and the mapping \(m:M \to \langle 0, \infty )\) satisfies the following conditions:

(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 socalled 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 minvariant σ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.
Consider any fuzzy probability space \((\Omega, M, m)\). Let \(T: \Omega \to \Omega\) be a measure m preserving transformation (i.e., \(f \in M\) implies \(f \circ T \in M\) and \(m(f \circ T) = m(f)\)). Then the mapping \(U: M \to M\) defined by
is an minvariant σhomomorphism, and the quadruplet \((\Omega, M, m, U)\) is a fuzzy dynamical system.
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 Smeasurable 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 Fobservable.
Definition 2.3
[14]
An Fobservable on a fuzzy measurable space \((\Omega, M)\) is a mapping \(x:B(\Re ) \to M\) such that

(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 )\),
where \(B(\Re )\) is the family of all Borel subsets of the real line ℜ, and \(E^{C}\) denotes the complement of a set \(E \subset \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 Fobservable on the fuzzy measurable space \((\Omega, M)\) from Example 2.1.
Let x be an Fobservable on a fuzzy measurable space \((\Omega, M)\). Then the range of Fobservable 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 Fobservable on \((\Omega, M)\), too.
Let any fuzzy probability space \((\Omega, M, m)\) be given. If x is an Fobservable on \((\Omega, M)\), then the mapping \(m_{x}: E \mapsto m(x(E))\), \(E \in B(\Re )\), is a probability measure on \(B(\Re )\). The value \(m(x(E))\) is interpreted as the probability that an Fobservable x has a value in \(E \in B(\Re )\). By an integral of x with respect to m we mean the expression
(if the integral on the righthand side exists and is finite). The integral \(m(x)\) is interpreted as the mean value of x [15]. Further, for a Borelmeasurable function \(\psi: \Re \to \Re\), we put
where the Fobservable \(\psi (x):B(\Re ) \to M\) is defined by \(\psi (x)(E) = x(\psi^{  1}(E))\), \(E \in B(\Re )\) (under the conventional assumptions on the integrability).
The integral of an Fobservable x on \((\Omega, M)\) over a fuzzy set \(f \in M\) is defined (see [4]) via
where \(x_{f}\) is the question observable of a fuzzy set f, that is, the mapping defined, for any \(E \in B(\Re )\), by
(if the integral on the righthand side exists and is finite).
Definition 2.4
[16]
Let \((\Omega, M, m)\) be a given fuzzy probability space, and \(x,x_{1},x_{2},\ldots\) be Fobservables on \((\Omega, M)\). We say that the sequence \(\{ x_{n} \}_{n = 1}^{\infty}\) converges to x almost everywhere in m (and we write \(x_{n} \to x\) a.e. in m) if, for every \(\varepsilon > 0\),
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]\).
Let x be an Fobservable on a fuzzy measurable space \((\Omega, M)\). Let us define the mapping \(h: M \to [M ]\) via
Then it is easy to see that h is a σhomomorphism from M onto \([M]\) and \(\bar{x}: = h \circ x\) is an observable on the Boolean σalgebra \([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
Let \((\Omega, M, m, U)\) be an ergodic fuzzy dynamical system, and x be an Fobservable on \((\Omega, M)\). Suppose \(m (x) = 0\). Then
where o is the question observable of the empty fuzzy set \(0_{\Omega}\).
Proof
At the beginning of the proof, we use arguments similar to those in the proof of Theorem 3.1 in [1]. Let \(\mathcal{A}\) be the minimal Boolean subσalgebra of \([M]\) containing all ranges of \(\bar{U}^{n} \circ \bar{x}\), \(n = 1, 2,\ldots\) . Then \(\bar{U}( [f]) \in \mathcal{A}\) for any \([f] \in \mathcal{A}\) and the Boolean σalgebra \(\mathcal{A}\) has a countable generator. Therefore, in view of Varadarajan [19], there exists an observable \(z: B(\Re ) \to [M]\) such that \(\{ z (E): E \in B(\Re) \} = \mathcal{A}\). Moreover, there is a sequence of realvalued Borel functions \(\{ \psi_{n} \}_{n = 0}^{\infty}\) such that
Since Ū is zmeasurable, by Dvurečenskij and Riečan [14], there exists a Borelmeasurable transformation \(T: \Re \to \Re\) such that
Therefore, for every \(E \in B (\Re )\), we have
and consequently,
Hence, we may assume without loss of generality that \(\psi_{n} = \psi \circ T^{n}\), \(n = 1, 2,\ldots\) , for some Borel function ψ. By Definition 2.4 \(x_{n} \to o\) almost everywhere in m if, for every \(\varepsilon > 0\), \(m( \bigvee_{k = 1}^{\infty} \bigwedge_{n = k}^{\infty} x_{n}( \langle  \varepsilon, \varepsilon \rangle )) = 1\). But
Therefore,
where, for every \(E \in B (\Re )\), \(\bar{o}(E) = [0_{\Omega} ]\) if \(0 \notin E\) and \(\bar{o}(E) = [1_{\Omega} ]\) if \(0 \in E\). The previous convergence is true if and only if
which is possible if and only if
where \(\mu_{z}: B (\Re ) \to \langle 0, 1 \rangle\) is the probability measure on \(B (\Re )\) defined by \(\mu_{z} (E) = \mu (z (E))\), \(E \in B (\Re )\). On the other hand,
where \(\mu_{\bar{x}}: B (\Re ) \to \langle 0, 1 \rangle\) is the probability measure on \(B (\Re )\) defined by \(\mu_{\bar{x}} (E) = \mu (\bar{x} (E))\), \(E \in B (\Re )\). Taking into account the classical dynamical system \((\Re, B (\Re ), \mu_{z}, T)\), it is easy to see that T is \(\mu_{z}\)invariant and ergodic in \(\mu_{z}\), that is, \(\mu_{z} (T^{  1}(E)) = \mu_{z} (E)\) for every \(E \in B (\Re )\), and \(T^{  1}(E) = E\) implies \(\mu_{z} (E) \in \{ 0, 1 \}\). Therefore, by Halmos [2], the Birkhoff’s individual ergodic theorem holds for ψ, and, consequently, (3.2) is proved. □
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 Fobservable 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
As in the proof of the previous theorem, we get
where h is defined by (3.1), \(s_{k}(t) = \sum_{i = 1}^{k  1} \psi (T^{i}(t))\), \(t \in \Re\), \(k = 1,\ldots, n\), and z, T, and ψ have the same meanings as before. Hence,
where \(\bar{x}_{[f]}\) is the question observable of \([f]\), that is, \(\bar{x}_{[f]} ( \{ 0 \}) = [f]'\), \(\bar{x}_{[f]} ( \{ 1 \}) =[f]\), and \(A = \{ t \in \Re: \max (0, s_{1}(t),\ldots, s_{n}(t)) > 0 \}\). Applying the maximal ergodic theorem to the classical dynamical system \((\Re, B (\Re ), \mu_{z}, T)\), we obtain that \(\int_{A} \psi (t )\,d\mu_{z}(t ) \ge 0\). The proof is finished. □
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, socalled 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.
References
Tirpáková, A, Markechová, D: The fuzzy analogies of some ergodic theorems. Adv. Differ. Equ. 2015, 171 (2015). doi:10.1186/s1366201504992
Halmos, PR: Lectures on Ergodic Theory. Chelsea, New York (1956)
Riečan, B: On the individual ergodic theorem in Dposets of fuzzy sets. Czechoslov. Math. J. 50(4), 673680 (2000)
Riečan, B, Neubrunn, T: Integral, Measure and Ordering. Kluwer Academic, Dordrecht (1997)
Jurečková, M: A note on the individual ergodic theorem on product MValgebras. Int. J. Theor. Phys. 39, 757764 (2000)
Čunderlíková, K: The individual ergodic theorem on the IFevents with product. Soft Comput. 14, 229234 (2010)
Markechová, D: The entropy of fuzzy dynamical systems and generators. Fuzzy Sets Syst. 48, 351363 (1992)
Piasecki, K: Probability of fuzzy events defined as denumerable additivity measure. Fuzzy Sets Syst. 17, 271284 (1985)
Dumitrescu, D: Entropy of a fuzzy dynamical system. Fuzzy Sets Syst. 70, 4557 (1995)
Srivastava, P, Khare, M, Srivastava, YK: mEquivalence, entropy and Fdynamical systems. Fuzzy Sets Syst. 121, 275283 (2001)
Srivastava, P, Khare, M, Srivastava, YK: Fuzzy dynamical systems  inverse and direct spectra. Fuzzy Sets Syst. 113(3), 439445 (2000)
Rahimi, M, Assari, A, Ramezani, F: A local approach to Yager entropy of dynamical systems. Int. J. Fuzzy Syst. 1, 15 (2015)
Zadeh, LA: Fuzzy sets. Inf. Control 8, 338353 (1965)
Dvurečenskij, A, Riečan, B: On joint distribution of observables for Fquantum spaces. Fuzzy Sets Syst. 20(1), 6573 (1991)
Riečan, B: On mean value in Fquantum spaces. Appl. Math. 35(3), 209214 (1990)
Riečan, B: On the convergence of observables in fuzzy quantum logics. Tatra Mt. Math. Publ. 6, 149156 (1995)
Navara, M: Boolean representations of fuzzy quantum spaces. Fuzzy Sets Syst. 87(2), 201207 (1997)
Harman, B, Riečan, B: On the individual ergodic theorem in Fquantum spaces. Zesz. Nauk.  Akad. Ekon. Pozn. 187(1), 2530 (1992)
Varadarajan, VS: Geometry of Quantum Theory. Van Nostrand, New York (1968)
Acknowledgements
The authors thank the editor and the referees for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally and significantly in writing this article. The authors read and approved the final manuscript.
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
Markechová, D., Tirpáková, A. Birkhoff’s individual ergodic theorem and maximal ergodic theorem for fuzzy dynamical systems. Adv Differ Equ 2016, 127 (2016). https://doi.org/10.1186/s136620160855x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620160855x