Bài viết này cần thêm chú thích nguồn gốc để kiểm chứng thông tin. |
Trong toán học, đặc biệt là trong lý thuyết tập hợp, tích Descartes (hay tích Đềcác, tích trực tiếp[1]) của hai tập hợp A và B, ký hiệu là A×B, là một tập hợp chứa tất cả các bộ có dạng (a, b) với a là một phần tử của A và b là một phần tử của B. Hay, viết trong ngôn ngữ của lý thuyết tập hợp:
Ví dụ, nếu:
thì:
và:
Như vậy tích Descartes của 2 tập hợp là một phép toán 2 ngôi trên các tập hợp. Có thể mở rộng định nghĩa tích Descartes của nhiều tập hợp A1×A2×...×An là tập hợp chứa tất cả các bộ có dạng (a1,a2,...,an) với ai là một phần tử của Ai (i = 1, 2,..., n). Hay, viết trong ngôn ngữ của lý thuyết tập hợp:
Tên gọi tích Descartes được lấy theo tên của nhà toán học người Pháp René Descartes, dựa trên đóng góp của ông cho đại số giải tích
Lực lượng (số phần tử) của tích Descartes bằng tích của lực lượng của từng tập hợp:
Trong ví dụ ở đầu bài viết, |A| = 2, |B| = 3 và ta thấy |A×B| = 2×3 = 6.
Ta có lũy thừa bậc 2 Descartes (hay bình phương Descartes) của tập hợp A được định nghĩa là tích Descartes của A với A:
Tương tự, lũy thừa Descartes bậc n là tích Descartes của n tập A:
(có n tập A ở vế phải)