Cosheaf - Cosheaf

Bu maqola bu yetim, boshqa maqolalar singari unga havola. Iltimos havolalar bilan tanishtirish dan ushbu sahifaga tegishli maqolalar; harakat qilib ko'ring Havola vositasini toping takliflar uchun. (2014 yil mart)

Topologiyada matematikaning bir bo'limi, a kosheaf an qiymatlari bilan ∞-toifasi C kolimitlarni tan oladigan funktsiyadir F topologik makonning ochiq pastki to'plamlari toifasidan X (aniqrog'i uning asab ) ga C shu kabi

• (1) The F bo'sh to'plamning boshlang'ich ob'ekti.
• (2) Har qanday ortib boruvchi ketma-ketlik uchun ${ displaystyle U_ {i}}$ birlashma bilan ochiq pastki to'plamlarning U, kanonik xarita ${ displaystyle varinjlim F (U_ {i}) dan F (U)} gacha$ ekvivalentlikdir.
• (3) ${ displaystyle F (U kubok V)}$ itarish ${ displaystyle F (U cap V) to F (U)})$ va ${ displaystyle F (U cap V) to F (V)})$.

Asosiy misol ${ displaystyle U mapsto C _ {*} (U; A)}$ qaerda o'ng tomonda singular zanjir kompleksi ning U abeliya guruhidagi koeffitsientlar bilan A.

Misol:^[1] Agar f doimiy xarita, keyin ${ displaystyle U mapsto f ^ {- 1} (U)}$ kosheaf.

Shuningdek qarang

• sheaf (matematika)

Izohlar

Adabiyotlar

• http://www.math.harvard.edu/~lurie/282ynotes/LectureVIII-Poincare.pdf
• http://arxiv.org/pdf/1303.3255v1.pdf , 3-bo'lim, xususan Thm 3.10 p. 34

Bu topologiya bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.