Эстәлеккә күсергә

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

Википедия — ирекле энциклопедия мәғлүмәте

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

 — билдәләнгән нөктәле топологик арауыҡ булһын. -та нөктәһенән элмәктәр күмәклеген, йәғни булған өҙлөкһөҙ сағылыштар күмәклеген ҡарайыҡ. Ике һәм элмәктәре, әгәр улар элмәктәр класында бер береһенә гомотопиялы булһалар, йәғни уларҙы тоташтырыусы, үҙсәнлеген ҡәнәғәтләндергән гомотопияһы булһа, эквивалентлы тип иҫәпләнәләр. Ярашлы эквивалентлыҡ кластары гомотопиялы кластар тип аталалар. Ике элмәктең ҡабатландығы тип уларҙы эҙмә-эҙ үтеү менән билдәләнгән элмәк атала:

һәм гомотопиялы кластар ҡабатландығы тип элмәктәр ҡабатландығы гомотопиялы класс атала. Ул класс кластарҙа элмәктәрҙе һайлауға бәйле түгел икәнен күрһәтергә мөмкин. Элмәктәрҙең гомотопиялы кластар күмәклеге ошондай ҡабатлау менән төркөм булып китә. Был төркөм билдәләнгән нөктәһе менән арауығының фундаменталь төркөмө тип атала ла инде һәм тип тамғалана.

  • Тождестволы, йәки хәрәкәтһеҙ элмәк класы төркөмдөң берәмеге булып тора, кире элементы — кире йүнәлештә үтелгән элмәк класы.
  • Әгәр  — һыҙыҡлы бәйле арауыҡ булһа, ул саҡта фундаменталь төркөм изоморфизмға тиклем аныҡлыҡ менән билдәләнгән нөктәгә бәйле түгел. Шуға күрә бындай арауыҡтар өсөн, буталсыҡ килеп сығыуынан ҡурҡмайынса, урынына тип яҙырға мөмкин. Ләкин ике нөктәләре өсөн һәм араһында ҡанунлаштырылған изоморфизм тик фундаменталь төркөм Абель төркөмө булған осраҡта ғына бар.

Бәйле билдәләмәләр

[үҙгәртергә | сығанаҡты үҙгәртеү]
  • Пунктирләнгән арауыҡтарҙың һәр өҙлөкһөҙ сағылышы , формулаһы менән бирелгән сағылышын барлыҡҡа килтерә. тик гомотопиялы класына ғына бәйле, һәм һәм тигеҙлектәре үтәлә. Шулай итеп, тасуирланған операция менән фундаменталь төркөмдө алыу функторын барлыҡҡа килтерә.
  • -ҙа тик бер генә гомотопиялы элмәктәр класы бар. Ошонан сығып, фундаменталь төркөм тривиаль, . Шул уҡ теләһә ниндәй ҡабарынҡы аҫкүмәклеге арауығы өсөн дөрөҫ.
  • Бер үлсәмле сфераһында (әйләнәлә) һәр гомотопиялы класс әйләнәгә бирелгән һан тапҡыр уралған элмәктәрҙән тора, һан йүнәлешкә бәйле рәүештә ыңғай йәки тиҫкәре булырға мөмкин. Тимәк, бер үлсәмле әйләнәнең фундаменталь төркөмө бөтөн һандарҙың аддитив төркөмөнә изоморфлы.
  • -үлсәмле сфераның фундаменталь төркөмө бөтә булғанда тривиаль.
  • төрҙәге йүнәлешле йомоҡ йөҙҙөң фундаменталь төркөмө төҙөүселәре менән бер генә нисбәт менән бирелергә мөмкин: .
  • Әгәр  — -тың билдәләнгән нөктәһе ингән ретракты булһа, ул саҡта , ҡушымтаһы менән барлыҡҡа килтерелгән гомоморфизмы инъективлы.
    • Айырып әйткәндә, һыҙыҡлы бәйләнешлелегенең билдәләнгән нөктә ингән компонентының фундаменталь төркөмө бөтә фундаменталь төркөмөнә изоморфлы.
    • Әгәр  — -тың ҡәтғи деформацион ретракты булһа, ул саҡта изоморфизм була.
  • ҡабатландыҡты һаҡлай: билдәләнгән нөктәләре менән теләһә ниндәй һәм топологик арауыҡтар пары өсөн
һәм буйынса тәбиғи изоморфизм бар


  • ван Кампен теоремаһы: Әгәр  — һәр береһенә билдәләнгән нөктәһе ингән һыҙыҡлы бәйләнешле асыҡ күмәклектәрҙең берекмәһе булһа, һәм әгәр һәр киҫелеше һыҙыҡлы бәйләнешле булһа, ул саҡта ҡушымталары менән барлыҡҡа килтерелгән гомоморфизмы сюрьективлы. Бынан тыш, әгәр һәр киҫелеше һыҙыҡлы бәйләнешле булһа, ул саҡта гомоморфизмының үҙәге — ул -дың күренешендәге бөтә элементтар ингән иң бәләкәй нормаль аҫтөркөмө (бында ҡушымтаһы менән барлыҡҡа килтерелгән), шуға күрә изоморфизмын барлыҡҡа килтерә (изоморфизм тураһында беренсе теорема).[1] Атап әйткәндә,
    • коҡабатландыҡты һаҡлай: ғәҙәттәгесә бөтә буйынса.
    • (ике осрағы): өсләтә киҫелеш өсөн шарт артыҡ булып китә, һәм булыуы килеп сыға, был (һыҙыҡлы бәйләнешле осрағы) тетрәүҙәр һаҡланыуының сикләнгән формаһы була.

Вариациялар һәм дөйөмләштереүҙәр

[үҙгәртергә | сығанаҡты үҙгәртеү]
  • Фундаменталь төркөм гомотопиялы төркөмдәрҙең беренсеһе була.
  • арауығының фундаменталь төркөмө тип, объекттары булып -тың нөктәләре, ә морфизмдары булып — юлдар композицияһы менән юлдарҙың гомотопиялы кластары торған төркөмдәре атала. Шуның менән бергә , һәм әгәр һыҙыҡлы бәйләнешле булһа, ул саҡта ҡушымтаһы категориялар эквивалентлығы була.
  1. А. Хатчер, Алгебраическая топология, М.: МЦНМО, 2011.