<3,1>~<4,2>. <1,3>~<2,4>. 差为0. 差为±2.
<1,1>~<2,2>~<3,3>~<4,4>.
<1,4>~<1,4>.
<4,1>~<4,1>.
差为±3.
集合与图论
1.12
哈尔滨工业大学软件学院பைடு நூலகம்
李东 副教授
R的等价划分有：{<1,2>,<2,3>,<3,4>}。
等价划分的 并集等于 AXA.
S ○ R ={< {Φ} ,{Φ}>}.
集合与图论
1.26
哈尔滨工业大学软件学院
李东 副教授
domR= {Φ,{{Φ}},{Φ}}. ran S= { Φ }. R-1= {<{{Φ}},{Φ}>,<{Φ},{{Φ}}>, <{Φ},Φ>}.
集合与图论
1.27
哈尔滨工业大学软件学院
李东 副教授
例12 已知R的关系图如下， 求r(R),s(R )和t(R )的关系图。
解：因为A =P({Φ}) ={Φ,{Φ}}. 所以，P(A)= {Φ,{Φ}, {{Φ}},{Φ,{Φ}}}. 则: P(A)X{Φ}={< Φ, Φ>, < {Φ} , Φ>, < {{Φ}} , Φ>, < {Φ,{Φ}}, Φ>}.
集合与图论
1.25
哈尔滨工业大学软件学院
李东 副教授
例题分析
集合与图论 1.10 哈尔滨工业大学软件学院 李东 副教授
例题分析(7)
例5 A={1,2,3,4},R为AXA上的等价关系
u, v , x, y A A, u, v R x, y u y x v
求出由R引起的A的划分。
解： u , v R
集合与图论 1.8 哈尔滨工业大学软件学院 李东 副教授
答：只有(4)中的R是A上的等价关系
(1)中的R不是自反的，因为x-x=0≠2。另 外，R也不是对称的，不是传递的。 (2)中的R不是传递的，因为1R3, 3R2 成 立，但1R2不成立. (3)中的R不是自反的，因为2R2不成立. (5)中的R不是传递的，例如X={a,b}. P(X)={Φ,{a},{b},{a,b}},则有{a}R{a,b}, {a,b}R{b},但没有{a}R{b}。
集合与图论 1.23 哈尔滨工业大学软件学院 李东 副教授
(4)由于要将弧度映射到实数.所 以，首先想到三角函数：
将π/2映射到 –1，将3π/2映射到1 ，正好是:f(x)=-sinx .
集合与图论
1.24
哈尔滨工业大学软件学院
李东 副教授
例题分析(6)
二.计算题：
例9 已知A=P({Φ}),求P(A)X{Φ}?
集合与图论
1.21
哈尔滨工业大学软件学院
李东 副教授
1 / 2, x 0, 1 / 4, x 1, (2) f ( x) n 2 n 1 / 2 , x 1 / 2 , n 1 , 2 , 3 ,... x, otherwise.
集合与图论
1.22
所以f(L)= {<2x+1,-1>|x∈R}=RX{-1}. (7)能构成函数，但既不是单射也不是满射.因 为f(<1,1>)=f(<2,2>)=0,2不属于ranf。 f(NX{0})= {n2-02|n∈N}= {n2|n∈N}.
集合与图论 1.19 哈尔滨工业大学软件学院 李东 副教授
例题分析(10)
例题分析(1)
一.概念题：
例1 判断下列命题是否为真：
(1)设A,B,C为任意集合,若AXB=AXC，则 B=C. (2)设A,B,C为任意集合,则A-(BXC)=(A-B) X(A-C). (3)若<2x+y,6>=<5,x+y>,则x=-1,y=7.
(4)若R1,R2在A上是反对称的,则R1∪R2 在A上也是反对称的.
x, y u y x v u v x y.
即两个有序对等价的充要条件是第1个元素 减第2个元素所得的差相等。
集合与图论 1.11 哈尔滨工业大学软件学院 李东 副教授
则AXA上等价的有序对有： 差为±1. <1,2>~<2,3>~<3,4>.
<2,1>~<3,2>~<4,3>.
集合与图论 1.2 哈尔滨工业大学软件学院 李东 副教授
例题分析(3)
(3)为真.
(4)为假. (5)为真. 例如A上的恒等关系既是等价关系 ，也是偏序关系. (6)不是恒真命题. 只能说:若f:A→B为单射,则f-1:ranf→A也为单 射.这里ranf B.

