Measurability of intersections of measurable multifunctions

From MaRDI portal



Abstract: We prove universal compact-measurability of the intersection of a compact-measurable Souslin family of closed-valued multifunctions. This generalizes previous results on intersections of measurable multifunctions. We introduce the unique maximal part of a multifunction which is defined on the quotient given by an equivalence relation. Measurability of this part of a multifunction is proven in a special case. We show how these results apply to the spectral theory of measurable families of closed linear operators.


The following theorem is the main result of the paper: Let \((\Omega,{\mathcal E})\) be a measurable space, \(S\) a Souslin space, \(X\) a Hausdorff space with second countable compacts, and \(F:\Omega\times S\to 2^X\) a compact-measurable and closed-valued multifunction. Then the multifunction \(\omega\to\bigcap\{F(\omega, s): s\in S\}\) is universally compact-measurable. The proof is based on the Souslin projection theorem. The author uses some separation ideas developed by \textit{A. Spakowski} and \textit{P. Urbaniec} [Rend. Circ. Mat. Palermo, II. Ser. 42, No. 1, 82-92 (1993; Zbl 0793.28011)] and generalizes their result on the measurability of a countable intersection of multifunctions into a countably separated space. In the final part of the paper, he introduces the unique maximal part of a multifunction which is defined on the quotient space given by an equivalence relation. As an application of the main result, he establishes the measurability of this new multifunction in a special case.











This page was built for publication: Measurability of intersections of measurable multifunctions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1373418)