On Monotone Eigenvectors of a Max-T Fuzzy Matrix

The eigenvectors of a fuzzy matrix correspond to steady states of a complex discrete-events system, characterized by the given transition matrix and fuzzy state vectors. The descriptions of the eigenspace for matrices in the max-Łukasiewicz algebra, max-min algebra, max-nilpotent-min algebra, max-product algebra and max-drast algebra have been presented in previous papers. In this paper, we investigate the monotone eigenvectors in a max-T algebra, list some particular properties of the monotone eigenvectors in max-Łukasiewicz algebra, max-min algebra, max-nilpotent-min algebra, max-product algebra and max-drast algebra, respectively, and illustrate the relations among eigenspaces in these algebras by some examples.


Introduction
The eigenproblem for a fuzzy matrix corresponds to finding a stable state (or all stable states) of the complex discrete-events system described by the given transition matrix and fuzzy state vectors.Therefore, the investigation of the eigenspace structure in fuzzy algebras is important for application.This problem has been solved in several types of so-called extremal algebras.
A max-T fuzzy algebra is defined over the interval [ ] 0,1 and uses, instead of the conventional operations of addition and multiplication, the operations of maximum and one of the triangular norms, the so-called t-norm.These operations are extended in a natural way to the Cartesian products of vectors and matrices.The t-norms together with the t-conorms play a key role in fuzzy theory.These functions have applications in many areas, such as decision making, statistics, game theory, information and data fusion, probability theory, and risk management.
Although there exist various t-norms and families of t-norms (see, e.g., [1]), let us mention the several main t-norms: the Łukasiewicz t-norm, the Gödel t-norm, the nilpotent minimum t-norm, the product t-norm, and the drastic t-norm.
The Łukasiewicz t-norm is computed as The Gödel t-norm is the simplest t-norm and the conjunction is defined as the minimum of the entries, i.e., { } min , .
The nilpotent minimum t-norm is defined by The definition of the product t-norm is .

P x y x y ⊗ =⋅
The drastic triangular t-norm is "the weakest norm" and the basic example of a non-divisible t-norm on any partially ordered set.The drastic triangular t-norm is defined as follows: Recently, Gavalec et al. [2] [3] investigated the steady states of max-Łukasiewicz fuzzy systems and monotone interval eigenproblem in max-min algebra, Rashid et al. [4] discussed the eigenspace structure of a max-product fuzzy matrix and Gavalec et al. [5] studied the eigenspace structure of a max-drast fuzzy matrix.In this paper, based on these works, we further study eigenproblem.We investigate the eigenvectors in a max-T algebra, study monotone eigenvectors in max-nilpotent-min algebra, discuss the relation between the monotone eigenvectors in max-T algebra and max-drast algebra, and illustrate the relations among eigenspaces in these algebras by some examples.

Eigenvectors in a Max-T Algebra
Let T be one of the triangular norms used in fuzzy theory, let us denote the real , , ⊗ ⊗ ⊗ be three triangular norms on I, ( ) i.e., A x x ⊗ =.Thus, ( ) The theorem is proved.
The investigation of the eigenspace structure can be simplified by permuting any vector ( ) x I n ∈ to a non-decreasing form.
For given permutations , n P ϕ ψ ∈ , we denote by A ϕψ the matrix with rows permuted by ϕ and columns permuted by ψ , and we denote by x ϕ the vec- tor permuted by ϕ .Theorem 2.2.(Gavalec [6]).Let ( ) We say a vector ( ) x x ≤ holds for any and strictly increasing if i j x x < whenever i j < .The set of all increasing eigenvectors of a matrix A is denoted by ( ) and the set of all strictly increasing eigenvectors of a matrix A is denoted by ( ) . Similar notation ( ) ( ) I n < will be used without the condition A x x ⊗ =.
Theorem 2.3.Let ( ) ( ) if and only if for every i N ∈ the following hold.
Proof.By definition, ( ) ( ) , then it follows from Theorem 2.3 that The theorem is proved.
nn a =

