[理工] 离散 非对称性&反对称性

楼主: frpsjack (ChiaoZ)   2020-04-30 15:21:57
https://imgur.com/ga3IcoV
反对称性:1<=2成立,2<=1不成立,所以“<=”满足反对称性
2|-2成立,-2|2成立,因为两个关系不能同时成立,所以“|”不满足反对称
1不等于2,2不等于1,两者都成立,但反对称性不能两个关系同时成立,所
以不满足反对称
想请问非对称性<=、|、不等于为何全部不成立?还是我上面的部分解释就有问题,所以
才看不懂非对称性?请大大帮我解惑
作者: Ricestone (麦饭石)   2020-04-30 16:47:00
是你看错吧,“<=”是,“|跟不等于”不是不,我看错你的问法了非对称跟反对称的差异就是不能出现自己对自己a<=b且b<=a,则只有(a,a)或说(b,b)这情况你仔细看清楚非对称性的定义它是写若aRb则~(bRa) 现在a=2且b=2,那就不满足了反对称就是多加一个可以接受a=b的状况而已如果只找a不等于b的状况,他们俩当然是一样的如果不知道为什么会一样,你可以用逻辑推(若aRb则~(bRa)) and (a不等于b) 跟反对称定义等价不太对,应该写 “若aRb且a不等于b,则~(bRa)”
作者: Desta (得死特是你)   2020-04-30 19:18:00
2<=2 不满足非对称性,但满足反对称性

Links booklink

Contact Us: admin [ a t ] ucptt.com