guide:379e0dcd67: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 284: | Line 284: | ||
Throughout this chapter, several results are mentioned where the class of sets over which \eqref{eq:domin-t} is verified is reduced from the class of compact subsets of the carrier space, to a (significantly) smaller collection. | Throughout this chapter, several results are mentioned where the class of sets over which \eqref{eq:domin-t} is verified is reduced from the class of compact subsets of the carrier space, to a (significantly) smaller collection. | ||
The next result characterizes a dominance condition that can be used to verify the existence of selections of <math>\eX</math> with specific properties for their means (see <ref name="mol:mol18"></ref>{{rp|at=Sections 3.2-3.3}}) | The next result characterizes a dominance condition that can be used to verify the existence of selections of <math>\eX</math> with specific properties for their means (see <ref name="mol:mol18"></ref>{{rp|at=Sections 3.2-3.3}}) | ||
{{proofcard|Theorem (Convexification in <math>\R^d</math>)|thr:exp-supp|Let <math>\eX</math> be an integrable random set. If <math>\eX</math> is defined on a non-atomic probability space, or if <math>\eX</math> is almost surely convex, then <math>\E \eX=\E \conv\eX</math> and | {{proofcard|Theorem (Convexification in <math>\R^d</math>)|thr:exp-supp|Let <math>\eX</math> be an integrable random set. If <math>\eX</math> is defined on a non-atomic probability space, or if <math>\eX</math> is almost surely convex, then <math>\E \eX=\E \conv\eX</math> and | ||
Line 304: | Line 305: | ||
Hence, for any vector <math>b\in\R^d</math>, it holds that | Hence, for any vector <math>b\in\R^d</math>, it holds that | ||
<span id = "eq:dom_Aumann:cond"/> | <span id {{=}} "eq:dom_Aumann:cond"/> | ||
<math display="block"> | <math display="block"> | ||
Line 312: | Line 313: | ||
\end{align} | \end{align} | ||
</math>|}} | </math>|}} | ||
An important consequence of [[#thr:exp-supp |Theorem]] is that it allows one to verify whether <math>b \in \E \eX</math> without having to compute <math>\E \eX</math> but only <math>\E h_\eX(u)</math> (and similarly for the conditional case), a substantially easier task. | An important consequence of [[#thr:exp-supp |Theorem]] is that it allows one to verify whether <math>b \in \E \eX</math> without having to compute <math>\E \eX</math> but only <math>\E h_\eX(u)</math> (and similarly for the conditional case), a substantially easier task. | ||
Finally, i.i.d. random closed sets satisfy a law of large numbers and a central limit theorem that are similar to the ones for random singletons. | Finally, i.i.d. random closed sets satisfy a law of large numbers and a central limit theorem that are similar to the ones for random singletons. |
Revision as of 22:55, 30 May 2024
This appendix provides basic definitions and results from random set theory that are used throughout this chapter.[Notes 1] I refer to [1] for a textbook presentation of random set theory, and to [2] for a discussion focusing on its applications in econometrics. The theory of random closed sets generally applies to the space of closed subsets of a locally compact Hausdorff second countable topological space [math]\carrier[/math], see [1]. In this chapter I let [math]\carrier = \R^d[/math] to simplify the exposition. Closedness is a property satisfied by random points (singleton sets), so that the theory of random closed sets includes the classical case of random points or random vectors as a special case. A random closed set is a measurable map [math]\eX:\Omega\mapsto\cF[/math], where measurability is defined by specifying the family of functionals of [math]\eX[/math] that are random variables.
A map [math]\eX[/math] from a probability space [math](\Omega,\salg,\P)[/math] to the family [math]\cF[/math] of closed subsets of [math]\R^d[/math] is called a random closed set if
A random compact set is a random closed set which is compact with probability one, so that almost all values of [math]\eX[/math] are compact sets. A random convex closed set is defined similarly, so that [math]\eX(\omega)[/math] is a convex closed set for almost all [math]\omega[/math]. Definition means that [math]\eX[/math] is explored by its hitting events, i.e., the events where [math]\eX[/math] hits a compact set [math]K[/math]. The corresponding hitting probabilities are very important in random set theory, because they uniquely determine the probability distribution of a random closed set [math]\eX[/math], see [1](Section 1.1.3). The formal definition of the hitting probabilities, and the closely related containment probabilities, follows.
- A functional [math]\sT_\eX(K):\cK\mapsto[0,1][/math] given by
[[math]] \sT_\eX(K)=\Prob{\eX\cap K\neq\emptyset},\quad K\in\cK, [[/math]]is called capacity (or hitting) functional of [math]\eX[/math].
- A functional [math]\sC_\eX(F):\cF\mapsto[0,1][/math] given by
[[math]] \sC_\eX(F)=\Prob{\eX\subset F},\quad F\in\cF, [[/math]]is called the containment functional of [math]\eX[/math].
I write [math]\sT(K)[/math] instead of [math]\sT_{\eX}(K)[/math] and [math]\sC(K)[/math] instead of [math]\sC_{\eX}(K)[/math] where no ambiguity occurs.
Ever since the seminal work of [3], it has been common to think of random sets as bundles of random variables -- the selections of the random sets.
For any random set [math]\eX[/math], a (measurable) selection of [math]\eX[/math] is a random element [math]\ex[/math] with values in [math]\R^d[/math] such that [math]\ex(\omega)\in\eX(\omega)[/math] almost surely. I denote by [math]\Sel(\eX)[/math] the set of all selections from [math]\eX[/math].
The space of closed sets is not linear, which causes substantial difficulties in defining the expectation of a random set. One approach, inspired by [3] and pioneered by [4], relies on representing a random set using the family of its selections, and considering the set formed by their expectations. If [math]\eX[/math] possesses at least one integrable selection, then [math]\eX[/math] is called integrable. The family of all integrable selections of [math]\eX[/math] is denoted by [math]\Sel^1(\eX)[/math].
The (selection or) Aumann expectation of an integrable random closed set [math]\eX[/math] is given by
If [math]\eX[/math] is almost surely non-empty and its norm [math]\|\eX\|=\sup\{\|\ex\|:\; \ex\in \eX\}[/math] is an integrable random variable, then [math]\eX[/math] is said to be integrably bounded and all its selections are integrable. In this case, since [math]\eX[/math] takes its realizations in [math]\R^d[/math], the family of expectations of these integrable selections is already closed and there is no need to take an additional closure as required in Definition, see [1](Theorem2.1.37). The selection expectation depends on the probability space used to define [math]\eX[/math], see [1](Section 2.1.2) and [2](Section 3.1). In particular, if the probability space is non-atomic and [math]\eX[/math] is integrably bounded, the selection expectation [math]\E \eX[/math] is a convex set regardless of whether or not [math]\eX[/math] might be non-convex itself [2](Theorem 3.4). This convexification property of the selection expectation implies that the expectation of the closed convex hull of [math]\eX[/math] equals the closed convex hull of [math]\E \eX[/math], which in turn equals [math]\E \eX[/math].
It is then natural to describe the Aumann expectation through its support function, because this function traces out a convex set's boundary and therefore knowing the support function is equivalent to knowing the set itself, see equation (eq:rocka) below.
Let [math]K[/math] be a convex set. The support function of [math]K[/math] is
The support function is finite for all [math]u[/math] if [math]K[/math] is bounded, and is sublinear (positively homogeneous and subadditive) in [math]u[/math]. Hence, it can be considered only for [math]u \in \Ball[/math] or [math]u \in \Sphere[/math]. Moreover, one has
Next, I define the Hausdorff metric, a distance on the family [math]\cK[/math] of compact sets:
Let [math]K,L\in\cK[/math]. The Hausdorff distance between [math]K[/math] and [math]L[/math] is
Since [math]K\subseteq L[/math] if and only if [math]h_K(u)\leq h_L(u)[/math] for all [math]u\in\Sphere[/math] and [math]h_{K^r}(u)=h_K(u)+r[/math], the uniform metric for support functions on the sphere turns into the Hausdorff distance between compact convex sets. Namely,
It follows that
Finally, I define independently and identically distributed random closed sets (see [1](Proposition 1.1.40 and Theorem 1.3.20, respectively)):
Random closed sets [math]\eX_1,\dots,\eX_n[/math] in [math]\R^d[/math] are independent if and only if [math]\Prob{\eX_1\cap K_1 \ne \emptyset,\dots,\eX_n\cap K_n \ne \emptyset}=\prod_{i=1}^n\sT_{\eX_i}(K_i)[/math] for all [math]K_1,\dots,K_n \in \cK[/math]. They are identically distributed if and only if for each open set [math]G[/math], [math]\Prob{\eX_1\cap G \ne \emptyset}=\Prob{\eX_2\cap G \ne \emptyset}= \dots =\Prob{\eX_n\cap G \ne \emptyset}[/math].
With these definitions in hand, I can state the theorems used throughout the chapter. The first is a dominance condition due to [5] (and [6]) that characterizes probability distributions of selections (see [2](Section 2.2)):
A probability distribution [math]\mu[/math] on [math]\R^d[/math] is the distribution of a selection of a random closed set [math]\eX[/math] in [math]\R^d[/math] if and only if
If [math]\mu[/math] from Theorem is the distribution of some random vector [math]\ex[/math], then it is not guaranteed that [math]\ex\in \eX[/math] a.s., e.g. [math]\ex[/math] can be independent of [math]\eX[/math]. Theorem means that for each such [math]\mu[/math], it is possible to construct [math]\ex[/math] with distribution [math]\mu[/math] that belongs to [math]\eX[/math] almost surely. In other words, [math]\ex[/math] and [math]\eX[/math] can be realized on the same probability space (coupled) as random elements [math]\ex^\prime[/math] and [math]\eX^\prime[/math] such that [math]\ex\edis\ex^\prime[/math] and [math]\eX\edis\eX^\prime[/math] with [math]\ex^\prime \in \eX^\prime[/math] a.s. The definition of the distribution of a random closed set (Definition) and the characterization results for its selections in Theorem require working with functionals defined on the family of all compact sets, which in general is very rich. It is therefore important to reduce the family of all compact sets required to describe the distribution of the random closed set or to characterize its selections.
A family of compact sets [math]\cM[/math] is said to be a core determining class for a random closed set [math]\eX[/math] if any probability measure [math]\mu[/math] satisfying the inequalities
The notion of a core determining class was introduced by [7]. A simple and general, but still mostly too rich, core determining class is obtained as a subfamily of all compact sets that is dense in a certain sense in the family [math]\cK[/math]. For instance, in the Euclidean space, it suffices to consider compact sets obtained as finite unions of closed balls with rational centers and radii (e.g., [7](Theorem 3c)). For the case that [math]\eX[/math] is a subset of a finite space, [8](Algorithm 5.1) propose a simple algorithm to compute core determining classes. [9] provide a related algorithm. Throughout this chapter, several results are mentioned where the class of sets over which \eqref{eq:domin-t} is verified is reduced from the class of compact subsets of the carrier space, to a (significantly) smaller collection. The next result characterizes a dominance condition that can be used to verify the existence of selections of [math]\eX[/math] with specific properties for their means (see [2](Sections 3.2-3.3))
Let [math]\eX[/math] be an integrable random set. If [math]\eX[/math] is defined on a non-atomic probability space, or if [math]\eX[/math] is almost surely convex, then [math]\E \eX=\E \conv\eX[/math] and
If [math]\P[/math] is atomless over [math]\ssalg[/math],[Notes 2] then [math]\E(\eX|\ssalg)[/math] is convex and
Hence, for any vector [math]b\in\R^d[/math], it holds that
An important consequence of Theorem is that it allows one to verify whether [math]b \in \E \eX[/math] without having to compute [math]\E \eX[/math] but only [math]\E h_\eX(u)[/math] (and similarly for the conditional case), a substantially easier task. Finally, i.i.d. random closed sets satisfy a law of large numbers and a central limit theorem that are similar to the ones for random singletons. Recall that the Minkowski sum of two sets [math]K[/math] and [math]L[/math] in a linear space (which in this chapter I assume to be the Euclidean space [math]\R^d[/math]) is obtained by adding each point from [math]K[/math] to each point from [math]L[/math], formally,
Below, [math]\eX_1+\cdots+\eX_n[/math] denotes the Minkowski sum of the random closed sets [math]\eX_1,\dots,\eX_n[/math], and [math](\eX_1+\cdots+\eX_n)/n[/math] denotes their Minkowski average.
Let [math]\eX,\eX_1,\eX_2,\ldots[/math] be i.i.d. integrably bounded random compact sets. Define [math]\eS_n=\eX_1+\cdots+\eX_n[/math]. Then
The support function of a random closed set [math]\eX[/math] such that [math]\E\|\eX\|^2 \lt \infty[/math], is a random continuous function [math]h_\eX(u)[/math] on [math]\Sphere[/math] with square integrable values. Define its covariance function as
Let [math]\zeta(u)[/math] be a centered Gaussian random field on [math]\Sphere[/math] with the same covariance structure as [math]\eX[/math], i.e. [math]\E\big[\zeta(u)\zeta(v)\big]=\Gamma_\eX(u,v),u,v\in\Sphere[/math]. Since the support function of a compact set is Lipschitz, it is easy to show that the random field [math]\zeta[/math] has a continuous modification by bounding the moments of [math]|\zeta(u)-\zeta(v)|[/math].
Let [math]\eX_1,\eX_2,\dots[/math] be i.i.d. copies of a random closed set [math]\eX[/math] in [math]\R^d[/math] such that [math]\E \|\eX\|^2 \lt \infty[/math], and let [math]\eS_n=\eX_1+\cdots+\eX_n[/math]. Then as [math]n\to\infty[/math],
in the space of continuous functions on the unit sphere with the uniform metric. Furthermore,
General references
Molinari, Francesca (2020). "Microeconometrics with Partial Identification". arXiv:2004.11751 [econ.EM].
Notes
- The treatment here summarizes a few of the topics presented in [1].
- An event [math]A'\in\ssalg[/math] is called a [math]\ssalg[/math]-atom if [math]\Prob{0 \lt \P(A|\ssalg) \lt \P(A'|\ssalg)}=0[/math] for all [math]A\subset A'[/math] such that [math]A\in\salg[/math].
References
- 1.0 1.1 1.2 1.3 1.4 1.5 Cite error: Invalid
<ref>
tag; no text was provided for refs namedmo1
- 2.0 2.1 2.2 2.3 2.4 Cite error: Invalid
<ref>
tag; no text was provided for refs namedmol:mol18
- 3.0 3.1 Cite error: Invalid
<ref>
tag; no text was provided for refs namedaum65
- Cite error: Invalid
<ref>
tag; no text was provided for refs namedart:vit75
- Cite error: Invalid
<ref>
tag; no text was provided for refs namedart83
- Cite error: Invalid
<ref>
tag; no text was provided for refs namednor92
- 7.0 7.1 Cite error: Invalid
<ref>
tag; no text was provided for refs namedgal:hen06
- Cite error: Invalid
<ref>
tag; no text was provided for refs namedber:mol:mol08
- Cite error: Invalid
<ref>
tag; no text was provided for refs namedche:ros12