# Polyrectangular theorem and independence of uncertain vectors

- Baoding Liu
^{1}Email author

**1**:9

**DOI: **10.1186/2195-5468-1-9

© Liu; licensee Springer. 2013

**Received: **13 October 2013

**Accepted: **24 October 2013

**Published: **1 November 2013

## Abstract

Uncertainty theory is a branch of mathematics for modeling human uncertainty. This paper gives a concept of polyrectangle in product uncertainty space and proves a polyrectangular theorem. This paper also proposes a concept of independence of uncertain vectors and discusses some mathematical properties of it. Finally, this paper presents a concept of normal uncertain vector with multivariate normal distribution.

### Keywords

Uncertainty theory Uncertain measure Uncertain vector Polyrectangular theorem## Background

Real decisions are usually made in the state of indeterminacy. For modeling indeterminacy, there exist two mathematical systems, one is probability theory [1], and the other is uncertainty theory [2]. Probability is interpreted as frequency, while uncertainty is interpreted as personal belief degree [3].

Uncertainty theory was founded by Liu [2] in 2007 and perfected by Liu [4] in 2009 with the fundamental concept of uncertain measure. After that, Gao [5], Zhang [6], and Peng and Iwamura [7] also discussed some mathematical properties of uncertain measure. In many applications of uncertainty theory, we have to deal with uncertain events which are not necessarily independent. In order to study the dependence of uncertain events, Liu [2] defined a conditional uncertain measure of an event after it has been learned that some other event has occurred. Since then, the tool of uncertain measure was well developed and became a rigorous footstone of uncertainty theory.

As another fundamental concept in uncertainty theory, the uncertain variable was presented by Liu [2] in 2007. In order to describe uncertain variable, Liu [2] also introduced the concept of uncertainty distribution. Later, Peng and Iwamura [8] proved a sufficient and necessary condition for uncertainty distribution. In addition, Liu [9] proposed the concept of inverse uncertainty distribution, and Liu [10] verified a sufficient and necessary condition for it. Furthermore, a measure inversion theorem was given by Liu [9] that may yield uncertain measures of some special events from the uncertainty distribution of the corresponding uncertain variable.

Following the independence of uncertain variables proposed by Liu [4], the operational law was given by Liu [9] for calculating the uncertainty distribution and inverse uncertainty distribution of strictly monotone function of independent uncertain variables.

In order to rank the uncertain variables, Liu [2] proposed the concept of expected value operator. In addition, the linearity of expected value operator was verified by Liu [9]. As an important contribution, Liu and Ha [11] derived a useful formula for calculating the expected values of monotone functions of uncertain variables. Based on the expected value operator, Liu [2] presented the concepts of variance and moments of uncertain variables. Furthermore, some variance formulas were given by Yao [12].

This paper will give a concept of polyrectangle in product uncertainty space and prove a polyrectangular theorem. This paper will also propose a concept of independence of uncertain vectors and discuss some mathematical properties of it. Finally, this paper will present a concept of normal uncertain vector with multivariate normal distribution.

## Uncertainty theory

Let *Γ* be a nonempty set, and ℒ a *σ*-algebra over *Γ*. Each element *Λ* in ℒ is called an event. Liu [2] defined an *uncertain measure* by the following axioms:

### Axiom 1

Normality axiom: ℳ{*Γ*}=1 for the universal set *Γ*;

### Axiom 2

Duality axiom: ℳ{*Λ*}+ℳ{*Λ*^{
c
}}=1 for any event *Λ*;

### Axiom 3

*Λ*

_{1},

*Λ*

_{2},⋯, we have

The triplet (*Γ*,ℒ,ℳ) is called an *uncertainty space*. Furthermore, Liu
[4] defined a product uncertain measure by the fourth axiom:

### Axiom 4

*Γ*

_{ k },ℒ

_{ k },ℳ

_{ k })be uncertainty spaces for

