Some Preliminary Results about Uncertain Matrix

Abstract

This paper presents a new concept of uncertain matrix that is a measurable function from an uncertainty space to the set of real matrices. It is proved that an uncertain matrix is a matrix all of whose elements are uncertain variables. The independence of uncertain matrices is also investigated.

Introduction

In order to rationally model belief degrees, uncertainty theory was founded by Liu [1] in 2007 and perfected by Liu [2] in 2009 with the fundamental concept of uncertain measure. Following that, uncertainty theory has been developed steadily and applied in science and engineering.

Roughly speaking, an uncertain element (Liu [1]) is a measurable function from an uncertainty space to a collection of some objects. The uncertain element is an uncertain variable when the collection consists of real numbers, an uncertain vector when the collection consists of real vectors, an uncertain sequence when the collection consists of infinite-dimensional real vector, an uncertain process (Liu [3]) when the collection consists of functions of time or space, and an uncertain set (Liu [4]) when the collection consists of sets of real numbers.

As a new subtopic of uncertain element, this paper will present a concept of uncertain matrix that is a measurable function from an uncertainty space to the set of real matrices. We will prove that an uncertain matrix is a matrix all of whose elements are uncertain variables. The independence of uncertain matrices will also be investigated.

Preliminaries

Let Î“ be a nonempty set and $$\mathcal {L}$$ a Ïƒ-algebra over Î“. Each element Î› in $$\mathcal {L}$$ is called an event. Liu [1] defined an uncertain measure by the following axioms:

Axiom 1. (Normality axiom) for the universal set Î“;

Axiom 2. (Duality axiom) for any event Î›;

Axiom 3. (Subadditivity axiom) For every countable sequence of events Î› 1,Î› 2,â‹¯, we have

The triplet is called an uncertainty space. Furthermore, Liu [2] defined a product uncertain measure by the fourth axiom:

Axiom 4. (Product axiom) Let be uncertainty spaces for k=1,2,â‹¯ The product uncertain measure is an uncertain measure satisfying

where Î› k are arbitrarily chosen events from for k=1,2,â‹¯, respectively.

An uncertain variable is defined by Liu [1] as a function Î¾ from an uncertainty space to the set of real numbers such that {Î¾âˆˆB} is an event for any Borel set B. In order to describe an uncertain variable in practice, uncertainty distribution is defined by Liu [1] as

Peng and Iwamura [5] verified that a function Î¦:â„œâ†’[0,1] is an uncertainty distribution if and only if it is a monotone increasing function except Î¦(x)â‰¡0 and Î¦(x)â‰¡1. An uncertainty distribution Î¦(x) is said to be regular if it is a continuous and strictly increasing function with respect to x at which 0<Î¦(x)<1, and

$${\lim}_{x\to-\infty}\Phi(x)=0,\quad{\lim}_{x\to+\infty}\Phi(x)=1.$$
(4)

Let Î¾ be an uncertain variable with regular uncertainty distribution Î¦(x). Then, the inverse function Î¦ âˆ’1(Î±) is called the inverse uncertainty distribution of Î¾ (Liu [6]). It is also verified that a function Î¦ âˆ’1(Î±):(0,1)â†’â„œ is an inverse uncertainty distribution if and only if it is a continuous and strictly increasing function with respect to Î±. Independence is an extremely important concept in uncertainty theory. The uncertain variables Î¾ 1,Î¾ 2,â‹¯,Î¾ n are said to be independent (Liu [2]) if

for any Borel sets B 1,B 2,â‹¯,B n of real numbers. Equivalently, those uncertain variables are independent if and only if

