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

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。

相关文章

linux系统中java的cacerts的优先级详解

linux系统中java的cacerts的优先级详解

《linux系统中java的cacerts的优先级详解》文章讲解了Java信任库（cacerts）的优先级与管理方式,指出JDK自带的cacerts默认优先级更高,系统级cacerts需手动同步或显式... 目录Java 默认使用哪个？如何检查当前使用的信任库？简要了解Java的信任库总结了解 Java 信
阅读更多...
Java 中的 equals 和 hashCode 方法关系与正确重写实践案例

Java 中的 equals 和 hashCode 方法关系与正确重写实践案例

《Java中的equals和hashCode方法关系与正确重写实践案例》在Java中,equals和hashCode方法是Object类的核心方法,广泛用于对象比较和哈希集合（如HashMa... 目录一、背景与需求分析1.1 equals 和 hashCode 的背景1.2 需求分析1.3 技术挑战1.4
阅读更多...
Oracle数据库在windows系统上重启步骤

Oracle数据库在windows系统上重启步骤

《Oracle数据库在windows系统上重启步骤》有时候在服务中重启了oracle之后,数据库并不能正常访问,下面：本文主要介绍Oracle数据库在windows系统上重启的相关资料,文中通过代... oracle数据库在Windows上重启的方法我这里是使用oracle自带的sqlplus工具实现的方
阅读更多...
JWT + 拦截器实现无状态登录系统

JWT + 拦截器实现无状态登录系统

《JWT+拦截器实现无状态登录系统》JWT（JSONWebToken）提供了一种无状态的解决方案：用户登录后,服务器返回一个Token,后续请求携带该Token即可完成身份验证,无需服务器存储会话... 目录✅ 引言 一、JWT 是什么？ 二、技术选型 三、项目结构 四、核心代码实现4.1 添加依赖（pom
阅读更多...
基于Python实现自动化邮件发送系统的完整指南

基于Python实现自动化邮件发送系统的完整指南

《基于Python实现自动化邮件发送系统的完整指南》在现代软件开发和自动化流程中,邮件通知是一个常见且实用的功能,无论是用于发送报告、告警信息还是用户提醒,通过Python实现自动化的邮件发送功能都能... 目录一、前言：二、项目概述三、配置文件 `.env` 解析四、代码结构解析1. 导入模块2. 加载环
阅读更多...
linux系统上安装JDK8全过程

linux系统上安装JDK8全过程

《linux系统上安装JDK8全过程》文章介绍安装JDK的必要性及Linux下JDK8的安装步骤,包括卸载旧版本、下载解压、配置环境变量等,强调开发需JDK,运行可选JRE,现JDK已集成JRE... 目录为什么要安装jdk？1.查看linux系统是否有自带的jdk：2.下载jdk压缩包2.解压3.配置环境
阅读更多...
Springboot项目构建时各种依赖详细介绍与依赖关系说明详解

Springboot项目构建时各种依赖详细介绍与依赖关系说明详解

《Springboot项目构建时各种依赖详细介绍与依赖关系说明详解》SpringBoot通过spring-boot-dependencies统一依赖版本管理,spring-boot-starter-w... 目录一、spring-boot-dependencies1.简介2. 内容概览3.核心内容结构4.
阅读更多...
Linux查询服务器系统版本号的多种方法

Linux查询服务器系统版本号的多种方法

《Linux查询服务器系统版本号的多种方法》在Linux系统管理和维护工作中,了解当前操作系统的版本信息是最基础也是最重要的操作之一,系统版本不仅关系到软件兼容性、安全更新策略,还直接影响到故障排查和... 目录一、引言：系统版本查询的重要性二、基础命令解析：cat /etc/Centos-release详
阅读更多...
更改linux系统的默认Python版本方式

更改linux系统的默认Python版本方式

《更改linux系统的默认Python版本方式》通过删除原Python软链接并创建指向python3.6的新链接,可切换系统默认Python版本,需注意版本冲突、环境混乱及维护问题,建议使用pyenv... 目录更改系统的默认python版本软链接软链接的特点创建软链接的命令使用场景注意事项总结更改系统的默
阅读更多...
Java中数组与栈和堆之间的关系说明

Java中数组与栈和堆之间的关系说明

《Java中数组与栈和堆之间的关系说明》文章讲解了Java数组的初始化方式、内存存储机制、引用传递特性及遍历、排序、拷贝技巧,强调引用数据类型方法调用时形参可能修改实参,但需注意引用指向单一对象的特性... 目录Java中数组与栈和堆的关系遍历数组接下来是一些编程小技巧总结Java中数组与栈和堆的关系关于
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2