Tính giao hoán

Phép toán ${\displaystyle \circ }$ có tính giao hoán khi và chỉ khi ${\displaystyle x\circ y=y\circ x}$ với mọi ${\displaystyle x}$ và ${\displaystyle y}$. Bức ảnh này mô tả rõ khái niệm của phép toán dưới hình ảnh của "máy tính toán". Đầu ra của cỗ máy không phụ thuộc vào ${\displaystyle x\circ y}$ hay ${\displaystyle y\circ x}$ tương ứng với các tham số đầu vào ${\displaystyle x}$ và ${\displaystyle y}$ có – giá trị tính ra sẽ đều như nhau.
Loại	Luật, quy tắc thay
Lĩnh vực	Đại số sơ cấp Đại số Boole Lý thuyết nhóm Lý thuyết vành Calculus mệnh đề
Phát biểu	Phép toán hai ngôi có tính giao hoán nếu thay đổi thứ tự hai toán hạng không làm thay đổi kết quả.
Phát biểu tương đương	Định nghĩa 1: ${\displaystyle x*y=y*x\qquad \forall x,y\in S.}$ Logic mệnh đề: ${\displaystyle (P\lor Q)\Leftrightarrow (Q\lor P)}$ ${\displaystyle (P\land Q)\Leftrightarrow (Q\land P)}$

Trong toán học, một phép toán hai ngôi có tính giao hoán khi thay đổi thứ tự của hai toán hạng không làm thay đổi giá trị kết quả. Nó là tính chất cơ bản của nhiều phép toán hai ngôi và nhiều chứng minh toán học dựa trên tính chất này. Các ví dụ dễ thấy của tính chất là "3 + 4 = 4 + 3" hay "2 × 5 = 5 × 2". Lý do cần nhận biết tính giao hoán là bởi có những phép toán như phép chia và phép trừ không có nó (lấy ví dụ, "3 − 5 ≠ 5 − 3"); các phép toán đó không có tính giao hoán, nên thường được gọi là phép toán không giao hoán. Bởi ý tưởng rằng các phép toán đơn giản như phép nhân và phép cộng của số thực luôn có tính giao hoán, tính giao hoán thường được mặc định trước trong rất nhiều năm. Do đó, phải tới thế kỷ 19 khi toán học đang được chuẩn hoá tính chất này mới có cái tên riêng.^[1][2] Có một tính chất tương tự dành cho quan hệ hai ngôi; một quan hệ hai ngôi được gọi là đối xứng nếu quan hệ đúng bất kể thứ tự toán hạng trong đó; ví dụ, quan hệ bằng nhau đối xứng là vì hai đối tượng toán học bằng nhau sẽ bằng nhau bất kể thứ tự của nó.^[3]

Phép toán hai ngôi ${\displaystyle *}$ trên tập S được gọi là giao hoán nếu^[4][5] ${\displaystyle x*y=y*x\,{\mbox{với mọi }}x,y\in S.}$ Phép toán không thoả mãn tính chất trên được gọi là phép toán không giao hoán.

Có thể nói x giao hoán với y hay x và y giao hoán dưới phép toán ${\displaystyle *}$ nếu ${\displaystyle x*y=y*x.}$ Nói cách khác, phép toán hai ngôi có tính giao hoán khi mọi cặp phần tử giao hoán dưới phép toán đó.

Tính giao hoán chỉ cho phép thứ tự toán hạng có thể thay đổi trong một cặp phần tử đang tính. Ta chỉ được phép thay đổi tuỳ ý thứ tự các toán hạng trong các biểu thức có nhiều hơn hai toán hạng khi phép toán hai ngôi đang xét vừa có tính kết hợp vừa có tính giao hoán. Thật vậy, giả sử trong biểu thức a * b * c, ta muốn nhân a với c rồi mới nhân b. Thứ tự thực hiện phép toán như vậy không thể làm được bởi

${\displaystyle a*b*c=(a*b)*c=(b*a)*c\neq b*(a*c)}$

và ${\displaystyle a*b*c\neq a*(b*c)=a*(c*b)}$

• Phép cộng và phép nhân có tính giao hoán trong gần như mọi hệ thống số, cụ thể là trong số tự nhiên, số nguyên, số hữu tỉ, số thực và số phức. Tính chất này đúng trong tất cả các trường.
• Phép cộng trong mọi không gian vectơ và trong mọi đại số.
• Phép hợp và giao có tính giao hoán trên các tập hợp.
• "Hội" và "tuyển" là hai phép toán logic có tính giao hoán.

