# Фундаменталь төркөм

Фундамента́ль төркөм — топологик арауыҡҡа тиңләштерелгән билдәле бер төркөм. Тупаҫ итеп әйткәндә, был төркөм арауыҡта "тишек"тәр һанын үлсәй. «Тишектәр»ҙең булыуы ниндәйҙер йомоҡ кәкренең формаһын нөктәгә өҙлөкһөҙ үҙгәртеү мөмкин түгеллеге менән билдәләнә.

# Фундаменталь төркөм
## Билдәләмә

$X$ — билдәләнгән $x_{0}\in X$ нөктәле топологик арауыҡ булһын. $X$-та $x_{0}$ нөктәһенән элмәктәр күмәклеген, йәғни $f(0)=x_{0}=f(1)$ булған $f\colon [0,1]\to X$ өҙлөкһөҙ сағылыштар күмәклеген ҡарайыҡ. Ике $f$ һәм $g$ элмәктәре, әгәр улар элмәктәр класында бер береһенә гомотопиялы булһалар, йәғни уларҙы тоташтырыусы, $f_{t}(0)=x_{0}=f_{t}(1)$ үҙсәнлеген ҡәнәғәтләндергән $f_{t}$ гомотопияһы булһа, эквивалентлы тип иҫәпләнәләр. Ярашлы эквивалентлыҡ кластары гомотопиялы кластар тип аталалар. Ике элмәктең ҡабатландығы тип уларҙы эҙмә-эҙ үтеү менән билдәләнгән элмәк атала:
    $(f*g)(t)={\begin{cases}f(2t),~t\in [0,{1 \over 2}]\\g(2t-1),~t\in [{1 \over 2},1]\end{cases}}$
$[f]$ һәм $[g]$ гомотопиялы кластар ҡабатландығы тип $[f*g]$ элмәктәр ҡабатландығы гомотопиялы класс атала. Ул класс кластарҙа элмәктәрҙе һайлауға бәйле түгел икәнен күрһәтергә мөмкин. Элмәктәрҙең гомотопиялы кластар күмәклеге ошондай ҡабатлау менән төркөм булып китә. Был төркөм билдәләнгән $x_{0}$ нөктәһе менән $X$ арауығының фундаменталь төркөмө тип атала ла инде һәм $\pi _{1}(X,x_{0})$ тип тамғалана.

# Фундаменталь төркөм
## Комментарийҙәр

* Тождестволы, йәки хәрәкәтһеҙ элмәк класы төркөмдөң берәмеге булып тора, кире элементы — кире йүнәлештә үтелгән элмәк класы.
* Әгәр $X$ — һыҙыҡлы бәйле арауыҡ булһа, ул саҡта фундаменталь төркөм изоморфизмға тиклем аныҡлыҡ менән билдәләнгән нөктәгә бәйле түгел. Шуға күрә бындай арауыҡтар өсөн, буталсыҡ килеп сығыуынан ҡурҡмайынса, $\pi _{1}(X,x_{0})$ урынына $\pi _{1}(X)$ тип яҙырға мөмкин. Ләкин ике $x,y\in X$ нөктәләре өсөн $\pi _{1}(X,x)$ һәм $\pi _{1}(X,y)$ араһында ҡанунлаштырылған изоморфизм тик фундаменталь төркөм Абель төркөмө булған осраҡта ғына бар.

# Фундаменталь төркөм
## Бәйле билдәләмәләр

