ABSTRACT

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.

Keywords:

Fuzzy Matrix, Triangular Norm, Max-T Algebra, Eigenspace, Monotone Eigenvector

1. 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 $\left[0,1\right]$ 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

$x{\otimes }_{L}y=\max \left\{x+y-1,0\right\}.$

The Gödel t-norm is the simplest t-norm and the conjunction is defined as the minimum of the entries, i.e.,

$x{\otimes }_{G}y=\min \left\{x,y\right\}.$

The nilpotent minimum t-norm is defined by

$x{\otimes }_{nM}y=\{\begin{array}{l}0,\text{if}x+y\le 1,\\ \min \left\{x,y\right\},\text{otherwise}.\end{array}$

The definition of the product t-norm is

$x{\otimes }_{P}y=x\cdot 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:

$x{\otimes }_{D}y=\{\begin{array}{l}0,\text{if}\max \left\{x,y\right\}<1,\\ \min \left\{x,y\right\},\text{if}\max \left\{x,y\right\}=1.\end{array}$

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.

2. Eigenvectors in a Max-T Algebra

Let T be one of the triangular norms used in fuzzy theory, let us denote the real unit interval $\left[0,1\right]$ by I. By the max-T algebra we understand the triple $\left(I,\oplus ,\otimes \right)$ with the binary operations $\oplus =\max$ and $\otimes =T$ on I. For given natural $n$ , we write $N=\left\{1,2,\cdots ,n\right\}$ . The set of all permutations on N will be denoted by $P_n$ . The notations $I\left(n\right)$ and $I\left(n,n\right)$ denote the set of all vectors and all square matrices of a given dimension $n$ over I, respectively. The operations $\oplus$ and $\otimes$ are extended to matrices and vectors in the standard way.

The eigenproblem for a given matrix $A\in I\left(n,n\right)$ in max-T algebra consists in finding an eigenvector $x\in I\left(n\right)$ for which $A\otimes x=x$ holds true. The eigenspace of $A\in I\left(n,n\right)$ is denoted by

$F_{\otimes }\left(A\right)=\left\{x\in I\left(n\right)|A\otimes x=x\right\}.$

Theorem 2.1. Let ${\otimes }_1,\otimes ,{\otimes }_2$ be three triangular norms on I, $A\in I\left(n,n\right)$ and $x\in I\left(n\right)$ . If ${\otimes }_1\le \otimes \le {\otimes }_2$ , $x\in F_{{\otimes }_1}\left(A\right)$ and $x\in F_{{\otimes }_2}\left(A\right)$ , then $x\in F_{\otimes }\left(A\right)$ .

Proof. If $x\in F_{{\otimes }_1}\left(A\right)$ and $x\in F_{{\otimes }_2}\left(A\right)$ , then

$A{\otimes }_{1}x=x,A{\otimes }_{2}x=x.$

When ${\otimes }_1\le \otimes \le {\otimes }_2$ , we have that

$x=A{\otimes }_{1}x\le A\otimes x\le A{\otimes }_{2}x=x,$

i.e., $A\otimes x=x$ . Thus, $x\in F_{\otimes }\left(A\right)$ .

The theorem is proved.

The investigation of the eigenspace structure can be simplified by permuting any vector $x\in I\left(n\right)$ to a non-decreasing form.

For given permutations $\phi ,\psi \in P_n$ , we denote by $A_{\phi \psi }$ the matrix with rows permuted by $\phi$ and columns permuted by $\psi$ , and we denote by $x_{\phi }$ the vector permuted by $\phi$ .

Theorem 2.2. (Gavalec [6] ). Let $A\in I\left(n,n\right)$ , $x\in I\left(n\right)$ and $\phi \in P_n$ . Then $x\in F_{\otimes }\left(A\right)$ if and only if $x_{\phi }\in F_{\otimes }\left(A_{\phi \phi }\right)$ .

We say a vector $x\in I\left(n\right)$ is increasing if $x_i\le x_j$ holds for any $i,j\in N,i\le j$ and strictly increasing if $x_i<x_j$ whenever $i<j$ . The set of all increasing eigenvectors of a matrix A is denoted by $F_{\otimes }^{\le }\left(A\right)$ and the set of all strictly increasing eigenvectors of a matrix A is denoted by $F_{\otimes }^{<}\left(A\right)$ . Similar notation $I^{\le }\left(n\right)$ and $I^{<}\left(n\right)$ will be used without the condition $A\otimes x=x$ .

Theorem 2.3. Let $A\in I\left(n,n\right)$ and $x\in I^{<}\left(n\right)$ . Then $x\in F_{\otimes }^{<}\left(A\right)$ if and only if for every $i\in N$ the following hold.

$a_{ij}\otimes x_j\le x_i\forall j\in N,a_{ij}\otimes x_j=x_i\exists j\in N.$

Proof. By definition, $x\in F_{\otimes }^{<}\left(A\right)$ is equivalent with the condition

$\max \left\{a_{i1}\otimes x_1,\cdots ,a_{in}\otimes x_n\right\}=x_i\forall i\in N,$

which is equivalent to $a_{ij}\otimes x_j\le x_i$ for every $j\in N$ and $a_{ij}\otimes x_j=x_i$ for some $j\in N$ .

The theorem is proved.

Theorem 2.4. Let $A\in I\left(n,n\right)$ and $x\in I^{<}\left(n\right)$ . If $x\in F_{\otimes }^{<}\left(A\right)$ , then

1) $a_{ij}<1$ for all $j\in N,i<j$ ,

2) $a_{nn}\ge x_n$ .

