On exact atomless Milutin maps (Q2577114)

For every map \(f: X\to Y\) a fiberwise measure on \(f\) is defined to be a family \(\{\mu_y:y\in Y\}\) such that \(g(y):= \int\varphi\,d\mu_y\) is continuous on \(Y\) for every \(\varphi\in C(X)\) and \(\text{supp\,}\mu_y:= \{A=\text{Cl\,}A\subset X: \mu_y(A)= \mu_y(X)\}\) lies in \(f^{-1}(y)\) for every \(y\in Y\). A fiberwise measure \(\{\mu_y\}\) on \(f\) is exact atomless if \(\text{supp\,}\mu_y= f^{-1}(y)\) and \(\mu_y(\{x\})= 0\) for \(x\in X\), \(y\in Y\). Various topological characterizations of maps admitting such measures are proved by first reducing the problem to the zero-dimensional one, and then applying Michaels zero-dimensional selection theorem. As a result a continuous surjection \(f: X\to Y\) of Polish spaces \(X\), \(Y\) admits a probabilistic exact atomless fiberwise measure iff \(f\) is open with \(f^{-1}(y)\) perfect for each \(y\in Y\). Consequently a multifunction \(F: Y\to Z\) of Polish spaces \(Y\), \(Z\) with perfect values admits a representation \(F(y)= \text{supp\,}\mu_y\) of this kind.