Tập hợp sắp thứ tự một phần
From Wikipedia, the free encyclopedia
Trong toán học, đặc biệt là trong lý thuyết thứ tự, một tập hợp sắp thứ tự một phần (hay còn gọi là tập hợp sắp thứ tự bộ phận, hay tập hợp sắp thứ tự riêng phần, hoặc được gọi ngắn đi là poset) bao gồm một tập hợp cùng với một quan hệ hai ngôi có tính phản xạ (mỗi phần tử được so sánh với chính nó), tính phản đối xứng (giữa hai phần tử có nhiều nhất một cách so sánh) và tính bắc cầu (ta có thể so sánh theo kiểu bắc cầu).[1]
Quan hệ hai ngôi | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Dấu "✓" chỉ tính chất trong cột đó cần phải có trong định nghĩa của hàng đó. Ví dụ, định nghĩa của quan hệ tương đương buộc nó phải có tính đối xứng. Tất cả định nghĩa đều yêu cầu tính bắc cầu và tính phản xạ. |
Từ "một phần" hay "bộ phận" trong tên quan hệ ý chỉ rằng không phải mọi cặp phần tử đều so sánh được với nhau. Nghĩa là, có một số cặp phần tử ta không biết phần tử nào đứng trước trong tập sắp thứ tự một phần. Do đó, quan hệ thứ tự riêng phần là dạng tổng quát của quan hệ thứ tự toàn phần, quan hệ mà mọi cặp trong tập hợp đều so sánh được với nhau.