Yelimlash aksiomasi - Gluing axiom

Yilda matematika, yopishtiruvchi aksioma nima ekanligini aniqlash uchun kiritilgan dasta ${ displaystyle { mathcal {F}}}$ a topologik makon ${ displaystyle X}$ qoniqtirishi kerak, a ekanligini hisobga olib oldindan tayyorlangan, bu ta'rifi bo'yicha a qarama-qarshi funktsiya

${ displaystyle { mathcal {F}}: { mathcal {O}} (X) rightarrow C}$

toifaga ${ displaystyle C}$ dastlab qaysi biri bo'lishi kerak to'plamlar toifasi. Bu yerda ${ displaystyle { mathcal {O}} (X)}$ bo'ladi qisman buyurtma ning ochiq to'plamlar ning ${ displaystyle X}$ tomonidan buyurtma qilingan inklyuziya xaritalari; va o'ziga xosligi bilan standart tarzda kategoriya sifatida qaraladi morfizm

${ displaystyle U rightarrow V}$

agar ${ displaystyle U}$ a kichik to'plam ning ${ displaystyle V}$va boshqasi yo'q.

Sifatida ifodalangan dasta maqola, ma'lum bir aksioma mavjud ${ displaystyle F}$ qondirish kerak, har qanday uchun ochiq qopqoq ochiq to'plamning ${ displaystyle X}$. Masalan, berilgan to'plamlar ${ displaystyle U}$ va ${ displaystyle V}$ bilan birlashma ${ displaystyle X}$ va kesishish ${ displaystyle W}$, talab qilinadigan shart bu

${ displaystyle { mathcal {F}} (X)}$ ning pastki qismi ${ displaystyle { mathcal {F}} (U) times { mathcal {F}} (V)}$ Teng rasm bilan ${ displaystyle { mathcal {F}} (W)}$

Kamroq rasmiy tilda, a Bo'lim ${ displaystyle s}$ ning ${ displaystyle F}$ ustida ${ displaystyle X}$ er-xotin bo'lim tomonidan teng darajada yaxshi berilgan:${ displaystyle (s ', s' ')}$ kuni ${ displaystyle U}$ va ${ displaystyle V}$ mos ravishda, bu ma'noda "rozi" ${ displaystyle s '}$ va ${ displaystyle s ''}$ ichida umumiy tasavvurga ega bo'lish ${ displaystyle { mathcal {F}} (W)}$ tegishli cheklash xaritalari ostida

${ displaystyle { mathcal {F}} (U) rightarrow { mathcal {F}} (W)}$

va

${ displaystyle { mathcal {F}} (V) rightarrow { mathcal {F}} (W)}$.

Shifalar nazariyasidagi birinchi katta to'siq, buni ko'rishdir yopishtirish yoki yamoq aksioma - geometrik vaziyatlarda odatiy fikrdan to'g'ri mavhumlik. Masalan, a vektor maydoni a qismidir teginish to'plami a silliq manifold; bu ikkita ochiq to'plamning birlashmasidagi vektor maydoni (ko'pi bilan kami yo'q) ikki to'plamdagi bir-biriga mos keladigan vektor maydonlari ekanligini aytadi.

Ushbu asosiy tushunchani hisobga olgan holda, nazariyada qo'shimcha muammolar mavjud va ba'zilari bu erda ko'rib chiqiladi. Boshqa yo'nalish bu Grotendik topologiyasi, yana biri - "mahalliy mavjudot" ning mantiqiy holati (qarang) Kripke –Joyal semantikasi ).

Cheklovlarni olib tashlash C

Ushbu ta'rifni istalgan toifada ishlaydigan tarzda qayta o'zgartirish uchun ${ displaystyle C}$ etarlicha tuzilishga ega bo'lganligi sababli, biz (G) chaqiradigan diagrammada yuqoridagi ta'rifda ishtirok etgan narsalar va morfizmlarni "yopishtirish" uchun yozishimiz mumkinligini ta'kidlaymiz:

${ displaystyle { mathcal {F}} (U) rightarrow prod _ {i} { mathcal {F}} (U_ {i}) {{{}} atop longrightarrow} atop { longrightarrow atop {}}} prod _ {i, j} { mathcal {F}} (U_ {i} cap U_ {j})}$

Bu erda birinchi xarita cheklash xaritalari mahsulotidir

${ displaystyle {res} _ {U, U_ {i}}: { mathcal {F}} (U) rightarrow { mathcal {F}} (U_ {i})}$

va har bir o'q o'qi ikkita cheklovni bildiradi

${ displaystyle res_ {U_ {i}, U_ {i} cap U_ {j}}: { mathcal {F}} (U_ {i}) rightarrow { mathcal {F}} (U_ {i} ) shapka U_ {j})}$

