Lompat ke isi

Antiisomorfisme

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Dalam cabang dari matematika bernama teori kategori, antiisomorfisme (atau anti-isomorfisme) antara himpunan terstruktur A dan B adalah isomorfisme dari A ke lawan dari B. Ini juga ekuivalen dengan pernyataan bahwa kedua himpunan terstruktur tersebut isomorfisme dari lawan dari A ke B.[1] Himpunan-himpunan tersebut dikatakan anitiisomorfik jika terdapat antiisomorfisme antara dua struktur. Secara intuitif, mengatakan bahwa dua struktur matematika adalah antiisomorfik berarti bahwa kedua struktur tersebut pada dasarnya berlawanan satu sama lain. Konsep ini sangat berguna ketika diterapkan pada gelanggang.

Contoh sederhana

[sunting | sunting sumber]

Misalkan A adalah relasi biner (atau graf berarah) yang terdiri dari anggota {1,2,3} dan relasi biner yang didefinisikan sebagai berikut:

Misalkan B adalah himpunan relasi biner yang terdiri dari anggota {a,b,c} dan relasi biner yang didefinisikan sebagai berikut:

Perhatikan bahwa lawan dari B (dilambangkan Bop) adalah himpunan dari anggota yang sama dengan relasi biner yang berlawanan (yaitu, membalikkan semua busur dari grafik berarah):

Jika a, b, dan c diganti dengan 1, 2, dan 3, maka dapat dilihat bahwa masing-masing aturan pada Bop sama dengan beberapa aturan A. Hal ini mengartikan bahwa isomorfisme dapat didefinisikan dari A ke Bop dengan . merupakan antiisomorfisme antara A dan B.

Anti-isomorfisme gelanggang

[sunting | sunting sumber]

Dengan mengkhususkan bahasa umum dari teori kategori mengenai topik aljabar gelanggang, maka diperoleh pernyataan berikut: Misalkan R dan S adalah gelanggang dan f: RS adalah pemetaan bijeksi. Maka f adalah anti-isomorfisme gelanggang,[2] jika

Jika R = S, maka f adalah anti-automorphism gelanggang.

Contoh anti-automorfisme gelanggang dinyatakan sebagai pemetaan konjugat kuaternion:[3]

  1. ^ Pareigis 1970, hlm. 19
  2. ^ Jacobson 1948, hlm. 16
  3. ^ Baer 2005, hlm. 96

Referensi

[sunting | sunting sumber]