Khác biệt giữa bản sửa đổi của “Tính kết hợp”

Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi
thêm phép toán ko tính kết hợp
Dòng 1:
{{chú thích trong bài}}
Trong toán học, tính kết hợp là tính chất của một số [[phép toán hai ngôi]], mà sao cho bất kể cách ta đặt dấu ngoặc hợp lý trong biểu thức sẽ không thay đổi giá trị kết quả của biểu thức. Trong [[Mệnh đề toán học|mệnh đề logic]], tính kết hợp là một [[luậtquy tắc thay thế]] [[hợp lệ]] cho các biểu thức trong [[chứng minh logic]].
 
Xem các ví dụ sau:
Dòng 41:
* Phép cộng và nhân của [[số phức]] và số [[Quaternion|quaternion]] có tính kết hợp. Khi sang các số [[Octonion|octonion]] thì phép cộng vẫn mang tính kết hợp, nhưng phép nhân thì không.
* Trong khoa học máy tính, phép [[nối xâu]] có tính kết hợp. Cụ thể nếu ta có <code>"Hôm nay "</code>, <code>"trời "</code>, <code>"nắng"</code>, việc nối xâu đầu tiên với xâu thứ hai rồi mới nối xâu thứ ba, hoặc nối xâu thứ hai với xâu thứ ba rồi mới nối xâu thứ nhất đều cho chung một kết quả là <code>"Hôm nay trời nắng"</code>. Phép nối xâu không có tính giao hoán.
 
== Phép toán không có tính kết hợp ==
Một phép toán hai ngôi '''*''' trên tập S gọi là phép toán không có tính kết hợp nếu
:<math>(x * y) * z \ne x * (y * z)\qquad\mbox{với một số }x, y, z \in S</math>
Đối với các phép toán như vậy, thứ tự tính toán trở nên quan trọng, lấy ví dụ:
* [[Phép trừ]]
<math>5 - (3 - 2) \ne (5 - 3) - 2 </math>
* [[Phép chia]]
<math>4 / (2 / 2) \ne (4 / 2) / 2 </math>
* [[Phép lũy thừa]]
<math>2^{(1^2)} \ne (2^1)^2</math>
 
== Xem thêm ==