Диффеоморфизм

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

Перейти к: навигация, поиск

Диффеоморфизм — взаимно однозначное и непрерывно дифференцируемое отображение f:M\to N гладкого многообразия M в гладкое многообразие N, обратное к которому тоже является непрерывно дифференцируемым. Обычно под гладкостью понимается C^\infty — гладкость, однако таким же образом могут быть определены диффеоморфизмы с другим типом гладкости, например Ck при любом k\in\mathbb N.

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

  • Если для M и N существует диффеоморфизм f:M\to N, то говорят, что M и N диффеоморфны.
  • Множество диффеоморфизмов многообразия M в себя образует группу, обозначаемую \operatorname{Diff} M.