Подмножеством топологического пространства являетсясвязное множество, если оно является связным пространством, если рассматривать егокакподпространство.
Некоторые связанные, но более сильные условия — это связность путей, односвязность и -связность . Другое родственное понятие — локальная связность , которое не подразумевает и не следует из связности.
Формальное определение
Говорят, что топологическое пространствонесвязным , если оно представляет собой объединение двух непересекающихся непустых открытых множеств. В противном случаеговорят, что оносвязано. Подмножествотопологического пространства называется связным, если оно связно относительно топологии своего подпространства. Некоторые авторы исключаютпустое множество(с его уникальной топологией) как связное пространство, но данная статья не следует этой практике.
Для топологического пространства следующие условия эквивалентны:
связно, то есть не может быть разделено на два непересекающихся непустых открытых множества.
Единственными подмножествами, которые одновременно являются открытыми и закрытыми ( закрытыми множествами ), являются пустое множество.
Единственными подмножествами с пустой границей являются пустое множество.
не может быть записано как объединение двух непустых разделенных множеств (множеств, каждое из которых не пересекается с замыканием другого).
Все непрерывные функции от до постоянны, где – двухточечное пространство, наделенное дискретной топологией .
Исторически эта современная формулировка понятия связности (в терминах отсутствия разделения на два отдельных множества) впервые появилась (независимо) у Н. Дж. Леннеса, Фриджеса Рисса и Феликса Хаусдорфа в начале 20-го века. Подробности см. в [1] .
Подключенные компоненты
В некоторой точке топологического пространства объединение любого набора связных подмножеств, каждое из которых снова будет связным подмножеством. Компонент связности точки в — это объединение всех связных подмножеств, содержащих ее. Это единственное наибольшее (относительно ) связное подмножество, содержащее. Максимальные
связные подмножества (упорядоченные по включению ) непустого топологического пространства называются связные компоненты пространства. Компоненты любого топологического пространства образуют разбиение : они не пересекаются , непусты, а их объединение составляет все пространство. Каждый компонент представляет собой замкнутое подмножество исходного пространства. Отсюда следует, что в случае, когда их число конечно, каждая компонента также является открытым подмножеством. Однако если их число бесконечно, это может быть не так; например, связные компоненты множества рациональных чисел представляют собой одноточечные множества ( одиночки ), которые не являются открытыми. Доказательство: любые два различных рациональных числа состоят из разных компонент. Возьмите иррациональное число , а затем установите и Тогда происходит разделение и . Таким образом, каждая компонента представляет собой одноточечное множество.
Позвольте быть компонентой связности в топологическом пространстве и быть пересечением всех открыто-замкнутых множеств, содержащих (называемых квазикомпонентами ) Тогда , где равенство выполняется, если компактно по Хаусдорфу или локально связно.[2]
Отключенные пространства
Пространство, в котором все компоненты являются одноточечными множествами, называетсяполностью отключен . В связи с этим свойством пространствоназываетсяполностью разделены , если для любых двух различных элементовиизсуществуют непересекающиесяоткрытые множества,содержащиеисодержащиетакие, которыеявляются объединениеми. Ясно, что любое полностью отделенное пространство полностью несвязно, но обратное неверно. Например, возьмите две копии рациональных чисели идентифицируйте их в каждой точке, кроме нуля. Полученное пространство сфактортопологиейполностью несвязно. Однако, рассматривая две копии нуля, можно увидеть, что пространство не полностью разделено. Фактически, это даже неХаусдорф, а условие полной обособленности строго сильнее, чем условие бытия Хаусдорфом.
Примеры
Замкнутый интервал в стандартной топологии подпространства связен; хотя его можно, например, записать как объединение и второе множество не открыто в выбранной топологии
Союз и разъединен; оба этих интервала открыты в стандартном топологическом пространстве.
Евклидова плоскость , исключая начало координат, связна, но не просто связна. Трехмерное евклидово пространство без начала координат связно и даже односвязно. Напротив, одномерное евклидово пространство без начала координат не связно.
Евклидова плоскость с удаленной прямой не является связной, так как состоит из двух полуплоскостей.
Если из , удалена хотя бы одна точка , остальная часть отключится. Однако если из , где остаток связен , удалить хотя бы счетную бесконечность точек . Если , то после удаления счетного числа точек остается односвязным.
Множество Кантора полностью несвязно; поскольку множество содержит несчетное количество точек, оно имеет несчетное количество компонент.
Если пространство гомотопически эквивалентно связному пространству, то оно само связно.
Синусоидальная кривая тополога является примером множества, которое связано, но не связано ни по пути, ни локально.
Общая линейная группа (т. е. группа по- вещественных обратимых матриц) состоит из двух компонент связности: одной с матрицами положительного определителя, другой — отрицательного определителя. В частности, он не связан. Напротив, связано. В более общем смысле, множество обратимых ограниченных операторов в комплексном гильбертовом пространстве связно.
Спектры коммутативных локальных колец и областей целостности связаны. В более общем смысле следующие эквиваленты [5]
не имеет идемпотента (т.е. не является произведением двух колец нетривиальным образом).
Примером несвязного пространства является плоскость, из которой удалена бесконечная линия. Другие примеры несвязных пространств (то есть пространств, которые не связаны) включают плоскость с удаленным кольцом , а также объединение двух непересекающихся замкнутых дисков , где все примеры этого параграфа имеют топологию подпространства, индуцированную двумерной евклидовой космос.
Связность путей
АПространство, связанное путями, — это более сильное понятие связности, требующее структуры пути. Путьот точки к точкевтопологическом пространствеявляется непрерывной функциейотединичного интерваладоси. АКомпонент пути — этоклассэквивалентностипоотношениюэквивалентности, которое делаетэквивалентным,если существует путь отдо. Пространствоназываетсялинейно-связным(илитраекторно-связнымили-связным), если существует ровно один путь-компонент. Для непустых пространств это эквивалентно утверждению, что существует путь, соединяющий любые две точки в. Опять же, многие авторы исключают пустое пространство.
Каждое пространство, связанное путями, связно. Обратное не всегда верно: примеры связных пространств, которые не связаны путями, включают расширенную длинную линию и синусоидальную кривую тополога .
Подмножества реальной линии связаны тогда и только тогда, когда они связаны путями; эти подмножества являются интервалами и лучами . Кроме того, открытые подмножества или связаны тогда и только тогда, когда они связаны путями. Кроме того, связность и линейная связность одинаковы для конечных топологических пространств .
Соединение дуги
Пространство называется дугосвязным или дугосвязным , если любые две топологически различимые точки можно соединить дугой , которая является вложением . Дуга -компонента — это максимальное дугосвязное подмножество ; или, что то же самое, класс эквивалентности отношения эквивалентности, определяющий, могут ли две точки быть соединены дугой или путем, точки которого топологически неразличимы.
Каждое хаусдорфово пространство , линейно связное, также является связным по дугам; в более общем смысле это верно для -Хаусдорфова пространства , которое представляет собой пространство, в котором каждое изображение пути замкнуто . Примером пространства, связного по путям, но не связного по дуге, является линия с двумя началами ; две его копии могут быть соединены путем, но не дугой.
Интуитивное представление о пространствах с линейной связностью нелегко перенести на пространства с дуговой связностью. Пусть – линия с двумя началами . Ниже приведены факты, аналоги которых справедливы для линейно-связных пространств, но не справедливы для дугосвязных пространств:
Непрерывный образ дугосвязного пространства может быть не дугосвязным: например, фактор-отображение дугосвязного пространства в его фактор со счетным числом (не менее 2) топологически различимых точек не может быть дугосвязным из-за слишком малой мощности. .
Компоненты дуги не могут быть непересекающимися. Например, имеет два перекрывающихся компонента дуги.
Пространство дугосвязного продукта не может быть продуктом пространств дуговой связности. Например, дугосоединен, но нет.
Дуги-компоненты пространства-произведения не могут быть произведениями дуг-компонентов маргинальных пространств. Например, имеет один компонент дуги, но имеет два компонента дуги.
Если дугосвязные подмножества имеют непустое пересечение, то их объединение не может быть дугосвязным. Например, дуги-компоненты пересекаются , но их объединение не является дугосвязным.
Местная связность
Топологическое пространство называется локально связным в точке, если каждая его окрестность содержит связную открытую окрестность. Оно локально связно, если имеет базу связных множеств. Можно показать, что пространство локально связно тогда и только тогда, когда каждая компонента любого открытого множества открыта.
Аналогично, топологическое пространство называетсялокально связен по путям, если он имеет базу множеств, связанных по путям. Открытое подмножество локально линейно связного пространства связно тогда и только тогда, когда оно линейно связно. Это обобщает предыдущее утверждение ои, каждый из которых локально связан по путям. В более общем смысле любоетопологическое многообразиелокально линейно связно.
Локальное соединение не означает соединение, а локальное соединение по пути не подразумевает соединение по пути. Простым примером локально связного (и локально связанного по путям) пространства, которое не является связным (или связным по путям), является объединение двух разделенных интервалов в , таких как .
Пересечение связных множеств не обязательно связно.
Объединение связных множеств не обязательно связно, как можно увидеть, рассмотрев .
Каждый эллипс представляет собой связное множество, но объединение не связно, так как его можно разбить на два непересекающихся открытых множества и .
Это означает, что если объединение разъединено, то коллекцию можно разделить на две подколлекции, так что объединения подколлекций будут непересекающимися и открытыми (см. рисунок). Это означает, что в ряде случаев объединение связных множеств обязательно связно. В частности:
Если общее пересечение всех множеств не пусто ( ), то, очевидно, их нельзя разбить на коллекции с непересекающимися объединениями . Следовательно, объединение связных множеств с непустым пересечением связно.
Если пересечение каждой пары множеств не пусто ( ), то их снова нельзя разбить на коллекции с непересекающимися объединениями, поэтому их объединение должно быть связным.
Если множества можно упорядочить как «связанную цепочку», т. е. проиндексировать целочисленными индексами и , то их объединение снова должно быть связным.
Если множества попарно не пересекаются и фактор-пространство связно, то X должно быть связно. В противном случае, если это разделение X , то это разделение фактор-пространства (поскольку они не пересекаются и открыты в фактор-пространстве). [6]
Разность множеств связных множеств не обязательно связна. Однако если и их разность несвязна (и, таким образом, может быть записана как объединение двух открытых множеств и ), то объединение с каждой такой компонентой связно (т.е. связно для всех ).
Доказательство [7]
От противного предположим, что не связно. Поэтому его можно записать как объединение двух непересекающихся открытых множеств, например . Поскольку связан, он должен полностью содержаться в одном из этих компонентов, скажем , и, таким образом, содержится в . Теперь мы знаем, что:
Два множества в последнем объединении не пересекаются и открыты в , поэтому происходит разделение , противоречащее тому, что связно.
Теоремы
Основная теорема связности : Пусть и — топологические пространства, и пусть — непрерывная функция. Если (путь) подключено, то изображение (путь) связано. Этот результат можно считать обобщением теоремы о промежуточном значении .
Каждое пространство, связанное путями, связно.
В локально связном пространстве каждое открытое связное множество является линейно связным.
Каждое локально связное пространство является локально связным.
Локально линейно связное пространство является линейно связным тогда и только тогда, когда оно связно.
Замыкание связного подмножества связно. Более того, любое подмножество между связным подмножеством и его замыканием связно.
Подключенные компоненты всегда закрыты (но, как правило, не открыты).
Открыты и связные компоненты локально связного пространства.
Компоненты связности пространства представляют собой непересекающиеся объединения компонент линейной связности (которые, вообще говоря, не являются ни открытыми, ни замкнутыми).
Пространство, связанное по дуге, соединено по путям, но пространство, связанное по путям, не может быть соединено по дуге.
Непрерывное изображение дугообразно связного множества является дугообразно связным.
Графики
Графы имеют подмножества, соединенные путями, а именно те подмножества, для которых каждая пара точек имеет соединяющий их путь ребер. Но не всегда на множестве точек можно найти топологию, индуцирующую одни и те же связные множества. Граф из 5 циклов (и любого -цикла с нечетным числом) является одним из таких примеров.
Как следствие, понятие связности может быть сформулировано независимо от топологии пространства. А именно, существует категория связных пространств, состоящая из множеств с наборами связных подмножеств, удовлетворяющих аксиомам связности; их морфизмы — это функции, которые отображают связные множества в связные множества (Muscat & Buhagiar 2006). Топологические пространства и графы являются частными случаями пространств связности; действительно, конечные связные пространства являются в точности конечными графами.
Однако каждый граф можно канонически превратить в топологическое пространство, рассматривая вершины как точки, а ребра как копии единичного интервала (см. топологическую теорию графов#Графы как топологические пространства ). Тогда можно показать, что граф связен (в теоретическом смысле графов) тогда и только тогда, когда он связен как топологическое пространство.
Если в топологическом пространстве не существует двух непересекающихся непустых открытых множеств , оно должно быть связным, и, следовательно, гиперсвязные пространства также являются связными.
Поскольку односвязное пространство по определению также должно быть связным по путям, любое односвязное пространство также является связным. Если требование «связности путей» исключено из определения простой связности, односвязное пространство не обязательно должно быть связным.
Еще более сильные версии связности включают понятие сжимаемого пространства . Каждое сжимаемое пространство связно путями и, следовательно, также связно.
В общем, любое пространство, связанное путями, должно быть связным, но существуют связные пространства, которые не связаны путями. Таким примером является удаленное гребенчатое пространство , а также вышеупомянутая синусоидальная кривая тополога .
Компонент связности (теория графов) - максимальный подграф, вершины которого могут достигать друг друга.Pages displaying short descriptions of redirect targets
Маскат, Дж; Бухагиар, Д. (2006). «Соединительные пространства» (PDF) . Память Фак. наук. англ. Университет Симанэ, Серия B: Математика. наук . 39 : 1–13. Архивировано из оригинала (PDF) 4 марта 2016 г. Проверено 17 мая 2010 г..