Английская Википедия:Ehresmann's lemma

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

Шаблон:Short description In mathematics, or specifically, in differential topology, Ehresmann's lemma or Ehresmann's fibration theorem states that if a smooth mapping <math> f\colon M \rightarrow N</math>, where <math> M </math> and <math>N</math> are smooth manifolds, is

  1. a surjective submersion, and
  2. a proper map (in particular, this condition is always satisfied if M is compact),

then it is a locally trivial fibration. This is a foundational result in differential topology due to Charles Ehresmann, and has many variants.

See also

References