* Пунктирләнгән арауыҡтарҙың һәр өҙлөкһөҙ сағылышы $\varphi :(X,x_{0})\to (Y,\varphi (x_{0}))$, $\varphi _{*}[f]=[\varphi f]$ формулаһы менән бирелгән $\varphi _{*}=\pi _{1}\varphi :\pi _{1}(X,x_{0})\to \pi _{1}(Y,\varphi (x_{0}))$ сағылышын барлыҡҡа килтерә. $\varphi _{*}$ тик $\varphi$ гомотопиялы класына ғына бәйле, һәм $(\varphi \psi )_{*}=\varphi _{*}\psi _{*}$ һәм $(1_{(X,x_{0})})_{*}=1_{\pi (X,x_{0})}$ тигеҙлектәре үтәлә. Шулай итеп, тасуирланған операция менән фундаменталь төркөмдө алыу $\pi _{1}:\mathbf {hTop} \to \mathbf {Grp}$ функторын барлыҡҡа килтерә.
* $X$ арауығы, әгәр ул һыҙыҡлы бәйләнешле һәм $\pi _{1}(X)$ төркөмө тривиаль (тик берәмектән генә тора) булһа, бер бәйләнешле тип атала.

# Фундаменталь төркөм
## Миҫалдар

* $\mathbb {R} ^{n}$-ҙа тик бер генә гомотопиялы элмәктәр класы бар. Ошонан сығып, фундаменталь төркөм тривиаль, $\pi _{1}(\mathbb {R} ^{n})=1$. Шул уҡ теләһә ниндәй $\mathbb {R} ^{n}$ ҡабарынҡы аҫкүмәклеге арауығы өсөн дөрөҫ.
* Бер үлсәмле $\mathbb {S} ^{1}$ сфераһында (әйләнәлә) һәр гомотопиялы класс әйләнәгә бирелгән һан тапҡыр уралған элмәктәрҙән тора, һан йүнәлешкә бәйле рәүештә ыңғай йәки тиҫкәре булырға мөмкин. Тимәк, бер үлсәмле әйләнәнең фундаменталь төркөмө $\mathbb {Z}$ бөтөн һандарҙың аддитив төркөмөнә изоморфлы.
* $n$-үлсәмле сфераның фундаменталь төркөмө $\mathbb {S} ^{n}$ бөтә $n\geq 2$ булғанда тривиаль.
* $g$ төрҙәге йүнәлешле йомоҡ йөҙҙөң фундаменталь төркөмө $a_{1},\dots ,a_{g},b_{1},\dots ,b_{g}$ төҙөүселәре менән бер генә нисбәт менән бирелергә мөмкин: $a_{1}b_{1}a_{1}^{-1}b_{1}^{-1}\dots a_{g}b_{g}a_{g}^{-1}b_{g}^{-1}=1$.

# Фундаменталь төркөм
## Үҙсәнлектәре

* Арауыҡтың фундаменталь төркөмө уның гомотопиялы төрөнә генә бәйле.
** Киреһе һыҙыҡлы бәйләнгән асферик арауыҡтар (англ.) өсөн дөрөҫ, шулай уҡ ҡарағыҙ Эйленберг — Маклейн арауығы (англ.).
* Әгәр $A$ — $X$-тың билдәләнгән $x_{0}$ нөктәһе ингән ретракты булһа, ул саҡта , $i:A\hookrightarrow X$ ҡушымтаһы менән барлыҡҡа килтерелгән $i_{*}:\pi _{1}(A,x_{0})\to \pi _{1}(X,x_{0})$ гомоморфизмы инъективлы.
** Айырып әйткәндә, $X$ һыҙыҡлы бәйләнешлелегенең билдәләнгән нөктә ингән компонентының фундаменталь төркөмө бөтә $X$ фундаменталь төркөмөнә изоморфлы.
** Әгәр $A$ — $X$-тың ҡәтғи деформацион ретракты булһа, ул саҡта $i_{*}:\pi _{1}(A,x_{0})\to \pi _{1}(X,x_{0})$ изоморфизм була.
* $\pi _{1}$ ҡабатландыҡты һаҡлай: билдәләнгән нөктәләре менән теләһә ниндәй $(X,x_{0})$ һәм $(Y,y_{0})$ топологик арауыҡтар пары өсөн
    $(X,x_{0})$ һәм $(Y,y_{0})$ буйынса тәбиғи изоморфизм бар
    $\pi _{1}(X\times Y,(x_{0},y_{0}))\cong \pi _{1}(X,x_{0})\times \pi _{1}(Y,y_{0}).$
