В математиці, зокрема алгебраїчній топології, напівлокально однозв'язним простором називається топологічний простір, що задовольняє деяку умову локальної зв'язності, що має застосування у теорії накриттів. Умова напівлокальної однозв'язності є необхідною і достатньою (при виконанні деяких інших умов) для існування універсального накриття і бієкції між підгрупами фундаментальної групи простору і його накриттями.
Більшість типових прикладів топологічних просторів, зокрема топологічні многовиди і CW комплекси є напівлокально однозв'язними. Стандартним прикладом топологічного простору, що не є напівлокально однозв'язним є гавайська сережка.
Означення ред.
Топологічний простір X називається напівлокально однозв'язним, якщо для кожної точки простору X існує окіл U з властивістю, що кожна петля у U може бути стягнута в одну точку в X, тобто її клас гомотопії у просторі X є тривіальним. Окіл U не обов'язково має бути однозв'язним: хоча кожна петля в U має бути гомотопною одиниці в просторі X, вона може не бути гомотопною одиниці в U.
Еквівалентно X є напівлокально однозв'язним простором якщо кожна точка в X має окіл U, для якого гомоморфізм з фундаментальної групи U у фундаментальну групу X, індукований включенням множини U в X, є тривіальним гомоморфізмом (тобто його образ є одиничним елементом).
Більшість основних теорем теорії накриттів, зокрема існування універсального накриття вимагає щоб базовий простір був лінійно зв'язаним, локально лінійно зв'язаним і напівлокально однозв'язним. Умова напівлокальної однозв'язності є необхідною для існування однозв'язного накриття, а при інших вказаних умовах і достатньою.
Приклади ред.
Типовим прикладом простору, що не є напівлокально однозв'язним є гавайська сережка: об'єднання на площині кіл виду із індукованою топологією. Тоді кожен окіл початку координат містить нескінченну кількість кіл, які не є гомотопними точці.
Іншим прикладом простору, що не є напівлокально однозв'язним є доповнення множини Q × Q на площині R2, де Q — множина раціональних чисел. Фундаментальна група цього простору є незліченною.
Див. також ред.
Література ред.
- Bourbaki, Nicolas (2016). Topologie algébrique: Chapitres 1 à 4. Springer. Ch. IV pp. 339 -480. ISBN 978-3662493601.
- J.S. Calcut, J.D. McCarthy Discreteness and homogeneity of the topological fundamental group Topology Proceedings, Vol. 34,(2009), pp. 339–349
- Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. ISBN 0-521-79540-0. Архів оригіналу за 20 лютого 2012. Процитовано 2 травня 2017.