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

2024-03-05 13:20
文章标签 系统 关系 代数 偏序 全序集

本文主要是介绍【格与代数系统】偏序关系、偏序集与全序集，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

关系：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\}. $​​​​​​​


 

这篇关于【格与代数系统】偏序关系、偏序集与全序集的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/776654。

相关文章

利用Python快速搭建Markdown笔记发布系统

利用Python快速搭建Markdown笔记发布系统

《利用Python快速搭建Markdown笔记发布系统》这篇文章主要为大家详细介绍了使用Python生态的成熟工具,在30分钟内搭建一个支持Markdown渲染、分类标签、全文搜索的私有化知识发布系统... 目录引言：为什么要自建知识博客一、技术选型：极简主义开发栈二、系统架构设计三、核心代码实现（分步解析
阅读更多...
Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整
阅读更多...
Linux系统中卸载与安装JDK的详细教程

Linux系统中卸载与安装JDK的详细教程

《Linux系统中卸载与安装JDK的详细教程》本文详细介绍了如何在Linux系统中通过Xshell和Xftp工具连接与传输文件,然后进行JDK的安装与卸载,安装步骤包括连接Linux、传输JDK安装包... 目录1、卸载1.1 linux删除自带的JDK1.2 Linux上卸载自己安装的JDK2、安装2.1
阅读更多...
Tomcat版本与Java版本的关系及说明

Tomcat版本与Java版本的关系及说明

《Tomcat版本与Java版本的关系及说明》：本文主要介绍Tomcat版本与Java版本的关系及说明,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Tomcat版本与Java版本的关系Tomcat历史版本对应的Java版本Tomcat支持哪些版本的pythonJ
阅读更多...
Linux系统之主机网络配置方式

Linux系统之主机网络配置方式

《Linux系统之主机网络配置方式》：本文主要介绍Linux系统之主机网络配置方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、查看主机的网络参数1、查看主机名2、查看IP地址3、查看网关4、查看DNS二、配置网卡1、修改网卡配置文件2、nmcli工具【通用
阅读更多...
Linux系统之dns域名解析全过程

Linux系统之dns域名解析全过程

《Linux系统之dns域名解析全过程》：本文主要介绍Linux系统之dns域名解析全过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、dns域名解析介绍1、DNS核心概念1.1 区域 zone1.2 记录 record二、DNS服务的配置1、正向解析的配置
阅读更多...
Linux系统中配置静态IP地址的详细步骤

Linux系统中配置静态IP地址的详细步骤

《Linux系统中配置静态IP地址的详细步骤》本文详细介绍了在Linux系统中配置静态IP地址的五个步骤,包括打开终端、编辑网络配置文件、配置IP地址、保存并重启网络服务,这对于系统管理员和新手都极具... 目录步骤一：打开终端步骤二：编辑网络配置文件步骤三：配置静态IP地址步骤四：保存并关闭文件步骤五：重
阅读更多...
Windows系统下如何查找JDK的安装路径

Windows系统下如何查找JDK的安装路径

《Windows系统下如何查找JDK的安装路径》：本文主要介绍Windows系统下如何查找JDK的安装路径,文中介绍了三种方法,分别是通过命令行检查、使用verbose选项查找jre目录、以及查看... 目录一、确认是否安装了JDK二、查找路径三、另外一种方式如果很久之前安装了JDK，或者在别人的电脑上，想
阅读更多...
Linux系统之authconfig命令的使用解读

Linux系统之authconfig命令的使用解读

《Linux系统之authconfig命令的使用解读》authconfig是一个用于配置Linux系统身份验证和账户管理设置的命令行工具,主要用于RedHat系列的Linux发行版,它提供了一系列选项... 目录linux authconfig命令的使用基本语法常用选项示例总结Linux authconfi
阅读更多...
Nginx配置系统服务&设置环境变量方式

Nginx配置系统服务&设置环境变量方式

《Nginx配置系统服务&设置环境变量方式》本文介绍了如何将Nginx配置为系统服务并设置环境变量,以便更方便地对Nginx进行操作,通过配置系统服务,可以使用系统命令来启动、停止或重新加载Nginx... 目录1.Nginx操作问题2.配置系统服android务3.设置环境变量总结1.Nginx操作问题
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2