Measurable Selections of Extrema
Open Access
- 1 September 1973
- journal article
- Published by Institute of Mathematical Statistics in The Annals of Statistics
- Vol. 1 (5), 902-912
- https://doi.org/10.1214/aos/1176342510
Abstract
Let $f: X \times Y \rightarrow R$. We prove two theorems concerning the existence of a measurable function $\varphi$ such that $f(x, \varphi(x)) = \inf_y 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 \subset X \times 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.