Topologi aljabar

Dalam matematika, khususnya aljabar dan topologi, topologi aljabar merupakan subbidang yang mempelajari topologi dengan memanfaatkan struktur-struktur dalam aljabar abstrak. Salah satu ide dasar dalam topologi aljabar adalah untuk mencari suatu invarian antara dua buah ruang topologi yang membantu melakukan klasifikasi ruang topologi atas homeomorfisme atau ekuivalensi homotopis.

 Bidang utama 
Berikut merupakan beberapa bidang utama dalam topologi aljabar.

 Homotopi 
Ekuivalensi homotopi dapat digunakan sebagai alat untuk melakukan klasifikasi ruang topologi. Dua buah ruang topologi dikatakan ekuivalen secara homotopi apabila terdapat pemetaan ,  sehingga  dan , dengan  menyatakan bahwa  homotopis dengan . Selain itu, digunakan juga grup homotopi dengan grup homotopi pertama merupakan grup fundamental yang menyimpan informasi terkait putaran pada suatu ruang topologi.

 Homologi 
Homologi menjadi salah satu alternatif untuk mengkaji klasifikasi ruang topologi, khususnya pada ruang topologi berdimensi tinggi. Hal ini dikarenakan grup homotopi yang lebih tinggi relatif sulit dihitung. Oleh karena itu, digunakanlah konsep homologi yang mengasosiasikan suatu barisan grup abel atau modul (dalam suatu rantai kompleks) dengan suatu ruang topologi.

 Kohomologi 
Kohomologi lahir sebagai konsep dual kategoris dari homologi. Jika homologi meninjau rantai kompleks, pada kohomologi ditinjau korantai kompleks.

 Aspek teori kategori 
Teori kategori lahir sebagai alat untuk bekerja dengan topologi aljabar. Oleh karena itu, ide-ide dalam topologi aljabar secara umum bersifat fungtorial. Sebagai contoh, homologi dapat dipandang sebagai fungtor dari kategori hTop (yakni kategori ruang topologi dengan morfisma kelas homotopis dari pemetaan kontinu) ke kategori Grp (yakni kategori grup). Hal ini memberikan asosiasi antara konsep-konsep di topologi dengan konsep-konsep di aljabar.

 Penerapan dan bidang terkait 

 Teorema titik tetap Brouwer: setiap pemetaan kontinu dari cakram satuan dimensi  ke dirinya sendiri mempunyai suatu titik tetap
 Teorema Borsuk-Ulam: setiap pemetaan kontinu dari bola berdimensi  ke bidang Euclidean berdimensi  mempunyai setidaknya satu pasang titik antipode
 Analisis data topologis: pendekatan analisis data menggunakan objek topologis, khususnya untuk data yang memiliki dimensionalitas tinggi. Salah satu alat utamanya adalah homologi persisten yang merupakan adaptasi homologi pada sekumpulan data

 Bacaan lebih lanjut 

  dan .