No label defined (Q4498064)

Studied are fuzzy relational equations \(X= X\circ R\), where \(X= [x_1,x_2,\dots, x_n]\) is a fuzzy set defined in an \(n\)-dimensional finite space \({\mathbf X}\), \(\text{card}({\mathbf X})= n\), \(R\) is a fuzzy relation and \(\circ\) denotes a max-min composition of \(X\) and \(R\). \(X\) is said to be invariant for the relation \(R\) if its satisfies the above equation. The paper studies a structure of the invariant sets, \(\text{Inv}(R)\). It is shown that \(\text{Inv}(R)\) can be described in terms of a lattice theoretic hull of no more than ``\(n\)'' extreme elements. When characterizing Lyapunov stability of the recurrent relationship \(X_{k+1}= X_k\circ R\) in terms of appropriate metrics in the family of the corresponding sets in \({\mathbf X}\), it is shown that all invariant fuzzy sets are Lyapunov stable. For the entire collection see [Zbl 0943.00013].