离散数学之集合笔记一
1.1 集合的定义
集合: 是由指定范围内的满足给定条件的所有对象聚集在一起构成,每一个对象称
为这个集合的元素。
外延公理 + 空集存在公理 + 无序对公理 + 并集公理 + 幂集公理 + 无穷公理 +
替换公理 + 正则公理 + 选择公理。 (ZFC 公理化集合论)
1.2 集合的表示
通常情况下
- 用带或不带下标的大写英文字母表示集合: A; B; C; · · · ; A1; B1; C1; · ·
- 用带或不带下标的小写英文字母表示元素: a; b; c; · · · ; a1; b1; c1
1.3 属于关系
- 若 a 是集合 A 中的元素,则称 a属于A,记为 a 2 A
- 若 a 不是集合 A 中的元素,则称 a不属于A,记为 a 2/ A
1.4 集合的表示方法
枚举法: 列出集合中的全部元素或者仅列出一部分元素,其余用省略号 (· · · ) 表示。
- A = {a; b; c; d}
- B = {2; 4; 6; 8; 10; · · · }
叙述法: 通过刻画集合中元素所具备的某种性质或特性来表示一个集合。
P = {x|P(x)}
e.g:
A = {x|x是英文字母中的元音字母}
**文氏图:**是利用平面上的点来做成对集合的图解方法。一般使用平面上的方形或圆形表示一个集合,而使用平面上的一个小圆点来表示集合的元素。
1.5 基数
- 集合 A 中的元素个数称为集合的基数(base number),记为 |A|
- 若一个集合的基数是有限的,称该集合为有限集(fnite set)
- 若一个集合的基数是无限的,称该集合为无限集(infnite set)
1.6 特殊集合
1.6.1 空集: 不含任何元素的集合叫做空集(empty set),记作 ∅.
空集可以符号化为 ∅ = {x|x ̸= x}
PS:空集是绝对唯一的
1.6.2 全集: 针对一个具体范围,我们考虑的所有对象的集合叫做全集(universal set),记作 U 或 E.
在文氏图一般使用方形表示全集。
PS:全集是相对唯一的。
1.6.3集合的相等关系:
元素的特性:
- 集合中的元素是无序的。 {1; 2; 3; 4} 与 {2; 3; 1; 4} 相同。
- 集合中的元素是不同的。 {1; 2; 2; 3; 4; 3; 4; 2}与 {1; 2; 3; 4} 相同。
Theorem (外延性原理)
两个集合 A 和 B 相等,当且仅当它们的元素完全相同,记为 A = B, 否则 A 和 B 不相等,记为
A ̸= B.
1.6.4 子集和真子集
设 A = {BASIC; PASCAL; ADA}; B = {ADA; PASCAL},
此时 A 中含有 B 中所有的元素,这种情况称为A 包含 B.
设 A; B 是任意两个集合,
如果 B 的每个元素都是 A 中的元素,则称 B 是 A 的子集,也称做B 被 A 包含或A 包含
B,记作B ⊆ A,否则记作B ⊈ A.
如果 B ⊆ A 并且 A ̸= B,则称 B 是 A 的真子集,也称做B 被 A 真包含或A 真包含 B,记
作B ⊂ A,否则记作B ̸⊂ A
”⊆” 关系的数学语言描述为:B ⊆ A , 对 任意x, 如果 x ∈B, 则 x ∈A.
1.6.5 如何证明两个集合相等
设 A; B 为任意两个集合,则 A = B , A ⊆ B 并且 B ⊆ A
证明:
1 首先证明 A ⊆ B:∀x ∈A; · · · ; x ∈ B,A ⊆ B:
2 其次证明 B ⊆ A:∀x ∈ B; · · · ; x ∈A, B ⊆ A:
由以上两点,可知 A=B。
1.6.6 n 元集的子集
对于任意 n 元集合 A,它的 m 元 (0 ⩽ m ⩽ n) 子集个数为 Cm n 个,
所以不同的子集个数为:
Cn0+Cn1+……+Cnn=(1+1)n=2nC^{0}_{n}+C^{1}_{n}+……+C^{n}_{n}=(1+1)^n=2^nCn0+Cn1+……+Cnn=(1+1)n=2n
1.6.7 幂集
设 A 为任意集合,把 A 的所有不同子集构成的集合叫做 A 的幂集(power set), 记作 P(A),即:P(A) = {x|x ⊆ A}
例如:
设 A = {a; b; c},B = {a; {b; c}},求他们的幂集 P(A) 和 P(B)。
解:P(A) = {∅,{a}, {b}, {c},{a, b}; {b, c}, {a, c},{a, b,c}}
P(B) = {∅, {a}, {{b, c}}, {a;,{b, c}}}
1.7 集合的基本运算
1.7.1 并集
设 A; B 是两个集合,则集合 A 与 B 的并
集定义为:
A∪B = {x|x∈A 或 x∈B}
1.7.2 交集
设 A; B 是两个集合,则集合 A 与 B 的交
集定义为:
A ∩B ={x|x∈A 且 x∈B}
1.7.3 补集
设 U 是全集,则集合 A 的补集定义为:
A = {x|x ∉A}
PS:A的上面应该带一横
1.7.4 差集
设 A; B 是两个集合,则集合 A 与 B 的差
集定义为:
A − B = {x|x∈A 并且 x∉B}
1.7.5 对称差集
设 A; B 是两个集合,则集合 A 与 B 的对称
差集定义为:
A ⊕ B = {x|(x∈A 并且 x ∉ B)或者(x ∉A 并且 x ∈B)}
离散数学之集合笔记一相关推荐
- 2021-06-22 离散数学图论复习笔记
离散数学图论复习笔记 仅记了自己不太熟悉容易弄混的概念,不懂的可以回到知乎连接查看. 一.图的类型 无序对--(a,b),AB之间的线 无序积--A&B,AB之间线的集合 有序对--<a ...
- Java中的集合笔记
java特精典的集合笔记 转载于:https://blog.51cto.com/2048230/381248
- 离散数学之集合关系(赋代码实现版)
前言 最近在学习离散数学,在这里给大家总结一下离散数学的集合关系吧 自反性 对称性 传递性 并且我用代码给大家实现了一下,但是代码测试的并不多,不晓得有没有bug,大家若留了这方面的作业,可拿去一测
- Java常用集合笔记
最近事情比较少,闲暇之余温习巩固一下Java的一些基础知识,并做一些笔记, Java常用集合, 主要参考的这篇文章:Java常用集合 ArrayList/Vertor 1. ArrayList 的主要 ...
- 离散数学中 集合、关系、群 的证明方法(英文证明附例题)
文章目录 集合 子集关系 句式 两个集合相等 句式 例子 划分(partition) 句式 例子 关系 关系R的自反性(reflexive)反自反(irreflexive) 句式 关系R的对称性(sy ...
- 【离散数学】集合与集合的运算
集合是现代数学最基本的概念,运算的本质就是集合. 集合.映射.运算和关系是贯穿于离散数学的一条主线,它们可使离散数学不"离散". 集合的定义:集合(set),具有某种特定性质的对象 ...
- 线程关键字、锁、同步集合笔记
Android开发笔记 onGithub [TOC] 1.原子性.可见性.有序性 1.1 原子性 指一个操作是不可中断的,即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都 ...
- java arraylist排序_最全Java集合笔记
集合概述 什么是集合 集合框架:用于存储数据的容器. 集合框架是为表示和操作集合而规定的一种统一的标准的体系结构.任何集合框架都包含三大块内容:对外的接口.接口的实现和对集合运算的算法. 接口:表示集 ...
- 【离散数学】集合的特征函数
集合的特征函数 令 E E E是全集, A A A是 E E <
- 【离散数学】集合的包含排斥原理
包含排斥原理是集合论的基本内容,用于解决集合的计数问题. 一般地,有 n n n个有限集合 A 1 , A 2 , . . . , A n A_{1},A_{2},...,A_{n}
最新文章
- 李洪根关于[SQL]对于分页存储过程
- 系统架构_Linux内核系统架构介绍
- python读取excel表格-Python读取Excel单元格的内容
- 史丹利谋定跨国合作-万祥军:对话国际农民丰收节贸易会
- 从源码出发深入理解 Android Service
- 三次握手,四次挥手的过程??为什么三握??
- Python和Java就业前景对比
- Leet Code OJ 102. Binary Tree Level Order Traversal [Difficulty: Easy]
- 空间相关分析(三) 局部莫兰指数的理解与计算
- jszip压缩服务器文件,JSZip压缩与解压的基本使用
- linux 下spi的使用 ,cc2500模块驱动
- 小程序毕设作品之微信积分商城小程序毕业设计成品(7)中期检查报告
- 社交网络和物联网技术,拓展了数据采集技术渠道
- php支付宝封装类,android封装支付宝支付
- 自己的服务器进不去显示403,HTTP 403错误:含义和解决方法
- 概率笔记2——古典概型
- 爆火的Java面试题-易语言线程池用法
- bugku convert [MISC]
- Java简史-SUN
- 【开源教程11】疯壳·开源蓝牙心率防水运动手环-整机功能代码讲解
热门文章
- install Oracle JDK in Linux:安装oracle JDK in linux
- 反锐化掩膜_带噪声抑制的反锐化掩模图像增强算法
- 超人能一拳把某个人打出地球吗?
- 遥感影像语义分割论文笔记(一)FarSeg CVPR2020
- 叶俊|从人类基因本能谈到赞美的力量|麻辣总裁幽默SHOW嗨翻全场
- Bug算法(Bug Algorithms)简介(Bug1 Bug2 Tangent Bug)
- python3d动画效果_使用Matplotlib 3D实现三维波浪动画
- PHP的zend引擎
- 关于UVC PTZ功能
- 《第五项修炼》,读后感