Skip to main content
5 of 10
added 14 characters in body
dohmatob
  • 6.9k
  • 1
  • 18
  • 76

Disclaimer: This would be too long of a comment, so posting here instead to get some input. Thanks in advance.


Let $P$ be probability distribution on a compact subset $X$ of $\mathbb R^n$, and let $F$ be a collection of $P$-measurable functions. We are interested in the compactness of the set-valued integral $$ S:=\int_X F\,dP = \left\{\int_X f\,dP \mid f \in F\right\}. $$

Suppose $F$ is uniformly bounded, i.e., $b := \sup_{f \in F}\|f\|_\infty < \infty$, and for any For any $t \in [0,b]$ and $f \in F$, define $$ P_t(f) := P(\{x \in X \mid f(x)>t\}). $$

By the layer-cake representation, one can write

$$ S := \int_X F\,dP = \int_0^bP_t(F)\,dt, $$ where $P_t(F) := \{P_t(f) \mid f \in F\}$.

Thanks to Theorem 4 of Aumann 1965 (the paper cited by Martin Vath, for $S$ to be compact, it suffices that $P_t(F)$ be closed for (almost) any $t \in [0,b]$.

In my specific question (and taking $d=1$ for simplicity), $F$ is collection of functions of the form $x \mapsto v(x)\cdot \pi(x)$, where $v:X \mapsto \mathbb R^k$ is a bounded $P$-measurable function function and $\pi$ runs over $P$-measurable functions $X \mapsto A$, with $A$ being a fixed compact subset of $\mathbb R^k$. It is easy to see that in this case,

$$ P_t(F) = \{P(v(x)\cdot a > t) \mid a \in A\}. $$

Question. For such an $F$, is it true $P_t(F)$ is closed for (almost) any $t \in [0,b]$ ?

Partial solution when $P$ has countable support

For example, if $P = \sum_{i=1}^\infty w_i \delta_{x_i}$, with $(x_i)_i \subseteq X$ and $(w_i)_i \in \ell^1(\mathbb R)$, then a direct computation gives $$ P_t(F) = \left\{\sum_{i=1}^\infty w_i1_{v(x_i)\cdot a_i \,>\, t} \mid (a_i)_i \subseteq A\right\} = \sum_{i=1}^\infty w_i u_i(A)\text{ (Minkowski sum)}, $$ where $u_i(a) := 1_{v(x_i)^\top a \,>\, t}$. Thus, we see that $P_t(F)$ is a subset of values for the subsums of $\sum_{i=1}^\infty w_i$, and so must be closed (since there are only countably many distinct values for these subsums). We thus recover the result established in the original question.

dohmatob
  • 6.9k
  • 1
  • 18
  • 76