Next Article in Journal
Existence of Solutions for Nonlinear Fractional Differential Equations and Inclusions Depending on Lower-Order Fractional Derivatives
Next Article in Special Issue
Functors among Relational Variants of Categories Related to L-Fuzzy Partitions, L-Fuzzy Pretopological Spaces and L-Fuzzy Closure Spaces
Previous Article in Journal
Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Integral Representation of Coherent Lower Previsions by Super-Additive Integrals

1
Department of Engineering and Geology, University G. d’Annunzio, 66100 Chieti-Pescara, Italy
2
Faculty of Civil Engineering, Slovak University of Technology, Radlinského 11, 810 05 Bratislava, Slovakia
*
Author to whom correspondence should be addressed.
Axioms 2020, 9(2), 43; https://doi.org/10.3390/axioms9020043
Submission received: 7 April 2020 / Revised: 16 April 2020 / Accepted: 18 April 2020 / Published: 23 April 2020
(This article belongs to the Special Issue Fuzzy Set Theory and Applications)

Abstract

:
Coherent lower previsions generalize the expected values and they are defined on the class of all real random variables on a finite non-empty set. Well known construction of coherent lower previsions by means of lower probabilities, or by means of super-modular capacities-based Choquet integrals, do not cover this important class of functionals on real random variables. In this paper, a new approach to the construction of coherent lower previsions acting on a finite space is proposed, exemplified and studied. It is based on special decomposition integrals recently introduced by Even and Lehrer, in our case the considered decomposition systems being single collections and thus called collection integrals. In special case when these integrals, defined for non-negative random variables only, are shift-invariant, we extend them to the class of all real random variables, thus obtaining so called super-additive integrals. Our proposed construction can be seen then as a normalized super-additive integral. We discuss and exemplify several particular cases, for example, when collections determine a coherent lower prevision for any monotone set function. For some particular collections, only particular set functions can be considered for our construction. Conjugated coherent upper previsions are also considered.

1. Introduction

One of the major tools supporting the standard probability theory is the notion of expectation of a random variable. In generalizations of the probability theory, for example, in the theory of imprecise probabilities, one needs to have a reasonable counterpart of the expected value. This challenging task is realized by means of coherent lower (upper) previsions. Recall that coherent lower previsions are functionals defined on the linear space of all random variables satisfying the axioms of coherence [1] and they are related to coherent lower probabilities. However, they need be not determined by coherent lower probabilities since in some cases, when restricted to events, different coherent lower previsions may yield the same lower probability ([1], Section 2.7.3). Another tool to construct coherent lower previsions is the Choquet integral. Again, they need not be defined always by Choquet integral with respect to a coherent lower probability, because the Choquet integral satisfies the super-additivity, which is one of the defining property of a coherent lower previsions [1], if and only if it is defined with respect to a super-modular lower probability. So, there is a need to introduce some new approaches to the construction of coherent lower (upper) previsions. This need has motivated our study of some new types of super-additive integrals in our preliminary work [2]. In this paper, a deeper study of the problem how to construct coherent lower (upper) previsions by means of super-additive integrals with respect to monotone measures (capacities) is presented, illustrated by numerous examples. Several new types of monotone set functions, such as plausibility and belief measures, possibility and necessity measures, coherent upper and lower probability measures, monotone measures, and so forth., have been introduced in the past decades to enrich the framework of classical σ -additive measures to represent several types of uncertainty. These measures were axiomatically characterized and relations among them were deeply studied in numerous works, such as Ref. [1], for example.
Classical Lebesgue integral is heavily based on the additivity (and continuity in the case of infinite spaces) of the considered measures. Therefore, new types of set functions generalizing the classical measures require some modified approach to integration, which, typically, leads to the non-linearity of the introduced integrals. Maybe the most famous among these integrals is Choquet integral [3,4], which extends Lebesgue integral (i.e., if the considered measure is a classical one, then both these integrals coincide). As another non-linear integral recall Shilkret integral [5], which is well defined for any of the above mentioned monotone set functions, but it coincides with the Lebesgue integral only in the case when Dirac measures are considered. Both Choquet and Shilkret integrals are based on the standard real operations of addition and multiplication (what is not the case of Sugeno integral [6], for example). Recently, an interesting class of non-linear integrals, called decomposition integrals and considering the standard arithmetic operations + and ·, was introduced by Even and Lehrer [7], see also Ref. [8]. This class of integrals contains both Choquet and Shilkret integrals, but also the PAN integral [9,10] and the concave integral [11].
The main aim of this paper is a new look on constructions of generalized expectations of random variables, namely of coherent lower previsions and coherent upper previsions [12,13]. Recall that one of basic characterizations of the coherent lower previsions is the super-additivity of this functional. Observe that an important class of coherent lower previsions is identified with the (asymmetric) Choquet integral [3] with respect to a supermodular capacity (ensuring the super-additivity of the related Choquet integral), [4,13]. Inspired by this fact, also some other super-additive integral-based functionals could be considered. Recently, we have introduced collection integrals [2], that is, decomposition integrals [7] with respect to singleton decomposition systems, that is, decomposition systems consisting from a single collection. Some first results relating coherent lower (upper) previsions and collection integrals were already introduced in Ref. [2]. In this paper, a significant extension of the results from Ref. [2] is given, yielding, among others, several interesting by-product results.
Given a non-empty set Ω , a super-additive integral, with respect to a collection C and a monotone set function μ , is introduced in Ref. [2] to give an integral representation of a coherent lower prevision defined on the linear space of all random variables on Ω . Note that due to the finiteness of Ω , any considered random variable is bounded. Different integral representation of coherent upper conditional previsions in terms of Choquet integral, pan integral and concave integral has been analysed in Ref. [14] where it has been proven that the pan integral and the concave integral with respect to a sub-additive capacity coincide and they represent a coherent upper probability if and only if the underlying capacity is additive.
In this paper the construction method of coherent lower prevision based on the super-additive integral is complemented with motivations and examples. Given a finite non-empty set Ω , a collection C and a monotone set function μ , in Ref. [15] a collection integral is defined for non-negative functions as a particular case of decomposition integrals; super-additive integrals are extension of shift-invariant collection integrals to the class of all functions. If collections C are classes of disjoint subsets of Ω , the super-additive integral can be defined for any monotone set function μ since the underlying collection integral is shift-invariant and so it can be used to construct a coherent lower prevision. Moreover for any collection C there exists a monotone set function μ , which asses the value 1 to the biggest set from C and the value 0 to all other sets from 2 Ω , so that the corresponding collection integral is shift-invariant and it can be used to define a super-additive integral and a coherent lower prevision.
Collections C and monotone set functions μ are given such that the corresponding collection integrals are not shift-invariant. In Example 8 it is shown that the collection integral with respect to a collection C consisting of two non-disjoint sets that do not form a chain, is not shift-invariant for any (non-trivial) capacity; so its extension cannot be used to define coherent lower previsions. Examples of coherent lower previsions constructed by super-additive integrals are given in the following cases: (a) the collection C is a chain and the capacity μ is such that the capacity of the biggest set of the chain is positive; (b) the collection C consists of disjoint sets and μ is any monotone set function, (c) the collection C is the power set of Ω and μ is a super-modular monotone set function; in this case the super-additive integral is the asymmetric Choquet integral with real values. If the monotone set function μ is not super-modular the corresponding collection integral may be not shift-invariant; an example of capacity is given such that the corresponding collection integral is shift-invariant and the super-additive integral defines a coherent lower prevision and an example of monotone set function, which does not define a coherent lower prevision, is given. Related coherent upper previsions are also defined.
The paper is organized as follows. In the next section, some preliminaries important for the rest of the paper are given. Section 3 extends the collection integrals which are shift-invariant (and acting on non-negative random variables only) to a functional acting on the space of all (bounded) random variables, preserving the original super-additivity of collection integrals. The main core of this paper is contained in Section 4, where, based on our results from Section 3, a novel construction method for coherent lower (upper) previsions is proposed and exemplified. In Section 5, a further generalization of the proposed construction method for coherent lower (upper) previsions are introduced and exemplified. Finally, some concluding remarks are added.

