离散数学,二元关系

2025-03-10 10:12:06
推荐回答(1个)
回答1:

①“x|y” 表示x能整除y,x,y在集合{2,3,4,5,6,7,8}上取,且满足“x整除y”的序偶有{<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>},题目还要求“x不等于y”,故只剩下{<2,4>,<2,6>,<2,8>,<3,6>,<4,8>}

②A叉乘A={<1,1>,<1,2>,<1,3>,<1,4>,<2,1>,<2,2>,<2,3>,<2,4>,<3,1>,<3,2>,<3,3>,<3,4>,<4,1>,<4,2>,<4,3>,<4,4>}
R <=> xv=uy <=>x/y=u/v
R={<<1,1>,<1,1>>, <<1,1>,<2,2>>, <<1,1>,<3,3>>, <<1,1>,<4,4>>, <<1,2>,<1,2>>, <<1,2>,<2,4>>, <<1,3>,<1,3>>, <<1,4>,<1,4>>, <<2,1>,<2,1>>, <<2,1>,<4,2>>, <<2,2>,<1,1>>, <<2,2>,<2,2>>, <<2,2>,<3,3>>, <<2,2>,<4,4>>, <<2,3>,<2,3>>, <<2,4>,<2,4>>, <<3,1>,<3,1>>, <<3,2>,<3,2>>, <<3,3>,<1,1>>, <<3,3>,<2,2>>, <<3,3>,<3,3>>, <<3,3>,<4,4>>, <<3,4>,<3,4>>, <<4,1>,<4,1>>, <<4,2>,<4,2>>, <<4,3>,<4,3>>, <<4,4>,<1,1>>, <<4,4>,<2,2>>, <<4,4>,<3,3>>, <<4,4>,<4,4>>}