Devorlarning cheklanishiga to'sqinlik qilish - Walls finiteness obstruction - Wikipedia

Yilda geometrik topologiya, matematikadagi maydon, cheklangan hukmron makonga to'siq X bo'lish homotopiya-ekvivalenti cheklangangacha CW kompleksi bu uning Devorning cheklanishiga to'sqinlik qilish w (X) bu kamaytirilgan zerotdagi element algebraik K-nazariyasi integral guruh halqasi . U matematikning nomi bilan atalgan C. T. C. Devor.

Ishlari bo'yicha Jon Milnor[1] cheklangan ustunlikdagi bo'shliqlarda hech qanday umumiylik yo'qolmaydi X CW kompleksi bo'ling. A cheklangan hukmronlik ning X cheklangan CW kompleksidir K xaritalar bilan birgalikda va shu kabi . Milnor tufayli qurilishni kengaytirish mumkin r homotopiya ekvivalentiga qayerda dan olingan CW kompleksidir K nisbiy homotopiya guruhlarini o'ldirish uchun hujayralarni biriktirish orqali .

Bo'sh joy bo'ladi cheklangan agar barcha nisbiy homotopiya guruhlari cheklangan tarzda hosil qilingan bo'lsa. Uollning ta'kidlashicha, agar uning cheklangan to'siqlari yo'qolsa, shunday bo'ladi. Aniqrog'i, kosmik nazariyani qamrab olgan va Hurevich teoremasi aniqlash mumkin bilan . Keyin devor uyali zanjirning murakkabligini ko'rsatdi zanjir kompleksiga teng zanjirli-homotopiyadir chekli turdagi loyihaviy -modullar va bu agar faqat ushbu modullar mavjud bo'lsa, cheklangan ravishda yaratiladi barqaror. Barqaror bo'lmagan modullar qisqartirilgan K-nazariyasida yo'q bo'lib ketadi. Bu ta'rifni rag'batlantiradi

.

Shuningdek qarang

Adabiyotlar

  1. ^ Milnor, Jon (1959), "CW kompleksining homotopiya turiga ega bo'lgan bo'shliqlar to'g'risida", Amerika Matematik Jamiyatining operatsiyalari, 90 (2): 272–280