Research Space for Linear Algebra & Discrete Mathematics
symmetric是ie(1.2)R(2.1) 且(2.1)R(1.2)照題目給的條件 這是不可能成立的要猜也應該要猜antisymmetric但是(1.2)R(1.1) 和 (1.1)R(1.2)卻是成立的 所以antisymmetric也是不行的所以只有reflexive補充一下symetric和antisymmetric都是每一個a,b如果有了關係就要都要符合定義條件的所以只要找到反例(ie 非對稱) 存在一個反例就可以說他不存在至於pair 你要把( . ) 當作一個元素來看這樣應該會比較好理解
張貼留言
1 則留言:
symmetric是
ie
(1.2)R(2.1) 且(2.1)R(1.2)
照題目給的條件 這是不可能成立的
要猜也應該要猜antisymmetric
但是(1.2)R(1.1) 和 (1.1)R(1.2)
卻是成立的 所以antisymmetric也是不行的
所以只有reflexive
補充一下symetric和antisymmetric
都是每一個a,b如果有了關係
就要都要符合定義條件的
所以只要找到反例(ie 非對稱)
存在一個反例就可以說他不存在
至於pair 你要把
( . ) 當作一個元素來看
這樣應該會比較好理解
張貼留言