We prove that every Borel bimeasurable mapping can be decomposed to a $\sigma$-discrete family of extended Borel isomorphisms and a mapping with a $\sigma$-discrete range.
We prove that every Borel bimeasurable mapping can be decomposed to a $\sigma$-discrete family of extended Borel isomorphisms and a mapping with a $\sigma$-discrete range. (en)
Dokazujeme, že každé borelovsky biměřitelné zobrazení lze rozložit na $\sigma$-diskrétní systém rozšířeně borelovských izomorfismů a jedno zobrazení se $\sigma$-diskrétním obrazem. (cs)