Sifat komutatif

Commutativity of binary operations (without question mark)

Dalam matematika, suatu operasi biner memiliki sifat komutatif jika mengubah urutan operan tidak mengubah hasilnya. Ini adalah sifat fundamental dari banyak operasi biner, dan banyak pembuktian matematika bergantung pada sifat ini. Sifat ini paling dikenal sebagai nama sifat yang mengatakan atau . Sifat ini juga dapat digunakan dalam situasi yang lebih rumit. Nama ini diperlukan karena ada operasi, seperti pembagian dan pengurangan, yang tidak memilikinya (misalnya, ); operasi semacam itu tidak bersifat komutatif, dan demikian disebut sebagai operasi nonkomutatif. Gagasan bahwa operasi sederhana, seperti perkalian dan penjumlahan bilangan, bersifat komutatif telah diasumsikan secara implisit selama bertahun-tahun. Dengan demikian, properti ini tidak dinamai sampai abad ke-19, ketika matematika mulai menjadi formal.^[1]^[2] Sifat yang terkait ada untuk relasi biner; suatu relasi biner dikatakan simetris jika relasi berlaku terlepas dari urutan operannya; misalnya, kesamaan bersifat simetris karena dua objek matematika yang sama adalah sama terlepas dari urutannya.^[3]

Penggunaan umum

Properti komutatif (atau hukum komutatif ) adalah properti yang umumnya terkait dengan operasi biner dan fungsi. Jika properti komutatif berlaku untuk sepasang elemen di bawah operasi biner tertentu, maka kedua elemen tersebut dikatakan ngelaju di bawah operasi.

Definisi Matematika

Istilah "komutatif" digunakan dalam beberapa pengertian terkait.^[4]^[5]

Contoh

Operasi komutatif

Dua contoh operasi biner komutatif yang terkenal:^[6]

Penambahan dari bilangan real bersifat komutatif, karena

y + z = z + y for all y, z \in ℝ

Misalnya 4 + 5 = 5 + 4, karena ekspresi sama dengan 9.

Perkalian dari bilangan real adalah komutatif, karena

y z = z y dari semua y, z \in ℝ

Misalnya, 3 × 5 = 5 × 3, karena kedua ekspresi sama dengan 15.

Sebagai konsekuensi langsung dari ini, itu juga berlaku bahwa ekspresi pada bentuk y% dari z dan y% dari z% adalah komutatif untuk semua bilangan real y dan z.^[7] Misalnya 64% dari 50 = 50% dari 64, karena kedua ekspresi sama dengan 32, dan 30% dari 50% = 50% dari 30%, karena kedua ekspresi tersebut sama dengan 15%.

Beberapa biner fungsi kebenaran juga komutatif, karena tabel kebenaran untuk fungsi-fungsinya sama ketika seseorang mengubah urutan operan.

Misalnya, fungsi biconditional logis p ↔ q ekivalen dengan q ↔ p. Fungsi ini juga ditulis sebagai p IFF q, atau sebagai p ≡ q, atau sebagai Epq.

Bentuk terakhir adalah contoh notasi paling ringkas dalam artikel tentang fungsi kebenaran, yang mencantumkan enam belas kemungkinan fungsi kebenaran biner yang delapan diantaranya adalah komutatif: Vpq = Vqp; Apq (ATAU) = Aqp; Dpq (NAND) = Dqp; Epq (IFF) = Eqp; Jpq = Jqp; Kpq (DAN) = Kqp; Xpq (MAUPUN) = Xqp; Opq = Oqp.

Contoh lebih lanjut dari operasi biner komutatif termasuk penambahan dan perkalian bilangan kompleks, penjumlahan dan perkalian skalar dari vektor, dan persimpangan dan persatuan dari himpunan.

Operasi nonkomutatif

Beberapa operasi biner nonkomutatif:^[8]

Pembagian dan pengurangan

Pembagian adalah nonkomutatif, sejak $1 \div 2 \neq 2 \div 1$ .

