Isomorfisme itu apa sih?

Dalam matematika, isomorfisme adalah pemetaan pelestarian struktur antara dua struktur dengan tipe yang sama yang dapat dibalik dengan  pemetaan invers. Dua struktur matematika adalah isomorfik jika ada isomorfisme di antara keduanya. Kata isomorfisme berasal dari Yunani Kuno: ἴσος isos "sama", dan μορφή morphe "form" atau "shape".

Ketertarikan pada isomorfisme terletak pada kenyataan bahwa dua objek isomorfik memiliki properti yang sama (tidak termasuk informasi lebih lanjut seperti struktur tambahan atau nama objek).  Dengan demikian struktur isomorfik tidak dapat dibedakan dari sudut pandang struktur saja, dan dapat diidentifikasi. Dalam jargon matematika, seseorang mengatakan bahwa dua objek adalah  sama hingga sebuah isomorfisme .

Sebuah automorphism adalah isomorfisme dari suatu struktur ke dirinya sendiri. Isomorfisme antara dua struktur disebut isomorfisme kanonik jika hanya ada satu isomorfisme di antara dua struktur (seperti kasus solusi dari sifat universal), atau jika isomorfisme jauh lebih alami (dalam arti tertentu) daripada isomorfisme lainnya. Misalnya, untuk setiap bilangan prima , semua  bidang dengan elemen  kanonis isomorfik, dengan isomorfisme unik. Teorema isomorfisme memberikan isomorfisme kanonik yang tidak unik.

Istilah  isomorfisme  terutama digunakan untuk struktur aljabar. Dalam hal ini, pemetaan disebut homomorphism, dan homomorphism adalah isomorphism jika dan hanya jika itu bijektif.

Dalam berbagai bidang matematika, isomorfisme telah menerima nama khusus, bergantung pada jenis struktur yang dipertimbangkan. Sebagai contoh:

Sebuah isometri adalah isomorfisme dari ruang metrik.

A homeomorphism adalah isomorfisme dari ruang topologi.

A diffeomorphism adalah isomorfisma ruang yang dilengkapi dengan struktur diferensial, biasanya manifold terdiferensiasi.

A permutasi adalah automorfisme dari  himpunan.

Dalam geometri, isomorfisme dan automorfisme sering disebut  transformasi, misalnya transformasi kaku, transformasi affin, transformasi proyektif.

Category theory, yang dapat dilihat sebagai formalisasi konsep pemetaan antar struktur, menyediakan bahasa yang dapat digunakan untuk menyatukan pendekatan pada aspek-aspek berbeda dari ide dasar.