A k-dimensional uncertain vector (Liu [1]) is a function Î¾ from an uncertainty space to the set of k-dimensional real vectors such that {Î¾âˆˆB} is an event for any Borel set B of k-dimensional real vectors. It is showed that the vector (Î¾ 1,Î¾ 2,â‹¯,Î¾ k ) is an uncertain vector if and only if Î¾ 1,Î¾ 2,â‹¯,Î¾ k are uncertain variables. The k-dimensional uncertain vectors Î¾ 1,Î¾ 2,â‹¯, Î¾ n are said to be independent (Liu [7]) if for any Borel sets B 1,B 2,â‹¯, B n of k-dimensional real vectors, we have

It is proved that the k-dimensional uncertain vectors Î¾ 1,Î¾ 2,â‹¯, Î¾ n are independent if and only if

for any Borel sets B 1,B 2,â‹¯,B n of k-dimensional real vectors.

Uncertain Matrix

This section introduces a new concept of uncertain matrix and proves that an uncertain matrix is a matrix all of whose elements are uncertain variables.

Definition 1

A pÃ—q uncertain matrix is a function Î¾ from an uncertainty space to the set of pÃ—q real matrices such that {Î¾âˆˆB} is an event for any Borel set B of pÃ—q real matrices.

Theorem 1

The pÃ—q matrix Î¾ is an uncertain matrix if and only if

$$\xi=\left(\begin{array}{cccc} \xi_{11}&\xi_{12}&\cdots&\xi_{1q}\\ \xi_{21}&\xi_{22}&\cdots&\xi_{2q}\\ \vdots&\vdots&\ddots&\vdots\\ \xi_{p1}&\xi_{p2}&\cdots&\xi_{pq} \end{array}\right)$$
(9)

where Î¾ ij ,i=1,2,â‹¯,p,j=1,2,â‹¯,q are uncertain variables.

Proof

Suppose that Î¾ is defined on the uncertainty space . For any Borel set B of real numbers, the set

$$B^{*}=\left(\begin{array}{cccc} B&\Re&\cdots&\Re\\ \Re&\Re&\cdots&\Re\\ \vdots&\vdots&\ddots&\vdots\\ \Re&\Re&\cdots&\Re \end{array}\right)$$

is a Borel set of pÃ—q real matrices. Thus, the set {Î¾ 11âˆˆB}={Î¾âˆˆB âˆ—} is an event. Hence, Î¾ 11 is an uncertain variable. A similar process may prove that other Î¾ ij s are uncertain variables. â–¡

Conversely, suppose that all Î¾ ij s are uncertain variables on the uncertainty space . We define

The matrix Î¾=(Î¾ ij ) pÃ—q is proved to be an uncertain matrix if we can prove that contains all Borel sets of pÃ—q real matrices. First, the class contains all open intervals of â„œpÃ—q because

$$\left\{\xi\in \!\left(\!\begin{array}{cccc} (a_{11},b_{11})\!&\!(a_{12},b_{12})\!&\!\cdots\!&\!(a_{1q},b_{1q})\\ (a_{21},b_{21})\!&\!(a_{22},b_{22})\!&\!\cdots\!&\!(a_{2q},b_{2q})\\ \vdots\!&\!\vdots\!&\!\ddots\!&\!\vdots\\ (a_{p1},b_{p1})\!&\!(a_{p2},b_{p2})\!&\!\cdots\!&\!(a_{pq},b_{pq}) \end{array}\!\right) \!\right\} =\bigcap_{i=1}^{p}\bigcap_{j=1}^{q}\left\{\xi_{ij}\in (a_{ij},b_{ij})\right\}$$

is an event. Next, the class is a Ïƒ-algebra over â„œpÃ—q because (i) we have since {Î¾âˆˆâ„œpÃ—q}=Î“; (ii) if , then {Î¾âˆˆB} is an event, and

$$\{\xi\in B^{c}\} =\{\xi\in B\}^{c}$$

is an event. This means that ; (iii) if for i=1,2,â‹¯, then {Î¾âˆˆB i } are events and

$$\left\{\xi\in\bigcup_{i=1}^{\infty}B_{i}\right\} =\bigcup_{i=1}^{\infty}\{\xi\in B_{i}\}$$

