设[tex=7.214x1.357]9Wv1rU4nwWoDBOd6LcSByHAtupjUC/HhN8gQKbCYzem9scIb0tGVgEUOuZA+CZmm[/tex]是集合[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的一个划分，我们定义[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的一个二元关系[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]，使[tex=3.643x1.357]T4QUm72Pjvglp5aG2N7VXaS31BW5N82Pr28T0T22kbE=[/tex]当且仅当[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]在这个划分的同一块中，证明:[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是自反的、对称的和传递的。
举一反三
- [tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是集合[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的二元关系。对于所有的[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]、[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]、[tex=0.5x0.786]EL0hSqs6jZBGdsmH7TMShQ==[/tex][tex=1.429x1.071]JKzFuDkw4uDSbAJpO4itXw==[/tex]，如果[tex=1.786x1.0]6EK6Izru+O8tcQzdTzeouA==[/tex]，[tex=1.643x1.286]sD2I2onCkUOMNhOU9iKq6Q==[/tex]，则[tex=1.786x1.0]KUv3qryIM5pVm6APGV8uaA==[/tex]，那么称[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是循环关系。试证明[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是自反和循环的当且仅当[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是一等价关系。
- 设正整数的序偶集合[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]， 在[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上定义的二元关系[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]如下:[tex=7.214x1.357]CLCeGfyTItBrQgQJTySVTyiGleoWF8kNftOUYIkNP1hVSPAqKSk1GdZTMvbye+bcNbPE579jcQ/sMPYzu7ZsEQ==[/tex]当且仅当[tex=2.929x1.0]qewqoUzb0rIVy7fbmiGxLQ==[/tex]证明:[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是一个等价关系。
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的二元关系，如果[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是传递的和反自反的，称[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是拟序关系。证明: a) 如果[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的拟序关系，则[tex=5.643x1.357]JLAL17dohoLDbWIoPsBl3fM4mRl39sABlSy8A+06Kcc=[/tex]是偏序关系。
- 假设[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是非空集合，[tex=0.5x1.214]0K9Xf7VHWdVeOrSYAKIm6Q==[/tex]是以[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]作为定义域的函数，设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是定义在[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的关系，若[tex=4.429x1.357]9nZz5SVdOFP9e7MUHbGQbA==[/tex]，则[tex=2.286x1.357]5kIMNyRYlKina6SoxHl1bg==[/tex]属于[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]。证明[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的等价关系。
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是定义在集合[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]上的自反关系，证明：[tex=3.286x1.357]CCDi/iK4pQ8/WLWAaiAPeHDsn5BULbMV1mMFsHi6y/g=[/tex]