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

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


 

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/430231.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

水库大坝位移监测方法的探索与实践

水库大坝位移监测方法的探索与实践

一、概述&#xff1a;水库大坝位移监测&#xff0c;作为当前工程领域的研究热点&#xff0c;对于确保大坝安全具有重要意义。当前&#xff0c;水平位移与垂直位移监测是两大核心方法。本文旨在通过实际工程案例&#xff0c;深入探讨如何有效结合这两种监测方法&#xff0c;提升…
阅读更多...
Vue.js+SpringBoot开发高校学院网站

Vue.js+SpringBoot开发高校学院网站

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 学院院系模块2.2 竞赛报名模块2.3 教育教学模块2.4 招生就业模块2.5 实时信息模块 三、系统设计3.1 用例设计3.2 数据库设计3.2.1 学院院系表3.2.2 竞赛报名表3.2.3 教育教学表3.2.4 招生就业表3.2.5 实时信息表 四、系…
阅读更多...
Typescript 哲学 morn on funtion

Typescript 哲学 morn on funtion

函数重载 overload 有一些编程语言&#xff08;eg&#xff1a;java&#xff09;允许不同的函数参数&#xff0c;对应不同的函数实现。但是&#xff0c;JavaScript 函数只能有一个实现&#xff0c;必须在这个实现当中&#xff0c;处理不同的参数。因此&#xff0c;函数体内部就…
阅读更多...
iOS-系统弹窗调用，

iOS-系统弹窗调用，

代码&#xff1a; UIAlertController *alertViewController [UIAlertController alertControllerWithTitle:"请选择方式" message:nil preferredStyle:UIAlertControllerStyleActionSheet];// style 为 sheet UIAlertAction *cancle [UIAlertAction actionWithTit…
阅读更多...
消息队列-Kafka-基础架构

消息队列-Kafka-基础架构

基础架构 官网地址 上面这张图类比RocketMQ 相当于对一个主题进行了分区&#xff08;类似于RockeMQ 消息队列&#xff09;&#xff0c;每个分区存储到不同的Broker。在发送消息的时候都是发送到主分区。如果一台Broker由于其它节点备份了挂掉节点的数据&#xff0c;所以可以…
阅读更多...
demo型xss初级靶场

demo型xss初级靶场

一、环境 XSS Game - Ma Spaghet! | PwnFunction 二、开始闯关 第一关 看看代码 试一下直接写 明显进来了为什么不执行看看官方文档吧 你不执行那我就更改单标签去使用呗 ?somebody<img%20src1%20onerror"alert(1)"> 防御&#xff1a; innerText 第二关…
阅读更多...
TS项目实战三：Express实现登录注册功能后端

TS项目实战三：Express实现登录注册功能后端

使用express实现用户登录注册功能&#xff0c;使用ts进行代码开发&#xff0c;使用mysql作为数据库&#xff0c;实现用户登录、登录状态检测、验证码获取接口及用户注册相关接口功能的实现。 源码下载&#xff1a;[点击下载] (https://download.csdn.net/download/m0_37631110/…
阅读更多...
【论文阅读】《Graph Neural Prompting with Large Language Models》

【论文阅读】《Graph Neural Prompting with Large Language Models》

文章目录 0、基本信息1、研究动机2、创新点3、准备3.1、知识图谱3.2、多项选择问答3.3、提示词工程&#xff08;prompt engineering&#xff09; 4、具体实现4.1、提示LLMs用于问答4.2、子图检索4.3、Graph Neural Prompting4.3.1、GNN Encoder4.3.2、Cross-modality Pooling4.…
阅读更多...
UE4升级UE5 蓝图节点变更汇总（4.26/27-5.2/5.3）

UE4升级UE5 蓝图节点变更汇总（4.26/27-5.2/5.3）

一、删除部分 Ploygon Editing删除 Polygon Editing这个在4.26、4.27中的插件&#xff0c;在5.1后彻底失效。 相关的蓝图&#xff0c;如编辑器蓝图 Generate mapping UVs等&#xff0c;均失效。 如需相关功能&#xff0c;请改成Dynamic Mesh下的方法。 GetSupportedClass删…
阅读更多...
Vue项目性能分析工具: vue-cli-plugin-webpack-bundle-analyzer

Vue项目性能分析工具: vue-cli-plugin-webpack-bundle-analyzer

在优化项目的时候&#xff0c;每次打包后只知道包文件大&#xff0c;却不知道那个文件大&#xff0c;那个文件还有优化的空间&#xff0c;所以&#xff0c;推荐一款工具&#xff0c;只要在项目中安装配置一下&#xff0c;便可以一目了然的呈现出打包后资源所占的比例&#xff0…
阅读更多...
企业招聘信息二维码，如何制作？其优势在哪里？

