Zig-zag lemma - Zig-zag lemma - Wikipedia

Yilda matematika, ayniqsa gomologik algebra, zig-zag lemma ma'lum bir narsaning mavjudligini tasdiqlaydi uzoq aniq ketma-ketlik ichida homologiya guruhlari albatta zanjirli komplekslar. Natija har birida amal qiladi abeliya toifasi.

Bayonot

Abeliya toifasida (masalan, toifasi kabi) abeliy guruhlari yoki toifasi vektor bo'shliqlari berilgan ustidan maydon ), ruxsat bering va quyidagilarga mos keladigan zanjirli komplekslar bo'ling qisqa aniq ketma-ketlik:

Bunday ketma-ketlik quyidagilar uchun stenografiyadir komutativ diagramma:

zanjir majmualarining qisqa aniq ketma-ketligini komutativ diagrammasi

qatorlar qaerda aniq ketma-ketliklar va har bir ustun a zanjirli kompleks.

Zig-zag lemma chegara xaritalari to'plami mavjudligini ta'kidlamoqda

bu quyidagi ketma-ketlikni aniq qiladi:

homologiyada Zig-Zag Lemma tomonidan berilgan uzoq aniq ketma-ketlik

Xaritalar va gomologiya keltirib chiqaradigan odatiy xaritalar. Chegaraviy xaritalar quyida tushuntirilgan. Lemmaning nomi ketma-ketlikdagi xaritalarning "zig-zag" xatti-harakatlaridan kelib chiqadi. Zig-zag lemmasining variantli versiyasi odatda "ilon lemmasi "(quyida keltirilgan zig-zag lemma isbotining mohiyatini chiqaradi).

Chegaraviy xaritalarni qurish

Xaritalar argumentni ta'qib qilishning standart diagrammasi yordamida aniqlanadi. Ruxsat bering sinfni ifodalaydi , shuning uchun . Qatorning aniqligi shuni anglatadi sur'ektivdir, shuning uchun ham ba'zi bo'lishi kerak bilan . Diagrammaning kommutativligi bo'yicha,

Aniqligi bo'yicha,

Shunday qilib, beri in'ektsion, noyob element mavjud shu kabi . Bu tsikl, chunki in'ektsion va

beri . Anavi, . Buning ma'nosi tsikl, shuning uchun u sinfni ifodalaydi . Endi biz aniqlay olamiz

Belgilangan chegara xaritalari bilan ularning aniq belgilanganligini ko'rsatish mumkin (ya'ni tanlovidan mustaqil) v va b). Dalil yuqoridagi kabi dalillarni ta'qib qilish diagrammasidan foydalanadi. Bunday dalillardan gomologiyada ketma-ketlikning har bir guruhda aniqligini ko'rsatish uchun ham foydalaniladi.

Shuningdek qarang

Adabiyotlar

  • Xetcher, Allen (2002). Algebraik topologiya. Kembrij universiteti matbuoti. ISBN  0-521-79540-0.
  • Lang, Serj (2002), Algebra, Matematikadan aspirantura matnlari, 211 (Uchinchi tahrirda qayta ko'rib chiqilgan), Nyu-York: Springer-Verlag, ISBN  978-0-387-95385-4, JANOB  1878556
  • Munkres, Jeyms R. (1993). Algebraik topologiyaning elementlari. Nyu-York: Westview Press. ISBN  0-201-62728-0.