Homologi

Homologi mengukur lubang suatu ruang dalam setiap dimensi dengan menghitung siklus yang bukan batas, menghasilkan urutan grup abelian yang dapat dihitung dan kuat di bawah deformasi kontinu.

Definition

Homologi menetapkan ke suatu ruang urutan grup abelian yang didefinisikan sebagai hasil bagi siklus (rantai dengan batas nol) oleh batas (citra peta batas) dalam kompleks rantai; peringkatnya, bilangan Betti, menghitung lubang independen di setiap dimensi.

Scope

Topik ini mengembangkan kompleks rantai dan gagasan aljabar homologi sebagai siklus modulo batas, yang direalisasikan secara konkret melalui homologi simplisial, singular, dan seluler serta ditunjukkan kesesuaiannya pada ruang yang wajar. Ini mencakup sifat-sifat dasar — invarian homotopi, urutan eksak panjang dari pasangan, eksisi, dan urutan Mayer-Vietoris — yang membuat homologi dapat dihitung, bersama dengan teori derajat, bilangan Betti, dan karakteristik Euler. Kesetaraan berbagai konstruksi dan perhitungan untuk bola, permukaan, dan kompleks CW disertakan.

Core questions

• Bagaimana siklus modulo batas memformalkan gagasan intuitif tentang lubang n-dimensi?
• Mengapa homologi simplisial, singular, dan seluler setuju, dan mana yang terbaik untuk perhitungan?
• Bagaimana eksisi dan urutan Mayer-Vietoris mengurangi homologi suatu ruang menjadi bagian-bagian yang lebih sederhana?
• Informasi topologi apa yang ditangkap oleh bilangan Betti dan karakteristik Euler?

Key concepts

• Kompleks rantai, siklus, dan batas
• Homologi simplisial, singular, dan seluler serta kesepakatannya
• Urutan eksak panjang dari pasangan dan eksisi
• Urutan Mayer-Vietoris
• Bilangan Betti, karakteristik Euler, dan derajat peta

Clinical relevance

Homologi adalah invarian topologi yang paling penting: ia menggerakkan teori titik tetap dan irisan, klasifikasi manifold, karakteristik Euler dalam geometri dan kombinatorika, dan aplikasi modern seperti homologi persisten dalam analisis data topologi.

History

Bilangan Betti dan koefisien torsi Poincaré ditafsirkan ulang sebagai grup hasil bagi setelah Emmy Noether menekankan struktur grup pada tahun 1920-an; formulasi singular dan aksiomatik (Eilenberg-Steenrod) pada tahun 1940-an dan 1950-an memberikan homologi bentuk fungsional dan aksiomatik yang digunakan saat ini.

Key figures

• Henri Poincaré
• Emmy Noether
• Leopold Vietoris

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Apa perbedaan antara siklus dan batas?

Siklus adalah rantai yang batasnya nol (loop atau permukaan tertutup); batas adalah rantai yang merupakan batas dari rantai berdimensi lebih tinggi. Homologi mengukur siklus yang bukan batas — lubang sejati.

Mengapa homologi lebih mudah dihitung daripada homotopi?

Homologi memenuhi eksisi dan cocok dalam urutan eksak panjang, sehingga homologi suatu ruang dapat dirangkai dari bagian-bagian yang lebih sederhana; grup homotopi tidak memenuhi prinsip pemotongan semacam itu dan menolak perhitungan sistematis.