Pengurangan bersifat nonkomutatif, karena $0 - 1 \neq 1 - 0$ . Namun itu diklasifikasikan lebih tepatnya sebagai anti-komutatif, karena $0 - 1 = - (1 - 0)$ .

Fungsi kebenaran

Beberapa fungsi kebenaran adalah nonkomutatif, karena tabel kebenaran untuk fungsi berbeda ketika seseorang mengubah urutan operan. Misalnya, tabel kebenaran untuk dan adalah

Komposisi fungsi fungsi linier

Komposisi fungsi dari fungsi linier dari bilangan real ke bilangan real hampir selalu nonkomutatif. Misalnya, misalkan $f (x) = 2 x + 1$ dan $g (x) = 3 x + 7$ . Kemudian

(f \circ g) (x) = f (g (x)) = 2 (3 x + 7) + 1 = 6 x + 15

dan

(g \circ f) (x) = g (f (x)) = 3 (2 x + 1) + 7 = 6 x + 10

Ini juga berlaku lebih umum untuk linier dan transformasi affine dari ruang vektor ke dirinya sendiri (lihat di bawah untuk representasi Matriks).

Perkalian matriks

Matriks perkalian matriks kuadrat hampir selalu nonkomutatif, misalnya:

[\begin{matrix} 0 & 2 \\ 0 & 1 \end{matrix}] = [\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix}] \cdot [\begin{matrix} 0 & 1 \\ 0 & 1 \end{matrix}] \neq [\begin{matrix} 0 & 1 \\ 0 & 1 \end{matrix}] \cdot [\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix}] = [\begin{matrix} 0 & 1 \\ 0 & 1 \end{matrix}]

Produk vektor

Produk vektor (atau perkalian silang) dari dua vektor dalam tiga dimensi adalah anti-komutatif; yaitu, b × a = −(a × b).

Sejarah dan etimologi

Rekaman penggunaan implisit dari properti komutatif kembali ke zaman kuno. Para Mesir ian menggunakan properti komutatif dari perkalian untuk menyederhanakan komputasi produk.^[9]^[10] Euklides diketahui telah mengasumsikan properti komutatif perkalian dalam bukunya Elemen .^[11] Penggunaan formal properti komutatif muncul pada akhir abad ke-18 dan awal abad ke-19, ketika ahli matematika mulai mengerjakan teori fungsi. Saat ini properti komutatif adalah properti terkenal dan dasar yang digunakan di sebagian besar cabang matematika.

Penggunaan istilah komutatif yang tercatat pertama kali dalam sebuah memoar oleh François Servois pada tahun 1814,^[12]^[13] yang menggunakan kata komutatif saat mendeskripsikan fungsi yang memiliki apa yang sekarang disebut properti komutatif. Kata tersebut merupakan kombinasi dari kata Prancis commuter yang berarti "mengganti atau mengganti" dan sufiks -ative yang berarti "cenderung ke" sehingga kata tersebut secara harfiah berarti "cenderung mengganti atau beralih". Istilah tersebut kemudian muncul dalam bahasa Inggris pada tahun 1838^[14] dalam artikel Duncan Farquharson Gregory berjudul "Tentang sifat sebenarnya dari aljabar simbolik" yang diterbitkan pada tahun 1840 di Transaksi Royal Society of Edinburgh.^[15]

Logika proposisional

Kaidah penggantian

Dalam logika proposisional riil-fungsional, pergantian,^[16]^[17] atau komutatif^[18] mengacu pada dua valid kaidah penggantian. Kaidah memungkinkan untuk mengubah urutan variabel proposisional dalam ekspresi logika dalam bukti logis. Rumusnya adalah:

(P \lor Q) \Leftrightarrow (Q \lor P)

and

(P \land Q) \Leftrightarrow (Q \land P)

di mana " $\Leftrightarrow$ " adalah metalogika dari simbol yang menggunakan "bukti dengan formal".