va

${ displaystyle res_ {U_ {j}, U_ {i} cap U_ {j}}: { mathcal {F}} (U_ {j}) rightarrow { mathcal {F}} (U_ {i} ) shapka U_ {j})}$.

Shuni ta'kidlash joizki, ushbu xaritalar barcha cheklash xaritalarini o'z ichiga oladi ${ displaystyle U}$, ${ displaystyle U_ {i}}$, va ${ displaystyle U_ {i} cap U_ {j}}$.

Uchun shart ${ displaystyle { mathcal {F}}}$ shef bo'lish aynan shu narsa ${ displaystyle { mathcal {F}}}$ bo'ladi chegara diagrammaning. Bu yopishtiruvchi aksiomaning to'g'ri shaklini taklif qiladi:

Old eshitish vositasi ${ displaystyle { mathcal {F}}}$ har qanday ochiq to'plam uchun bo'lsa, bu to'plamdir ${ displaystyle U}$ va har qanday ochiq to'plamlar to'plami ${ displaystyle {U_ {i} } _ {i in I}}$ kimning birlashmasi ${ displaystyle U}$, ${ displaystyle { mathcal {F}} (U)}$ yuqoridagi diagrammaning chegarasi (G).

Yelimli aksiomani tushunishning usullaridan biri bu "qo'llanilmagan" ${ displaystyle { mathcal {F}}}$ ga (G) quyidagi diagramma beriladi:

