On the convexity and compactness of the integral of a Banach space valued correspondence (Q924940): Difference between revisions

The following concept is introduced: a finite measure space \((\Omega, \Sigma, \mu)\) is said to be \textit{super-atomless}, if for every \(A \in \Sigma\) with \(\mu(A) \neq 0\) the space \(L_1(A,\Sigma| _A, \mu| _A)\) is non-separable. Using ideas of Lindenstrauss's proof of the Lyapunov convexity theorem the author shows that if \((\Omega, \Sigma, \mu)\) is super-atomless, then for every Banach space \(X\) and for every multifunction (correspondence) \(F: \Omega \to 2^X\) the set \(\int F\) of integrals of all Bochner integrable selectors of \(F\) is convex, and moreover if \(F\) takes weakly compact values and is integrably bounded, then \(\int F\) is weakly compact. It is shown also that in these theorems the condition on the measure space to be super-atomless cannot be weakened. If \(X\) is dual to a separable space, then analogous results are obtained for the set of integrals of all Gelfand integrable selectors, where weak compactness is replaced by weak\(^*\) compactness.