Английская Википедия:Federer–Morse theorem

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Distinguish

Шаблон:Context In mathematics, the Federer–Morse theorem, introduced by Шаблон:Harvs, 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.[1] Moreover, the inverse of that restriction is a Borel section of f—it is a Borel isomorphism.[2]

See also

References

Шаблон:Reflist

Further reading

  • L. W. Baggett and Arlan Ramsay, A Functional Analytic Proof of a Selection Lemma, Can. J. Math., vol. XXXII, no 2, 1980, pp. 441–448.

Шаблон:Use dmy dates

  1. Section 4 of Шаблон:Harvs.
  2. Page 12 of Шаблон:Harvs