当前位置： 首页 > news >正文

【格与代数系统】示例

news 2025/6/27 12:26:38

【格与代数系统】格与代数系统汇总

例1

设(L,\vee,\wedge)是由(L,\leq )诱导的代数系统，则其上的二元运算满足（ABCD）

A.a\wedge b=b\wedge a.

B.a\vee a=a

C.a\wedge(a\vee b)=a

D.(a\vee b)\vee c=a\vee(b\vee c)

代数系统满足交换律、幂等律、吸收律、结合律

例2

([0,1],V,\Lambda,\ ^{c})是（ABCD）

A.有界格

有界格：有最大、最小元

B.分配格

分配格：满足分配律

C.对偶格

对偶格：复原律+对偶律

复原律：(a^{\mathrm{c}})^{\mathrm{c}}=a

对偶律：(a\bigvee b)^\mathrm{c}=a^\mathrm{c}\bigwedge b^\mathrm{c},\quad(a\bigwedge b)^\mathrm{c}=a^\mathrm{c}\bigvee b^\mathrm{c}

D.完全格

完备格：非空子集都有上下确界

([0,1],V,\Lambda,\ ^{c})不是有补格（有补格：每个元素都有补元）

对任意a \in \left ( 0,1 \right )，假设存在b \in \left [ 0,1 \right ]，使得b是a的补元

即有a\vee b=1,a\wedge b=0，故b=1，b=0，矛盾，故不存在b是a的补元，故([0,1],V,\Lambda,\ ^{c})不是有补格

一般，若一个线性序集中的元素多于两个，那它一定不是有补格。

例3

代数系统([0,1],V,\Lambda,\ ^{c})是优软代数（对）

优软代数：对偶+稠密+完全+无限分配律

证：

已知([0,1],V,\Lambda,\ ^{c})是对偶格，由实数集的性质它是稠密的完全格，下正无限分配律：

一方面，对任意的$i\in I,b_i\leqslant\vee_{j\in I}b_j$，故对任意的$i\in I$，a\wedge b_i\leqslant a\wedge(\vee_{j\in I}b_j)，因此
\vee_{i\in I}(a\wedge b_i)\leqslant a\wedge(\vee_{j\in I}b_j)
另一方面：

(1) 若存在$i_0\in I$,使得$b_{i_0}>a$, 则 $a\wedge b_{i_0}=a$. 此时

a\wedge(\vee_{i\in I}b_i)\leqslant a=a\wedge b_{i_0}\leqslant \vee_{i\in I}(a\wedge b_i)

(2) 若对任意i\in I，b_i\leqslant a，则$a\wedge b_i= b_i$,且 $\vee_{i\in I}b_i\leqslant a$. 此时

a\wedge(\vee_{i\in I}b_i)=\vee_{i\in I}b_i=\vee_{i\in I}(a\wedge b_i)

因此，无限分配律第一个表达式成立，同理可得无限分配律第二个表达式，故无限分配律成立，故代数系统([0,1],V,\Lambda,\ ^{c})是优软代数。

例4

代数系统(\left\{0,1\right\},V,\Lambda,\ ^{c})是优软代数（错）

优软代数：对偶+稠密+完全+无限分配律

不满足稠密性

稠密性：任意两元间仍有一元

http://www.lqws.cn/news/500455.html

相关文章：

  • linux 下 Doris 单点部署
  • 优化 ArcPy 脚本性能
  • 华为云 Flexus+DeepSeek 征文｜基于 CCE 集群部署 Dify 平台工作流：科研论文翻译与 SEO 优化工具的全流程设计实践
  • python中学物理实验模拟：平抛运动和抛物运动
  • 基于 SpringBoot+JSP 的医疗预约与诊断系统设计与实现
  • JavaWeb学习——day8(MVC模式与session、cookie)
  • Node.js特训专栏-实战进阶：7.Express模板引擎选型与使用
  • Java SE - 图书管理系统模拟实现
  • Python csv 模块
  • leetcode82.删除排序链表中的重复元素II
  • AngularJS 待办事项 App
  • 触摸屏（典型 I2C + Input 子系统设备）从设备树解析到触摸事件上报
  • 73页精品PPT | 大数据平台规划与数据价值挖掘应用咨询项目解决方案
  • 124. 二叉树中的最大路径和
  • 驱动入门的进一步深入
  • 【机器学习深度学习】机器学习核心的计算公式：wx+b
  • 非对称加密实战：Python实现数字签名
  • sudo安装pip包的影响
  • 在 AI 工具海洋中掌舵：Cherry Studio 如何成为你的统一指挥中心
  • 更新麒麟连不上外网
  • C指针总结复习（结合deepseek）
  • 黑马程序员苍穹外卖DAY1
  • JimuReport：一款免费的数据可视化报表工具
  • 用于算法性能预测的 GNN 框架
  • 飞往大厂梦之算法提升-7
  • C3新增特性
  • 速通Ceph分布式存储（含超详细图解）
  • 苹果芯片macOS安装版Homebrew(亲测) ，一键安装node、python、vscode等，比绿色软件还干净、无污染
  • Java中==与equals()方法的深度解析
  • 防火墙基本功能介绍