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

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。

相关文章

不懂推荐算法也能设计推荐系统

不懂推荐算法也能设计推荐系统

本文以商业化应用推荐为例，告诉我们不懂推荐算法的产品，也能从产品侧出发， 设计出一款不错的推荐系统。 相信很多新手产品，看到算法二字，多是懵圈的。 什么排序算法、最短路径等都是相对传统的算法（注：传统是指科班出身的产品都会接触过）。但对于推荐算法，多数产品对着网上搜到的资源，都会无从下手。特别当某些推荐算法 和 “AI”扯上关系后，更是加大了理解的难度。 但，不了解推荐算法，就无法做推荐系
阅读更多...
基于人工智能的图像分类系统

基于人工智能的图像分类系统

目录 引言项目背景环境准备 硬件要求软件安装与配置系统设计 系统架构关键技术代码示例 数据预处理模型训练模型预测应用场景结论 1. 引言 图像分类是计算机视觉中的一个重要任务，目标是自动识别图像中的对象类别。通过卷积神经网络（CNN）等深度学习技术，我们可以构建高效的图像分类系统，广泛应用于自动驾驶、医疗影像诊断、监控分析等领域。本文将介绍如何构建一个基于人工智能的图像分类系统，包括环境
阅读更多...
水位雨量在线监测系统概述及应用介绍

水位雨量在线监测系统概述及应用介绍

在当今社会，随着科技的飞速发展，各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中，水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术，其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成，形成了一个完整的闭环系统。 数据采集单元：这是系统的“眼睛”，
阅读更多...
嵌入式QT开发：构建高效智能的嵌入式系统

嵌入式QT开发：构建高效智能的嵌入式系统

摘要： 本文深入探讨了嵌入式 QT 相关的各个方面。从 QT 框架的基础架构和核心概念出发，详细阐述了其在嵌入式环境中的优势与特点。文中分析了嵌入式 QT 的开发环境搭建过程，包括交叉编译工具链的配置等关键步骤。进一步探讨了嵌入式 QT 的界面设计与开发，涵盖了从基本控件的使用到复杂界面布局的构建。同时也深入研究了信号与槽机制在嵌入式系统中的应用，以及嵌入式 QT 与硬件设备的交互，包括输入输出设
阅读更多...
JAVA智听未来一站式有声阅读平台听书系统小程序源码

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来，一站式有声阅读平台听书系统 🌟&nbsp;开篇：遇见未来，从“智听”开始 在这个快节奏的时代，你是否渴望在忙碌的间隙，找到一片属于自己的宁静角落？是否梦想着能随时随地，沉浸在知识的海洋，或是故事的奇幻世界里？今天，就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统，它正悄悄改变着我们的阅读方式，让未来触手可及！ 📚&nbsp;第一站：海量资源，应有尽有 走进“智听
阅读更多...
【区块链 + 人才服务】可信教育区块链治理系统 | FISCO BCOS应用案例

【区块链 + 人才服务】可信教育区块链治理系统 | FISCO BCOS应用案例

伴随着区块链技术的不断完善，其在教育信息化中的应用也在持续发展。利用区块链数据共识、不可篡改的特性， 将与教育相关的数据要素在区块链上进行存证确权，在确保数据可信的前提下，促进教育的公平、透明、开放，为教育教学质量提升赋能，实现教育数据的安全共享、高等教育体系的智慧治理。 可信教育区块链治理系统的顶层治理架构由教育部、高校、企业、学生等多方角色共同参与建设、维护，支撑教育资源共享、教学质量评估、
阅读更多...
软考系统规划与管理师考试证书含金量高吗？

软考系统规划与管理师考试证书含金量高吗？

2024年软考系统规划与管理师考试报名时间节点： 报名时间：2024年上半年软考将于3月中旬陆续开始报名 考试时间：上半年5月25日到28日，下半年11月9日到12日 分数线：所有科目成绩均须达到45分以上（包括45分）方可通过考试 成绩查询：可在“中国计算机技术职业资格网”上查询软考成绩 出成绩时间：预计在11月左右 证书领取时间：一般在考试成绩公布后3~4个月，各地领取时间有所不同
阅读更多...
系统架构师考试学习笔记第三篇——架构设计高级知识（20）通信系统架构设计理论与实践

系统架构师考试学习笔记第三篇——架构设计高级知识（20）通信系统架构设计理论与实践

本章知识考点：         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识
阅读更多...
计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者：计算机编程-吉哥 🍊简介：专业从事JavaWeb程序开发，微信小程序开发，定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事，生活就是快乐的。 🍊心愿：点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能
阅读更多...
POJ1269 判断2条直线的位置关系

POJ1269 判断2条直线的位置关系

题目大意：给两个点能够确定一条直线，题目给出两条直线（由4个点确定），要求判断出这两条直线的关系：平行，同线，相交。如果相交还要求出交点坐标。 解题思路： 先判断两条直线p1p2, q1q2是否共线， 如果不是，再判断 直线 是否平行， 如果还不是， 则两直线相交。  判断共线：  p1p2q1 共线 且 p1p2q2 共线 ，共线用叉乘为 0  来判断，  判断 平行：  p1p
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2