*k*=1,2,⋯. The product uncertain measure ℳ is an uncertain measure satisfying

where *Λ*
_{
k
} are arbitrarily chosen events from ℒ_{
k
} for *k*=1,2,⋯, respectively.

*uncertain variable*is defined by Liu [2] 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, the concept of

*uncertainty distribution*is defined by Liu [2] as

*Φ*:ℜ→[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

Let *ξ* be an uncertain variable with regular uncertainty distribution *Φ*(*x*). Then, the inverse function *Φ*^{-1}(*α*) is called the inverse uncertainty distribution of *ξ*
[9]. It is also verified by Liu
[10] 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 *α*.

*expected value*of an uncertain variable

*ξ*is defined by Liu [2] as the following form

*ξ*has an uncertainty distribution

*Φ*, then the expected value may be calculated by

*ξ*be an uncertain variable with finite expected value

*e*. Then, the variance of

*ξ*is defined by Liu [2] as

*ξ*has an uncertainty distribution

*Φ*, then

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }are said to be independent [4] if

*B*

_{1},

*B*

_{2},⋯,

*B*

_{ n }of real numbers. Equivalently, those uncertain variables are independent if and only if

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }be independent uncertain variables with uncertainty distributions

*Φ*

_{1},

*Φ*

_{2},⋯,

*Φ*

_{ n }, respectively. Assume that the function

*f*(

*x*

_{1},

*x*

_{2},⋯,

*x*

_{ n }) is strictly increasing with respect to

*x*

_{1},

*x*

_{2},⋯,

*x*

_{ m }and strictly decreasing with respect to

*x*

_{ m+1},

*x*

_{ m+2},⋯,

*x*

_{ n }. Liu [9] showed that

*ξ*=

*f*(

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ n }) has an inverse uncertainty distribution

*ξ*has an expected value

*ξ*has a variance

## Independence of events

*Γ*,ℒ,ℳ). The events

*Λ*

_{1},

*Λ*

_{2},⋯,

*Λ*

_{ n }are said to be independent [9] if

where
${\Lambda}_{i}^{\ast}$ are arbitrarily chosen from
$\{{\Lambda}_{i},{\Lambda}_{i}^{c}\}$, *i*=1,2,⋯,*n*, respectively.

^{ n }equations. For example, when

*n*=2, the four equations are

### Theorem 1

*Γ*

_{ i },ℒ

_{ i },ℳ

_{ i })be uncertainty spaces and

*Λ*

_{ i }∈ℒ

_{ i }for

*i*=1,2,⋯,

*n*. Then, the events

are always independent if they are from different uncertainty spaces.

### Proof

*n*=2. It follows from the product axiom that the product uncertain measure of the intersection is

*Λ*

_{1}×

*Γ*

_{2}}=ℳ

_{1}{

*Λ*

_{1}} and ℳ{

*Γ*

_{1}×

*Λ*

_{2}}=ℳ

_{2}{

*Λ*

_{2}}, we obtain

Thus, *Λ*
_{1}×*Γ*
_{2} and *Γ*
_{1}×*Λ*
_{2} are independent events. Furthermore, since *Λ*
_{1} and *Λ*
_{2} are understood as *Λ*
_{1}×*Γ*
_{2} and *Γ*
_{1}×*Λ*
_{2} in the product uncertainty space, respectively, the two events *Λ*
_{1} and *Λ*
_{2} are also independent. □

## Polyrectangular theorem

*Γ*

_{1},ℒ

_{1},ℳ

_{1}) and (

*Γ*

_{2},ℒ

_{2},ℳ

_{2}) be two uncertainty spaces,

*Λ*

_{1}∈ℒ

_{1}and

*Λ*

_{2}∈ℒ

_{2}. It follows from the product axiom that the rectangle

*Λ*

_{1}×

*Λ*

_{2}has an uncertain measure

This section will extend this result to a more general case.

### Definition 1

*Γ*

_{1},ℒ

