Đại số tập hợp
Đại số tập hợp định nghĩa các thuộc tính và quy luật của các tập hợp, các phép toán trên các tập hợp như phép hợp, phép giao, và phần bù và các quan hệ bằng nhau và bao nhau của các tập hợp. Nó cũng cung cấp các thủ tục có hệ thống để đánh giá các biểu thức, và thực hiện tính toán, liên quan đến các phép toán và quan hệ.
Bất kỳ tập hợp các tập hợp nào đóng dưới các phép toán lý thuyết tập hợp tạo thành một đại số Boolean với phép toán kết nối là phép hợp, phép toán phần chung là phép giao, phép toán phần bù là phép toán tập hợp bù, nhỏ nhất là tập rỗng và lớn nhất là tập hợp vũ trụ.
Cơ sở
[sửa | sửa mã nguồn]Đại số tập hợp tương tự việc lý thuyết hóa tập hợp của đại số số học. Cũng như các phép cộng và nhân số học có tính kết hợp và giao hoán, phép giao và phép hợp của tập hợp cũng tương tự như vậy; giống như quan hệ số học "nhỏ hơn hoặc bằng" là phản xạ, đối xứng và chuyển tiếp, thì mối quan hệ "tập con của" cũng có các tính chất tương tự.
Đại số tập hợp là đại số của các toán tử tập hợp bao gồm phép hợp, phép giao, phép phần bù, và các quan hệ bằng nhau và bao gồm. Để có một bài giới thiệu cơ bản, xem bài viết về tập hợp.
Sách tham khảo
[sửa | sửa mã nguồn]Tham khảo
[sửa | sửa mã nguồn]Liên kết ngoài
[sửa | sửa mã nguồn]- Stoll, Robert R.; Set Theory and Logic, Mineola, N.Y.: Dover Publications (1979) ISBN 0-486-63829-4. "The Algebra of Sets", pp 16—23
- Courant, Richard, Herbert Robbins, Ian Stewart, What is mathematics?: An Elementary Approach to Ideas and Methods, Oxford University Press US, 1996. ISBN 978-0-19-510519-3. "SUPPLEMENT TO CHAPTER II THE ALGEBRA OF SETS"