On the representation of measurable set valued maps through selections (Q1201199): Difference between revisions

The following result is proved: Let \(F(x)\) be a multifunction defined on a measure space \((X,\mu)\), with values being compact subsets of \(\mathbb{R}^ n\). Suppose \(F\) is measurable and \(L^ p\)-integrable bounded. Then a countable family \({\mathcal F}\) of selections of \(F\) exists such that (i) \(F(x)=cl\{f(x):f\in{\mathcal F}\}\) for all \(x\in X\), and (ii) \({\mathcal F}\) is relatively compact in \(L^ p\) (or equivalently, the Kuratowski index of \({\mathcal F}\) is zero). This is a very elegant and important paper. The possibility of representing \(F\) as the closure in (i) is known as the Castaing representation theorem, and was proved to be a very useful tool in set- valued analysis. The addition of the compactness (ii) in this paper may open the way to a multitude of possible applications to variational analysis.