_{1},ℳ

_{1}) and (

*Γ*

_{2},ℒ

_{2},ℳ

_{2}) be two uncertainty spaces. A set on

*Γ*

_{1}×

*Γ*

_{2}is called a polyrectangle if it has the form

*Λ*

_{1i }∈ℒ

_{1}, and

*Λ*

_{2i }∈ℒ

_{2}for

*i*=1,2,⋯,

*m*, and

### Theorem 2

*Γ*

_{1},ℒ

_{1},ℳ

_{1}) and (

*Γ*

_{2},ℒ

_{2},ℳ

_{2}) be two uncertainty spaces. Then, the polyrectangle

*Γ*

_{1},ℒ

_{1},ℳ

_{1})×(

*Γ*

_{2},ℒ

_{2},ℳ

_{2}) has an uncertain measure

### Proof

It is clear that the maximum rectangle in the polyrectangle *Λ* is one of *Λ*
_{1i
}×*Λ*
_{2i
}, *i*=1,2,⋯,*n*. Denote the maximum rectangle by *Λ*
_{1k
}×*Λ*
_{2k
}. □

*Λ*

^{ c }is ${\Lambda}_{1k}^{c}\times {\Lambda}_{2,k+1}^{c}$, and

*Λ*

^{ c }is ${\Lambda}_{1,k-1}^{c}\times {\Lambda}_{2k}^{c}$, and

No matter what case happens, the sum of the uncertain measures of the maximum rectangles in *Λ* and *Λ*^{
c
} is always 1. It follows from the product axiom that (21) holds.

## Independence of uncertain vectors

*k*-dimensional uncertain vector is a function ξ from an uncertainty space (

*Γ*,ℒ,ℳ) to the set of

*k*-dimensional real vectors such that {ξ∈

*B*} is an event for any

*k*-dimensional Borel set

*B*[2]. It has been proved that (

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }) is an uncertain vector if and only if

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }are uncertain variables. The joint uncertainty distribution of an uncertain vector (

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }) is defined by Liu [2] as

for any real numbers *x*
_{1},*x*
_{2},⋯,*x*
_{
k
}.

### Theorem 3

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }be independent uncertain variables with uncertainty distributions

*Φ*

_{1},

*Φ*

_{2},⋯,

*Φ*

_{ k }, respectively. Then, the uncertain vector (

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }) has a joint uncertainty distribution

for any real numbers *x*
_{1},*x*
_{2},⋯,*x*
_{
k
}.

### Proof

*ξ*

_{1},

*ξ*

_{2},⋯,

*ξ*

_{ k }are independent uncertain variables, we have

for any real numbers *x*
_{1},*x*
_{2},⋯,*x*
_{
k
}. The theorem is proved. □

### Definition 2

*k*-dimensional uncertain vectors ξ

_{1},ξ

_{2},⋯,ξ

_{ n }are said to be independent if for any

*k*-dimensional Borel sets

*B*

_{1},

*B*

_{2},⋯,

*B*

_{ n }, we have

### Theorem 4

*k*-dimensional uncertain vectors ξ

_{1},ξ

_{2},⋯, ξ

_{ n }are independent if and only if

for any *k*-dimensional Borel sets *B*
_{1},*B*
_{2},⋯,*B*
_{
n
}.

### Proof

_{1},ξ

_{2},⋯,ξ

_{ n }are independent if and only if

The theorem is thus proved. □

### Theorem 5

Let ξ
_{1},ξ
_{2},⋯,ξ
_{
n
} be independent uncertain vectors, and *f*
_{1}, *f*
_{2},⋯,*f*
_{
n
} vector-valued measurable functions. Then, *f*
_{1}(ξ
_{1}),*f*
_{2}(ξ
_{2}),⋯,*f*
_{
n
}(ξ
_{
n
}) are independent uncertain vectors.

### Proof

*B*

_{1},

*B*

_{2},⋯,

*B*

