In mathematics, a random compact set is essentially a compact set-valued random variable. Random compact sets are useful in the study of attractors for random dynamical systems.
Definition Let ( M , d ) {\displaystyle (M,d)} be a complete separable metric space. Let K {\displaystyle {\mathcal {K}}} denote the set of all compact subsets of M {\displaystyle M} . The Hausdorff metric h {\displaystyle h} on K {\displaystyle {\mathcal {K}}} is defined by
h ( K 1 , K 2 ) := max { sup a ∈ K 1 inf b ∈ K 2 d ( a , b ) , sup b ∈ K 2 inf a ∈ K 1 d ( a , b ) } . {\displaystyle h(K_{1},K_{2}):=\max \left\{\sup _{a\in K_{1}}\inf _{b\in K_{2}}d(a,b),\sup _{b\in K_{2}}\inf _{a\in K_{1}}d(a,b)\right\}.}
( K , h ) {\displaystyle ({\mathcal {K}},h)} is also а complete separable metric space. The corresponding open subsets generate a σ-algebra on K {\displaystyle {\mathcal {K}}} , the Borel sigma algebra B ( K ) {\displaystyle {\mathcal {B}}({\mathcal {K}})} of K {\displaystyle {\mathcal {K}}} . A random compact set is а measurable function K {\displaystyle K} from а probability space ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )} into ( K , B ( K ) ) {\displaystyle ({\mathcal {K}},{\mathcal {B}}({\mathcal {K}}))} . Put another way, a random compact set is a measurable function K : Ω → 2 M {\displaystyle K\colon \Omega \to 2^{M}} such that K ( ω ) {\displaystyle K(\omega )} is almost surely compact and
ω ↦ inf b ∈ K ( ω ) d ( x , b ) {\displaystyle \omega \mapsto \inf _{b\in K(\omega )}d(x,b)}
is a measurable function for every x ∈ M {\displaystyle x\in M} .
Discussion Random compact sets in this sense are also random closed sets as in Matheron (1975). Consequently, under the additional assumption that the carrier space is locally compact, their distribution is given by the probabilities
P ( X ∩ K = ∅ ) {\displaystyle \mathbb {P} (X\cap K=\emptyset )} for K ∈ K . {\displaystyle K\in {\mathcal {K}}.}
(The distribution of а random compact convex set is also given by the system of all inclusion probabilities P ( X ⊂ K ) . {\displaystyle \mathbb {P} (X\subset K).} ) For K = { x } {\displaystyle K=\{x\}} , the probability P ( x ∈ X ) {\displaystyle \mathbb {P} (x\in X)} is obtained, which satisfies
P ( x ∈ X ) = 1 − P ( x ∉ X ) . {\displaystyle \mathbb {P} (x\in X)=1-\mathbb {P} (x\not \in X).}
Thus the covering function p X {\displaystyle p_{X}} is given by
… excerpt ends here. Continue reading the full article.