Konektor fungsional riil

Komutatifita adalah sifat dari beberapa koneksi logika fungsi riil logika proposisional. Persamaan logika berikut menunjukkan bahwa komutativitas adalah sifat dari penghubung tertentu. Berikut ini adalah riil-fungsional tautologi.

Komutatifitas konjungsi: $(P \land Q) \leftrightarrow (Q \land P)$
Komutatifitas disjungsi: $(P \lor Q) \leftrightarrow (Q \lor P)$
Komutatifitas implikasi (disebut juga hukum permutasi): $(P \to (Q \to R)) \leftrightarrow (Q \to (P \to R))$
Komutatifitas kesetaraan (disebut juga hukum ekuivalen komutatif kompleks): $(P \leftrightarrow Q) \leftrightarrow (Q \leftrightarrow P)$

Teori himpunan

Dalam grup dan teori himpunan, struktur aljabar disebut sebagai komutatif ketika operan tertentu memenuhi sifat komutatif. Dalam cabang matematika yang lebih tinggi, yaitu analisis dan aljabar linear komutatifitas operasi terkenal (yaitu penambahan dan perkalian pada bilangan riil dan kompleks) sering digunakan (atau diasumsikan secara implisit) dalam pembuktian.^[19]^[20]^[21]

Struktur matematika dan komutatif

Semigrup komutatif adalah himpunan dengan operasi total dari asosiatif dan komutatif.
Jika operasi menggunakan elemen identitas maka elemen tersebut adalah monoid komutatif
Grup abelian, atau grup komutatif adalah grup di mana operasi grupnya adalah sifat komutatif.^[22]
Gelanggang komutatif adalah gelanggang di mana perkalian adalah komutatif.^[23]
Dalam bidang penjumlahan dan perkalian adalah sifat komutatif.^[24]

Sifat terkait

Asosiatif

Sifat asosiatif terkait erat dengan sifat komutatif. Sifat asosiatif dari ekspresi yang berisi dua atau lebih dari operasi yang sama; bahwa operasi urutan dilakukan tidak dipengaruhi hasil akhir, sebagai urutan persyaratan yang tidak dapat diubah. Sebaliknya, sifat komutatif; bahwa urutan suku tidak memengaruhi hasil akhir.

Sebagian besar operasi komutatif yang ditemukan dalam praktik bersifat asosiatif. Namun, komutativitas tidak menyiratkan asosiatif. Sebuah contoh luar adalah fungsi

f (x, y) = \frac{x + y}{2},

yang jelas sifat komutatif (mengganti x dan y tidak memengaruhi hasil), tetapi tidak asosiatif (misalnya, $f (- 4, f (0, + 4)) = - 1$ but $f (f (- 4, 0), + 4) = + 1$ ). Contoh lainnya dapat ditemukan di magma non-asosiatif komutatif.

Distributif

Simetri

Beberapa bentuk simetri dapat langsung dikaitkan dengan komutatifitas. Ketika operasi komutatif ditulis sebagai fungsi biner maka fungsi yang dihasilkan adalah simetris dengan melintasi garis y = x. Sebagai contoh, jika fungsi f menggunakan penjumlahan (operasi komutatif) sehingga f(x,y) = x + y, maka f adalah fungsi simetris yang dapat dilihat pada gambar di sebelahnya.

Untuk relasi, relasi simetri adalah analogi dengan operasi komutatif, di mana jika relasi R simetris, maka $a R b \Leftrightarrow b R a$ .

Operator non-komuter dalam mekanika kuantum

Dalam mekanika kuantum seperti yang dirumuskan oleh Schrödinger, variabel fisik diwakili oleh operator linier seperti x (artinya dikalikan dengan x), dan $\frac{d}{d x}$ . Kedua operator ini tidak bolak-balik seperti yang terlihat dengan mempertimbangkan efek komposisi mereka $x \frac{d}{d x}$ dan $\frac{d}{d x} x$ (juga disebut produk operator) pada fungsi gelombang satu dimensi $ψ (x)$ :