企业招聘信息二维码，如何制作？其优势在哪里？

伴随着三月的春风和细雨&#xff0c;招聘和求职市场也正在回暖。招聘网站的广告攻占了各大社交平台和遍布城市的广告牌&#xff0c;求职者忙着四处打探招聘信息、投简历&#xff0c;公司也在为招聘工作、寻找合适的人才而忙得不可开交。 今天我们要分享的是&#xff0c;如何制…
阅读更多...
基于springboot的抗疫物资管理系统论文

基于springboot的抗疫物资管理系统论文

目 录 摘 要 1 前 言 2 第1章 概述 2 1.1 研究背景 3 1.2 研究目的 3 1.3 研究内容 4 第二章 开发技术介绍 5 2.1相关技术 5 2.2 Java技术 6 2.3 MySQL数据库 6 2.4 Tomcat介绍 7 2.5 Spring Boot框架 8 第三章 系统分析 9 3.1 可行性分析 9 3.1.1 技术可行性 9 3.1.2 经济可行…
阅读更多...
世界最强AI大模型易主了？昨晚，Claude 3系列模型发布，GPT-4时代终结？

世界最强AI大模型易主了？昨晚，Claude 3系列模型发布，GPT-4时代终结？

3 月 4 日&#xff0c;被称为 OpenAI 最强竞争对手的大模型公司 Anthropic 宣布推出 Claude3 系列模型&#xff0c;与 Gemini 类似&#xff0c;模型按照大小分为三个&#xff1a;Claude 3 Haiku、Claude 3 Sonnet 和 Claude 3 Opus。Opus 目前在官方发布的测试成绩中全方位超越…
阅读更多...
Ajax与JQuery

Ajax与JQuery

一、认识Ajax 1.1 web2.0的特点 用户贡献内容内容聚合RSS更丰富的用户体验 1.2 Ajax的优势 无刷新&#xff1a;不刷新整个业务&#xff0c;只刷新局部 无刷新的好处&#xff1a; 只更新部分页面&#xff0c;有效利用带宽提供连续的用户体验提供类似C/S的交互效果&#xff…
阅读更多...
产品推荐 - GX-SOPC-5CEFA5-M484 FPGA核心开发板

产品推荐 - GX-SOPC-5CEFA5-M484 FPGA核心开发板

● 核心板采用8层板精心设计 ● FPGA&#xff1a;采用Intel&#xff08;ALTERA&#xff09; Cyclone V 5CEFA5&#xff0c;Les为77K&#xff0c;内嵌存储器为4460Kb&#xff0c;硬件乘法器为300个&#xff0c;最大等效门数约2300万门&#xff1b;新增DSP Block&#xff08;150…
阅读更多...
【C语言】Leetcode 876. 链表的中间节点

【C语言】Leetcode 876. 链表的中间节点

主页&#xff1a;17_Kevin-CSDN博客 专栏&#xff1a;《Leetcode》 题目 通过题目的要求可以判断出有两种示例要解决&#xff0c;一种是偶数节点的链表&#xff0c;一种是奇数节点的链表&#xff0c;应对这两种情况我们需要使程序对二者都可以兼容。 解决思路 struct ListNode…
阅读更多...
UBOOT和LINUX 调试等级设置

UBOOT和LINUX 调试等级设置

比较好的网页 UBOOT LINUX 设置相关 方法1&#xff1a; echo 5 > /proc/sys/kernel/printk 缺点&#xff1a;方法1无法修改在内核启动时的输出信息 方法2&#xff1a; 通过uboot的环境变量bootargs传递打印级别的参数 set bootargs root/dev/nfs init/linuxrc nfsroot19…
阅读更多...
pandas数据分析42——读取和写入stata和spss的数据格式

pandas数据分析42——读取和写入stata和spss的数据格式

python就是胶水语言&#xff0c;啥文件基本都能读取&#xff0c;而且pandas作为数据分析最好用的包&#xff0c;其功能自然也很多&#xff0c;可以读取各种数据文件。 本次就来演示一下怎么读取stata文件&#xff0c;和spss文件&#xff0c;他们不仅储存了数据和变量&#xff…
阅读更多...
用红黑树封装实现map和set

用红黑树封装实现map和set

map和set的实现原理 为了方便实现我们的map和set&#xff0c;我们肯定是要养成看源码的习惯的&#xff0c;看了源码之后你才会感受到大佬的强大&#xff01; 在源码里面&#xff0c;对于map和set的实现&#xff0c;底层是用同一棵红黑树封装出来的&#xff0c;并不是用了两棵…
阅读更多...
xss.haozi.me:OX11

xss.haozi.me:OX11

");alert("1
阅读更多...
最新文章

Copyright @ 2022~2023