همولوژی
همولوژی حفرههای یک فضا را در هر بُعد با شمارش چرخههایی که مرز نیستند، اندازهگیری میکند و دنبالهای از گروههای آبلی تولید میکند که قابل محاسبه و در برابر تغییر شکل پیوسته مقاوم هستند.
Definition
همولوژی به یک فضا دنبالهای از گروههای آبلی را اختصاص میدهد که به عنوان خارج قسمت چرخهها (زنجیرههایی با مرز صفر) بر مرزها (تصاویر نگاشت مرزی) در یک کمپلکس زنجیرهای تعریف میشوند؛ رتبههای آن، یعنی اعداد بتی، حفرههای مستقل را در هر بُعد شمارش میکنند.
Scope
این مبحث، کمپلکسهای زنجیرهای و مفهوم جبری همولوژی را به عنوان چرخهها به پیمانه مرزها توسعه میدهد که به طور عینی از طریق همولوژی سیمپلیسیال، منفرد و سلولی تحقق مییابد و نشان داده میشود که در فضاهای معقول با یکدیگر توافق دارند. این مبحث ویژگیهای بنیادی — ناوردایی هموتوپی، دنباله دقیق بلند یک جفت، برش، و دنباله مایر-ویتوریس — را پوشش میدهد که همولوژی را قابل محاسبه میسازند، همراه با نظریه درجه، اعداد بتی، و مشخصه اویلر. همارزی ساختارهای مختلف و محاسبه برای کرهها، سطوح، و کمپلکسهای CW نیز گنجانده شده است.
Core questions
- چگونه چرخهها به پیمانه مرزها ایده شهودی یک حفره n-بعدی را رسمی میکنند؟
- چرا همولوژی سیمپلیسیال، منفرد و سلولی با هم توافق دارند و کدام یک برای محاسبه بهتر است؟
- چگونه برش و دنباله مایر-ویتوریس همولوژی یک فضا را به همولوژی قطعات سادهتر آن کاهش میدهند؟
- اعداد بتی و مشخصه اویلر چه اطلاعات توپولوژیکی را به دست میدهند؟
Key concepts
- کمپلکسهای زنجیرهای، چرخهها و مرزها
- همولوژی سیمپلیسیال، منفرد و سلولی و توافق آنها
- دنباله دقیق بلند یک جفت و برش
- دنباله مایر-ویتوریس
- اعداد بتی، مشخصه اویلر و درجه یک نگاشت
Clinical relevance
همولوژی ناوردا (invariant) اصلی توپولوژی است: این مفهوم نظریه نقطه ثابت و تقاطع، طبقهبندی منیفلدها، مشخصه اویلر در هندسه و ترکیبیات، و کاربردهای مدرن مانند همولوژی پایدار در تحلیل دادههای توپولوژیکی را تقویت میکند.
History
اعداد بتی و ضرایب پیچش پوانکاره پس از تأکید امی نوتر بر ساختار گروهی در دهه ۱۹۲۰، به عنوان گروههای خارج قسمت بازتفسیر شدند؛ فرمولبندیهای منفرد و بدیهی (آیلنبرگ-استینرود) دهههای ۱۹۴۰ و ۱۹۵۰ به همولوژی شکل تابعی و بدیهی مورد استفاده امروزی را بخشیدند.
Key figures
- Henri Poincaré
- Emmy Noether
- Leopold Vietoris
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- تفاوت بین یک چرخه و یک مرز چیست؟
- یک چرخه، زنجیرهای است که مرز آن صفر است (یک حلقه یا سطح بسته)؛ یک مرز، زنجیرهای است که خود مرز یک زنجیره با ابعاد بالاتر است. همولوژی چرخههایی را اندازهگیری میکند که مرز نیستند — حفرههای واقعی.
- چرا محاسبه همولوژی آسانتر از هموتوپی است؟
- همولوژی از خاصیت برش (excision) پیروی میکند و در دنبالههای دقیق بلند جای میگیرد، بنابراین همولوژی یک فضا را میتوان از قطعات سادهتر آن به دست آورد؛ گروههای هموتوپی از چنین اصل برشی پیروی نمیکنند و در برابر محاسبه سیستماتیک مقاومت میکنند.