${ displaystyle coprod _ {i, j} U_ {i} cap U_ {j} {{{} atop longrightarrow} atop { longrightarrow atop {}}} coprod _ {i} U_ {i } o'ng chiziq U}$

Bu yerda ${ displaystyle U}$ bo'ladi kolimit ushbu diagrammaning. Yelimlash aksiomasi buni aytadi ${ displaystyle { mathcal {F}}}$ bunday diagrammalarning chegaralarini chegaralarga aylantiradi.

Ochiq to'plamlar asosida shkaflar

Ba'zi toifalarda, faqat ba'zi qismlarini ko'rsatib, pog'onani qurish mumkin. Xususan, ruxsat bering ${ displaystyle X}$ bilan topologik makon bo'ling asos ${ displaystyle {B_ {i} } _ {i in I}}$. Biz toifani belgilashimiz mumkin O′(X) to'liq subkategori bo'lish ${ displaystyle { mathcal {O}} (X)}$ ob'ektlari ${ displaystyle {B_ {i} }}$. A B-to'plam kuni ${ displaystyle X}$ qiymatlari bilan ${ displaystyle C}$ qarama-qarshi funktsiyadir

${ displaystyle { mathcal {F}}: { mathcal {O}} '(X) rightarrow C}$

bu to'plamlar uchun yopishtiruvchi aksiomani qondiradi ${ displaystyle { mathcal {O}} '(X)}$. Ya'ni, ochiq to'plamlarning tanlovi bo'yicha ${ displaystyle X}$, ${ displaystyle { mathcal {F}}}$ pog'onaning barcha bo'limlarini belgilaydi va boshqa ochiq to'plamlarda u aniqlanmagan.

B-gilamchalar gilamchalarga teng (ya’ni gilalar kategoriyasi B-kovaklar toifasiga teng).^[1] Shubhasiz, bir dasta ${ displaystyle X}$ B-sheaf bilan cheklanishi mumkin. Boshqa yo'nalishda, B-to'plami berilgan ${ displaystyle { mathcal {F}}}$ bo'limlarini aniqlashimiz kerak ${ displaystyle { mathcal {F}}}$ ning boshqa ob'ektlarida ${ displaystyle { mathcal {O}} (X)}$. Buning uchun har bir ochiq to'plam uchun e'tibor bering ${ displaystyle U}$, biz to'plamni topa olamiz ${ displaystyle {B_ {j} } _ {j in J}}$ kimning birlashmasi ${ displaystyle U}$. To'liq aytganda, bu tanlov amalga oshiriladi ${ displaystyle U}$ ning to'liq pastki toifasidagi kolimit ${ displaystyle { mathcal {O}} '(X)}$ kimning ob'ektlari ${ displaystyle {B_ {j} } _ {j in J}}$. Beri ${ displaystyle { mathcal {F}}}$ qarama-qarshi, biz aniqlaymiz ${ displaystyle { mathcal {F}} '(U)}$ bo'lish chegara ning ${} displaystyle {{ mathcal {F}} (B) } _ {j in J}}$ cheklash xaritalariga nisbatan. (Bu erda biz ushbu chegara mavjud deb taxmin qilishimiz kerak ${ displaystyle C}$.) Agar ${ displaystyle U}$ asosiy ochiq to'plam, keyin ${ displaystyle U}$ ning yuqoridagi pastki toifasining terminal ob'ekti hisoblanadi ${ displaystyle { mathcal {O}} '(X)}$va shuning uchun ${ displaystyle { mathcal {F}} '(U) = { mathcal {F}} (U)}$. Shuning uchun, ${ displaystyle { mathcal {F}} '}$ uzaytiradi ${ displaystyle { mathcal {F}}}$ oldindan eshitish vositasiga ${ displaystyle X}$. Buni tasdiqlash mumkin ${ displaystyle { mathcal {F}} '}$ bu to'plamdir, chunki har bir ochiq qopqoqning har bir elementi ${ displaystyle X}$ - bu elementlarning birlashmasi (asosning ta'rifi bilan) va ochiq qopqoqdagi elementlarning har ikkala juft kesishishi ${ displaystyle X}$ bazaviy elementlarning birlashmasi (yana asos ta'rifi bilan).

Ning mantiqi C

Sheaf nazariyasining birinchi ehtiyojlari shamlardan iborat edi abeliy guruhlari; shuning uchun toifani olish ${ displaystyle C}$ sifatida abeliya guruhlari toifasi faqat tabiiy edi. Masalan, geometriyaga oid dasturlarda murakkab manifoldlar va algebraik geometriya, a. g'oyasi to'plami mahalliy halqalar markaziy hisoblanadi. Biroq, bu bir xil narsa emas; a o'rniga bitta gapiradi mahalliy qo'ng'iroq qilingan bo'shliq, chunki unchalik katta bo'lmagan holatlar bundan mustasno, bunday pog'onaning a funktsiyasiga kirishi haqiqat emas mahalliy halqalar toifasi. Bu sopi to'plamlardan emas, balki mahalliy halqalardan iborat po'stin bo'limlar (qaysiki uzuklar, lekin umuman olganda bo'lishga yaqin emas mahalliy). Biz mahalliy halqali maydon haqida o'ylashimiz mumkin ${ displaystyle X}$ qarab, mahalliy uzuklarning parametrlangan oilasi sifatida ${ displaystyle x}$ yilda ${ displaystyle X}$.

