Uncertain Zero-One Law and Convergence of Uncertain Sequence

This paper is concerned with situations in which the uncertain measure of an event can only be zero or one, and the uncertain zero-one laws are derived within the framework of uncertainty theory that can be seen as the counterpart of Kolmogorov zero-one law and Borel-Cantelli lemma, which can be used as a tool for solving some problems concerning almost sure convergence of uncertain sequence.


Introduction
Zero-one laws are such magic results in probability theory that provide criteria for the situations in which the probability of an event can only be zero or one.A natural problem that comes to us is in what situations the uncertain measure of an event can only be zero or one, which will be investigated within the framework of uncertainty theory in this paper.
Uncertainty theory is a different type of theory from probability theory for dealing with indeterminacy.It is mainly used to deal with belief degrees, and probability theory is mainly used to deal with frequencies.Perhaps some people think that the belief degrees should be modeled by subjective probability or fuzzy set theory.However, Liu [1] demonstrated that it is usually inappropriate because both of them may lead to counterintuitive results in this case.For rationally dealing with belief degrees, uncertainty theory was founded by Liu [2].The mathematical foundation of uncertainty theory is normality, duality, subadditivity, and product axioms of uncertain measure, which is different from probability theory.Since uncertainty theory was founded by Liu [2], many scholars devoted themselves to study of uncertainty theory, and fruitful theoretic results have been received.Liu [1] established uncertain calculus and proved the fundamental theorem.The existence and uniqueness theorem of solution of uncertain differential equation was first proved by Chen and Liu [3], and some stability theorems were proved by Yao et al. [4].More importantly, Yao-Chen formula obtained by Yao and Chen [5] establishes a relationship between uncertain differential equations and ordinary differential equations.More materials can be found in Liu [6].Nowadays, uncertainty theory has become a branch of axiomatic mathematics.
In real world, the degrees of belief from experts' advice about some events are frequently used by people as the basis of decisions making.Uncertainty theory is a useful tool for solving such problems since it is an efficient mathematical system to deal with belief degrees associated with human uncertainty.Nowadays, it has been successfully applied in uncertain finance; for example, European option, American option, and Asian option pricing were studied by Liu [1], Chen [7], Sun and Chen [8], and Zhang and Liu [9] within the framework of uncertainty theory, respectively.Chen and Gao [10] employed uncertain differential equation to model interest rate; following their model Zhang et al. [11] investigated the pricing problem of interest rate option.Besides, Liu et al. [12] derived the currency option pricing formula by using uncertain differential equation to model currency rate.And it also has been applied in many other fields, such as uncertain programming (Liu and Yao [13]), uncertain risk analysis (Liu and Ralescu [14]), uncertain optimal control (Zhu [15]), and uncertain differential game (Yang and Gao [16]).
Uncertain zero-one law is different from zero-one law in probability theory, because uncertain measure indicates the degree of belief that an event will occur, and uncertainty theory and probability theory have different operational laws.Uncertain zero-one law can be used for solving some problems concerning almost sure convergence as well as the role of Kolmogorov zero-one law and Borel-Cantelli lemma in probability theory, since it is a useful tool to deal with the problems of uncertain sequence convergence almost surely.In this paper, we will discuss in what situations the uncertain measure of an event can only be zero or one and provide the criteria for such situations within the framework of uncertainty theory.Some results of almost sure convergence of uncertain sequence are also presented in this paper.
The rest of this paper is organized as follows.In the next section, some preliminaries as needed are introduced.In Section 3, the uncertain zero-one laws are presented and some conditions for the almost sure convergence of uncertain sequence are given.Finally, we make a brief conclusion in Section 4.

Preliminary
For a better understanding of this paper, we introduce some concepts of uncertainty theory as needed in this section.
Definition 1 (see [2]).Let Γ be a nonempty set, and let L be a -algebra over Γ.An uncertain measure is a function M : L → [0, 1] such that the following hold.
Axiom 3 (Subadditivity Axiom).For every countable sequence of events {Λ  } we have A set Λ ∈ L is called an event.The uncertain measure M{Λ} indicates the degree of belief that Λ will occur.The triplet (Γ, L, M) is called an uncertainty space.In order to obtain an uncertain measure of compound event, a product uncertain measure was defined by Liu [1].
Definition 4 (see [2]).An uncertain variable is a measurable function from an uncertainty space (Γ, L, M) to the set of real numbers; that is, { ∈ } is an event for any Borel set .
Definition 5 (see [2]).The uncertainty distribution Φ of an uncertain variable  is defined by for any real number .
Definition 7 (see [2]).The uncertain sequence {  } is said to be convergent a.s. to  if there exists an event Λ with M{Λ} = 1 such that lim for every  ∈ Λ.In that case we write   →  almost surely (a.s.).
Definition 8 (see [2]).Let  be an uncertain variable.Then the expected value of  is defined by provided that at least one of the two integrals is finite.
Definition 11.Let G be a collection of subsets of a set Γ.The smallest -algebra containing G is called -algebra generated by G, denoted by (G).Definition 12. Let {  ,  ∈ } be a sequence of uncertain variables, where  is a nonempty index set.The smallest -algebra with respect to which the uncertain variable   is measurable, ∀ ∈ , is called -algebra generated by {  ,  ∈ }, denoted by (  ,  ∈ ).Definition 13.Let  = {  ,  ≥ 1} be an uncertain variable sequence and denote Then B * is called tail -algebra or tail event field on .

Corollary 15.
Let {  ,  ≥ 1} be an independent uncertain variable sequence and let B * be a tail -algebra.Then B * measurable uncertain variable  is degenerated; that is,  is a constant with uncertain measure 1.
every ; that is, no matter how large we choose  there is always some  ≥  such that  ∈ Λ  or, equivalently,  ∈ Λ  for infinitely many values of  or, equivalently, for arbitrarily large values of .A convenient way to express this is  ∈ {Λ  ..} = {Λ   } .{Λ  ..} = 1.