Topologi aljabar: Perbedaan antara revisi

Konten dihapus Konten ditambahkan

Sebaris

Revisi terkini sejak 20 Februari 2024 22.39

Sebuah torus, salah satu objek yang dikaji dalam 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[sunting | sunting sumber]

Berikut merupakan beberapa bidang utama dalam topologi aljabar.

Homotopi[sunting | sunting sumber]

Ekuivalensi homotopi dapat digunakan sebagai alat untuk melakukan klasifikasi ruang topologi. Dua buah ruang topologi $X,Y$ dikatakan ekuivalen secara homotopi apabila terdapat pemetaan $f:X\to Y$ , $g:Y\to X$ sehingga $g\circ f\simeq {\text{id}}_{X}$ dan $f\circ g\simeq {\text{id}}_{Y}$ , dengan $a\simeq b$ menyatakan bahwa $a$ homotopis dengan $b$ . Selain itu, digunakan juga grup homotopi dengan grup homotopi pertama merupakan grup fundamental yang menyimpan informasi terkait putaran pada suatu ruang topologi.

Homologi[sunting | sunting sumber]

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[sunting | sunting sumber]

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

Aspek teori kategori[sunting | sunting sumber]

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[sunting | sunting sumber]

Teorema titik tetap Brouwer: setiap pemetaan kontinu dari cakram satuan dimensi $n$ ke dirinya sendiri mempunyai suatu titik tetap
Teorema Borsuk-Ulam: setiap pemetaan kontinu dari bola berdimensi $n$ ke bidang Euclidean berdimensi $n$ 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[sunting | sunting sumber]

Hatcher, Allen (2002). Algebraic topology. Cambridge University Press. ISBN 0-521-79160-X. dan ISBN 0-521-79540-0.

May JP (1999). A Concise Course in Algebraic Topology (PDF). University of Chicago Press. Diakses tanggal 2008-09-27.
Chazal, Frédéric (11 Oktober 2017). "An Introduction to Topological Data Analysis". Diakses tanggal 16 Juni 2020.

@@ Baris 1: / Baris 1: @@
 [[Berkas:Torus.png|ka|jmpl|250x250px|Sebuah [[torus]], salah satu objek yang dikaji dalam 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.
+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 ==
@@ Baris 7: / Baris 7: @@
 === Homotopi ===
 Ekuivalensi homotopi dapat digunakan sebagai alat untuk melakukan klasifikasi ruang topologi. Dua buah ruang topologi <math>X, Y</math>dikatakan ekuivalen secara homotopi apabila terdapat pemetaan <math>f: X \to Y</math>, <math>g: Y \to X
-</math> sehingga <math>g \circ f \simeq \text{id}_X</math> dan <math>f \circ g \simeq \text{id}_Y</math>, dengan <math>a \simeq b</math> menyatakan bahwa <math>a</math> [[Homotopi|homotopis]] dengan <math>b</math>. Selain itu, digunakan juga grup homotopi dengan grup homotopi pertama merupakan grup fundamental yang menyimpan informasi terkait putaran pada suatu ruang topologi.
+</math> sehingga <math>g \circ f \simeq \text{id}_X</math> dan <math>f \circ g \simeq \text{id}_Y</math>, dengan <math>a \simeq b</math> menyatakan bahwa <math>a</math> [[Homotopi|homotopis]] dengan <math>b</math>. Selain itu, digunakan juga [[grup homotopi]] dengan grup homotopi pertama merupakan grup fundamental yang menyimpan informasi terkait putaran pada suatu ruang topologi.
 === Homologi ===
@@ Baris 16: / Baris 16: @@
 == 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.
+[[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 ==

l b s Topologi
Bidang	Topologi umum Aljabar Diferensial Digital Geometri berdimensi rendah Homologi kohomologi Kombinatorial Kontinum Teori himpunan
Konsep inti	Himpunan terbuka / Himpunan tertutup Kontinuitas Ruang kompak Hausdorff metrik seragam Homotopi grup homotopi grup fundamental Kompleks simplisial Kompleks CW Lipatan Ruang tercacah kedua
Kategori Portal Matematika Wikibuku Topik umum aljabar geometrik Publikasi