✨Tính so sánh được

thumb|[[Biểu đồ Hasse của các số tự nhiên, được sắp thứ tự riêng phần theo quan hệ "x≤y nếu x là ước của y". Số 4 và 6 không so sánh được với nhau vì không có số nào trong cặp chia hết cho số còn lại.]] Trong toán học, hai phần tử x và y của tập hợp P được gọi là so sánh được với nhau tương ứng với quan hệ hai ngôi ≤ nếu ít nhất một trong x ≤ y hoặc y ≤ x là đúng. Ngược lại thì chúng được gọi là không so sánh được với nhau.

Định nghĩa chặt chẽ

Quan hệ hai ngôi trên tập hợp $P$ được định nghĩa là bất kỳ tập hợp con $R$ của $P\; \backslash times\; P.$ Cho $x,\; y\; \backslash in\; P,$ $x\; R\; y$ được viết khi và chỉ khi $(x,\; y)\; \backslash in\; R,$, khi đó ta nói $x$ có ** với $y$ theo $R.$ Phần tử $x\; \backslash in\; P$ được gọi là ', hay **' (), với phần tử $y\; \backslash in\; P$ nếu $x\; R\; y$ hoặc $y\; R\; x.$
Thường thì các ký hiệu so sánh chẳng hạn như (hoặc $\backslash ,\backslash leq\backslash ,,$ $\backslash ,>,\backslash ,$ $\backslash geq,$ và nhiều cái khác) được dùng thay cho $R,$ và ta viết thay cho $x\; R\; y,$ .Do vậy thuật ngữ "so sánh được" được sử dụng.

Tinh so sánh được tương ứng với $R$ cảm sinh một quan hệ hai ngôi chính tắc trên $P$; chính xác hơn, cảm sinh bởi $R$ được định nghĩa là tập tất cả các cặp $(x,\; y)\; \backslash in\; P\; \backslash times\; P$ thỏa mãn $x$ so sánh được với $y$; tức là ít nhất một trong $x\; R\; y$ hoặc $y\; R\; x$ là đúng. Tương tự, trên $P$ cảm sinh bởi $R$ được định nghĩa là tập tất cả các cặp $(x,\; y)\; \backslash in\; P\; \backslash times\; P$ thỏa mãn $x$ không so sánh được với $y;$; tức là cả $x\; R\; y$ và $y\; R\; x$ đều sai.

Nếu ký hiệu được dùng thay vì $\backslash ,\backslash leq\backslash ,$ thì tính so sánh được tương ứng với đôi khi được ký hiệu bởi , còn tính không so sánh được được ký hiệu bởi .

Ví dụ

Tập hợp sắp thứ tự toàn phần là tập hợp sắp thứ tự riêng phần trong đó bất kỳ hai phần tử đều so sánh được với nhau. Định lý mở rộng Szpilrajn phát biểu rằng mọi thứ tự riêng phần đều nằm trong một thứ tự toàn phần nào đó. Theo trực giác, có nghĩa là bất kỳ phương pháp so sánh nào mà để lại một số cặp không so sánh được với nhau, vẫn có thể mở rộng sao cho mọi cặp so sánh được với nhau.

Tính chất

Cả hai quan hệ và đều có tính đối xứng, nghĩa là $x$ so sánh được với $y$ khi và chỉ khi $y$ so sánh được với $x,$ tương tự như vậy đối với tính không so sánh được.

Đồ thị so sánh được

Đồ thị so sánh được của tập hợp sắp thứ tự riêng phần $P$ có các đỉnh là các phần tử thuộc $P$ và các cạnh là các cặp phần tử $\{\; x,\; y\; \}$ sao cho .

Phân loại

Khi phân loại các đối tượng toán học (chẳng hạn như không gian tô pô), hai được gọi là so sánh được với nhau nếu các đối tượng thỏa mãn một tiêu chuẩn sẽ cấu tạo một tập con các đối tượng thỏa mãn tiêu chuẩn còn lại, tức là chúng so sánh được với nhau dưới thứ tự riêng phần ⊂.Vi dụ chẳng hạn, Tiêu chuẩn T₁ và T₂ so sánh được với nhau trong khi tiêu chuẩn T₁ và tiêu chuẩn điều độ thì không.