|
== Penggunaan umum ==
'' Properti komutatif '' (atau '' hukum komutatif '') adalah properti yang umumnya terkait dengan operasi biner dan [[Fungsi (matematika) | fungsi]]. Jika properti komutatif berlaku untuk sepasang elemen di bawah operasi biner tertentu, maka kedua elemen tersebut dikatakan '' ngelaju '' di bawah operasi.
== Definisi Matematika ==
=== Operasi nonkomutatif ===
Beberapa operasi biner nonkomutatif:<ref>Yark, p.1.</ref>
==== Pembagian dan pengurangan ====
| T | T | T | T
}}
==== Komposisi fungsi fungsi linier ====
dan
:<math>(g \circ f)(x) = g(f(x)) = 3(2x+1)+7 = 6x+10</math>
Ini juga berlaku lebih umum untuk [[peta linier | linier]] dan [[transformasi affine]] dari [[ruang vektor]] ke dirinya sendiri (lihat di bawah untuk representasi Matriks).
==== Perkalian matriks ====
==== Produk vektor ====
Produk vektor (atau [[perkalian silang]]) dari dua vektor dalam tiga dimensi adalah [[antikomutatif | anti-komutatif]]; yaitu, ''b'' × ''a'' = −(''a'' × ''b'').
== Sejarah dan etimologi ==
[[Berkas:Commutative Word Origin.PNG|right|thumb|250px|Penggunaan istilah pertama yang diketahui dalam Jurnal Prancis yang diterbitkan pada tahun 1814]]
Rekaman penggunaan implisit dari properti komutatif kembali ke zaman kuno. Para [[Mesir]] ian menggunakan properti komutatif dari [[perkalian]] untuk menyederhanakan komputasi [[Produk (matematika)|produk]].<ref>Lumpkin, p.11</ref><ref>Gay and Shute, p.?</ref> [[Euklides]] diketahui telah mengasumsikan properti komutatif perkalian dalam bukunya [[Elemen Euklides| '' Elemen '']].<ref>O'Conner and Robertson, ''Real Numbers''</ref> 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-Joseph Servois|François Servois]] pada tahun 1814,<ref name="ReferenceA">Cabillón and Miller, ''Commutative and Distributive''</ref><ref>O'Conner and Robertson, ''Servois''</ref> yang menggunakan kata '' komutatif '' saat mendeskripsikan fungsi yang memiliki apa yang sekarang disebut properti komutatif. Kata tersebut merupakan kombinasi dari kata Perancis '' 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<ref name=":0"/> dalam artikel [[Duncan Farquharson Gregory]] berjudul "Tentang sifat sebenarnya dari aljabar simbolik" yang diterbitkan pada tahun 1840 di [[Royal Society of Edinburgh|Transaksi Royal Society of Edinburgh]].<ref>{{Cite journal|author=D. F. Gregory|title=On the real nature of symbolical algebra|periodical=Transactions of the Royal Society of Edinburgh|volume=14|pages=208–216|year=1840|url=https://archive.org/details/transactionsofro14royal}}</ref>
== Logika proposisional ==
{{Main|Hubungan pergantian kanonis}}
Dalam [[Pengantar mekanika kuantum | mekanika kuantum]] seperti yang dirumuskan oleh [[Erwin Schrödinger | Schrödinger]], variabel fisik diwakili oleh [[operator linier]] seperti ''x'' (artinya dikalikan dengan ''x''), dan <math>\frac{d}{dx}</math>. Kedua operator ini tidak bolak-balik seperti yang terlihat dengan mempertimbangkan efek [[Komposisi fungsi | komposisi]] mereka <math>x \frac{d}{dx}</math> dan <math>\frac{d}{dx} x</math> (juga disebut produk operator) pada [[fungsi gelombang]] satu dimensi <math>\psi(x)</math>:
::<math> x\cdot {\mathrm{d}\over \mathrm{d}x}\psi = x\cdot \psi' \ \neq \ \psi + x\cdot \psi' = {\mathrm{d}\over \mathrm{d}x}\left( x\cdot \psi \right) </math>
Menurut [[prinsip ketidakpastian]] dari [[Werner Heisenberg | Heisenberg]], jika dua operator yang mewakili sepasang variabel tidak bolak-balik, maka pasangan variabel itu saling [[komplementaritas (fisika) | komplementer]], yang artinya tidak dapat diukur atau diketahui secara bersamaan. Misalnya, posisi dan [[momentum]] linier dalam arah '' x '' sebuah partikel diwakili oleh operator <math>x</math> and <math>-i \hbar \frac{\partial}{\partial x}</math>, masing-masing (di mana <math>\hbar</math> adalah [[konstanta Planck | konstanta Planck tereduksi]]). Ini adalah contoh yang sama kecuali konstanta <math>-i \hbar</math>, jadi sekali lagi operator tidak bolak-balik dan arti fisiknya adalah bahwa posisi dan momentum linear dalam arah tertentu saling melengkapi.
== Lihat pula ==
| 