In mathematics, the integral of a correspondence is a generalization of the integration of single-valued functions to correspondences (i.e., set-valued functions). The first notion of the integral of a correspondence is due to Aumann in 1965, with a different approach by Debreu appearing in 1967. Integrals of correspondences have applications in general equilibrium theory in mathematical economics, random sets in probability theory, partial identification in econometrics, and fuzzy numbers in fuzzy set theory.
Preliminaries
Correspondences A correspondence φ : X ⇉ Y {\displaystyle \varphi :X\rightrightarrows Y} is a function φ : X → P ( Y ) {\displaystyle \varphi :X\rightarrow {\mathcal {P}}(Y)} , where P ( Y ) {\displaystyle {\mathcal {P}}(Y)} is the power set of Y {\displaystyle Y} . That is, φ {\displaystyle \varphi } assigns each point x ∈ X {\displaystyle x\in X} with a set φ ( x ) ⊂ Y {\displaystyle \varphi (x)\subset Y} .
Selections A selection f {\displaystyle f} of a correspondence φ : X ⇉ Y {\displaystyle \varphi :X\rightrightarrows Y} is a function f : X → Y {\displaystyle f:X\rightarrow Y} such that f ( x ) ∈ φ ( x ) {\displaystyle f(x)\in \varphi (x)} for every x ∈ X {\displaystyle x\in X} . If X {\displaystyle X} can be seen as a measure space ( X , X , μ ) {\displaystyle (X,{\mathcal {X}},\mu )} and Y {\displaystyle Y} as a Banach space ( Y , | | ⋅ | | ) {\displaystyle (Y,||\cdot ||)} , then one can define a measurable selection f {\displaystyle f} as an X {\displaystyle {\mathcal {X}}} -measurable function f {\displaystyle f} such that f ( x ) ∈ φ ( x ) {\displaystyle f(x)\in \varphi (x)} for μ-almost all x ∈ X {\displaystyle x\in X} .
Definitions
The Aumann integral Let ( X , X , μ ) {\displaystyle (X,{\mathcal {X}},\mu )} be a measure space and ( Y , | | ⋅ | | ) {\displaystyle (Y,||\cdot ||)} a Banach space. If φ : X ⇉ Y {\displaystyle \varphi :X\rightrightarrows Y} is a correspondence, then the Aumann integral of φ {\displaystyle \varphi } is defined as
∫ X φ d μ := { ∫ X f d μ : f is a measurable selection of φ } {\displaystyle \int _{X}\varphi d\mu :=\left\{\int _{X}fd\mu :f{\text{ is a measurable selection of }}\varphi \right\}}
where the integrals ∫ X f d μ {\displaystyle \int _{X}fd\mu } are Bochner integrals. Example: let the underlying measure space be ( [ 0 , 1 ] , L , λ ) {\displaystyle ([0,1],{\mathcal {L}},\lambda )} , and a correspondence φ : [ 0 , 1 ] ⇉ R {\displaystyle \varphi :[0,1]\rightrightarrows \mathbb {R} } be defined as φ ( x ) = { 2 , 3 } {\displaystyle \varphi (x)=\{2,3\}} for all x ∈ [ 0 , 1 ] {\displaystyle x\in [0,1]} . Then the Aumman integral of φ {\displaystyle \varphi } is ∫ X φ d λ = [ 2 , 3 ] {\displaystyle \int _{X}\varphi d\lambda =[2,3]} .
… excerpt ends here. Continue reading the full article.