_{ n }, it follows from the definition of independence that

Thus, *f*
_{1}(ξ
_{1}),*f*
_{2}(ξ
_{2}),⋯,*f*
_{
n
}(ξ
_{
n
}) are independent uncertain variables. □

## Multivariate normal distribution

*ξ*is called normal if it has a normal uncertainty distribution

denoted by
$\mathcal{N}(e,\sigma )$, where *e* is the expected value, and *σ*>0 is the standard variance.

### Definition 3

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ m }be independent normal uncertain variables with expected value 0 and variance 1. Then, the uncertain vector

is said to have a multivariate standard normal distribution.

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ m }) has a joint uncertainty distribution

*x*

_{1},

*x*

_{2},⋯,

*x*

_{ m }. It is also easy to show that

is a standard normal distribution with respect to *x*
_{
i
}.

### Definition 4

*τ*

_{1},

*τ*

_{2},⋯,

*τ*

_{ m })be a standard normal uncertain vector, and let

*e*

_{ i },

*σ*

_{ ij },

*i*=1,2,⋯,

*k*,

*j*=1,2,⋯,

*m*be real numbers. Define

for *i*=1,2,⋯,*k*. Then, the uncertain vector (*ξ*
_{1},*ξ*
_{2},⋯,*ξ*
_{
k
}) is said to have a multivariate normal distribution.

*i*, the component

*ξ*

_{ i }is a normal uncertain variable with expected value

*e*

_{ i }and standard variance

### Theorem 6

*c*is a real vector, and

*D*is a real matrix. Then,

is another normal uncertain vector.

### Proof

Hence, η is a normal uncertain vector. □

## Conclusions

This paper gave a concept of polyrectangle in product uncertainty space and proved a polyrectangular theorem. This paper also proposed a concept of independence of uncertain vectors and discussed some mathematical properties of it. Finally, this paper presented a concept of normal uncertain vector.

## Declarations

### Acknowledgements

This work was supported by the National Natural Science Foundation of China (grants no.91224008 and no.61273044).

## Authors’ Affiliations

## References

- Kolmogorov AN:
*Grundbegriffe der Wahrscheinlichkeitsrechnung*. Berlin: Springer; 1933.View ArticleGoogle Scholar - Liu B:
*Uncertainty Theory, 2nd ed.*. Berlin: Springer; 2007.Google Scholar - Liu B:
**Why is there a need for uncertainty theory?***J. Uncertain Syst*2012,**6**(1):3–10.Google Scholar - Liu B:
**Some research problems in uncertainty theory.***J. Uncertain Syst*2009,**3**(1):3–10.Google Scholar - Gao X:
**Some properties of continuous uncertain measure.***Int. J. Uncertain. Fuzz*2009,**17**(3):419–426. 10.1142/S0218488509005954View ArticleGoogle Scholar - Zhang ZM:
**Some discussions on uncertain measure.***Fuzzy Optimization Decis. Making*2011,**10**(1):31–43. 10.1007/s10700-010-9091-0View ArticleGoogle Scholar - Peng ZX, Iwamura K:
**Some properties of product uncertain measure.***J. Uncertain Syst*2012,**6**(4):263–269.MathSciNetGoogle Scholar - Peng ZX, Iwamura K:
**A sufficient and necessary condition of uncertainty distribution.***J. Interdiscip. Math*2010,**13**(3):277–285. 10.1080/09720502.2010.10700701MathSciNetView ArticleGoogle Scholar - Liu B:
**Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty.***Springer, Berlin*2010.Google Scholar - Liu B:
**Toward uncertain finance theory.***J. Uncertainty Anal. Appl*2013.,**1**(1): - Liu YH, Ha MH:
**Expected value of function of uncertain variables.***J. Uncertain Syst*2010,**4**(3):181–186.Google Scholar - Yao K:
**A formula to calculate the variance of uncertain variable.**2013. http://orsc.edu.cn/online/130831.pdf Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.