Eigenvectors in Max-Łukasiewicz Algebra
The following theorem contains several logical consequences of the definition of Łukasiewicz triangular norm.
Theorem 3.1.(Rashid et al. [7]).Let , , Combining Theorem 2.3 with Theorem 3.1, we have the following theorem.Theorem 3.2.(Rashid et al. [7]).Let ( ) ( ) if and only if for every i N ∈ the following hold: for some j N ∈ .The following theorem describes necessary conditions under which a given square matrix can have a strictly increasing eigenvector.Theorem 3.3.(Rashid et al. [7]).Let ( ) ≠ Φ , then the following conditions are satisfied 1) The following theorem describes necessary and sufficient conditions under which a three-dimensional fuzzy matrix has a strictly increasing eigenvector.

Eigenvectors in Max-Min Algebra
In the case of the max-min (called also: bottleneck) algebras, the eigenproblem has been studied by many authors and interesting results describing the structure of the eigenspace have been found (see [3] [8] [9] [10] [11] [12]).In particular, algorithms have been suggested for computing the maximal eigenvector of a given max-min matrix (see [13]).
If the binary operation ⊗ coincides with the minimum operation, then the strictly increasing eigenspace ( ) can be described as an interval of strictly increasing eigenvectors, where the bounds of the interval are defined as follows If a maximum of an empty set should be computed in the above definition of ( ) * m A , then we use the fact that max 0 Φ = by usual definition.
Hence, in view of Theorem 4.1, the structure of ( ) has been completely described for any ( )

Eigenvectors in Max-Nilpotent-Min Algebra
We know that the nilpotent minimum norm nM ⊗ is left-continuous and the R-implication generated from nM ⊗ is defined by Moreover, it follows from Proposition 2.5.2 in [14] that nM ⊗ and FD → form an adjoint pair, i.e., they satisfy the following residual principle , , , ∈ is equivalent with the two conditions:

Eigenvectors in Max-Product Algebra
For every vectors ( ) x I n ∈ , define the quotient vector ( ) ( ) Noting that for any i j < , if and only if .
Thus, it follows from Theorem 2.3 that Theorem 6.1.(Rashid et al. [4]).Suppose that ( ) ( ) if and only if for every i N ∈ the following two conditions hold. 1) x > and it follows from the proof of Theorem 2.4 that Thus, the following theorem is a corollary of Theorem 2.4.Theorem 6.2.(Rashid et al. [4]).If ( ) This Theorem describes necessary conditions which a square matrix can have an increasing eigenvector.

Eigenvectors in Max-Drast Algebra
For ( ) Theorem 7.1.(Gavalec et al. [5]).Let ( ) ( ) if and only if for every i N ∈ the following conditions hold 1) Moreover, the following theorem necessary and sufficient conditions which a square matrix possesses a strictly increasing eigenvector.

The Relations among These Eigenspaces
Now we discuss the relation between the monotone eigenvectors in max-T algebra and max-drast algebra.( ) i.e., there exist some The theorem is proved.
Finally, we illustrate the relations among eigenspaces in these algebras by two examples.

Conclusions and Further Works
The eigenproblem for a fuzzy matrix corresponds to finding a stable state of the complex discrete-events system described by the given transition matrix and fuzzy state vectors and the investigation of the eigenspace structure in fuzzy algebras is important for application.Gavalec et al. [2] [3] have investigated the steady states of max-Łukasiewicz fuzzy systems, Rashid et al. [4] and Gavalec et al. [5] have discussed the eigenspace structure of a max-product fuzzy matrix and a max-drast fuzzy matrix, respectively.
In this paper, we investigated the eigenvectors in a max-T algebra, discussed monotone eigenvectors in max-nilpotent-min algebra, and studied the relation between the monotone eigenvectors in max-T algebra and max-drast algebra.
In a forthcoming paper, we will further investigate monotone eigenvectors in max-nilpotent-min algebra and max-T algebra.

.
unit interval [ ] 0,1 by I.By the max-T algebra we understand the triple The set of all permutations on N will be denoted by n P .The notations ( ) I n and ( ) , I n n denote the set of all vectors and all square matrices of a given dimension n over I, respectively.The operations ⊕ and ⊗ are extended to matrices and vectors in the standard way.The eigenproblem for a given matrix This shows that conditions (1) and (4) in Theorem 7.2 are also straightforward consequences of Theorem 2.4.The next theorem characterizes all the eigenvectors of a given matrix.In other words, the theorem completely describes the eigenspace structure.Theorem 7.3.(Gavalec et al.[5]).Let