Proof. If $x\in F_{\otimes }^{<}\left(A\right)$ , then it follows from Theorem 2.3 that

$a_{ij}\otimes x_j\le x_i\forall j>i.$

When $a_{ij}=1$ , $a_{ij}\otimes x_j=x_j>x_i$ , this is a contradiction. Thus, $a_{ij}<1$ for every $j\in N,i<j$ . Noting that ${\otimes }_G$ is the largest triangular normon I, we see that

$x_n=a_{nn}\otimes x_n\le \min \left\{a_{nn},x_n\right\}$

and hence $a_{nn}\ge x_n$ .

The theorem is proved.

In particular, if $x\in F_{\otimes }^{<}\left(A\right)$ with $x_n=1$ , then

$a_{nn}=1.$

3. 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 $a,b,c\in I$ . Then

1) $a{\otimes }_{L}b=b$ if and only if $a=1$ or $b=0$ ,

2) $a{\otimes }_{L}c=b$ if and only if $a=1+b-c$ or ( $a\le 1-c$ and $b=0$ ),

3) $a{\otimes }_{L}c\le b$ if and only if $a\le 1+b-c$ ,

4) $a{\otimes }_{L}c>b$ if and only if $a>1+b-c$ ,

5) if $c<b$ , then $a{\otimes }_{L}c<b$ .

Combining Theorem 2.3 with Theorem 3.1, we have the following theorem.

Theorem 3.2. (Rashid et al. [7] ). Let $A\in I\left(n,n\right)$ and $x\in I^{<}\left(n\right)$ . Then $x\in F_{{\otimes }_L}^{<}\left(A\right)$ if and only if for every $i\in N$ the following hold:

1) $a_{ij}\le +x_i-x_j$ for every $j\in N$ and $j\ge i$ ,

2) if $i=1$ , then $x_1=0$ or $a_{1j}=1+x_1-x_j$ for some $j\in N$ ,

3) if $i>1$ , then $a_{ij}=1+x_i-x_j$ for some $j\in 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 $A\in I\left(n,n\right)$ . If $F_{{\otimes }_L}^{<}\left(A\right)\ne \Phi$ , then the following conditions are satisfied

1) $a_{ij}<1$ for all $i,j\in N$ and $i<j$ ,

2) $a_{nn}=1$ .

The following theorem describes necessary and sufficient conditions under which a three-dimensional fuzzy matrix has a strictly increasing eigenvector.

Theorem 3.4. (Rashid et al. [7] ). Let $A\in I\left(n,n\right)$ . Then $F_{{\otimes }_L}^{<}\left(A\right)\ne \Phi$ if and only if the following conditions are satisfied

