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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Множество A связно, а множество B несвязно.

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

Определение[править | править исходный текст]

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

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

Эквивалентные определения[править | править исходный текст]

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

  1. X связно.
  2. X нельзя разбить на два непустых непересекающихся замкнутых подмножества.
  3. Единственные подмножества X, являющиеся одновременно открытыми и замкнутыми, — пустое множество \varnothing и всё пространство X.
  4. Единственные подмножества с пустой границей — пустое множество \varnothing и всё пространство X.
  5. X не может быть представлен в виде объединения двух непустых множеств, каждое из которых не пересекается с замыканием другого.
  6. Единственной непрерывной функцией из X в двухточечное множество (с дискретной топологией) является константа.

Связанные определения[править | править исходный текст]

  • Каждое связное подмножество пространства X содержится в некотором максимальном связном подмножестве. Такие максимальные связные подмножества называются компонентами связности (связными компонентами, компонентами) пространства X.
    • Пространство, в котором каждая компонента связности состоит из одной точки, называется вполне несвязным. Примером могут служить любые пространства с дискретной топологией, пространство \mathbb{Q} рациональных чисел на числовой прямой и канторово множество.
  • Если существует база топологии пространства X, состоящая из связных открытых множеств, тогда топология пространства X и само пространство X (в этой топологии) называются локально связными.
  • Связное компактное хаусдорфово пространство называется континуумом.

Свойства[править | править исходный текст]

  • В любом топологическом пространстве пустое множество и одноточечные множества — связные. Впрочем, некоторые авторы не считают пустое множество связным.
  • В связном пространстве каждое подмножество (кроме пустого подмножества и всего пространства) имеет непустую границу.
    • Подмножества с пустой границей являются одновременно открытыми и замкнутыми подмножествами, и называются открыто-замкнутыми подмножествами. В связном пространстве все открыто-замкнутые подмножества тривиальны — либо пусты, либо совпадают со всем пространством.
  • Образ связного множества при непрерывном отображении связен.
  • Связность пространства — топологическое свойство, то есть свойство, инвариантное относительно гомеоморфизмов.
  • Замыкание связного подмножества A связно.
    • Более того, всякое «промежуточное» подмножество B (A\subset B \subset \bar{A}) тоже связно. Другими словами, если связное подмножество A плотно в B, то множество B тоже связно.
  • Пусть \{A_{\alpha}\} — семейство связных множеств, каждое из которых имеет непустое пересечение со связным множеством A. Тогда множество A \cup \bigcup_{\alpha} A_{\alpha} тоже связно. (То есть если к связному множеству подклеивать произвольное семейство связных множеств, объединение всегда будет оставаться связным.)
  • Произведение связных пространств связно. Если хоть один из множителей несвязен, произведение будет несвязным.
  • Каждая компонента пространства X является замкнутым множеством. Различные компоненты пространства X не имеют общих точек. Компоненты связности подмножества A пространства X — это максимальные связные подмножества множества A.
  • Непрерывное отображение из связного пространства во вполне несвязное сводится к отображению в одну точку.
  • Локально связные пространства не обязаны быть связными, а связные — не обязаны быть локально связными.
  • В локально связном пространстве компоненты связности открыты.
  • Любое линейно связное пространство связно.
    • Обратное неверно; например замыкание графика функции \sin\tfrac1x связно, но линейно не связно (это множество содержит отрезок [-1,1] на оси ординат).

Примеры[править | править исходный текст]

Вариации и обобщения[править | править исходный текст]

См. также[править | править исходный текст]