is an event. This means that . Since the smallest Ïƒ-algebra containing all open intervals of â„œpÃ—q is just the Borel algebra over â„œpÃ—q, the class contains all Borel sets of pÃ—q real matrices. The theorem is proved.

Definition 2

The pÃ—q uncertain matrices Î¾ 1,Î¾ 2,â‹¯, Î¾ n are said to be independent if for any Borel sets B 1,B 2,â‹¯, B n of pÃ—q real matrices, we have

Example 1

Let (Î¾ ij )3Ã—3 and (Î· ij )3Ã—3 be independent uncertain matrices. Then, (Î¾ 11,Î¾ 12) and (Î· 31,Î· 32,Î· 33) are independent uncertain vectors.

Example 2

Let (Î¾ ij )3Ã—3 and (Î· ij )3Ã—3 be independent uncertain matrices. Then,

$$\left(\begin{array}{ccc} \xi_{11}&\xi_{12}&\xi_{13}\\ \xi_{21}&\xi_{22}&\xi_{23} \end{array}\right)\text{and } \left(\begin{array}{cc} \eta_{11}&\eta_{12}\\ \eta_{21}&\eta_{22}\\ \eta_{31}&\eta_{32} \end{array}\right)$$

are independent uncertain matrices.

Theorem 2

The pÃ—q uncertain matrices Î¾ 1,Î¾ 2,â‹¯, Î¾ n are independent if and only if

for any Borel sets B 1,B 2,â‹¯,B n of pÃ—q real matrices.

Proof

It follows from the duality of uncertain measure that Î¾ 1,Î¾ 2,â‹¯,Î¾ n are independent if and only if

The theorem is thus proved. â–¡

Theorem 3

Let Î¾ 1,Î¾ 2,â‹¯,Î¾ n be independent uncertain matrices, and let f 1, f 2,â‹¯,f n be matrix-valued measurable functions. Then, f 1(Î¾ 1),f 2(Î¾ 2),â‹¯,f n (Î¾ n ) are also independent uncertain matrices.

Proof

For any Borel sets B 1,B 2,â‹¯,B n of real matrices, it follows from the definition of independence that

Thus, f 1(Î¾ 1),f 2(Î¾ 2),â‹¯,f n (Î¾ n ) are independent uncertain variables. â–¡

Conclusion

This paper presented a concept of uncertain matrix that is a measurable function from an uncertainty space to the set of real matrices. It was proved that an uncertain matrix is a matrix all of whose elements are uncertain variables. The independence of uncertain matrices was also investigated.

References

1. Liu, B: Uncertainty theory. 2nd ed. Springer, Berlin (2007).

2. Liu, B: Some research problems in uncertainty theory. J. Uncertain. Syst. 3(1), 3â€“10 (2009).

3. Liu, B: Fuzzy process, hybrid process and uncertain process. J. Uncertain. Syst. 2(1), 3â€“16 (2008).

4. Liu, B: Uncertain set theory and uncertain inference rule with application to uncertain control. J. Uncertain. Syst. 4(2), 83â€“98 (2010).

5. Peng, ZX, Iwamura, K: A sufficient and necessary condition of uncertainty distribution. J. Interdiscip. Math. 13(3), 277â€“285 (2010).

6. Liu, B: Uncertainty theory: a branch of mathematics for modeling human uncertainty. Springer, Berlin (2010).

7. Liu, B: Polyrectangular theorem and independence of uncertain vectors. J. Uncertain. Anal. Appl. 1(9) (2013).

Acknowledgements

This work was supported by National Natural Science Foundation of China (Grant No.61573210).

Competing interests

The author declares that he has no competing interests.

Author information

Authors

Corresponding author

Correspondence to Baoding Liu.

Rights and permissions

Reprints and permissions

Liu, B. Some Preliminary Results about Uncertain Matrix. J. Uncertain. Anal. Appl. 4, 11 (2016). https://doi.org/10.1186/s40467-016-0053-0