1) $a_{12}<1,a_{13}<1,a_{23}<1$ , for all $i,j\in N$ and $i<j$ ,

2) $a_{22}=1$ , or $a_{13}<a_{23}$ ,

3) $a_{33}=1$ .

Example 3.1. Let us consider the matrix

$A=\left[\begin{array}{ccc}0.6& 0.8& 0.3\\ 0.5& 0.9& 0.4\\ 0.3& 0.7& 1\end{array}\right].$

Matrix A satisfies conditions (1)-(3) in Theorem 3.4, hence $F_{{\otimes }_L}^{<}\left(A\right)\ne \Phi$ and

$\begin{array}{l}{F}_{{\otimes }_L}^{<}\left(A\right)=\left\{\left(0,x_2,x_3\right)|0<x_2\le 0.1,x_3=x_2+0.6\right\}\\ \cup \left\{\left(x_1,x_2,x_3\right)|0<x_1\le 0.3,x_2=x_1+0.1,x_3=x_1+0.7\right\}.\end{array}$

4. 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 $\otimes$ coincides with the minimum operation, then the strictly increasing eigenspace $F_{{\otimes }_G}^{<}\left(A\right)$ can be described as an interval of strictly increasing eigenvectors, where the bounds $m^{*}\left(A\right),M^{*}\left(A\right)\in I\left(n\right)$ of the interval are defined as follows

$\begin{array}{l}{m}^{\left(j\right)}\left(A\right)=\max \left\{a_{jk}|k>j\right\},M^{\left(j\right)}\left(A\right)=\max \left\{a_{jk}|k\ge j\right\},\\ m_i^{*}\left(A\right)=\max \left\{m^{\left(j\right)}\left(A\right)|j\le i\right\},M_i^{*}\left(A\right)=\min \left\{M^{\left(j\right)}\left(A\right)|j\ge i\right\}.\end{array}$

If a maximum of an empty set should be computed in the above definition of $m^{*}\left(A\right)$ , then we use the fact that $\max \Phi =0$ by usual definition.

The following theorem has been proved in [6] .

Theorem 4.1. (Gavalec [6] ). Let $A\in I\left(n,n\right)$ and $x\in I\left(n\right)$ be a strictly increasing vector. Then $x\in F_{{\otimes }_G}^{<}\left(A\right)$ if and only if $m^{*}\left(A\right)\le x\le M^{*}\left(A\right)$ , i.e.,

$F_{{\otimes }_G}^{<}\left(A\right)=\left[m^{*}\left(A\right),M^{*}\left(A\right)\right]\cap I^{<}\left(n\right).$

Hence, in view of Theorem 4.1, the structure of $F_{{\otimes }_G}^{<}\left(A\right)$ has been completely described for any $A\in I\left(n,n\right)$ .

5. Eigenvectors in Max-Nilpotent-Min Algebra

We know that the nilpotent minimum norm ${\otimes }_{nM}$ is left-continuous and the R-implication generated from ${\otimes }_{nM}$ is defined by

$a{\to }_{FD}b=\sup \{x\in I|a{\otimes }_{nM}x\le b\}.$

Moreover, it follows from Proposition 2.5.2 in [14] that ${\otimes }_{nM}$ and ${\to }_{FD}$ form an adjoint pair, i.e., they satisfy the following residual principle

$a{\otimes }_{nM}x\le b\iff x\le a{\to }_{FD}b\forall a,b,x\in I,$

and

$a{\to }_{FD}b=\max \left\{x\in I|a{\otimes }_{nM}x\le b\right\}.$

If $A\in I\left(n,n\right)$ , then $x\in F_{{\otimes }_{nM}}^{<}\left(A\right)$ is equivalent with the two conditions:

1) for any $j\ge i$ , $a_{ij}{\otimes }_{nM}{x}_j\le x_i$ ,

2) there exist $j\ge i$ such that $a_{ij}{\otimes }_{nM}{x}_j\le x_i$ .

For $j\ge i$ ,