Một số phép toán không giao hoán:^[6]

Phép chia không giao hoán, bởi ${\displaystyle 1\div 2\neq 2\div 1}$.

Phép trừ không giao hoán bởi ${\displaystyle 0-1\neq 1-0}$. Tuy nhiên ta có thể gọi nó có tính phản giao hoán, bởi ${\displaystyle 0-1=-(1-0)}$.

Phép mũ không giao hoán bởi ${\displaystyle 2^{3}\neq 3^{2}}$.

Một số hàm chân lý không có tính giao hoán, bởi bảng chân lý cho các hàm đó thay đổi khi ta thay đổi thứ tự toán hạng. Lấy ví dụ, bảng chân lý cho (A ⇒ B) = (¬A ∨ B) và (B ⇒ A) = (A ∨ ¬B) là

A	B	A ⇒ B	B ⇒ A
F	F	T	T
F	T	T	F
T	F	F	T
T	T	T	T

Phép hợp các hàm tuyến tính từ các số thực sang số thực gần như luôn không giao hoán. Lấy ví dụ, đặt ${\displaystyle f(x)=2x+1}$ và ${\displaystyle g(x)=3x+7}$. Khi đó

${\displaystyle (f\circ g)(x)=f(g(x))=2(3x+7)+1=6x+15}$

và

${\displaystyle (g\circ f)(x)=g(f(x))=3(2x+1)+7=6x+10}$

Điều này cũng cho các biển đổi tuyến tính và biến đổi affin từ một không gian vectơ tới chính nó (xem biểu diễn ma trận bên dưới).

Phép nhân các ma trận vuông gần như luôn không giao hoán, lấy ví dụ:

${\displaystyle {\begin{bmatrix}0&2\\0&1\end{bmatrix}}={\begin{bmatrix}1&1\\0&1\end{bmatrix}}{\begin{bmatrix}0&1\\0&1\end{bmatrix}}\neq {\begin{bmatrix}0&1\\0&1\end{bmatrix}}{\begin{bmatrix}1&1\\0&1\end{bmatrix}}={\begin{bmatrix}0&1\\0&1\end{bmatrix}}}$

Tích vectơ của hai vectơ trong không gian ba chiều có tính phản giao hoán; tức là b × a = −(a × b).

Các bản ghi lại sử dụng tính giao hoán đã có từ thời cổ đại. Người Ai Cập sử dụng tính giao hoán của phép nhân để đơn giản hoá các tích trong tính toán.^[7][8] Euclid được biết đã mặc định tính chất giao hoán của phép nhân trong cuốn Elements của ông.^[9] Sử dụng tính chất này theo cách chuẩn tắc bất đầu vào cuối thế kỷ 18 và đầu thế kỷ 19, khi các nhà toán học bắt đầu nghiên cứu lý thuyết của các hàm số. Nay tính giao hoán được biết rộng rãi và được sử dụng trong đa số các nhánh của toán học.

Từ commutative (nghĩa là có giao hoán) được viết lần đầu trong hồi ký năm 1814 của François Servois,^[1][10] Bài viết sử dụng từ commutatives khi mô tả các hàm số có tính giao hoán. Từ này là kết hợp của từ commuter nghĩa là "để thay hoặc đổi" và hậu tố -ative nghĩa là "dẫn tới" nên toàn bộ từ có nghĩa "dẫn tới thay hoặc đổi". Thuật ngữ này xuất hiện trong tiếng Anh vào năm 1838^[2] và trong mục của Duncan Farquharson Gregory với tiêu đề "Trên các tính chất tự nhiên của đại số ký hiệu", sau đó xuất bản vào năm 1840 trong các kỷ yếu của hiệp hội hoàng gia xứ Edinburgh.^[11]

Trong logic mệnh đề, Giao hoán,^[12][13] hay tính giao hoán^[14] thường nhắc tới hai quy tắc thay hợp lệ. Hay quy tắc cho phép ta chuyển vị các biến mệnh đề trong các công thức mệnh đề trong bài chứng minh logic. Các quy tắc thay như sau

${\displaystyle (P\lor Q)\Leftrightarrow (Q\lor P)}$