2. Preliminaries

Throughout this paper, we will consider a finite universe Ω equipped with σ -algebra 2 Ω . We denote by L the set of all random variables on ( Ω , 2 Ω ) , that is, the set of all functions X : Ω R . Similarly, L + denotes the set of all non-negative random variables from L , and L 0 the set of all random variables from L + attaining the value 0 (i.e., min X = 0 ). Obviously, L 0 L + L and L is a linear space over the field R .
A monotone set function or capacity is any set function μ : 2 Ω [ 0 , [ such that μ ( ) = 0 and A B implies μ ( A ) μ ( B ) .
A coherent lower prevision P ̲ : L R is a functional such that
  • P ̲ ( X ) inf X ;
  • P ̲ ( λ X ) = λ P ̲ ( X ) ; and
  • P ̲ ( X + Y ) P ̲ ( X ) + P ̲ ( Y ) ;
for all X , Y L and λ 0 [1,13]. A coherent upper prevision P ¯ : L R [1] is defined by the conjugacy property P ¯ ( X ) = P ̲ ( X ) . From axioms 1-3 we obtain inf X P ̲ ( X ) P ¯ ( X ) sup X and in particular P ̲ ( I Ω ) = P ¯ ( I Ω ) = 1 .
A coherent lower prevision, defined on L and such that P ̲ ( X ) = P ¯ ( X ) is called a linear prevision, see, for example, Ref. [16,17,18,19,20], and it is a linear, positive and positively homogenous functional on L , see Ref. ([1], Corollary 2.8.5).
For E 2 Ω the indicator function 1 E is defined by
1 E ( ω ) = 1 , if ω E , 0 , otherwise ,
for all ω Ω . A coherent lower probability is the restriction of a linear prevision P ̲ to the class of all indicator functions 1 E with E 2 Ω .
A functional P ̲ is coherent if and only if there is a class M ( P ̲ ) of linear previsions defined on the class of all random variables defined on Ω such that P ̲ is dominated by every P M ( P ¯ ) , that is, P ̲ = inf P : P M , see, for example, Ref. ([1], Section 3.3.3); in this case P ̲ is called the lower envelope of linear previsions.
Knowing the lower and upper probabilities for events does not determine lower and upper previsions for other random variables. Levi ([21], pp. 407, 416–417) in his example for Case 5 involves two different (closed, convex) sets of probabilities that have the same lower and upper expectations for indicator functions, but where these two sets induce different judgments of E-admissibility for a given decision problem.
The following example shows that coherent lower probabilities may not determine coherent lower previsions since different lower previsions yield the same lower probability when they are restricted to events (for a different example, see, for example, Walley ([1], Section 2.7.3).
Example 1.
Let Ω = a , b , c , d and let P i = P i ( a ) , P i ( b ) , P i ( c ) , P i ( d ) for 1 i 4 be the probabilities defined on the atoms of Ω by
P 1 = 3 4 , 1 4 , 0 , 0 ; P 2 = 1 4 , 0 , 0 , 3 4 ; P 3 = 3 4 , 0 , 1 4 , 0 ; and P 4 = 1 4 , 1 4 , 1 4 , 1 4 .
Each P i has a unique extension to a linear prevision defined on L by
P i ( X ) = ω Ω P i ( ω ) X ( ω ) .
Several different coherent lower previsions can be constructed as lower envelopes of these linear previsions such that the lower previsions yield the same lower probabilities when they are restricted to the indicator functions. Let
P ̲ 1 = min P 1 , P 2 ; P ̲ 2 = min P 1 , P 2 , P 3 ; P ̲ 3 = min P 1 , P 2 , P 4 ; P ̲ 4 = min P 1 , P 2 , P 3 , P 4 .
Let P ̲ i = P ̲ i ( a ) , P ̲ i ( b ) , P ̲ i ( c ) , P ̲ i ( d ) so we obtain that P ̲ 1 , P ̲ 2 , P ̲ 3 , P ̲ 4 are coherent lower previsions which coincide on the indicator functions since they coincide on the atoms of Ω, that is,
P ̲ 1 = P ̲ 2 = P ̲ 3 = P ̲ 4 = 1 4 , 0 , 0 , 0 .
Nevertheless, they are different coherent lower previsions because, if we consider the random variable given by X = 1 a 1 b , we obtain that
P ̲ 1 ( X ) = P ̲ 2 ( X ) = 1 4 ; and P ̲ 3 ( X ) = P ̲ 4 ( X ) = 0 .
Moreover coherent lower previsions can be defined by Choquet integral with respect to a coherent lower probability if and only if the underlying coherent lower prevision is super-modular, that is, if and only if
P ̲ ( A B ) + P ̲ ( A B ) P ̲ ( A ) + P ̲ ( B ) .
In this case, Choquet integral is super-additive by the super-additivity theorem, see, for example, Ref. [3].
As Ω is finite and μ is defined on 2 Ω , denote by A 1 , , A n the atoms of Ω , which are the minimal elements of Ω . If the atoms A i are enumerated so that x i = X ( A i ) are in descending order, that is, x 1 x 2 x n and x n + 1 = 0 , Choquet integral with respect to μ is given by
Ch X d μ = i = 1 n ( x i x i + 1 ) μ ( S i ) ,
where S i = A 1 A 2 A i , and x n + 1 = 0 .
Example 2.
Let Ω = a , b , c , d and let P i = P i ( a ) , P i ( b ) , P i ( c ) , P i ( d ) for i { 1 , 2 } be probabilities of atoms of Ω given by
P 1 = 1 4 , 1 4 , 1 4 , 1 4 ; a n d P 2 = 1 2 , 0 , 1 2 , 0 ;
and let μ ̲ be a coherent lower probability defined by μ ̲ ( A ) = min P 1 ( A ) , P 2 ( A ) . Let A = a , b and B = a , c ; and note that μ ̲ is not super-modular since
μ ̲ ( A B ) + μ ̲ ( A B ) = 3 4 + 0 < 1 2 + 1 2 = μ ̲ ( A ) + μ ̲ ( B )
and thus
Ch 1 A + 1 B d μ ̲ = ( 2 1 ) μ ̲ ( a ) + ( 1 0 ) μ ̲ ( a , b , c ) = 3 4 < 1 2 + 1 2 = Ch 1 A d μ ̲ + Ch 1 B d μ ̲ ,
that is, Choquet integral with respect to μ ̲ is not super-additive.
In the next sections we introduce a new integral, called a super-additive integral, to construct coherent lower previsions and to give their integral representation.

3. Super-Additive Integral Defined by Shift-Invariant Collection Integral

In this section a construction method for coherent lower previsions is proposed; to do that we start by proving a super-additivity property of the collection integral and we need to restrict to a special class of collection integrals that allow one to extend their domain to all functions while preserving super-additivity.
A collection integral was introduced in Ref. [15] as a special case of decomposition integrals, see, for example, Ref. [7,8]. A collection C is a non-empty subset of 2 Ω { } .
Definition 1.
A collection integral with respect to a collection C and a monotone set function μ is a functional
I C μ : L + [ 0 , [ : X A C α A μ ( A ) : A C α A 1 A X , α A 0 .
wheredenotes the supremum.
Proposition 1.
I C μ is a super-additive functional, that is, I C μ ( X + Y ) I C μ ( X ) + I C μ ( Y ) for all X , Y L + .
Proof. 
For A C let α A ,   β A 0 be non-negative real numbers such that
A C α A 1 A X and A C β A 1 A Y .
Then
A C ( α A + β A ) 1 A X + Y ,
that is, by summing the previous two we obtain a sub-decomposition of X + Y . This implies the super-additivity of I D μ , that is,
I C μ ( X ) + I C μ ( Y ) I C μ ( X + Y )
as needed. □
The collection integral is defined only on non-negative functions and the aim of this section to introduce an integral defined on the linear space L and preserving super-additivity. We propose a new definition of integral that is based only on shift-invariant collection integrals.
Definition 2.
Let C be a collection and μ be a capacity. Then I C μ is shift-invariant if and only if
I C μ ( X + c 1 Ω ) = I C μ ( X ) + c I C μ ( 1 Ω )
for all X L + and c 0 .
Remark 1.
For any collection C there is a monotone set function μ so that I C μ is shift-invariant. Indeed, it is enough to consider any maximal set A C and a monotone set function μ such that μ ( A ) = 1 and μ ( B ) = 0 for all B C { A } . Note that then I C μ ( X ) = min X ( A ) .
Proposition 2.
If C is a disjoint system, that is, C = { A i } i = 1 k and A i A j = if i j , then the collection integral I C μ is shift-invariant for any capacity μ.
Proof. 
Let C consist of disjoint sets, and let μ be any monotone set function. Then one obtains that
I C μ ( X ) = i = 1 k μ ( A i ) min X ( A i ) ,
from which it follows that I C μ is shift-invariant for any X L +
Definition 3.
Let C be a collection and μ be a monotone set function such that I C μ is a shift-invariant collection integral. A functional
I ̲ C μ : L R such that X I C μ X ( inf X ) 1 Ω + ( inf X ) I C μ ( 1 Ω )
is called a super-additive integral with respect to a collection C and a monotone set function μ.
Remark 2.
Note that the definition of I C μ involves non-negative functions X ( inf X ) 1 Ω and 1 Ω , a and thus I ̲ D μ is well-defined.
In the following theorem some basic properties of the super-additive integral are proven.
Theorem 1.
Let I ̲ C μ be a super-additive integral. Then
  • I ̲ C μ ( X ) = I C μ ( X ) for all X L + , that is, I ̲ C μ extends I C μ ;
  • I ̲ C μ ( c X ) = c I ̲ C μ ( X ) for all X L and c 0 , that is, I ̲ C μ is positively homogeneous;
  • I ̲ C μ ( X + c 1 Ω ) = I ̲ C μ ( X ) + c I ̲ C μ ( 1 Ω ) for all X L and c R , that is, I ̲ C μ is shift-invariant;
  • I ̲ C μ ( X ) ( inf X ) I ̲ C μ ( 1 Ω ) for all X L , that is, I ̲ C μ is bounded below by a (normed) infimum; and
  • I ̲ C μ ( X + Y ) I ̲ C μ ( X ) + I ̲ C μ ( Y ) for all X , Y L , that is, I ̲ C μ is super-additive.
Proof. 
Let I ̲ C μ be the super-additive integral. Then I C μ is shift-invariant. Based on these facts and the fact that X L + one easily obtains
I ̲ C μ ( X ) = I C μ ( X ( inf X ) 1 Ω ) + ( inf X ) I C μ ( 1 Ω ) = I C μ ( X ) ,
because inf X 0 . This implies the first property of the theorem.
Now, if X L and c 0 , and thanks to the positive homogeneity of I C μ , we obtain that
I ̲ C μ ( c X ) = I C μ ( c X ( inf c X ) 1 Ω ) + ( inf c X ) I C μ ( 1 Ω ) = c I C μ ( X ( inf X ) 1 Ω ) + ( inf X ) I C μ ( 1 Ω ) = c I ̲ C μ ( X ) ,
proving the second property of the theorem. To see that the third statement of the theorem is true, it is enough to notice that
I ̲ C μ ( X + c 1 Ω ) = I C μ ( X + c 1 Ω ( inf ( X + c 1 Ω ) ) 1 Ω ) + ( inf ( X + c 1 Ω ) ) I C μ ( 1 Ω ) = I C μ ( X ( inf X ) 1 Ω ) + ( inf X ) I C μ ( 1 Ω ) + c I C μ ( 1 Ω ) = I ̲ C μ ( X ) + c I ̲ C μ ( 1 Ω )
as needed. The fourth property follows directly from the definition, because I C μ is non-negative, that is,
I ̲ C μ ( X ) = I C μ ( X ( inf X ) 1 Ω ) + ( inf X ) I C μ ( 1 Ω ) ( inf X ) I C μ ( 1 Ω ) = ( inf X ) I ̲ C μ ( 1 Ω ) ,
and, lastly, to see that I ̲ C μ is super-additive, let X , Y L be two functions and let r = inf ( X + Y ) inf X inf Y and note that r 0 . Then
I ̲ C μ ( X ) + I ̲ C μ ( Y ) = I C μ ( x ( inf X ) 1 Ω ) + ( inf X ) I C μ ( 1 Ω ) + I C μ ( Y ( inf Y ) 1 Ω ) + ( inf Y ) I C μ ( 1 Ω ) I C μ ( X + Y ( inf X + inf Y ) 1 Ω ) + ( inf X + inf Y ) I C μ ( 1 Ω ) = I C μ ( X + Y ( inf X + inf Y + r ) 1 Ω + r 1 Ω ) + ( inf X + inf Y ) I C μ ( 1 Ω ) = I C μ ( X + Y ( inf ( X + y ) ) 1 Ω ) + ( inf X + inf Y + r ) I C μ ( 1 Ω ) = I C μ ( X + Y ( inf ( X + Y ) ) 1 Ω ) + ( inf ( X + Y ) ) I C μ ( 1 Ω ) = I ̲ C μ ( X + Y ) ,
that is, I ̲ C μ is a super-additive operator; which proves the theorem. □
On the other hand, there are collections C admitting capacity μ such that I C μ is not shift-invariant.
Example 3.
Let Ω = { ω 1 , ω 2 , ω 3 } and let C = { A 2 Ω : 0 | A | 2 } . Then
  • if μ ( A ) = 1 for all A , it holds
    I C μ ( X ) = X ( ω 1 ) + X ( ω 2 ) + X ( ω 3 )
    and hence I C μ is shift-invariant;
  • if
    μ ( A ) = 1 , if | A | 2 , 0 , if | A | 1 ,
    and X L is such that X ( ω 1 ) = 2 , X ( ω 2 ) = 1 , and X ( ω 3 ) = 0 , then I C μ ( 1 Ω ) = 3 / 2 , I C μ ( X ) = 1 , and
    I C μ ( X + 1 Ω ) = 3 > 5 2 = I C μ ( X ) + I C μ ( 1 Ω ) ,
    violating the shift-invariance of I C μ .

4. Construction of Coherent Lower and Upper Previsions and Examples

In this section we construct coherent lower previsions by means super-additive integrals when I ̲ C μ ( 1 Ω ) > 0 .
Theorem 2.
Let C be a collection and μ be a monotone set function such that I ̲ C μ is a super-additive integral and let I ̲ C μ ( 1 Ω ) > 0 . Then, an operator clp C μ : L R given by
clp C μ ( X ) = I ̲ C μ ( X ) I ̲ C μ ( 1 Ω )
is a coherent lower prevision based on the super-additive integral I ̲ C μ . A coherent upper prevision cup C μ corresponding to the coherent lower prevision clp C μ is given by
cup C μ ( X ) = clp C μ ( X ) .
Proof. 
The properties of coherent lower prevision for clp C μ follow directly from Theorem 1. □
By Theorem 2 we have
Theorem 3.
Let Ω be a finite set, let C be a collection of subsets of Ω and let μ be a monotone set function such that I ̲ C μ is a super-additive integral and I ̲ C μ ( 1 Ω ) > 0 . Let L * be the class of all indicator functions 1 E with E 2 Ω .
The operator cup C μ : L * R given by
clp C μ ( I E ) = I ̲ C μ ( I E ) I ̲ C μ ( 1 Ω ) = I C μ ( I E ) I C μ ( 1 Ω )
is a coherent lower probability.
Example 4.
Let C consist of disjoint sets, and let μ be any monotone set function. Then the shift-invariant collection integral I C μ is
I C μ ( X ) = i = 1 k μ ( A i ) min X ( A i )
and
I C μ ( 1 Ω ) = i = 1 k μ ( A i ) .
Consider μ ( A i ) > 0 for some i { 1 , 2 , , k } . Then, for this choice of C we get the coherent lower prevision
clp C μ ( X ) = i = 1 k μ ( A i ) min X ( A i ) i = 1 k μ ( A i ) ,
that is, the clp C μ is a weighted average of minimal values obtained on A i ; and the corresponding coherent upper prevision is given by
cup C μ ( X ) = i = 1 k μ ( A i ) max X ( A i ) i = 1 k μ ( A i ) ,
that is, this coherent upper prevision is a weighted average of maximal values obtained on A i .
Remark 3.
If in Example 4 the collection C is such that all random variables X are constant on the sets A i C and μ ( A i ) > 0 for some i { 1 , 2 , , k } then the coherent lower prevision defined in Theorem 2 is linear. In particular if C is the partition of singletons of Ω we have min X ( A i ) = max X ( A i ) = X ( A i ) ; consider μ ( A i ) > 0 for some i { 1 , 2 , , k } , then
clp C μ ( X ) = cup C μ ( X ) = i = 1 k μ ( A i ) X ( A i ) i = 1 k μ ( A i )
and the corresponding linear probability is
clp C μ ( 1 E ) = cup C μ ( 1 E ) = A E μ ( A i ) i = 1 k μ ( A i ) .
Example 5.
Let C = Ω then the coherent lower and upper previsions defined in Theorem 2 are the lower and the upper vacuous previsions since
clp C μ ( X ) = min X ( Ω )
and the corresponding coherent upper prevision is given by
cup C μ ( X ) = max X ( Ω )
Example 6.
Let C be a chain, that is, C = { A i } i = 1 k such that Ω A 1 A 2 A k , and let μ be a capacity such that μ ( A 1 ) > 0 . In Ref. [15] it can be found that
I C μ ( X ) = μ ( A 1 ) min X ( A 1 ) + i = 2 k μ ( A i ) min X ( A i ) min X ( A i 1 )
for any X L + . Then I C μ ( 1 Ω ) = μ ( A 1 ) . It can also easily be seen that this integral is indeed shift-invariant. From this one easily obtains the coherent lower prevision
clp C μ ( X ) = min X ( A 1 ) + i = 2 k min X ( A i ) min X ( A i 1 ) μ ( A i ) μ ( A 1 )
and the dual coherent upper prevision
cup C μ ( X ) = max X ( A 1 ) i = 2 k max X ( A i 1 ) max X ( A i ) μ ( A i ) μ ( A 1 ) .
Moreover, if C is a chain, then for every normalized capacity μ M there exists a monotone set function τ M such that
I C μ ( X ) = Ch X d τ ,
and τ ( A ) = I C μ ( 1 A ) . Due to properties of Choquet integral, I C μ is shift-invariant and thus the related normed super-additive integral is a coherent lower prevision and it coincides with the asymmetric Choquet integral with respect to τ. On the other hand, based on Denneberg’s result [3] concerning the super-additivity of Choquet integrals, necessarily τ is super-modular, yielding an interesting result: for any monotone measure μ and any chain collection C , the measure τ given by τ ( A ) = I C μ ( 1 A ) is super-modular. Take, for example, the greatest normed monotone set function μ * for which μ * ( A ) = 1 for any non-empty subset A of Ω. Obviously, μ * is sub-modular (and not super-modular). For any chain C = { A 1 , A 2 , , A k } with maximal element A 1 , the corresponding measure τ given by τ ( A ) = I C μ * ( 1 A ) = 1 if A 1 is a subset of A, and 0 otherwise. Clearly, τ is super-modular, and it is called a unanimity game in the game theory [22].
Example 7.
Let C = { A , B } be a collection such that A , B Ω are two sets such that A B and { A , B } is not a chain. Let μ a monotone set function such that μ ( A ) μ ( B ) > 0 . Then, for any c > 0 consider the random variable X L + given by X = 2 · 1 A + 1 B . Since μ ( A ) μ ( B ) we obtain that
I C μ ( X + c 1 Ω ) = ( c + 2 ) μ ( A ) + ( c + 1 ) μ ( B ) 2 μ ( A ) + μ ( B ) + c μ ( A ) = I C μ ( X ) + c I C μ ( 1 Ω ) ,
and thus the collection integral I C μ is not shift-invariant for any monotone set function μ such that μ ( A ) , μ ( B ) > 0 . It can not be used for the construction method of coherent lower previsions based on a super-additive integral.
Example 8.
Consider the collection C = 2 Ω { } . The corresponding collection integral I C μ is the concave integral introduced by Lehrer in Ref. [11] . If μ is a super-modular measure, then I C μ = Ch μ is Choquet integral [4] , and hence I C μ is shift-invariant, and I C μ ( 1 Ω ) = μ ( Ω ) . Our introduced super-additive integral I ̲ C μ is then just the asymmetric Choquet integral acting on R , see Reference [3] . If μ is a normed monotone set function, μ ( Ω ) = 1 , then I ̲ D μ is a coherent lower prevision.
If μ is not super-modular, the collection integral I C μ need not be shift-invariant and thus cannot be considered to define the super-additive integral.
Example 9.
Let Ω = { 1 , 2 , 3 } and C = 2 Ω and,
μ ( A ) = 1 , if | A | 2 , 0 , if | A | 1 .
Then I C μ ( 1 Ω ) = 3 / 2 , and for X L such that X ( 1 ) = 1 , X ( 2 ) = 2 , X ( 3 ) = 0 , we have
I C μ ( X + 1 Ω ) = 3 5 / 2 = I C μ ( X ) + I C μ ( 1 Ω ) .
The following example shows that there exist a collection C and a capacity μ , which is not super-modular, such that a coherent lower prevision can defined by the super-additive integral with respect to C and μ .
Example 10.
Let Ω = { 1 , 2 , , n } , C = 2 Ω and μ ( A ) = 1 whenever A , then
I C μ ( X ) = i = 1 n X ( i )
and the related clp C μ ( X ) = 1 n i = 1 n X ( i ) is a coherent lower prevision, though μ is not super-modular.

5. Generalization of the Approach to Construct Coherent Lower and Upper Previsions

Let Γ be an arbitrary non-empty index set. Having a system of coherent lower previsions P ̲ γ : γ Γ , the lower envelope theorem ([1], Section 2.6.3) allows a further generalization of the approach to construct coherent lower (upper) previsions.
Definition 4.
Let Γ be an arbitrary non-empty index set. Given a class of functionals P ̲ γ ( X ) : γ Γ defined on L , P ̲ is the lower envelope of P ̲ γ ( X ) : γ Γ if
P ̲ ( X ) = inf P ̲ γ ( X ) : γ Γ
for all X L
P ̲ is the lower envelope of P ̲ γ : γ Γ if and only if the conjugate P ¯ is the upper envelope of P ¯ γ : γ Γ , that is P ¯ ( X ) = sup P ¯ γ ( X ) : γ Γ .
Theorem 4.
Let Γ be an arbitrary non-empty index set. If P ̲ γ is a coherent lower prevision with domain F for every γ Γ , and P ̲ is the lower envelope of P ̲ γ : γ Γ then P ̲ is a coherent lower prevision.
Example 11.
Let Γ = { 1 , 2 } and consider two collections C γ , γ Γ , given by C 1 = { { 1 } , { 1 , 2 } } and C 2 = { { 2 } , { 1 , 2 } } . Note that for these two collections, the corresponding collection integrals
I C 1 μ ( X ) = min { X 1 , X 2 } + a max { 0 , X 1 X 2 } and I C 2 μ ( X ) = min { X 1 , X 2 } + b max { 0 , X 1 X 2 } ,
where X L is such that X ( 1 ) = X 1 and X ( 2 ) = X 2 , and μ M is a capacity such that μ ( { 1 } ) = a , μ ( { 2 } ) = b , and μ ( { 1 , 2 } ) = 1 . Note that if we consider two super-modular capacities μ 1 , μ 2 M given by
μ 1 ( { 1 } ) = a , μ 1 ( { 2 } ) = 0 , μ 1 ( { 1 , 2 } ) = 1 , and μ 2 ( { 1 } ) = 0 , μ 2 ( { 2 } ) = b , μ 2 ( { 1 , 2 } ) = 1 ,
then we obtain that
I C 1 μ ( X ) = Ch X d μ 1 and I C 2 μ ( X ) = Ch X d μ 2 .
Now, from these super-additive integrals we can obtain coherent lower previsions clp 1 μ and clp 2 μ that coincide with I D 1 μ and I D 2 μ , respectively. Then we can construct the lower envelope and obtain a coherent lower prevision
clp μ ( X ) = min { clp 1 μ ( X ) , clp 2 μ ( X ) } = min { X 1 , X 2 } .
Similarly, from these coherent lower previsions, we can obtain coherent upper previsions by the property of conjugacy. Let us denote them by cup 1 μ and cup 2 μ , respectively. Then the coherent upper prevision constructed as the upper envelope is equal to
cup μ ( X ) = max { cup 1 μ ( X ) , cup 2 μ ( X ) } = max { X 1 , X 2 } .
Now, if we construct the upper envelope of these coherent lower previsions we obtain that
P μ ( X ) = max { clp 1 μ ( X ) , clp 2 μ ( X ) } = Ch X d μ
and this is a coherent lower prevision if and only if the underlying monotone set function μ is super-modular, that is, if and only if a + b 1 holds.
Moreover the convexity theorem ([1], Section 2.6.4) and the convergence theorem ([1], Section 2.6.5) assure the following results:
Theorem 5.
Let P ̲ 1 and P ̲ 2 be two coherent lower previsions then their convex combination P ̲ given by
P ̲ ( X ) = λ P ̲ 1 ( X ) + ( 1 λ ) P ̲ 2 ( X ) with 0 < λ < 1
is a coherent lower prevision.
Theorem 6.
Let P ̲ i : i 1 be a sequence of coherent lower previsions, each defined on L , which converges point-wise to P ̲ that is the sequence of real numbers P ̲ i ( X ) converges to P ̲ ( X ) for every X L then P ̲ ( X ) is a coherent lower prevision.

6. Conclusions and Discussion

In this paper we have introduced, discussed and exemplified a new construction method for coherent lower previsions acting on finite universe Ω , and, by duality, for coherent upper previsions. Our approach was based on a so called collection integral with respect to a monotone measure, a super-additive functional acting on non-negative random variables. In the case when this integral was shift-invariant, we have extended it to a super-additive functional acting on all real random variables on Ω , and called a super-additive integral. Its normalized form was shown to be a coherent lower prevision. We have discussed and exemplified several particular cases, showing the potential of our construction method for obtaining new types of coherent lower (upper) previsions. As a by product of our studies, several new interesting results were obtained. So, for example, we have shown that for any monotone set function μ , which represents the belief of the subject about a random phenomenon, there is a collection C , consisting of disjoint subsets of Ω , such that a coherent lower prevision can be defined by the corresponding super-additive integral. Also, we have shown that for any collection C there is a unanimity measure μ (i.e., it asses value 1 to some set in C and each its superset, and value 0 to any other sets) such that a coherent lower prevision can be defined by the super-additive integral. In monotone measure theory, another our result could be of interest, namely, considering any chain collection C and any monotone measure μ . Then the related coherent lower prevision applied to characteristic functions yields a super-modular measure. We expect applications of our results in all domains where the imprecise probabilities are applied, in particular in decision problems. As a possible further research expanding our results, we think on the study of simple decomposition systems (consisting, e.g., of two collections) and related decomposition integrals, where our approach considered for single collections could be successfully applied and result into another type of coherent lower (upper) previsions. Another branch of research can deal with super-decomposition integrals introduced in Ref. [23] and their use for constructing of coherent upper previsions. Note also that all our work was done on a finite universe Ω . Then, for sure, a challenging task would be the general case, dealing with monotone measure space ( Ω , Σ , μ ) , in which case the coherent lower (upper) previsions are functionals on bounded real random variables.
Results proposed in this paper show that any monotone set function which represents uncertainty can be used to define a coherent lower prevision by the super-additive integral and this non-linear integral is a mathematical tool to aggregate in a coherent way information represented by different uncertainty measures in the finite case.

Author Contributions

Writing—review and editing, S.D., R.M. and A.Š. All authors have read and agreed to the published version of the manuscript.

Funding

The second and the third author were supported by the Slovak Research and Development Agency under the contracts no. APVV-17-0066 and no. APVV-18-0052. Also the support of the grant VEGA 1/0006/19 is kindly announced.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Walley, P. Statistical Reasoning with Imprecise Probabilities; Chapman and Hall: London, UK, 1991. [Google Scholar]
  2. Doria, S.; Mesiar, R.; Šeliga, A. Construction method of coherent lower and upper previsions based on collection integrals. Boll. Dell’Unione Mat. Ital. 2020. [Google Scholar] [CrossRef]
  3. Denneberg, D. Non-Additive Measure and Integral; Kluwer Academic: Norwell, MA, USA, 1994. [Google Scholar]
  4. Choquet, G. Theory of capacities. Ann. L’Institut Fourier 1954, 5, 131–295. [Google Scholar] [CrossRef] [Green Version]
  5. Shilkret, N. Maxitive measure and integration. Indag. Math. 1971, 33, 109–116. [Google Scholar] [CrossRef]
  6. Sugeno, M. Theory of Fuzzy Integrals and Its Applications. Ph.D. Thesis, Tokyo Institute of Technology, Tokyo, Japan, 1974. [Google Scholar]
  7. Even, Y.; Lehrer, E. Decomposition-integral: Unifying Choquet and the concave integrals. Econ. Theory 2014, 56, 33–58. [Google Scholar] [CrossRef] [Green Version]
  8. Mesiar, R.; Stupňanová, A. Decomposition integrals. Int. J. Approx. Reason. 2013, 54, 1252–1259. [Google Scholar] [CrossRef]
  9. Wang, Z.; Klir, G.J. Generalized Measure Theory; Springer: Berlin/Heidelberg, Germany, 2009. [Google Scholar]
  10. Yang, Q. The PAN-integral on the fuzzy measure space. Fuzzy Math. 1985, 3, 107–114. [Google Scholar]
  11. Lehrer, E. A new integral for capacities. Econ. Theory 2009, 39, 157–176. [Google Scholar] [CrossRef]
  12. Seidenfeld, T.; Schervish, M.J.; Kadane, J.B. Forecasting with imprecise probabilities. Int. J. Approx. Reason. 2012, 53, 1248–1261. [Google Scholar] [CrossRef] [Green Version]
  13. Troffaes, M.; De Cooman, G. Lower Previsions; Wiley: New York, NY, USA, 2014. [Google Scholar]
  14. Doria, S.; Dutta, B.; Mesiar, R. Integral representation of coherent upper conditional prevision with respect to its associated Hausdorff outer measure: A comparison among the Choquet integral, the pan-integral and the concave integral. Int. J. Gen. Syst. 2018, 216, 569–592. [Google Scholar] [CrossRef]
  15. Šeliga, A. Decomposition integral without alternatives, its equivalence to Lebesgue integral, and computational algorithms. J. Autom. Mob. Robot. Intell. Syst. 2019, 13, 41–48. [Google Scholar] [CrossRef]
  16. Regazzini, E. De Finetti’s coherence and statistical inference. Ann. Stat. 1987, 15, 845–864. [Google Scholar] [CrossRef]
  17. De Finetti, B. Theory of Probability; Wiley: London, UK, 1974. [Google Scholar]
  18. De Finetti, B. Probability, Induction and Statistics; Wiley: New York, NY, USA, 1972. [Google Scholar]
  19. Dubins, L.E. Finitely additive conditional probabilities, conglomerability and disintegrations. Ann. Probab. 1975, 3, 89–99. [Google Scholar] [CrossRef]
  20. Regazzini, E. Finitely additive conditional probabilities. Rendiconti del Seminario Matematico e Fisico di Milano 1985, 55, 69–89. [Google Scholar] [CrossRef]
  21. Levi, I. On indeterminate probabilities. J. Philos. 1974, 71, 391–418. [Google Scholar] [CrossRef]
  22. Grabisch, M.; Kroupa, T. The cone of supermodular games on finite distributive lattices. Discret. Appl. Math. 2019, 260, 144–154. [Google Scholar] [CrossRef] [Green Version]
  23. Mesiar, R.; Jun, L.; Pap, E. Superdecomposition integrals. Fuzzy Sets Syst. 2015, 259, 3–11. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Doria, S.; Mesiar, R.; Šeliga, A. Integral Representation of Coherent Lower Previsions by Super-Additive Integrals. Axioms 2020, 9, 43. https://doi.org/10.3390/axioms9020043

AMA Style

Doria S, Mesiar R, Šeliga A. Integral Representation of Coherent Lower Previsions by Super-Additive Integrals. Axioms. 2020; 9(2):43. https://doi.org/10.3390/axioms9020043

Chicago/Turabian Style

Doria, Serena, Radko Mesiar, and Adam Šeliga. 2020. "Integral Representation of Coherent Lower Previsions by Super-Additive Integrals" Axioms 9, no. 2: 43. https://doi.org/10.3390/axioms9020043

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop