Topologi aljabar

subbidang yang mempelajari topologi dengan memanfaatkan struktur-struktur dalam aljabar abstrak

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.

Sebuah torus, salah satu objek yang dikaji dalam topologi aljabar

Bidang utamaSunting

Berikut merupakan beberapa bidang utama dalam topologi aljabar.

HomotopiSunting

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.

HomologiSunting

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.

KohomologiSunting

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

Aspek teori kategoriSunting

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 terkaitSunting

  • 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 lanjutSunting