Federer–Morse theorem

Not to be confused with Morse–Sard–Federer theorem.

In mathematics, the Federer–Morse theorem, introduced by Federer and Morse (1943), states that if f is a surjective continuous map from a compact metric space X to a compact metric space Y, then there is a Borel subset Z of X such that f restricted to Z is a bijection from Z to Y. Moreover, the inverse of that restriction is a Borel section of f.

See also

References

This article is issued from Wikipedia - version of the 9/26/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.