Homoloji
Homoloji, bir uzayın her boyuttaki deliklerini, sınır olmayan döngüleri sayarak ölçmekte, bu sayede hesaplanabilir ve sürekli deformasyon altında sağlam olan bir abelyen gruplar dizisi üretmektedir.
Tanım
Homoloji, bir uzaya, bir zincir kompleksinde döngülerin (sınırı sıfır olan zincirler) sınırlara (sınır haritasının görüntüleri) bölümü olarak tanımlanan bir abelyen gruplar dizisi atamaktadır; sıraları olan Betti sayıları, her boyuttaki bağımsız delikleri saymaktadır.
Kapsam
Bu konu, zincir komplekslerini ve homolojinin cebirsel kavramını (sınır modülü döngüler olarak) geliştirmektedir; bu kavram, simpleksel, singüler ve hücresel homoloji aracılığıyla somut olarak gerçekleştirilmekte ve makul uzaylarda uyumlu olduğu gösterilmektedir. Homolojiyi hesaplanabilir kılan temel özellikler — homotopi değişmezliği, bir çiftin uzun kesin dizisi, eksizyon ve Mayer-Vietoris dizisi — derece teorisi, Betti sayıları ve Euler karakteristiği ile birlikte ele alınmaktadır. Çeşitli yapıların denkliği ve küreler, yüzeyler ve CW kompleksleri için hesaplamalar da dahil edilmektedir.
Temel sorular
- Sınır modülü döngüler, n-boyutlu bir deliğin sezgisel fikrini nasıl biçimlendirmektedir?
- Simpleksel, singüler ve hücresel homoloji neden uyumludur ve hesaplama için hangisi en iyisidir?
- Eksizyon ve Mayer-Vietoris dizisi, bir uzayın homolojisini daha basit parçalarınkine nasıl indirgemektedir?
- Betti sayıları ve Euler karakteristiği hangi topolojik bilgiyi yakalamaktadır?
Anahtar kavramlar
- Zincir kompleksleri, döngüler ve sınırlar
- Simpleksel, singüler ve hücresel homoloji ve bunların uyumu
- Bir çiftin uzun kesin dizisi ve eksizyon
- Mayer-Vietoris dizisi
- Betti sayıları, Euler karakteristiği ve bir haritanın derecesi
Klinik önem
Homoloji, topolojinin temel değişmezidir: sabit nokta ve kesişim teorilerini, manifoldların sınıflandırılmasını, geometri ve kombinatorikteki Euler karakteristiğini ve topolojik veri analizindeki kalıcı homoloji gibi modern uygulamaları desteklemektedir.
Tarihçe
Poincaré'nin Betti sayıları ve torsiyon katsayıları, Emmy Noether'in 1920'lerde grup yapısını vurgulamasından sonra bölüm grupları olarak yeniden yorumlanmıştır; 1940'lar ve 1950'lerdeki singüler ve aksiyomatik (Eilenberg-Steenrod) formülasyonlar, homolojiye günümüzde kullanılan fonktöriyel, aksiyomatik şeklini vermiştir.
Öne çıkan isimler
- Henri Poincaré
- Emmy Noether
- Leopold Vietoris
İlgili konular
Temel eserler
- hatcher2002
- bredon1993
Sıkça sorulan sorular
- Bir döngü ile bir sınır arasındaki fark nedir?
- Bir döngü, sınırı sıfır olan bir zincirdir (kapalı bir döngü veya yüzey); bir sınır ise, kendisi daha yüksek boyutlu bir zincirin sınırı olan bir zincirdir. Homoloji, sınır olmayan döngüleri — yani gerçek delikleri — ölçmektedir.
- Homoloji, homotopiden neden daha kolay hesaplanmaktadır?
- Homoloji, eksizyonu sağlamakta ve uzun kesin dizilere uymaktadır, bu nedenle bir uzayın homolojisi daha basit parçalardan bir araya getirilebilmektedir; homotopi grupları ise böyle bir kesme ilkesini sağlamamakta ve sistematik hesaplamaya direnç göstermektedir.