Measurable Selections of Extrema

Let f: X Y R. We prove two theorems concerning the existence of a measurable function such that f (x, (x) ) = ᵧ f (x, y). The first concerns Borel measurability and the second concerns absolute (or universal) measurability. These results are related to the existence of measurable projections of sets S X Y. Among other applications these theorems can be applied to the problem of finding measurable Bayes procedures according to the usual procedure of minimizing the a posteriori risk. This application is described here and a counterexample is given in which a Borel measurable Bayes procedure fails to exist.