离散数学复习辅导之一
?/p>
1
?/p>
关系与函?/p>
一、主要内?/p>
1
.有序对与笛卡儿?/p>
有序?/p>
,就是有顺序的数组,?/p>
<
x
,
y
>
?/p>
x
,
y
的位置是确定的,不能随意放置
.
注意:有序对
<
a
?/p>
b
>
?/p>
<
b
,
a
>
,以
a
,
b
为元素的集合
{
a
,
b
}={
b
,
a
}
;有序对
(
a
,
a
)
有意义,
而集?/p>
{
a
,
a
}
是单元素集合,应记作
{
a
}
.
?/p>
笛卡儿积?/p>
把集?/p>
A
?/p>
B
合成集合
A
×
B
,规?/p>
A
×
B
?/p>
{<
x
,
y
>
?/p>
x
?/p>
A
?/p>
y
?/p>
B
}
由于有序?/p>
<
x
,
y
>
?/p>
x
,
y
的位置是确定的,
因此
A
×
B
的记法也是确定的?/p>
不能写成
B
×
A.
笛卡儿积也可以多个集合合成,
A
1
×
A
2
×…?/p>
A
n
.
笛卡儿积的运算性质
.
一般不能交?/p>
.
2
.关系的概念
包括定义、关系的表示方法:集合表示、矩阵表示、图形表?/p>
.
?/p>
二元关系
,是一个有序对集合,设集合
A
?/p>
B
,从集合
A
?/p>
B
的二元关?/p>
}
,
{
B
y
A
x
y
x
R
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
记作
xRy
?/p>
二元关系的定义域?/p>
Dom
(
R
)
A
?/p>
?/p>
二元关系的值域?/p>
Ran
(
R
)
B
?/p>
?/p>
关系的表示方法:
集合表示法:关系是集合,有类似于集合的表示方?/p>
.
列举法,?/p>
R
?/p>
{<1, 1>,<1, 2>}
;描述法:如
}
,
{
B
y
A
x
y
x
R
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
关系矩阵?/p>
R
?/p>
A×B
?/p>
R
的矩?/p>
?/p>
?/p>
?
?
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?
?/p>
?/p>
?/p>
?/p>
?/p>
n
j
m
i
b
R
a
Rb
a
r
r
M
j
i
j
i
ij
n
m
ij
R
,...,
2
,
1
,
...,
2
,
1
0
1
,
)
(
关系图:
R
是集合上的二元关系,?/p>
<
a
I
,
b
j
>
?/p>
R
,由结点
a
I
画有向弧?/p>
b
j
构成的图?/p>
.
3
.几个特殊的关系
空关?/p>
?/p>
;唯一是任何关系的子集的关?/p>
.
全关?/p>
A
A
A
b
a
b
a
E
A
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
}
,
,
{
恒等关系
}
,
{
A
a
a
a
I
A
?/p>
?/p>
?/p>
?/p>
?/p>
M
I
是单位矩?/p>
.
4
.关系的运算
?/p>
关系的集合运算,有并、交、补、差和对称差
.
?/p>
复合关系
}
,
,
,
{
2
1
2
1
R
c
b
R
b
a
b
c
a
R
R
R
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
,有
复合关系矩阵?/p>
2
1
R
R
R
M
M
M
?/p>
?/p>
(
布尔运算
)
,有结合律:
(
R
?/p>
S
)
?/p>
T
?/p>
R
?/p>
(
S
?/p>
T
)
?/p>
逆关?/p>
}
,
,
{
1
R
y
x
x
y
R
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
T
R
R
M
M
?/p>
?/p>
1
?/p>
(
R
?/p>
S
)
?/p>
1
=
S
?/p>
1
?/p>
R
?/p>
1
.
5
.关系的性质
?/p>
自反?/p>
R
x
x
A
x
?/p>
?/p>
?/p>
,
,
;矩?/p>
R
M
的主对角线元素全?/p>
1
;关系图的每个结
点都有自回路
.
?/p>
反自反?/p>
R
x
x
A
x
?/p>
?/p>
?/p>
,
,
;矩?/p>
R
M
的主对角线元素全?/p>
0
;关系图的每?/p>
结点都没有自回路
.
?/p>
对称?/p>
?/p>
R
y
x
?/p>
,
,则
R
x
y
?/p>
,
;矩?/p>
R
M
是对称矩阵,?/p>
ji
ij
r
r
?/p>
;关
系图中有向弧成对出现
,
方向相反
.