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 chiaphé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ânphé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]

Tính giao hoán
Phép toán có tính giao hoán khi và chỉ khi với mọi . 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 hay tương ứng với các tham số đầu vào có – giá trị tính ra sẽ đều như nhau.
LoạiLuật, quy tắc thay
Lĩnh vực
Phát biểuPhép toán hai ngôití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:
  • Logic mệnh đề:

Định nghĩa sửa

Phép toán hai ngôi   trên tập S được gọi là giao hoán nếu[4][5]  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 xy giao hoán dưới phép toán   nếu   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 đó.

Lưu ý sửa

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

 

 

Các ví dụ sửa

 
Cộng số các quả táo với nhau được xem là phép cộng các số tự nhiên, là một ví dụ điển hình về tính giao hoán.

Phép toán giao hoán sửa

 
Phép cộng các vectơ có tính giao hoán bởi  .

Phép toán không giao hoán sửa

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

Phép chia, phép trừ và phép mũ sửa

Phép chia không giao hoán, bởi  .

Phép trừ không giao hoán bởi  . Tuy nhiên ta có thể gọi nó có tính phản giao hoán, bởi  .

Phép mũ không giao hoán bởi  .

Hàm chân lý sửa

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)(B ⇒ A) = (A ∨ ¬B)

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

Hợp các hàm tuyến tính sửa

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   . Khi đó

 

 

Điều này cũng cho các biển đổi tuyến tínhbiế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 ma trận sửa

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ụ:

 

Tích vectơ sửa

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).

Lịch sử và từ nguyên học sửa

 
Từ này lần đầu được dùng trong một tạp chí Pháp xuất bản vào năm 1814

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]

Logic mệnh đề sửa

Quy tắc thay sửa

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

 

 

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

Liên kết logic mệnh đề sửa

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
 
Giao hoán của phép tuyển
 
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ị)
 
Giao hoán của tương đương (hay còn gọi là luật tương đương)
 

Lý thuyết tập hợp sửa

Trong lý thuyết nhómlý 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]

Giao hoán trong các cấu trúc toán học sửa

Các tính chất có liên quan sửa

Tính kết hợp sửa

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

 

Hàm số này giao hoán (đổi xy 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ư   nhưng  ). 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.

Tính phân phối sửa

Tính đối xứng sửa

 
Đồ thị cho thấy tính đối xứng của phép cộng

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   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  . Ví dụ nếu hàm f định nghĩa là   thì   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ì  .

Các toán tử không giao hoán trong cơ học lượng tử sửa

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ư   (nghĩa là nhân bởi  ), và  . Hai toán tử này không giao hoán khi xem kết quả hợp của chúng    (cũng được gọi là tích các toán tử) trên hàm sóng một chiều  :

 

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   của một hạt được biểu diễn bởi   , tương ứng (trong đó  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à  , 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.

Xem thêm sửa

Chú thích sửa

  1. ^ a b Cabillón & Miller, Commutative and Distributive
  2. ^ a b Flood, Raymond; Rice, Adrian; Wilson, Robin biên tập (2011). Mathematics in Victorian Britain. Oxford University Press. tr. 4. ISBN 9780191627941.
  3. ^ Weisstein, Eric W., "Symmetric Relation" từ MathWorld.
  4. ^ Krowne, p.1
  5. ^ Weisstein, Commute, p.1
  6. ^ Yark, tr. 1
  7. ^ Lumpkin 1997, tr. 11
  8. ^ Gay & Shute 1987
  9. ^ O'Conner & Robertson Real Numbers
  10. ^ O'Conner & Robertson, Servois
  11. ^ Gregory, D. F. (1840). “On the real nature of symbolical algebra”. Transactions of the Royal Society of Edinburgh. 14: 208–216.
  12. ^ Moore and Parker
  13. ^ Copi & Cohen 2005
  14. ^ Hurley & Watson 2016
  15. ^ Axler 1997, tr. 2
  16. ^ a b Gallian 2006, tr. 34
  17. ^ Gallian 2006, tr. 26,87
  18. ^ Gallian 2006, tr. 236
  19. ^ Gallian 2006, tr. 250

Tham khảo sửa

Sách sửa

Thư mục sửa

Nguồn trên mạng sửa