Isomorfisme

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. 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, atau jika isomorfisme jauh lebih alami daripada isomorfisme lainnya. Misalnya, untuk setiap bilangan prima p, semua bidang dengan elemen p 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.