关系的定义
A与B的笛卡尔积的任意子集都是从A到B的一个关系
表示方法
- 集合表示法
- 关系图表示法
- 关系矩阵表示法
关系的逆运算
设R是A到B的关系,则B到A的关系R的逆表示把R的前域和后域互换。R的逆关系的布尔矩阵是R的布尔矩阵的转置。
关系的性质
- 自反
- 反自反
- 对称
- 反对称
- 传递
等价关系
具有:自反、对称、传递
等价类
R是非空集合上的等价关系,那么
[
x
]
R
=
{
y
∣
y
∈
A
∧
<
x
,
y
>
∈
R
}
[ x ]_R=\{y|y\isin A\land<x,y>\isin R\}
[x]R={y∣y∈A∧<x,y>∈R}
商集
由R确定的一切等价类的集合,叫做集合A上关于R的商集。
拟序关系
反自反、反对称、传递
偏序关系
自反、反对称、传递
最大元、最小元、极大元、极小元
它们都在集合B中
b是B的最大元
⇔
\Leftrightarrow
⇔B中所有的元素都比b小
b是B的最小元
⇔
\Leftrightarrow
⇔B中所有的元素都比b大
B是B的极大元
⇔
\Leftrightarrow
⇔B中没有比b大的元素
B是B的极小元
⇔
\Leftrightarrow
⇔B中没有比b小的元素
上下界、上下确界
上下界的选择区域是整个大的集合,这点和最大元、最小元、极大元、极小元不一样,确界就是最大或者最小的那一个元素
全序关系
偏序关系中,所有元都可以比较
良序关系
偏序集中任何一个非空子集都有最小元