Односвязное пространство

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

Стягивание контура в точку на сфере
Поверхность тора — пример не односвязного пространства

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

  • Эквивалентное определение: Линейно связное топологическое пространство   называется односвязным, если фундаментальная группа пространства   тривиальна.

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

СвойстваПравить

Односвязность является гомотопическим инвариантом, то есть гомотопически эквивалентные пространства либо оба односвязны, либо оба не односвязны.

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

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

  • И. М. Виноградов. Односвязная область // Математическая энциклопедия. — М.: Советская энциклопедия (рус.). — 1977—1985.