Главная
Новости
Строительство
Ремонт
Дизайн и интерьер

















Яндекс.Метрика





Связное пространство


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

Определение

Пустое пространство считается несвязным.

Непустое топологическое пространство называется несвязным, если его можно представить в виде объединения двух непустых непересекающихся открытых подмножеств.

Непустое топологическое пространство, которое не является несвязным, называется связным.

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

Эквивалентные определения

Пусть X — топологическое пространство. Тогда следующие условия эквивалентны:

  • X связно.
  • X нельзя разбить на два непустых непересекающихся замкнутых подмножества.
  • Единственные подмножества X, являющиеся одновременно открытыми и замкнутыми, — пустое множество ∅ {displaystyle varnothing } и всё пространство X.
  • Единственные подмножества с пустой границей — пустое множество ∅ {displaystyle varnothing } и всё пространство X.
  • X не может быть представлено в виде объединения двух непустых множеств, каждое из которых не пересекается с замыканием другого.
  • Единственными непрерывными функциями из X в двухточечное множество (с дискретной топологией) являются константы.
  • Связанные определения

    • Каждое связное подмножество пространства X {displaystyle X} содержится в некотором максимальном связном подмножестве. Такие максимальные связные подмножества называются компонентами связности (связными компонентами, компонентами) пространства X {displaystyle X} .
      • Пространство, в котором каждая компонента связности состоит из одной точки, называется вполне несвязным. Примером могут служить любые пространства с дискретной топологией, пространство Q {displaystyle mathbb {Q} } рациональных чисел на числовой прямой и канторово множество.
    • Если существует база топологии пространства X {displaystyle X} , состоящая из связных открытых множеств, тогда топология пространства X {displaystyle X} и само пространство X {displaystyle X} (в этой топологии) называются локально связными.
    • Связное компактное хаусдорфово пространство называется континуумом.
    • Пространство X {displaystyle X} , для любых двух различных точек x {displaystyle x} и y {displaystyle y} которого существуют открытые непересекающиеся множества U ∋ x {displaystyle U i x} и V ∋ y {displaystyle V i y} такие, что X = U ∪ V {displaystyle X=Ucup V} , называется вполне раздельным. Очевидно, что любое вполне раздельное пространство вполне несвязно, однако обратное неверно. Рассмотрим множество, состоящее из двух копий множества Q {displaystyle mathbb {Q} } . Введём отношение эквивалентности по правилу q ∼ p ⇔ q = p , q ≠ 0 , p ≠ 0 {displaystyle qsim pLeftrightarrow q=p,;q eq 0,;p eq 0} и построим факторпространство с фактортопологией по этому отношению. Это пространство будет вполне несвязным, однако для двух (по определению топологически различных) копий нуля не найдётся двух открытых множеств, удовлетворяющих определению вполне раздельного пространства.

    Свойства

    • В любом топологическом пространстве пустое множество и одноточечные множества — связные. Впрочем, некоторые авторы не считают пустое множество связным. (Впрочем, некоторые авторы не считают его и множеством.)
    • В связном пространстве каждое подмножество (кроме пустого подмножества и всего пространства) имеет непустую границу.
      • Подмножества с пустой границей являются одновременно открытыми и замкнутыми подмножествами, и называются открыто-замкнутыми подмножествами. В связном пространстве все открыто-замкнутые подмножества тривиальны — либо пусты, либо совпадают со всем пространством.
    • Образ связного множества при непрерывном отображении связен.
    • Связность пространства — топологическое свойство, то есть свойство, инвариантное относительно гомеоморфизмов.
    • Замыкание связного подмножества A {displaystyle A} связно.
      • Более того, всякое «промежуточное» подмножество B {displaystyle B} ( A ⊂ B ⊂ A ¯ {displaystyle Asubset Bsubset {ar {A}}} ) тоже связно. Другими словами, если связное подмножество A {displaystyle A} плотно в B {displaystyle B} , то множество B {displaystyle B} тоже связно.
    • Пусть { A α } {displaystyle {A_{alpha }}} — семейство связных множеств, каждое из которых имеет непустое пересечение со связным множеством A {displaystyle A} . Тогда множество A ∪ ( ⋃ α A α ) {displaystyle Acup left(igcup _{alpha }A_{alpha } ight)}
    тоже связно. (То есть если к связному множеству подклеивать произвольное семейство связных множеств, объединение всегда будет оставаться связным.)
    • Произведение связных пространств связно. Если хоть один из множителей несвязен, произведение будет несвязным.
    • Каждая компонента пространства X {displaystyle X} является замкнутым множеством. Различные компоненты пространства X {displaystyle X} не имеют общих точек. Компоненты связности подмножества A {displaystyle A} пространства X {displaystyle X} — это максимальные связные подмножества множества A {displaystyle A} .
    • Непрерывное отображение из связного пространства во вполне несвязное сводится к отображению в одну точку.
    • Локально связные пространства не обязаны быть связными, а связные — не обязаны быть локально связными.
    • В локально связном пространстве компоненты связности открыты.
    • Любое линейно связное пространство связно.
      • Обратное неверно; например замыкание графика функции sin ⁡ 1 x {displaystyle sin { frac {1}{x}}} связно, но линейно не связно (это множество содержит отрезок [ − 1 , 1 ] {displaystyle [-1,1]} на оси ординат).

    Примеры

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

    Вариации и обобщения

    • Линейно связное пространство