【格与代数系统】示例2

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

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

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

例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})是优软代数,可知结论成立

相关推荐

  1. 演讲比赛流程管理系统代码示例

    2024-03-18 07:16:01       49 阅读
  2. Flink:Lookup Join 实现示例代码

    2024-03-18 07:16:01       37 阅读

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2024-03-18 07:16:01       94 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2024-03-18 07:16:01       100 阅读
  3. 在Django里面运行非项目文件

    2024-03-18 07:16:01       82 阅读
  4. Python语言-面向对象

    2024-03-18 07:16:01       91 阅读

热门阅读

  1. Opencv使用数据增强中斜矩形裁剪成正矩形的方法

    2024-03-18 07:16:01       42 阅读
  2. 在 Nginx 中将 HTTP 重定向到 HTTPS

    2024-03-18 07:16:01       40 阅读
  3. 蓝桥杯刷题--python-22-dfs-bfs

    2024-03-18 07:16:01       43 阅读
  4. 条款13:用对象管理资源(智能指针)

    2024-03-18 07:16:01       40 阅读
  5. Excel数字签名技术总结

    2024-03-18 07:16:01       38 阅读
  6. 过多的 TIME_WAIT

    2024-03-18 07:16:01       33 阅读
  7. 第二十四章 Web Gateway 管理页面概述

    2024-03-18 07:16:01       41 阅读
  8. C语言如何进⾏字符数组的连接?

    2024-03-18 07:16:01       35 阅读
  9. Selenium笔记

    2024-03-18 07:16:01       40 阅读
  10. 使用TensorFlow 2.4进行深度学习

    2024-03-18 07:16:01       43 阅读
  11. 【C++】每日一题 219 存在重复元素

    2024-03-18 07:16:01       39 阅读