У топологији и сродним гранама математике, повезан простор је топошки простор који се не може представити као унија два или више дисјунктна непразна отворена подскупа. Повезаност је једно од основних тополошких својстава која разликују тополошке просторе.

Подскуп тополошког простора је ако је он повезан простор када се посматра као потпростор од .

Неки сродни, али јачи услови су повезаност путевима, проста повезаност и -повезаност. Још један сродни појам је локална повезаност, која нити имплицира нити следи из повезаности.

Дефиниција За тополошки простор се каже да је ако је унија два дисјунктна непразна отворена скупа. У супротном, за се каже да је повезан. Подскуп тополошког простора је повезан ако је повезан под својом индукованом топологијом. Неки аутори искључују празан скуп (са његовом јединственом топологијом) из дефиниције повезаног простора, али овај чланак не следи ту праксу.

Историјски, ова модерна формулација појма повезаности (у смислу непостојања партиције на два раздвојена скупа) први пут се појавила (независно) код Н. Ј. Ленеса, Фриђеша Риса и Феликса Хаусдорфа почетком 20. века. Видети за детаље.

Повезаност дефинише релацију еквиваленције у следећем смислу: дате су две тачке у тополошком простору , пишемо ако припадају истом повезаном подскупу. Тада је ова релација релација еквиваленције.

Компоненте повезаности За дату тачку у тополошком простору унија било које колекције повезаних подскупова који садрже поново ће бити повезан подскуп. Компонента повезаности тачке у је унија свих повезаних подскупова од који садрже то је јединствени највећи (у односу на ) повезан подскуп од који садржи Максимални повезани подскупови (уређени инклузијом ) непразног тополошког простора називају се компоненте повезаности тог простора. Компоненте тополошког простора чине партицију скупа : оне су дисјунктне, непразне и њихова унија је цео простор. Заправо, компонента повезаности је исто што и класа еквиваленције када су две тачке еквивалентне ако припадају истом повезаном подскупу.

Свака компонента је затворен подскуп оригиналног простора. Следи да, у случају када је њихов број коначан, свака компонента је такође отворен подскуп. Међутим, ако је њихов број бесконачан, то не мора бити случај; на пример, компоненте повезаности скупа рационалних бројева су једночлани скупови (синглтон), који нису отворени. Доказ: Било која два различита рационална броја су у различитим компонентама. Узмимо ирационалан број и поставимо и Тада је раздвајање скупа и . Дакле, свака компонента је скуп са једном тачком.

Нека је компонента повезаности тачке у тополошком простору и пресек свих отворено-затворених скупова који садрже (звана квази-компонента тачке ). Тада где једнакост важи ако је компактан Хаусдорфов простор или локално повезан.

Неповезани простори Простор у којем су све компоненте једночлани скупови назива се . Сродно овом својству, простор се назива ако, за било која два различита елемента и из , постоје дисјунктни отворени скупови који садржи и који садржи тако да је унија и . Јасно је да је сваки потпуно раздвојен простор и потпуно неповезан, али обрнуто не важи. На пример, узмимо две копије рационалних бројева , и идентификујмо их у свакој тачки осим нулe. Резултујући простор, са количничком топологијом, је потпуно неповезан. Међутим, разматрањем две копије нуле, види се да простор није потпуно раздвојен. Заправо, он није чак ни Хаусдорфов простор, а услов потпуне раздвојености је строго јачи од Хаусдорфовог услова.

Примери

Затворени интервал у стандардној топологији потпростора је повезан; иако се може, на пример, записати као унија и други скуп није отворен у изабраној топологији на Унија и је неповезана; оба интервала су отворена у стандардном тополошком простору је неповезан. Простор са индискретном топологијом је повезан, јер су његови једини отворени скупови и . Потпростор није повезан. Заиста, скупови и су непразни, дисјунктни и отворени у топологији потпростора на , и заједно чине раздвајање скупа . Конвексан подскуп простора је повезан; заправо је просто повезан. Еуклидска раван без координатног почетка, је повезана, али није просто повезана. Тродимензионални еуклидски простор без координатног почетка је повезан, и чак просто повезан. Насупрот томе, једнодимензионални еуклидски простор без почетка није повезан. Еуклидска раван са уклоњеном правом линијом није повезана јер се састоји од две полуравни. , простор реалних бројева са уобичајеном топологијом, је повезан. Соргенфрејева права је неповезана. Ако се чак и једна тачка уклони из , остатак је неповезан. Међутим, ако се чак и пребројиво бесконачно много тачака уклони из , где је остатак је повезан. Ако је , тада остаје просто повезан након уклањања пребројиво много тачака. Сваки тополошки векторски простор, нпр. сваки Хилбертов простор или Банахов простор, над повезаним пољем (као што су или ), је просто повезан. Сваки дискретни простор са најмање два елемента је неповезан, заправо такав простор је потпуно неповезан. Најједноставнији пример је дискретни простор са две тачке. С друге стране, коначан скуп може бити повезан. На пример, спектар прстена дискретне валуације састоји се од две тачке и повезан је. То је пример простора Сјерпињског. Канторов скуп је потпуно неповезан; пошто скуп садржи непребројиво много тачака, он има непребројиво много компоненти. Ако је простор хомотопски еквивалентан повезаном простору, онда је и повезан. Тополошка синусоида је пример скупа који је повезан, али није ни путевима повезан ни локално повезан. Општа линеарна група (то јест, група реалних, инвертибилних матрица димензија ) састоји се од две компоненте повезаности: једне са матрицама позитивне детерминанте и друге са негативном детерминантом. Конкретно, није повезана. Насупрот томе, је повезана. Уопштеније, скуп инвертибилних ограничених оператора на комплексном Хилбертовом простору је повезан. Спектри комутативних локалних прстенова и интегралних домена су повезани. Уопштеније, следеће је еквивалентно:Charles Weibel, The K-book: An introduction to algebraic K-theory Спектар комутативног прстена је повезан. Сваки коначно генерисан пројективни модул над има константан ранг. нема идемпотент (тј. није производ два прстена на нетривијалан начин).