1) if $a_{ij}<x_i$ , then $a_{ij}{\otimes }_{nM}{x}_j\le a_{ij}<x_i$ ;

2) if $a_{ij}>x_i$ , then $a_{ij}{\otimes }_{nM}{x}_j\le x_i$ if and only if

$x_j\le a_{ij}{\to }_{FD}{x}_i=\max \left\{1-a_{ij},x_i\right\},$

a) when $j>i$ , $x_j\le 1-a_{ij}$ , $a_{ij}{\otimes }_{nM}{x}_j=0$ ,

b) when $j=i$ , $a_{ii}{\otimes }_{nM}{x}_i\le x_i$ and

$a_{ii}{\otimes }_{nM}{x}_i=x_i\iff x_i\ge 1-a_{ii},$

i.e., $1-a_{ii}<x_i<a_{ii}$ and hence $a_{ii}>\frac{1}{2}$ ;

3) if $a_{ij}=x_i$ , then $a_{ij}{\otimes }_{nM}{x}_j\le a_{ij}=x_i$ and

$a_{ij}{\otimes }_{nM}{x}_j=x_i\iff x_j>1-x_i\iff x_i+x_j>1.$

6. Eigenvectors in Max-Product Algebra

For every vectors $x\in I\left(n\right)$ , define the quotient vector $q=q\left(x\right)\in I\left(n\right)$ by

$q_i=\{\begin{array}{l}\frac{x_i}{x_{i+1}},\text{if}i\in N\backslash \left\{n\right\},x_{i+1}\ne 0,\\ 1,\text{if}i\in N\backslash \left\{n\right\},x_{i+1}=0,\\ x_n,\text{if}i=n.\end{array}$

Then, $x\in I^{<}\left(n\right)$ if and only if $q=q\left(x\right)$ fulfills the following inequalities

$0\le q_1<1,0<q_n\le 1,0<q_i<1\forall i\in N\backslash \left\{1,n\right\}.$

Noting that for any $i<j$ ,

$\begin{array}{l}{a}_{ij}{\otimes }_P{x}_j\le x_i\text{if}\text{and}\text{only}\text{if}{a}_{ij}\le \frac{x_i}{x_j}\\ =\frac{x_i}{x_{i+1}}\cdot \frac{x_{i+1}}{x_{i+2}}\cdots \frac{x_{j-1}}{x_j}.\end{array}$

Thus, it follows from Theorem 2.3 that

Theorem 6.1. (Rashid et al. [4] ). Suppose that $A\in I\left(n,n\right)$ and $x\in I^{<}\left(n\right)$ . Then $x\in F_{{\otimes }_P}^{<}\left(A\right)$ if and only if for every $i\in N$ the following two conditions hold.

1) $a_{ij}\le q_i{q}_{i+1}\cdots q_{j-1}$ for every $j\in N,j>i$ ,

2) $a_{ii}=1$ or $a_{ij}=q_i{q}_{i+1}\cdots q_{j-1}$ for some $j\in N,j>i$ .

When $x\in F_{{\otimes }_P}^{<}\left(A\right)$ , $x_n>0$ and it follows from the proof of Theorem 2.4 that $x_n=a_{nn}\cdot x_n$ , i.e., $a_{nn}=1$ .

Thus, the following theorem is a corollary of Theorem 2.4.

Theorem 6.2. (Rashid et al. [4] ). If $A\in I\left(n,n\right)$ and $F_{{\otimes }_P}^{<}\left(A\right)\ne \Phi$ , then the following conditions satisfied

1) $a_{ij}<1$ for all $i,j\in N,i<j$ ,

2) $a_{nn}=1$ .

This Theorem describes necessary conditions which a square matrix can have an increasing eigenvector.

7. Eigenvectors in Max-Drast Algebra

For $x,y\in I\left(n\right)$ , we have

