离散数学-集合论-关系的性质（8）
最新推荐文章于 2023-04-15 22:16:16 发布
阅读量941
收藏
9
点赞数
1
关系的性质
关系的性质包括：自反、反自反、对称、反对称、传递五种。
定义1：若
∀
x
(
x
∈
A
→
<
x
,
x
>
∈
R
)
\forall x(x∈A→<x,x>∈R)
∀x(x∈A→<x,x>∈R),则称R在A上是自反的。
若
∀
x
(
x
∈
A
→
<
x
,
x
>
∉
R
)
\forall x(x∈A→<x,x>\notin R)
∀x(x∈A→<x,x>∈/R),则称R在A上是反自反的。
结论：每个顶点上全有环则为自反，每个点上都没有环为反自反
定义2：若
∀
x
∀
y
(
x
,
y
∈
A
∧
<
x
,
y
>
∈
R
→
<
y
,
x
>
∈
R
)
\forall x\forall y(x,y∈A\land<x,y>∈R→<y,x>∈R)
∀x∀y(x,y∈A∧<x,y>∈R→<y,x>∈R),则称R在A上是对称关系。
若
∀
x
∀
y
(
x
,
y
∈
A
∧
<
x
,
y
>
∈
R
∧
<
y
,
x
>
∈
R
→
x
=
y
)
\forall x\forall y(x,y∈A\land<x,y>∈R\land<y,x>∈R→x=y)
∀x∀y(x,y∈A∧<x,y>∈R∧<y,x>∈R→x=y),则称R在A上是反对称关系。
结论：有关系的仅存双向为对称关系，仅存单向为反对称关系。
定义3：设R为A上的关系，若：
∀
x
∀
y
∀
z
(
x
,
y
,
z
∈
A
∧
<
x
,
y
>
∈
R
∧
<
y
,
z
>
∈
R
→
<
x
,
z
>
∈
R
)
\forall x\forall y\forall z(x,y,z∈A\land<x,y>∈R\land<y,z>∈R→<x,z>∈R)
∀x∀y∀z(x,y,z∈A∧<x,y>∈R∧<y,z>∈R→<x,z>∈R)则称R为A上的传递关系。
结论： 如果存在1→2，2→3，则一定有1→3，全部存在相互传递的关系。
扫一扫
4362
暂无认证
到【灌水乐园】发言
weixin_47708904: 为什么1是重言式，不应该全是1才是重言式吗
pp875598763: 看报错提示 看看具体的缓存文件夹是哪个
djkdjidd: 没有transformers文件夹如何解决呢
木木木木木林: 在网上找之前版本的chrome版本的浏览器，别让它自动更新，我不想弄了，好累
smy200608: 解决了吗老哥，我也有这个问题