Накрывающая гомотопия

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Накрывающая гомотопия для гомотопии при заданном отображении ― гомотопия такая, что . При этом, если накрывающее отображение для отображения было задано заранее, то продолжает .

Связанные определения[править | править вики-текст]

  • Если для данного отображения и любой гомотопии с паракомпактным и любого такого что имеется продолжение до накрывающей гомотопии то называется расслоением Гуревича.
  • Если в этом определении требовать лишь, чтобы было конечным полиэдром, то называется расслоением Серра.

Свойства[править | править вики-текст]