$\begin{array}{l}{\left(x\oplus y\right)}_i=\max \left\{x_i,y_i\right\},\\ {\left(x{\otimes }_{D}y\right)}_i=\{\begin{array}{l}\min \left\{x_i,y_i\right\},\text{if}\max \left\{x_i,y_i\right\}=1,\\ 0,\text{if}\max \left\{x_i,y_i\right\}<1\end{array}\end{array}$

for every $i\in N$ .

Theorem 7.1. (Gavalec et al. [5] ). Let $A\in I\left(n,n\right)$ and $x\in I^{<}\left(n\right)$ . Then $x\in F_{{\otimes }_D}^{<}\left(A\right)$ if and only if for every $i\in N$ the following conditions hold

1) $a_{ij}<1$ for every $j\in N,j>i$ ,

2) if $x_n=1$ , then $a_{in}\le x_i$ ,

3) for some $j\in \left\{i,\cdots ,n\right\}$ , $a_{ij}{\otimes }_D{x}_j=x_i$ .

Moreover, the following theorem describes necessary and sufficient conditions which a square matrix possesses a strictly increasing eigenvector.

Theorem 7.2. (Gavalec et al. [5] ). Let $A\in I\left(n,n\right)$ . Then $F_{{\otimes }_D}^{<}\left(A\right)\ne \Phi$ if and only if the following conditions are satisfied

1) $a_{ij}<1$ for all $j\in N,j>i$ ,

2) $0<a_{in}$ for all $i\in N\backslash \left\{1\right\}$ with $a_{ii}<1$ ,

3) $a_{kn}<a_{in}$ for all $i,k\in N,k<i$ with $a_{ii}<1$ ,

4) $a_{nn}=1$ .

When $x\in F_{{\otimes }_D}^{<}\left(A\right),x_n>0$ and

$x_n=a_{nn}{\otimes }_D{x}_n=\{\begin{array}{l}{a}_{nn},\text{if}{x}_n=1,\\ x_n,\text{if}{x}_n\ne 1,a_{nn}=1,\\ 0,\text{otherwise},\end{array}$

i.e., $a_{nn}=1$ . 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 $A\in I\left(n,n\right)$ , $F_{{\otimes }_D}^{<}\left(A\right)\ne \Phi$ , and $x\in I^{<}\left(n\right)$ . Then $x\in F_{{\otimes }_D}^{<}\left(A\right)$ if and only if the following conditions are satisfied

1) $x_i=a_{in}$ for all $i\in N$ with $a_{ii}<1$ ,

2) if $x_n=1$ , then $x_i\ge a_{in}$ for all $i\in N\backslash \left\{n\right\}$ with $a_{ii}=1$ ,

3) if $a_{11}<1,0<a_{1n}$ , then $x_n<1$ ,

4) if $a_{ii}<1$ for some $i\in N\backslash \left\{1\right\}$ , then $x_n=1$ .

8. The Relations among These Eigenspaces

Now we discuss the relation between the monotone eigenvectors in max-T algebra and max-drast algebra.

Theorem 8.1. Let $A=\left(a_{ij}\right)\in I\left(n,n\right),x\in I^{<}\left(n\right)$ . If $x\in F_{\otimes }^{<}\left(A\right)$ and $a_{ii}=1$ $\left(i=1,\cdots ,n\right)$ , then

$x\in F_{{\otimes }_D}^{<}\left(A\right).$

Proof. Assume that $x\in F_{\otimes }^{<}\left(A\right)$ . For each $i\in N$ , when $j>i$ , it follows from Theorem 2.4 that $a_{ij}<1$ . If $x_n=1$ , then

$a_{i1}\otimes x_1\oplus \cdots \oplus a_{in}\otimes x_n=x_i\left(i=1,\cdots ,n\right).$

Thus, $a_{in}\le x_i\left(i=1,\cdots ,n\right)$ .

When $a_{in}\le x_i\left(i=1,\cdots ,n\right)$ ,

$a_{ii}{\otimes }_D{x}_i=\min \left\{1,x_i\right\}=x_i,$

i.e., there exist some $j\in \left\{i,\cdots ,n\right\}$ such that

$a_{ij}{\otimes }_D{x}_j=x_i.$

Therefore, $x\in F_{{\otimes }_D}^{<}\left(A\right)$ by Proposition 3.3 in [5] .

The theorem is proved.

Finally, we illustrate the relations among eigenspaces in these algebras by two examples.