集合与图论
1.3
哈尔滨工业大学软件学院
李东 副教授
( x) 2 , (x R ). x 1 6.A=B=RXR,f(<x,y>)=<x+y,x-y>,令 L={<x,y>|x,y∈R∧y=x+1},计算f(L).
5.A=B=R+, f
x

7.A=NXN,B=N,f(<x,y>)=|x2-y2|,计算f(NX{0}). 答： (1)能构成函数，但既不是单射也不是满射. (2)不能构成函数，因为<1,7>∈f且<1,9>∈f.
集合与图论
1.5
哈尔滨工业大学软件学院
李东 副教授
例题分析(5)
例3 已知A={1,2,3},R为A上的关系，且
1 0 0 MR 1 1 0 . 1 0 0
写出R的关系表达式，画出R的关系图， 并说明R的性质。
集合与图论
1.6
哈尔滨工业大学软件学院
李东 副教授
解：R={<1,1>, <2,1>, <2,2>, <3,1>}。
例8对于给定的集合A、B，构造 双射函数f:A→B. 1.A=[0，1], B=[0.25, 0.5]。 2.A=[0，1], B=(0, 1)。 3.A=Z,B=N.
3 4.A=[
, ],B=[-1, 2 2
1].
集合与图论
1.20
哈尔滨工业大学软件学院
李东 副教授
答： 构造双射函数最简单的就是直 线方程.所以，(1)的解就是<0,0.25> 到<1,0.5>的直线方程： f(x)=(x+1)/4。 对于象(2)这样值域和定义域的开闭情 况不一样的问题，通常的做法是：在区间 内选择一个无穷序列，将端点对应到序列 的前部，其余的向后错位对应。
例10 已知R={<{Φ},{{Φ}}>, <{{Φ}},{Φ}>, <Φ,{Φ}>},S= {<{Φ},Φ>}. 求R2,R ○ S,S ○ R ,domR,ranS和R-1? 解： R2=R ○ R ={<{Φ},{Φ}>, <{{Φ}},{{Φ}}> ,<Φ,{{Φ}}>}.
R ○ S= {<{{Φ}},Φ>,< Φ,Φ>}.
集合与图论 1.9 哈尔滨工业大学软件学院 李东 副教授
(4)中的R是自反的，因为：
x A, xRx x x C.
R是对称的，因为：
x, y A, xRy yRx. x y y x.
R是传递的，因为：
x, y, z A, xRy, yRz xRz. x z x y y z ( x y ) ( y z ).
哈尔滨工业大学软件学院
李东 副教授
(3)由于要将整数集Z以双射的形 式映射到自然数集.所以，特构造如 下映射方法： Z: 0 1 -1 2 -2 3 -3……
N: 0 1 2 3 4 5 6…… 则这种映射对应的函数为：
f : Z N. 2 x, x 0. f ( x) 2 x 1, x 0
李东 副教授
例题分析(4)
例2 已知A={1,2,3,4},
列出以下关系中的元素？
(1)x, y A, xRy 3 | ( x y). (2)x, y A, xRy x | y x y. (3)x, y A, xRy | x || y | . (4)x, y A, xRy x y y x. (5)x, y A, xRy x y Z .
{<2,1>,<3,2>,<4,3>}。 {<3,1>,<4,2>}。 {<1,3>,<2,4>}。
{<1,1>,<2,2>,<3,3>,<4,4>}。
{<1,4>}。 {<4,1>}。
集合与图论
1.13
哈尔滨工业大学软件学院
李东 副教授
例题分析(8)
例6 已知X为集合，A=P(X)-{Φ}-{X},且 A≠Φ,问： 1.偏序集<A, R >是否存在最大元？
集合与图论 1.4 哈尔滨工业大学软件学院 李东 副教授
解： (1)R={<1,4>, <4,1>} ∪IA (2)R={<1,2>, <1,3>, <1,4>, <2,4>} (3)R={<1,2>, <1,3>, <1,4>, <2,3>, <2,4> ,<3,4>}. (4)R=EA-IA. (5)R=Φ.