* ван Кампен теоремаһы: Әгәр $X$ — һәр береһенә билдәләнгән $x_{0}\in X$ нөктәһе ингән һыҙыҡлы бәйләнешле асыҡ күмәклектәрҙең берекмәһе $A_{\alpha }$ булһа, һәм әгәр һәр $A_{\alpha }\cap A_{\beta }$ киҫелеше һыҙыҡлы бәйләнешле булһа, ул саҡта $A_{\alpha }\hookrightarrow X$ ҡушымталары менән барлыҡҡа килтерелгән $\Phi :\ast _{\alpha }\pi _{1}(A_{\alpha })\to \pi _{1}(X)$ гомоморфизмы сюрьективлы. Бынан тыш, әгәр һәр $A_{\alpha }\cap A_{\beta }\cap A_{\gamma }$ киҫелеше һыҙыҡлы бәйләнешле булһа, ул саҡта $\Phi$ гомоморфизмының үҙәге — ул $N$-дың $i_{\alpha \beta }(\omega )i_{\beta \alpha }(\omega )^{-1}$ күренешендәге бөтә элементтар ингән иң бәләкәй нормаль аҫтөркөмө (бында $i_{\alpha \beta }$ $A_{\alpha }\cap A_{\beta }\hookrightarrow A_{\alpha }$ ҡушымтаһы менән барлыҡҡа килтерелгән), шуға күрә $\Phi$ $\pi _{1}(x)\cong \ast _{\alpha }\pi _{1}(A_{\alpha })/N$ изоморфизмын барлыҡҡа килтерә (изоморфизм тураһында беренсе теорема). Атап әйткәндә,
** $\pi _{1}$ коҡабатландыҡты һаҡлай: $\pi _{1}(\bigvee _{\alpha }X_{\alpha })\cong \ast _{\alpha }\pi _{1}(X_{\alpha })$ ғәҙәттәгесә бөтә $X_{\alpha }$ буйынса.
** (ике $A_{\alpha }$ осрағы): өсләтә киҫелеш өсөн шарт артыҡ булып китә, һәм $\pi _{1}(A_{1}\cup A_{2})\cong \pi _{1}(A_{1}){\mathbin {\ast _{\pi (A_{1}\cap A_{2})}}}\pi _{1}(A_{2})$ булыуы килеп сыға, был (һыҙыҡлы бәйләнешле $A_{1}\cap A_{2}$ осрағы) тетрәүҙәр һаҡланыуының сикләнгән формаһы була.
* Ирекле төркөмдәр һәм тик шулар ғына графтарҙың фундаменталь төркөмдәре була ала (ысынлап та, һөлдә ағасты нөктәгә йыйыу графтың һәм әйләнәләр бәйләменең гомотопиялы эквивалентлығын тормошҡа ашыра, шулай уҡ Кампен теоремаһын ҡулланырға була).
* Ирекле төркөм ике үлсәмле ситлекле комплекстың фундаменталь төркөмө була ала.
* Ирекле сикле бирелгән төркөм йомоҡ 4- үлсәмле төрлөлөктөң фундаменталь төркөмө була ала.
* Арауыҡтың фундаменталь төркөмө был арауыҡтың универсаль ҡапламаларына күсештәр менән тәьҫир итә.

# Фундаменталь төркөм
## Вариациялар һәм дөйөмләштереүҙәр

* Фундаменталь төркөм гомотопиялы төркөмдәрҙең беренсеһе була.
* $X$ арауығының фундаменталь төркөмө тип, объекттары булып $X$-тың нөктәләре, ә морфизмдары булып — юлдар композицияһы менән юлдарҙың гомотопиялы кластары торған $\Pi (X)$ төркөмдәре атала. Шуның менән бергә $\pi _{1}(X,x_{0})\cong \operatorname {Aut} _{\Pi (X)}x_{0}$, һәм әгәр $X$ һыҙыҡлы бәйләнешле булһа, ул саҡта $\pi _{1}(X,x_{0})\hookrightarrow \Pi (X)$ ҡушымтаһы категориялар эквивалентлығы була.