Однозв'язна область

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Поверхня тора — приклад неоднозв'язної області.

Однозв'язна область — топологічне поняття, що інтуїтивно позначає частину D лінійно зв'язного топологічного простору, в якій будь-який замкнутий шлях можна неперервно стягнути в точку, не виходячи за межі області D (область без «дірок»). Приклад: сфера однозв'язна, а поверхня тора не однозв'язна, тому що кола на ній, показані червоним на малюнку, не можна стягнути в точку. Поняття однозв'язності широко застосуванняовується в різних галузях математики, особливо в комплексному аналізі.

Стягнення контура в точку на сфері


Означення[ред.ред. код]

Область D лінійно зв'язного топологічного простору називається однозв'язною, якщо всі контури в ній гомотопні нулю. Еквівалентне означення: фундаментальна група для D тривіальна. Область, яка не є однозв'язною, називається багатозв'язною.

Еквівалентно лінійно зв'язна область X називається однозв'язною якщо для кожного неперервного відображення f : S1X (де S1 позначає одиничне коло існує неперервне відображення F : D2X (де D2 позначає одиничний диск), таке що обмеження F на S1 рівне f.

Приклади[ред.ред. код]

Властивості[ред.ред. код]

  • Однозв'язність є гомотопічним інваріантом, тобто гомотопічно еквівалентні простори або обидва є однозв'язними, або обидва не є однозв'язними.
  • Властивість однозв'язності не зберігається неперервними відображеннями. Наприклад образом комплексної площини (однозв'язна область) щодо експоненційної функції є комплексна площина без початку координат (що не є однозв'язною областю).

Література[ред.ред. код]

  • Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3.
  • Келли Дж. Л. Общая топология — М.: Наука, 1968