Trích:
Nguyên văn bởi baoquyen Mình thấy S đâu phải là một quan hệ. S là tập hợp mà. Quan hệ trên S vẫn chưa được định nghĩa???? |
Một quan hệ trên X là tập con của tích Đề-các $X\times X $
Trích:
Nguyên văn bởi LongTime Cái quan hệ S đó, em muốn hỏi tại sao nó lại có quan hệ phản xạ, đối xứng và bắc cầu...Như kiểu chứng minh quan hệ đó có những tính chất trên đó ạ . |
Mình thấy nó hiển nhiên : cụ thể S có tính chất phản xạ, đối xứng, phản đối xứng, bắc cầu.
Ví dụ tính chất bắc cầu : giả sử xSy, ySz. Theo định nghĩa thì x = y và y = z, do đó x = z, vì vậy xSz. Mình thấy không có khó khăn nào xảy ra ở đây cả.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]