và

${\displaystyle (P\land Q)\Leftrightarrow (Q\land P)}$

trong đó "${\displaystyle \Leftrightarrow }$" là ký hiệu metalogic biểu diễn "có thể thay trong bài chứng minh với".

Tính giao hoán là tính chất của một số liên kết logic của logic mệnh đề. Các tương đương logic sau là ví dụ của các liên kết có tính chất giao hoán.

Giao hoán của phép hội

${\displaystyle (P\land Q)\leftrightarrow (Q\land P)}$

Giao hoán của phép tuyển

${\displaystyle (P\lor Q)\leftrightarrow (Q\lor P)}$

Giao hoán của phép kéo theo (hay còn gọi là phép kéo theo, hoặc là luật hoán vị)

${\displaystyle (P\to (Q\to R))\leftrightarrow (Q\to (P\to R))}$

Giao hoán của tương đương (hay còn gọi là luật tương đương)

${\displaystyle (P\leftrightarrow Q)\leftrightarrow (Q\leftrightarrow P)}$

Trong lý thuyết nhóm và lý thuyết tập hợp, nhiều cấu trúc đại số được gọi là giao hoán khi phép toán của nó thoả mãn tính chất giao hoán. Trong các nhánh cao hơn của toán học như giải tích hay đại số tuyến tính thì tính giao hoán của phép cộng và phép nhân trên tập số thực và số phức thường được mặc định trước không nhắc đến trong các bài chứng minh.^[15][16][17]

• Nửa nhóm giao hoán là tập đi kèm phép toán đóng, giao hoán và kết hợp.
• Nếu nửa nhóm trên có thêm phần tử đơn vị, thì ta có monoid giao hoán
• Nhóm Abel, hay nhóm giao hoán là nhóm mà phép toán nhóm có tính giao hoán.^[16]
• Vành giao hoán là vành mà phép nhân có tính giao hoán. (phép cộng trong vành luôn có tính giao hoán.)^[18]
• Trong trường, cả hai phép cộng và nhân đều có tính giao hoán.^[19]

Tính kết hợp có quan hệ gần gũi với tính giao hoán. Tính kết hợp trong biểu thức chứa hai hay nhiều hơn lần xuất hiện của cùng một phép toán phát biểu rằng thứ tự thực hiện phép toán không thay đổi kết quả cuối miễn là thứ tự các toán hạng không thay đổi. Ngược lại tính giao hoán phát biểu rằng thay đổi thứ tự các toán hạng khi tính trên một cặp sẽ không làm thay đổi kết quả cuối.

Các phép toán giao hoán thường thì sẽ cũng có tính kết hợp. Song, tính giao hoán không suy ra tính kết hợp. Một ví dụ phản chứng là hàm số sau

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

Hàm số này giao hoán (đổi x và y không thay đổi kết quả), nhưng nó không có tính kết hợp (bởi lấy ví dụ như ${\displaystyle f(-4,f(0,+4))=-1}$ nhưng ${\displaystyle f(f(-4,0),+4)=+1}$). Nhiều các ví dụ khác có thể tìm thấy trong các magma giao hoán không kết hợp. Ngược lại, tính kết hợp cũng không suy ra tính giao hoán. Lấy ví dụ, phép nhân ma trận luôn kết hợp nhưng chưa chắc đã giao hoán.

Một số dạng của đối xứng có thể liên hệ trực tiếp với tính giao hoán. Khi phép toán hai ngôi được viết thành hàm nhị phân ${\displaystyle z=f(x,y),}$ thì hàm số đó được gọi là hàm đối xứng, và đồ thị của nó trong không gian ba chiều đối xứng qua mặt phẳng ${\displaystyle y=x}$. Ví dụ nếu hàm f định nghĩa là ${\displaystyle f(x,y)=x+y}$ thì ${\displaystyle f}$ là hàm đối xứng.

Trong đại số quan hệ, quan hệ đối xứng tương tự với tính giao hoán, nghĩa là nếu quan hệ R đối xứng thì ${\displaystyle aRb\Leftrightarrow bRa}$.

