Federer–Morse 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
- Federer, Herbert; Morse, A. P. (1943), "Some properties of measurable functions", Bulletin of the American Mathematical Society, 49: 270–277, ISSN 0002-9904, MR 0007916, doi:10.1090/S0002-9904-1943-07896-2
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.