【格与代数系统】偏序关系、偏序集与全序集

F_D_Z

已于 2024-03-05 11:39:59 修改

阅读量496

点赞数 7

分类专栏：模糊理论文章标签：学习模糊理论偏序集全序集二元关系

于 2024-03-05 11:22:55 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/weixin_73404807/article/details/136471276

版权

模糊理论专栏收录该内容

12 篇文章 0 订阅

订阅专栏

关系：X,Y是两个非空集合, 记 $X\times Y=\{(x,y)|x\in X,y\in Y\}.$ 若 $R\subseteq X\times Y,$ 则称R是X到Y的一个二元关系，简称关系。

若 $(x,y)\in R$ ,记 $xRy$ 。

当 $R\subseteq X\times X$ 时，称 $R$ 是 $X$ 上的一个关系。

目录

最值与上下界

偏序关系

设 $R$ 是 $X$ 上的一个关系，若 $R$ 满足：

(1)自反性：对任意的 $x\in X$ ,有 $(x,x)\in R$ ；

(2)反对称性：若 $(x,y)\in R,(y,x)\in R$ ,则 $x=y$ ；

(3)传递性：若 $(x,y)\in R,(y,z)\in R$ , 则 $(x,z)\in R$ ；

则称 $R$ 是 $X$ 上的一个偏序关系。

例： $\left \{ {8,4,2,1} \right \}$ 中，小于或等于关系，即满足偏序关系，可以有关系矩阵

偏序集

一般用符号 $\leq$ 来表示偏序关系，从而，称 $(X,\leqslant)$ 是一个偏序集。

偏序关系 $\rightarrow$ 偏序集

可比性

设 $(X,\leqslant)$ 是一个偏序集，对任意 $x, y\in X$ ，若 $x\leqslant y$ 与 $y\leqslant x$ 至少有一个成立，则称 $x$ 与 $y$ 可比；反之，若 $x\leqslant y$ 与 $y\leqslant x$ 都不成立，则称 $x$ 与 $y$ 不可比；

若 $x\leqslant y$ 且 $x\neq y$ ,则记 $x< y$

全序集

若对任意的 $x, y\in X$ ,都有 $x$ 与 $y$ 可比，则称 $\leq$ 是一个线性序或全序。并称 $(X,\leqslant)$ 是一个线性序集或全序集。

一个线性序集也称为一条链，偏序集的线性序的子集 (在原偏序关系下) 构成一条链。

偏序集+可比性 $\rightarrow$ 全序集

最值与上下界

设 $(X,\leqslant)$ 是一个偏序集.

若存在 $u\in X$ ,使得对任意的 $x\in X$ ,有 $x\leqslant u$ ,则称 $u$ 是 $(X,\leqslant)$ 的最大元；

若存在 $l\in X$ , 使得对任意的 $x\in X$ , 有 $l\leqslant x$ ,则称 $l$ 是 $(X,\leqslant)$ 的最小元。

设 $(X,\leqslant)$ 是一个偏序集， $A\subseteq X$ .

若存在 $\alpha\in X$ ,对任意的 $x\in A$ , 有 $x\leqslant \alpha,$ 则称 $\alpha$ 是 $A$ 的一个上界；

若存在 $\beta\in X$ ,对任意的 $x\in A$ ,有 $\beta\leqslant x$ ,则称 $\beta$ 是 $A$ 的一个下界。

上下确界

设 $(X,\leqslant)$ 是一个偏序集， $A\subseteq X$ .

若 $\alpha$ 是 $A$ 的一个上界，且对 $A$ 的任意上界 $u$ ,都有 $\alpha\leqslant u$ ,则称 $\alpha$ 是 $A$ 的最小上界或上确界，记 $\alpha=\sup\{x|x\in A\};$

若 $\beta$ 是 $A$ 的一个下界，且对 $A$ 的任意下界 $l$ ,都有 $\beta \geq l$ , 则称 $\beta$ 是 $A$ 的最大下界或下确界，记 $\beta=\inf\{x|x\in A\}$ 。

若 $A$ 的上、下确界存在，则记:

$\bigvee A=\bigvee\{x|x\in A\}=\sup A=\sup\{x|x\in A\},$

$\bigwedge A=\bigwedge\{x|x\in A\}=\operatorname*{inf}A=\operatorname*{inf}\{x|x\in A\}.$

关注

7
点赞
踩
8

收藏

觉得还不错? 一键收藏
打赏
0
评论
【格与代数系统】偏序关系、偏序集与全序集

关系：X,Y是两个非空集合, 记若则称R是X到Y的一个，简称关系。若,记。当时，称是上的一个关系。
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

打赏作者

F_D_Z 你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20

扫码支付：¥1

获取中

扫码支付

您的余额不足，请更换扫码支付或充值

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。