Пример простора који није повезан је раван са уклоњеном бесконачном правом. Други примери неповезаних простора укључују раван са уклоњеним прстеном, као и унију два дисјунктна затворена диска, где сви примери из овог пасуса носе топологију потпростора индуковану дводимензионалним еуклидским простором.

Повезаност путевима мини|Овај потпростор простора R² је путевима повезан, јер се између било које две тачке у простору може повући пут.

је јачи појам повезаности, који захтева структуру пута. Пут од тачке до тачке у тополошком простору је непрекидна функција са јединичног интервала у таква да је и . простора је класа еквиваленције од у односу на релацију еквиваленције која чини еквивалентним са ако и само ако постоји пут од до . За простор се каже да је путевима повезан (или линијски повезан или -повезан) ако постоји тачно једна компонента повезаности путевима.За непразне просторе, ово је еквивалентно тврдњи да постоји пут који спаја било које две тачке у . Опет, многи аутори искључују празан простор.

Еквивалентно, компонента повезаности путевима простора је максималан путевима повезан подскуп од (да би се видела еквиваленција, приметимо да је компонента повезаности путевима у претходном смислу путевима повезана).

Сваки путевима повезан простор је повезан. Обрнуто није увек тачно: примери повезаних простора који нису путевима повезани укључују проширену дугу праву и тополошку синусоиду.

Подскупови реалне праве су повезани ако и само ако су путевима повезани; ови подскупови су интервали и полуправе од . Такође, отворени подскупови од или су повезани ако и само ако су путевима повезани. Додатно, повезаност и повезаност путевима су исто за коначне тополошке просторе.

Лучна повезаност За простор се каже да је лучно повезан ако се било које две тополошки разликоване тачке могу спојити луком, који је улагање . Лучна компонента простора је максималан лучно повезан подскуп од ; или еквивалентно класа еквиваленције релације да ли се две тачке могу спојити луком или путем чије су тачке тополошки неразликоване.

Сваки Хаусдорфов простор који је путевима повезан је такође и лучно повезан; општије ово важи за -Хаусдорфов простор, што је простор где је свака слика пута затворена. Пример простора који је путевима повезан али није лучно повезан је права са два исходишта; њене две копије се могу повезати путем али не и луком.

Интуиција за путевима повезане просторе се не преноси лако на лучно повезане просторе. Нека је права са два исходишта. Следеће су чињенице чији аналогони важе за путевима повезане просторе, али не важе за лучно повезане просторе:

Непрекидна слика лучно повезаног простора не мора бити лучно повезана: на пример, количничко пресликавање из лучно повезаног простора у његов количнички простор са пребројиво много (најмање 2) тополошки разликоване тачке не може бити лучно повезано због премале кардиналности. Лучне компоненте не морају бити дисјунктне. На пример, има две лучне компоненте које се преклапају. Лучно повезан простор производа не мора бити производ лучно повезаних простора. На пример, је лучно повезан, али није. Лучне компоненте простора производа не морају бити производи лучних компоненти маргиналних простора. На пример, има једну лучну компоненту, али има две лучне компоненте. Ако лучно повезани подскупови имају непразан пресек, њихова унија не мора бити лучно повезана. На пример, лучне компоненте од се секу, али њихова унија није лучно повезана.

Локална повезаност

За тополошки простор се каже да је локално повезан у тачки ако свака околина тачке садржи повезану отворену околину. Он је локално повезан ако има базу сачињену од повезаних скупова. Може се показати да је простор локално повезан ако и само ако је свака компонента сваког отвореног скупа у отворена.

Слично томе, за тополошки простор се каже да је ако има базу сачињену од путевима повезаних скупова. Отворен подскуп локално путевима повезаног простора је повезан ако и само ако је путевима повезан. Ово генерализује ранију тврдњу о и , од којих је сваки локално путевима повезан. Уопштеније, свака тополошка многострукост је локално путевима повезана. мини|314x314px|Тополошка синусоида је повезана, али није локално повезана Локална повезаност не повлачи повезаност, нити локална повезаност путевима повлачи повезаност путевима. Једноставан пример локално повезаног (и локално путевима повезаног) простора који није повезан (или путевима повезан) је унија два раздвојена интервала у , као што је .

Класичан пример повезаног простора који није локално повезан је тополошка синусоида, дефинисана као , са еуклидском топологијом индукованом инклузијом у .

Операције са скуповима мини|Примери унија и пресека повезаних скупова Пресек повезаних скупова није нужно повезан.

Унија повезаних скупова није нужно повезана, што се може видети разматрањем .

Свака елипса је повезан скуп, али унија није повезана, јер се може партиционисати на два дисјунктна отворена скупа и .

Ово значи да, ако је унија неповезана, онда се колекција може поделити у две потколекције, тако да су уније потколекција дисјунктне и отворене у (видети слику). Ово имплицира да је у неколико случајева унија повезаних скупова повезана. Конкретно:

Ако заједнички пресек свих скупова није празан (), онда се они очигледно не могу поделити у колекције са дисјунктним унијама. Дакле, унија повезаних скупова са непразним пресеком је повезана. Ако пресек сваког пара скупова није празан () онда се опет не могу поделити у колекције са дисјунктним унијама, па њихова унија мора бити повезана. Ако се скупови могу уредити као „ланчано повезани”, тј. индексирани целобројним индексима и , онда опет њихова унија мора бити повезана.