Example 8.1. Let

$A=\left[\begin{array}{ccc}\frac{1}{3}& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{3}& \frac{1}{2}& \frac{2}{3}\\ \frac{1}{4}& \frac{1}{3}& 1\end{array}\right],x=\left[\begin{array}{c}\frac{1}{4}\\ \frac{1}{3}\\ \frac{1}{2}\end{array}\right].$

Then

$A{\otimes }_{P}x=\left[\begin{array}{ccc}\frac{1}{3}& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{3}& \frac{1}{2}& \frac{2}{3}\\ \frac{1}{4}& \frac{1}{3}& 1\end{array}\right]{\otimes }_P\left[\begin{array}{c}\frac{1}{4}\\ \frac{1}{3}\\ \frac{1}{2}\end{array}\right]=\left[\begin{array}{c}\frac{1}{4}\\ \frac{1}{3}\\ \frac{1}{2}\end{array}\right],$

$A{\otimes }_{D}x=\left[\begin{array}{ccc}\frac{1}{3}& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{3}& \frac{1}{2}& \frac{2}{3}\\ \frac{1}{4}& \frac{1}{3}& 1\end{array}\right]{\otimes }_D\left[\begin{array}{c}\frac{1}{4}\\ \frac{1}{3}\\ \frac{1}{2}\end{array}\right]=\left[\begin{array}{c}0\\ 0\\ \frac{1}{2}\end{array}\right].$

Thus, $x\in F_{{\otimes }_P}^{<}\left(A\right)$ , but $x\notin F_{{\otimes }_D}^{<}\left(A\right)$ . This illustrates that the condition $a_{ii}=1$ $\left(i=1,\cdots ,n\right)$ is necessary in Theorem 6.2. Moreover, by a simple computation, we see that

$F_{{\otimes }_G}^{<}\left(A\right)=\left(\left\{\frac{1}{2}\right\}\times \left\{\frac{1}{3}\right\}\times \left[\frac{2}{3},1\right]\right)\cap I^{<}\left(3\right),$

i.e., $\left(\frac{1}{4},\frac{1}{3},\frac{1}{2}\right)\notin F_{{\otimes }_G}^{<}\left(A\right)$ .

This example shows that

$F_{{\otimes }_1}^{<}\left(A\right)\not\subset F_{{\otimes }_2}^{<}(A)$

even if ${\otimes }_1\le {\otimes }_2$ .

Example 8.2. Let

$A=\left[\begin{array}{cccc}\frac{1}{4}& \frac{1}{3}& \frac{1}{2}& \frac{1}{4}\\ \frac{1}{4}& \frac{1}{3}& \frac{2}{3}& \frac{1}{3}\\ \frac{1}{4}& \frac{1}{3}& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{2}& \frac{1}{3}& \frac{1}{4}& 1\end{array}\right]$

Then the conditions (1)-(4) hold in Theorem 3.4 in [5] . Thus, $F_{{\otimes }_D}^{<}\left(A\right)\ne \Phi$ . But,

$\begin{array}{l}{m}_1^{*}\left(A\right)=\frac{1}{2},m_2^{*}\left(A\right)=m_3^{*}\left(A\right)=m_4^{*}\left(A\right)=\frac{2}{3},\\ M_1^{*}\left(A\right)=M_2^{*}\left(A\right)=M_3^{*}\left(A\right)=M_4^{*}\left(A\right)=\frac{1}{2},\end{array}$

i.e., $\left[m^{*}\left(A\right),M^{*}\left(A\right)\right]=\Phi$ and $F_{{\otimes }_G}^{<}\left(A\right)=\Phi$ .

9. 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.

Acknowledgements

This work is funded by College Students Practice Innovation Training Program (201610324027Y).

Cite this paper

Wang, Q., Qin, N., Yang, Z.X., Sun, L.F., Peng, L.J. and Wang, Z.D. (2018) On Monotone Eigenvectors of a Max-T Fuzzy Matrix. Journal of Applied Mathematics and Physics, 6, 1076-1085. https://doi.org/10.4236/jamp.2018.65093

References