- Research
- Open Access
- Published:

# Polyrectangular theorem and independence of uncertain vectors

*Journal of Uncertainty Analysis and Applications*
**volume 1**, Article number: 9 (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.

## 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

Subadditivity axiom: For every countable sequence of events *Λ*
_{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

Product axiom: Let (*Γ*
_{
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.

An *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

Peng and Iwamura
[8] 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

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 *α*.

The *expected value* of an uncertain variable *ξ* is defined by Liu
[2] as the following form

provided that at least one of the two integrals is finite. If *ξ* has an uncertainty distribution *Φ*, then the expected value may be calculated by

Let *ξ* be an uncertain variable with finite expected value *e*. Then, the variance of *ξ* is defined by Liu
[2] as

If *ξ* has an uncertainty distribution *Φ*, then

Independence is an extremely important concept in uncertainty theory. The uncertain variables *ξ*
_{1},*ξ*
_{2},⋯,*ξ*
_{
n
} are said to be independent
[4] if

for any Borel sets *B*
_{1},*B*
_{2},⋯,*B*
_{
n
} of real numbers. Equivalently, those uncertain variables are independent if and only if

Let *ξ*
_{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

In addition, Liu and Ha
[11] proved that the uncertain variable *ξ* has an expected value

Furthermore, Yao
[12] proved that *ξ* has a variance

## Independence of events

Consider an uncertainty space (*Γ*,ℒ,ℳ). 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.

Note that (13) represents 2^{n} equations. For example, when *n*=2, the four equations are

### Theorem 1

Let (*Γ*
_{
i
},ℒ_{
i
},ℳ_{
i
})be uncertainty spaces and *Λ*
_{
i
}∈ℒ_{
i
} for *i*=1,2,⋯,*n*. Then, the events

are always independent in the product uncertainty space. That is, the events

are always independent if they are from different uncertainty spaces.

### Proof

For simplicity, we only prove the case of *n*=2. It follows from the product axiom that the product uncertain measure of the intersection is

Using ℳ{*Λ*
_{1}×*Γ*
_{2}}=ℳ_{1}{*Λ*
_{1}} and ℳ{*Γ*
_{1}×*Λ*
_{2}}=ℳ_{2}{*Λ*
_{2}}, we obtain

Similarly, we may prove that

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

Let (*Γ*
_{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

Let (*Γ*
_{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

where *Λ*
_{1i
}∈ℒ_{1}, and *Λ*
_{2i
}∈ℒ_{2} for *i*=1,2,⋯,*m*, and

### Theorem 2

Polyrectangular Theorem: Let (*Γ*
_{1},ℒ_{1},ℳ_{1}) and (*Γ*
_{2},ℒ_{2},ℳ_{2}) be two uncertainty spaces. Then, the polyrectangle

on the product uncertainty space (*Γ*
_{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
}. □

Case I: If

then, the maximum rectangle in *Λ*^{c} is
{\Lambda}_{1k}^{c}\times {\Lambda}_{2,k+1}^{c}, and

Thus,

Case II: If

then the maximum rectangle in *Λ*^{c} is
{\Lambda}_{1,k-1}^{c}\times {\Lambda}_{2k}^{c}, and

Thus,

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

A *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

Let *ξ*
_{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

Since *ξ*
_{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

The *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

The *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

It follows from the duality of uncertain measure that *ξ*_{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

For any Borel sets *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

An uncertain variable *ξ* 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

Let *τ*
_{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.

It is easy to verify that a standard normal uncertain vector (*τ*
_{1},*τ*
_{2},⋯,*τ*
_{
m
}) has a joint uncertainty distribution

for any real numbers *x*
_{1},*x*
_{2},⋯,*x*
_{
m
}. It is also easy to show that

Furthermore, the limit

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

### Definition 4

Let (*τ*
_{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.

That is, an uncertain vector ** ξ** has a multivariate normal distribution if it can be represented in the form

for some real vector ** e** and some real matrix

**, where**

*σ***is a standard normal uncertain vector. Note that**

*τ***,**

*ξ***and**

*e***are understood as column vectors. Please also note that for every index**

*τ**i*, the component

*ξ*

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

*e*

_{ i }and standard variance

### Theorem 6

Assume ** ξ** is a normal uncertain vector,

*c*is a real vector, and

*D*is a real matrix. Then,

is another normal uncertain vector.

### Proof

Since ** ξ** is a normal uncertain vector, there exist a standard normal uncertain vector

**, a real vector**

*τ***, and a real matrix**

*e***, such that**

*σ***=**

*ξ***+**

*e*

*σ***. It follows that**

*τ*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.

## References

Kolmogorov AN:

*Grundbegriffe der Wahrscheinlichkeitsrechnung*. Berlin: Springer; 1933.Liu B:

*Uncertainty Theory, 2nd ed.*. Berlin: Springer; 2007.Liu B:

**Why is there a need for uncertainty theory?***J. Uncertain Syst*2012,**6**(1):3–10.Liu B:

**Some research problems in uncertainty theory.***J. Uncertain Syst*2009,**3**(1):3–10.Gao X:

**Some properties of continuous uncertain measure.***Int. J. Uncertain. Fuzz*2009,**17**(3):419–426. 10.1142/S0218488509005954Zhang ZM:

**Some discussions on uncertain measure.***Fuzzy Optimization Decis. Making*2011,**10**(1):31–43. 10.1007/s10700-010-9091-0Peng ZX, Iwamura K:

**Some properties of product uncertain measure.***J. Uncertain Syst*2012,**6**(4):263–269.Peng ZX, Iwamura K:

**A sufficient and necessary condition of uncertainty distribution.***J. Interdiscip. Math*2010,**13**(3):277–285. 10.1080/09720502.2010.10700701Liu B:

**Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty.***Springer, Berlin*2010.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.Yao K:

**A formula to calculate the variance of uncertain variable.**2013. http://orsc.edu.cn/online/130831.pdf

## Acknowledgements

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

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Liu, B. Polyrectangular theorem and independence of uncertain vectors.
*J. Uncertain. Anal. Appl.* **1**, 9 (2013). https://doi.org/10.1186/2195-5468-1-9

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/2195-5468-1-9

### Keywords

- Uncertainty theory
- Uncertain measure
- Uncertain vector
- Polyrectangular theorem