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

【格与代数系统】示例2

news 2025/6/24 20:30:28

【分明集合】特征函数、关系与运算

【模糊集合】隶属函数、关系与运算

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

例1

({\mathcal{P}}(X),\cup,\cap,\ ^{c})是（ABC）

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}

依据分明集合间运算的性质，详见【分明集合】特征函数、关系与运算

例2

({\mathcal{P}}(X),\cup,\cap,\ ^{c})是布尔代数（对）

布尔代数：有补+分配

依据分明集合间运算的性质，详见【分明集合】特征函数、关系与运算 

例3

({\mathcal{P}}(X),\cup,\cap,\ ^{c})是优软代数（错）

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

不满足稠密性

例4

({\mathcal{F}}(X),\cup,\cap,\ ^{c})是（ABCD）

A.有界格

有界格：有最大、最小元

B.分配格

分配格：满足分配律

C.完全格

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

D.对偶格

对偶格：复原律+对偶律

复原律：(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}

依据模糊集合间运算的性质，详见【模糊集合】隶属函数、关系与运算 

例5

({\mathcal{F}}(X),\cup,\cap,\ ^{c})是优软代数（对）

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

 代数系统([0,1],\cup,\cap,\ ^{c})是优软代数，可知结论成立

http://www.xdnf.cn/news/1066951.html

相关文章：

  • 黑马程序员苍穹外卖DAY1
  • 【AI News | 20250623】每日AI进展
  • 基于openfeign拦截器RequestInterceptor实现的微服务之间的夹带转发
  • 支持java8的kafka版本
  • Python csv 模块
  • Spring MVC极简入门：从@Request到Postman的全链路开发
  • python中学物理实验模拟：平抛运动和抛物运动
  • 苹果芯片macOS安装版Homebrew(亲测) ，一键安装node、python、vscode等，比绿色软件还干净、无污染
  • 触摸屏（典型 I2C + Input 子系统设备）从设备树解析到触摸事件上报
  • 深入浅出Node.js后端开发
  • Python基础之函数
  • Python基础（​​FAISS​和​​Chroma​）
  • Redis哨兵模式深度解析与实战部署
  • 如何实现财务自由
  • 操作系统 第九章 部分
  • 飞往大厂梦之算法提升-7
  • 第一节 布局与盒模型-Flex与Grid布局对比
  • Java的SpringAI+Deepseek大模型实战【二】
  • Vue实现选中多张图片一起拖拽功能
  • 华为HN8145V光猫改华为蓝色公版界面，三网通用，xgpon公版光猫
  • [NocoDB] 在局域网中调整Float类型显示精度的部署经验
  • 《哈希表》K倍区间（解题报告）
  • 数组题解——​轮转数组【LeetCode】
  • K8S下http请求在ingress和nginx间无限循环的问题
  • Docker 永久换源步骤
  • 基于ASP4644多通道降压技术在电力监测系统中集成应用与发展前景
  • Maven 之 JUnit 测试体系构建全解析
  • 基于SpringBoot + Vue 的网上拍卖系统
  • leetcode543-二叉树的直径
  • 通信网络编程3.0——JAVA