Freewind @ Thoughtworks scala java javascript dart 工具 编程实践 月结 math python english [comments admin] [feed]

(2013-01-05) 7.1 关系及其性质 21 ~ 30

广告: 云梯:翻墙vpn (省10元) 土行孙:科研用户翻墙http proxy (有优惠)

问题 21

image

解答 21

$ \forall x \forall y((x,y) \in R \to (y,x) \notin R) $


问题 22

image

解答 22

一般用于比较的关系,如“A比B高”,“A比B跑得快”等,满足非自反关系。注意,比较中不可以包含“相等”关系,“A比B高或者跟B一般高”不是非对称。


问题 23

image

解答 23

$A \times B$产生的集合中,共有 m*n 个元素。使用这些元素中的任意个组成的集合,都是满足题意的关系,所以一共有 ${2^{mn}}$个不同的关系。


题目 24

image

解答 24

a)

{R^{ - 1}} = \{ (a,b)|(b,a) \in R\}  = \{ (a,b)|a > b\}

b)

\bar R = \{ (a,b)|(b,a) \notin R\}  = \{ (a,b)|a \ge b\}


问题 25

image

答案 25

a)

{ (a,b) | b整除a }

b)

{ (a,b) | a不能整除b}


问题 26

image

答案 26

a)

因为R显然是对称的,所以{R^{ - 1}}=R

b)

(a,b) \in \overline R ,则(a,b) \notin R,即a与b不相邻


问题 27

image

解答 27

没有学函数,暂时不回答


问题 28

image

解答 28

a)

{R_1} \cup {R_2} = {R_2}

b)

{R_1} \cap {R_2} = {R_1}

c)

\emptyset

d)

{(1,1), (2,1), (2,2), (3,1), (3,2), (3,3)}


问题 29

image

解答 29


问题 30

image

解答 30

{ (1,1), (1,2), (2,1), (2,2) }

comments powered by Disqus