x \cdot \frac{d}{d x} ψ = x \cdot ψ^{'} \neq ψ + x \cdot ψ^{'} = \frac{d}{d x} (x \cdot ψ)

Menurut prinsip ketidakpastian dari Heisenberg, jika dua operator yang mewakili sepasang variabel tidak bolak-balik, maka pasangan variabel itu saling komplementer, yang artinya tidak dapat diukur atau diketahui secara bersamaan. Misalnya, posisi dan momentum linier dalam arah x sebuah partikel diwakili oleh operator $x$ and $- i ℏ \frac{\partial}{\partial x}$ , masing-masing (di mana $ℏ$ adalah konstanta Planck tereduksi). Ini adalah contoh yang sama kecuali konstanta $- i ℏ$ , jadi sekali lagi operator tidak bolak-balik dan arti fisiknya adalah bahwa posisi dan momentum linear dalam arah tertentu saling melengkapi.

Lihat pula

Properti antikomutatif
Pemusat dan penormal (juga disebut komutan)
Diagram komutatif
Komutatif (neurofisiologi)
Pembalik
Hukum genjang
Statistik partikel (untuk komutatifitas dalam fisika)
Properti kuasi-komutatif
Jejak monoid
Kemungkinan perjalanan

Catatan

Referensi

↑ Cabillón and Miller, Commutative and Distributive
↑ Mathematics in Victorian Britain. Oxford University Press. 2011. hlm. 4.
↑ sumber pada Wikipedia bahasa Indonesia
↑ Krowne, p.1
↑ Weisstein, Commute, p.1
↑ Krowne, p.1
↑ Compatible Numbers to Simplify Percent Problems.
↑ Yark, p.1.
↑ Lumpkin, p.11
↑ Gay and Shute, p.?
↑ O'Conner and Robertson, Real Numbers
↑ Cabillón and Miller, Commutative and Distributive
↑ O'Conner and Robertson, Servois
↑ Mathematics in Victorian Britain. Oxford University Press. 2011. hlm. 4.
↑ D. F. Gregory. On the real nature of symbolical algebra. 1840. Vol. 14. hlm. 208–216.
↑ Moore and Parker
↑ Irving M. Copi. Introduction to Logic. Prentice Hall. 2005.
↑ Patrick Hurley. A Concise Introduction to Logic 4th edition. Wadsworth Publishing. 1991.
↑ Axler, p.2
↑ Gallian, p.34
↑ p. 26,87
↑ Gallian, p.34
↑ Gallian p.236
↑ Gallian p.250

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29544284 (2026-08-09T09:38:49Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

[1] Cabillón and Miller, Commutative and Distributive

[2] Mathematics in Victorian Britain. Oxford University Press. 2011. hlm. 4.

[3] sumber pada Wikipedia bahasa Indonesia

[4] Krowne, p.1

[5] Weisstein, Commute, p.1

[6] Krowne, p.1

[7] Compatible Numbers to Simplify Percent Problems.

[8] Yark, p.1.

[9] Lumpkin, p.11

[10] Gay and Shute, p.?

[11] O'Conner and Robertson, Real Numbers

[12] Cabillón and Miller, Commutative and Distributive

[13] O'Conner and Robertson, Servois

[14] Mathematics in Victorian Britain. Oxford University Press. 2011. hlm. 4.

[15] D. F. Gregory. On the real nature of symbolical algebra. 1840. Vol. 14. hlm. 208–216.

[16] Moore and Parker

[17] Irving M. Copi. Introduction to Logic. Prentice Hall. 2005.

[18] Patrick Hurley. A Concise Introduction to Logic 4th edition. Wadsworth Publishing. 1991.

[19] Axler, p.2

[20] Gallian, p.34

[21] . 26,87

[22] Gallian, p.34

[23] Gallian p.236

[24] Gallian p.250

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]