Ehtiyotkorlik bilan olib borilgan munozara bu erda har qanday sirni yo'q qiladi. Biror abel guruhi yoki uzuklari haqida erkin gapirish mumkin, chunki ular shunday algebraik tuzilmalar (agar talab qilinsa, aniq bir tarzda belgilanadi imzo ). Har qanday toifa ${ displaystyle C}$ ega bo'lish cheklangan mahsulotlar g'oyasini qo'llab-quvvatlaydi guruh ob'ekti, ba'zilari faqat guruhga qo'ng'iroq qilishni afzal ko'rishadi yilda ${ displaystyle C}$. Bunday sof algebraik tuzilishda biz gaplashishimiz mumkin yoki abelyan guruhlari toifasidagi qadriyatlarga ega sheafning yoki to'plamlar to'plami toifasidagi abeliya guruhi; bu haqiqatan ham muhim emas.

Mahalliy halqa ishida bu muhim ahamiyatga ega. Mahalliy halqaning toifada nimani anglatishini tasvirlash uchun asos darajasida biz ta'rifning ikkinchi uslubidan foydalanishimiz kerak. Bu mantiqiy masala: mahalliy halqa uchun aksiomalar foydalanishni talab qiladi ekzistensial miqdoriy miqdor, har qanday kishi uchun shaklda ${ displaystyle r}$ ringda, ulardan biri ${ displaystyle r}$ va ${ displaystyle 1-r}$ bu teskari. Bu toifadagi strukturani qo'llab-quvvatlagan taqdirda, "toifadagi mahalliy halqa" nima bo'lishi kerakligini ko'rsatishga imkon beradi.

Soflash

Berilgan eshitish vositasini burish uchun ${ displaystyle { mathcal {P}}}$ to'plamga ${ displaystyle { mathcal {F}}}$, deb nomlangan standart qurilma mavjud qirqish yoki qirqish. Hech bo'lmaganda prekast to'plamlar uchun nima qilish kerakligi haqida taxminiy sezgi ekvivalentlik munosabatlarini joriy etishdan iborat bo'lib, bu muqobillarni qoplash orqali turli qopqoqlar tomonidan berilgan ma'lumotlarning ekvivalentligini keltirib chiqaradi. Bitta yondashuv - ga o'tish sopi va tiklash shoxli bo'shliq ning iloji boricha dasta ${ displaystyle { mathcal {F}}}$ dan ishlab chiqarilgan ${ displaystyle { mathcal {P}}}$.

Tilning bunday ishlatilishi biz bu erda ish olib borayotganimizni qat'iyan tasdiqlaydi qo'shma funktsiyalar. Shuning uchun, chiziqlar ustida turganini kuzatish mantiqan ${ displaystyle X}$ shakl to'liq pastki toifa oldindan tayyorlanadigan sochlar ${ displaystyle X}$. Bunda bevosita a bintlarning morfizmi a dan boshqa narsa emas tabiiy o'zgarish funktsiyalar sifatida qaraladigan qatlamlarning. Shuning uchun biz sheafifikatsiyani mavhum tavsifini olamiz chap qo'shma kiritish uchun. Tabiiyki, ba'zi bir ilovalarda tavsifga ehtiyoj bor.

Ko'proq mavhum tilda, chiziqlar ${ displaystyle X}$ shakl aks ettiruvchi pastki toifa oldingi sochlar (Mac Lane–Moerdijk Geometriya va mantiq sohalari p. 86). Yilda topos nazariyasi, uchun Lawvere-Terney topologiyasi va uning qirralari, shunga o'xshash natija mavjud (o'sha erda. 227-bet).

Boshqa yopishtiruvchi aksiomalar

Sheaf nazariyasining yopishtiruvchi aksiomasi ancha umumiydir. Shuni ta'kidlash mumkinki Mayer-Vietoris aksiomasi ning homotopiya nazariyasi masalan, bu alohida holat.

Shuningdek qarang

• Yelimlash sxemalari

Izohlar

Adabiyotlar

• Grotendik, Aleksandr; Dieudonne, Jan (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Mathématiques de l'IHÉS nashrlari. 4. doi:10.1007 / bf02684778. JANOB  0217083.