Trong phần cơ học lượng tử viết bởi Schrödinger, các biến vật lý được thay bằng các toán tử tuyến tính như ${\displaystyle x}$ (nghĩa là nhân bởi ${\displaystyle x}$), và ${\textstyle {\frac {d}{dx}}}$. Hai toán tử này không giao hoán khi xem kết quả hợp của chúng ${\textstyle x{\frac {d}{dx}}}$ và ${\textstyle {\frac {d}{dx}}x}$ (cũng được gọi là tích các toán tử) trên hàm sóng một chiều ${\displaystyle \psi (x)}$:

${\displaystyle 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)}$

Theo nguyên lý bất định của Heisenberg, nếu hai toán tử biểu diễn cặp phần tử không giao hoán nhau thì cặp hai phần tử đó bù nhau, nghĩa là chúng không thể đồng thời đo được hay biết được chính xác. Lấy ví dụ, vị trí và mô men tuyến tính trong hướng ${\displaystyle x}$ của một hạt được biểu diễn bởi ${\displaystyle x}$ và ${\displaystyle -i\hbar {\frac {\partial }{\partial x}}}$, tương ứng (trong đó ${\displaystyle \hbar }$ là hằng số Planck đã rút gọn). Ví dụ này tương tự ví dụ ngay trên nhưng thay vào đó là ${\displaystyle -i\hbar }$, do đó các toán tử không giao hoán, vào theo vật lý thì có nghĩa là vị trí và mô men tuyến tính theo một hướng đã cho sẽ bù nhau.

Tra tính giao hoán trong từ điển mở tiếng Việt Wiktionary

• Tính phản giao hoán
• Tâm hoá và chuẩn hoá
• Biểu đồ giao hoán
• Giao hoán (sinh lý học thần kinh)
• Giao hoán tử
• Luật hình bình hành
• Tính tựa giao hoán
• Monoid vết
• Xác suất giao hoán

• Axler, Sheldon (1997). Linear Algebra Done Right, 2e. Springer. ISBN 0-387-98258-2.

  Abstract algebra theory. Covers commutativity in that context. Uses property throughout book.

• Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic (ấn bản thứ 12). Prentice Hall. ISBN 9780131898349.
• Gallian, Joseph (2006). Contemporary Abstract Algebra . Houghton Mifflin. ISBN 0-618-51471-6.

  Linear algebra theory. Explains commutativity in chapter 1, uses it throughout.

• Goodman, Frederick (2003). Algebra: Abstract and Concrete, Stressing Symmetry . Prentice Hall. ISBN 0-13-067342-0.

  Abstract algebra theory. Uses commutativity property throughout book.

• Hurley, Patrick J.; Watson, Lori (2016). A Concise Introduction to Logic (ấn bản thứ 12). Cengage Learning. ISBN 978-1-337-51478-1.

• Lumpkin, B. (1997). “The Mathematical Legacy Of Ancient Egypt — A Response To Robert Palter” (PDF) (Unpublished manuscript). Bản gốc (PDF) lưu trữ 13 tháng Bảy năm 2007.

  Article describing the mathematical ability of ancient civilizations.

• Gay, Robins R.; Shute, Charles C. D. (1987). The Rhind Mathematical Papyrus: An Ancient Egyptian Text. British Museum. ISBN 0-7141-0944-4.

  Translation and interpretation of the Rhind Mathematical Papyrus.

• Hazewinkel, Michiel biên tập (2001), “Commutativity”, Bách khoa toàn thư Toán học, Springer, ISBN 978-1-55608-010-4
• Krowne, Aaron, Commutative tại trang PlanetMath.org., Accessed 8 August 2007.

  Definition of commutativity and examples of commutative operations

• Weisstein, Eric W., "Commute" từ MathWorld., Accessed 8 August 2007.

  Explanation of the term commute

• “Yark”. Examples of non-commutative operations tại trang PlanetMath.org., Accessed 8 August 2007

  Examples proving some noncommutative operations

• O'Conner, J.J.; Robertson, E.F. “History of real numbers”. MacTutor. Truy cập 8 Tháng tám năm 2007.

  Article giving the history of the real numbers

• Cabillón, Julio; Miller, Jeff. “Earliest Known Uses Of Mathematical Terms”. Truy cập 22 Tháng mười một năm 2008.

  Page covering the earliest uses of mathematical terms

• O'Conner, J.J.; Robertson, E.F. “biography of François Servois”. MacTutor. Bản gốc lưu trữ 2 tháng Chín năm 2009. Truy cập 8 Tháng tám năm 2007.

  Biography of Francois Servois, who first used the term