Cebirsel Topoloji
Cebirsel topoloji, topolojik uzaylara gruplar, halkalar ve modüller gibi cebirsel değişmezler atayarak, birbirine sürekli olarak deforme edilemeyen uzayların hesaplanabilir cebir yoluyla ayırt edilmesini sağlamaktadır.
Tanım
Cebirsel topoloji, sürekli deformasyonla korunan ve topolojik problemleri cebirsel hesaplamalara dönüştüren, en önemlileri homotopi grupları, homoloji ve kohomoloji olmak üzere, cebirsel değişmezler aracılığıyla topolojik uzayların incelenmesidir.
Kapsam
Bu alan, uzayları homotopiye kadar sınıflandıran fonktöriyel değişmezleri (temel grup ve yüksek homotopi grupları), örtme uzayı kuramını, singüler ve simpleksel homolojiyi, çanak çarpım (cup-product) halka yapısına sahip kohomolojiyi ve bunları hesaplamak için kullanılan tam diziler ile CW kompleksleri mekanizmasını kapsamaktadır. Topolojik soruların cebire çevrilmesine vurgu yapmakta olup, nokta-küme temellerini (genel topoloji) ve diferansiyel ve Riemann geometrisinde ele alınan düzgün veya metrik incelikleri dışlamaktadır.
Alt konular
Temel sorular
- Cebirsel değişmezler, homeomorfik olmayan veya homotopi eşdeğeri olmayan uzayları nasıl ayırt edebilir?
- Hangi değişmezler hesaplanabilirdir ve tam diziler ile CW yapıları bunları nasıl hesaplanabilir kılmaktadır?
- Homoloji ve kohomoloji nasıl farklılık gösterir ve kohomoloji hangi ek yapıları (çarpımlar, dualite) taşır?
- Kolayca tanımlanabilen temel grup ile çok daha incelikli yüksek homotopi grupları arasındaki ilişki nedir?
Anahtar kavramlar
- Haritaların ve uzayların homotopisi ve homotopi eşdeğerliği
- Temel grup ve örtme uzayları
- Singüler ve simpleksel homoloji
- Kohomoloji, çanak çarpımlar (cup products) ve Poincaré dualitesi
- CW kompleksleri ve değişmezlerin fonktöriyelliği
Klinik önem
Cebirsel topoloji, geometri ve analiz boyunca kullanılan engel ve sınıflandırma araçları (sabit nokta teoremleri, yüzeylerin ve vektör demetlerinin sınıflandırılması, indeks kuramı ve karakteristik sınıflar) sağlamaktadır; ayrıca kategorik ve homolojik dili modern cebir ve matematiksel fiziğe nüfuz etmektedir.
Tarihçe
Konu, homolojiyi ve temel grubu tanıtan Poincaré'nin Analysis Situs (1895) adlı eserinde ortaya çıkmıştır. Emmy Noether'in 1920'lerde homolojiyi grup-kuramsal terimlerle yeniden formüle etmesi ve yüzyıl ortalarında kategori kuramı ile homolojik cebirin gelişimi, onu günümüzde öğretilen fonktöriyel disipline dönüştürmüştür.
Öne çıkan isimler
- Henri Poincaré
- Emmy Noether
- Allen Hatcher
İlgili konular
Temel eserler
- hatcher2002
- bredon1993
Sıkça sorulan sorular
- Bir uzaya cebirsel bir değişmez atamak ne anlama gelir?
- Bir değişmez, her uzaya bir grup veya halka, her sürekli haritaya ise bir homomorfizm atayan bir fonktördür; bu atama, homotopik haritaların aynı homomorfizmi indüklemesi şeklinde gerçekleşir, böylece homotopi eşdeğeri uzaylar izomorfik değişmezlere sahip olur.
- Yüksek homotopi grupları neden homolojiden çok daha zordur?
- Homotopi grupları oldukça hassastır ve hesaplamaya dirençlidir — kürelerin homotopi grupları bile büyük ölçüde bilinmemektedir — oysa homoloji, onu sistematik olarak hesaplanabilir kılan eksizyon ve uzun tam dizileri sağlamaktadır.