Открыть главное меню
Классический пример гомеоморфизма: кружка и бублик (тор) топологически эквивалентны

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Пространства, связанные гомеоморфизмом, топологически неразличимы. Можно сказать, что топология, в общем виде, изучает неизменные при гомеоморфизме свойства объектов.

В категории топологических пространств рассматриваются только непрерывные отображения, поэтому в этой категории изоморфизм является также и гомеоморфизмом.

Содержание

ОпределениеПравить

Пусть   и   — два топологических пространства. Функция   называется гомеоморфизмом, если она взаимно однозначна, а также   и обратная функция   непрерывны.

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

  • Пространства   и   в таком случае называются гомеомо́рфными или топологи́чески эквивале́нтными.
    • Обычно это отношение обозначается  .

Теорема о гомеоморфизмеПравить

Пусть   — интервал на числовой прямой (открытый, полуоткрытый или замкнутый). Пусть   — биекция. Тогда   является гомеоморфизмом тогда и только тогда, когда   строго монотонна и непрерывна на  

ПримерПравить

  • Произвольный открытый интервал   гомеоморфен всей числовой прямой  . Гомеоморфизм   задаётся, например, формулой
 
  • Интервал   гомеоморфен отрезку   в дискретной топологии, но не гомеоморфен в стандартной для числовой прямой топологии.

См. такжеПравить

ПримечанияПравить

ЛитератураПравить

СсылкиПравить