Decompositions of Borel bimeasurable mappings between complete metric spaces

We prove that every Borel bimeasurable mapping can be decomposed to a σ-discrete family of extended Borel isomorphisms and a mapping with a σ-discrete range. We get a new proof of a result containing the Purves and the Luzin-Novikov theorems as a by-product. Assuming an extra assumption on f, or that Fleissner's axiom (SCω₂) holds, we characterize extended Borel bimeasurable mappings as those extended Borel measurable ones which may be decomposed to countably many extended Borel isomorphisms and a mapping with a σ-discrete range.