6a55d326fb4ad481.tex
1: \begin{definition}\label{defi:fibration}
2: We say that $\pi$ \emph{induces a continuous fibration} whenever for some modulus of continuity $\bar\omega_\pi$ and all $y,y'\in Y$, for all $x\in\pi^{-1}(y)$ there exist $x'\in\pi^{-1}(y')$ such that
3: \[d(x,x') \le \bar\omega_\pi(d(y,y')).\]
4: 
5: Then by the Measurable Selection Theorem, there exist a measurable map $\tau_y^{y'} : \pi^{-1}(y) \to \pi^{-1}(y')$ such that $d(x,\tau_y^{y'}(x)) \le \bar\omega_\pi(d(y,y'))$ for all $x\in\pi^{-1}(y)$.
6: \end{definition}
7: