集合论—集合的基本运算与主要算律
给定集合AAA和BBB,可以通过集合的并(∪)(\cup)(∪)、交(∩)(\cap)(∩)、相对补(−)(-)(−)、绝对补(∼)(\sim)(∼)和对称差(⊕)(\oplus)(⊕)等运算产生新的集合。
- 并集A∪BA\cup BA∪B
A∪B={x∣x∈A∨x∈B}A\cup B = \{x|x\in A\lor x\in B\}A∪B={x∣x∈A∨x∈B}可以把nnn个集合的并集简记为⋃i=1nAi=A1∪A2∪...∪An\bigcup_{i=1}^{n}A_i = A_1 \cup A_2 \cup...\cup A_ni=1⋃nAi=A1∪A2∪...∪An - 交集A∩BA\cap BA∩B
A∩B={x∣x∈A∧x∈B}A\cap B = \{x|x\in A \land x\in B\}A∩B={x∣x∈A∧x∈B}当两个集合的交集是空集时,称它们是不交的。
可以把nnn个集合的交集简记为⋂i=1nAi=A1∩A2∩...∩An\bigcap_{i=1}^{n} A_i= A_1\cap A_2\cap...\cap A_ni=1⋂nAi=A1∩A2∩...∩An - BBB对AAA的相对补集A−BA-BA−B
A−B=A−A∩B={x∣x∈A∧x∉B}A-B = A-A\cap B=\{x|x\in A\land x\notin B\}A−B=A−A∩B={x∣x∈A∧x∈/B} - 绝对补集∼A\sim A∼A
设EEE为全集,A⊆EA\subseteq EA⊆E,则称AAA对EEE的相对补集为AAA的绝对补集,记做∼A或A‾\sim A或\overline A∼A或A∼A=E−A={x∣x∈E∧x∉A}\sim A = E-A = \{x|x\in E\land x\notin A\}∼A=E−A={x∣x∈E∧x∈/A}或简记为∼A={x∣x∉A}\sim A = \{x|x\notin A\}∼A={x∣x∈/A} - AAA与BBB的对称差A⊕BA\oplus BA⊕B
A⊕B=(A−B)∪(B−A)=(A∪B)−(A∩B)\begin{aligned} A\oplus B & =(A-B)\cup(B-A) \\ & = (A\cup B)-(A\cap B) \\ \end{aligned}A⊕B=(A−B)∪(B−A)=(A∪B)−(A∩B)根据对称差的定义公式可得推论:
5.1. A⊕A=∅A\oplus A = \varnothingA⊕A=∅
5.2. A⊕∅=AA\oplus \varnothing = AA⊕∅=A
集合运算的主要算律
算律 | 公式 |
---|---|
幂等律 | A∪A=AA∪A=AA∪A=A |
A∩A=AA∩A=AA∩A=A | |
结合律 | (A∪B)∪C=A∪(B∪C)(A∪B)∪C=A∪(B∪C)(A∪B)∪C=A∪(B∪C) |
(A∩B)∩C=A∩(B∩C)(A\cap B)\cap C = A\cap(B\cap C)(A∩B)∩C=A∩(B∩C) | |
交换律 | A∪B=B∪AA\cup B = B\cup AA∪B=B∪A |
A∩B=B∩AA\cap B = B\cap AA∩B=B∩A | |
分配律 | A∪(B∩C)=(A∪B)∩(A∪C)A\cup(B\cap C) = (A\cup B)\cap(A\cup C)A∪(B∩C)=(A∪B)∩(A∪C) |
A∩(B∪C)=(A∩B)∪(A∩C)A\cap(B\cup C) = (A\cap B)\cup(A\cap C)A∩(B∪C)=(A∩B)∪(A∩C) | |
同一律 | A∪∅=AA\cup\varnothing = AA∪∅=A |
A∩E=AA\cap E = AA∩E=A | |
零律 | A∪E=EA\cup E = EA∪E=E |
A∩∅=∅A\cap\varnothing = \varnothingA∩∅=∅ | |
排中律 | A∪∼A=EA\cup\sim A = EA∪∼A=E |
矛盾律 | A∩∼A=∅A\cap\sim A = \varnothingA∩∼A=∅ |
吸收律 | A∪(A∩B)=AA\cup(A\cap B)=AA∪(A∩B)=A |
A∩(A∪B)=AA\cap(A\cup B) = AA∩(A∪B)=A | |
德摩根律 | A−(B∪C)=(A−B)∩(A−C)A-(B\cup C) = (A-B)\cap(A-C)A−(B∪C)=(A−B)∩(A−C) |
A−(B∩C)=(A−B)∪(A−C)A-(B\cap C)=(A-B)\cup(A-C)A−(B∩C)=(A−B)∪(A−C) | |
∼(A∪B)=∼A∩∼B\sim(A\cup B)=\sim A\cap\sim B∼(A∪B)=∼A∩∼B | |
∼(A∩B)=∼A∪∼B\sim(A\cap B) = \sim A\cup\sim B∼(A∩B)=∼A∪∼B | |
∼∅=E\sim\varnothing=E∼∅=E | |
∼E=∅\sim E = \varnothing∼E=∅ | |
否定律 | ∼(∼A)=A\sim(\sim A)=A∼(∼A)=A |
集合论—集合的基本运算与主要算律相关推荐
- [离散数学]集合论基础P_3:集合的基本运算
[离散数学]集合论基础P_3:集合的基本运算 前言 1. 并运算 定义 文氏图 例子 2. 交运算 定义 文氏图 例子 3. 补运算 定义 文氏图 例子 4. 差运算 定义 文氏图 例子 5. 对称差 ...
- 初等数学O 集合论基础 第一节 集合及其基本运算、de Moivre公式
初等数学O 集合论基础 第一节 集合及其基本运算.de Moivre公式 写在前面 初等数学这个系列是为高中升理工科的学生以及低年级新生准备的衔接内容,主要的目的是对进入大学前12年学过的数学知识(初 ...
- 两个集合相减怎么算_2集合的基本运算
集合的基本运算 一.教学目标 1 . 知识与技能 ( 1 ) 理解并集和交集的含义,会求两个简单集合的交集与并集 ( 2 ) 能够使用 Venn 图表达两个集合的运算,体会直观图像对抽象概念理解的作用 ...
- 数学分析:集合的基本运算
文章目录 数学分析:集合的基本运算 集合的并 集合的交 集合的差 集合的补 集合的运算律 参考文献 数学分析:集合的基本运算 集合有 并.交.差.补 四种基本运算. 集合的并 定义 1(集合的并):设 ...
- 离散数学实验(三)集合的基本运算
集合的交运算 假设集合E包含A,B两个任意子集,称集合E为全集,集合的交运算为集合A,B中相同元素的集合,记为A∩B.若集合A,B之间无相同的元素,则交运算的结果为空集.例如:全集为全体整数,集合A= ...
- 第三章 集合的基本概念和运算 3.2集合的基本运算
3.2集合的基本运算 本节我们讲集合的并(⋃\bigcup⋃), 交(⋂\bigcap⋂), 相对补(−-−), 绝对补(⨁\bigoplus⨁).交和并大家已经很熟悉了,直接来看他们的运算定律吧. ...
- JAVA班级年龄平均值代码_java用list集合存储学生信息并算出成绩平均值操作
需求 键盘输入五名学生信息并录入list集合; 输出每个学生的信息,计算并输出这五个学生Java语言成绩的平均值: 计算并输出他们Java语言成绩的最大值和最小值. 思路 用Scanner 键盘输入 ...
- java 学生信息 list_java用list集合存储学生信息并算出成绩平均值操作
需求 键盘输入五名学生信息并录入list集合; 输出每个学生的信息,计算并输出这五个学生Java语言成绩的平均值: 计算并输出他们Java语言成绩的最大值和最小值. 思路 用Scanner 键盘输入 ...
- 离散数学-集合:2、集合的基本运算
集合的基本运算 集合只有简单的三个基本运算:并集.交集和补集 1.并集 对于两个集合的并集为取两集合中的所有元素,取并集操作符为∪.注意对于集合中一个出现多次的元素被视为一个元素 . 定义:A∪B={ ...
- python set集合的基本运算
冻结的集合 一般的集合set都是可原处修改的集合.还有一种集合,不能在原处修改. 这种集合的创建方法是: frozenset("hiekay") >>> f_se ...
最新文章
- ux可以去哪些公司_忽略UX会如何伤害您的API以及您可以如何做
- 伪激光雷达:无人驾驶的立体视觉
- python 柱形图 负值_Highcharts 使用负值的反向柱形图
- CSS文本超出2行就隐藏并且显示省略号
- WinAPI: midiOutCachePatches - 预装音色
- vmware nat模式网络不通_笨笨狗教你如何解决VMware虚拟机桥接网络不通问题?
- UIButton小结
- linux下如何安装配置redis及主从配置
- Spring Boot 2.2 正式发布,大幅性能提升 + Java 13 支持
- 漫步线性代数七——特殊矩阵和应用
- 已编辑好的mysql_安装好的mysql改变数据库文件位置
- JavaScript比较两个数组的内容是否相同
- 304441事务管理与并发控制
- mysql一般要配置的几个小节及选项是_MySQL - 必知必会(下)
- 常用名词理解(APK,SDK,JDK,API,DLL)
- 人类首次捕获到反物质 500克能量可超过氢弹
- Linux系统配置DNS服务器
- Go语言核心之美 3.2-slice切片
- gif背景图html,CSS按钮及gif背景图片的运用
- 静态链接库(Lib)和动态链接库(DLL)