A limit theorem in dynamic fuzzy systems with transitive fuzzy relations (Q1971891)

The study provides a limit theorem for sequences of fuzzy states in dynamic fuzzy systems whose fuzzy relations are transitive. The dynamic fuzzy system under discussion is described in the form \[ s_{n+1}=s_n \circ Q\qquad s_{n+1}(y)= \sup_{x\in E}\biggl[\min \bigl( s_n(x), q(x,y)\bigr) \biggr] \tag{1} \] \(n=0,1,2,\dots\) where \(Q:{\mathbf E}\times{\mathbf E}\to{\mathbf E}\) is a sup-min transitive fuzzy relation (here \({\mathbf E}\) is a compact metric space with ``\(d\)'' being a metric on \({\mathbf E})\). The space of the solutions to the fuzzy relation equation (1) is analyzed. It is shown that the limit fuzzy state is represented by means of the fundamental solutions to the equation. An illustrative example is included. This paper augments the previous results dealing with other assumptions (such as contractive properties) being made with respect to the fuzzy relations of the fuzzy systems, see [the author with \textit{M. Kurano}, \textit{M. Yasuda}, and \textit{J. Nakagami}, ibid. 51, No. 1, 83-88 (1992; Zbl 0796.93076); 94, No. 1, 109-119 (1998; Zbl 0920.54008); A fuzzy relational equation in dynamical fuzzy systems, RIMS Kokyuroku 978, 183-189 (1997)].