数学笔记-集合

集合

——来自百度的介绍：
集合（简称集）是数学中的一个基本概念，它是集合论的研究对象，集合的基本理论直到19世纪才被创立。最简单的说法，即是在最原始的集合论–朴素集合论中的定义，集合就是“确定的一堆东西”。集合里的“东西”，叫做元素。

由一个或多个确定的元素所构成的集体就做集合（好像是废话）。若x是集合A的元素，则记作 x∈A。集合中的元素有三个特征：

  1. 确定性（集合中的元素必须是确定的）
  2. 互异性（集合中的元素互不相同。例如：集合{1, a}，则a不能等于1）

  3. 无序性（集合中的元素没有先后之分），如集合 {3, 4, 5} 和 {3, 5, 4} 算作同一个集合。

    感觉JavaScript中的引用类型 Array[] 就跟集合差不多，当然，肯定不会有人到处说这个Array类型有三大特征。什么确定性啊，互异性啊，无序性啊。这在 Array[] 被创建的时候就感觉到了。同时JavaScript里的 Array 即是[] 可以包含其他的对象类型，如另一个 [R, [1,2,3]]，这些特性都可以说…

集合

——来自百度的介绍：
集合（简称集）是数学中的一个基本概念，它是集合论的研究对象，集合的基本理论直到19世纪才被创立。最简单的说法，即是在最原始的集合论–朴素集合论中的定义，集合就是“确定的一堆东西”。集合里的“东西”，叫做元素。

由一个或多个确定的元素所构成的集体就做集合（好像是废话）。若x是集合A的元素，则记作 x∈A。集合中的元素有三个特征：

  1. 确定性（集合中的元素必须是确定的）
  2. 互异性（集合中的元素互不相同。例如：集合{1, a}，则a不能等于1）

  3. 无序性（集合中的元素没有先后之分），如集合 {3, 4, 5} 和 {3, 5, 4} 算作同一个集合。

    感觉JavaScript中的引用类型 Array[] 就跟集合差不多，当然，肯定不会有人到处说这个Array类型有三大特征。什么确定性啊，互异性啊，无序性啊。这在 Array[] 被创建的时候就感觉到了。同时JavaScript里的 Array 即是[] 可以包含其他的对象类型，如另一个 [R, [1,2,3]]，这些特性都可以说跟集合有关系。

概念

集合是指具有某种特定性质的具体的或抽象的对象汇总成的集体，这些对象称为该集合的元素。

例如全中国人的集合，它的元素就是每一个中国人。我们通常用大写字母如A,B,S,T,…表示集合（好像定义变量），而且小写字母入a,b,x,y,…表示集合的元素。1若 x 是集合 S 的元素，则称 x 属于 S，记为 x∈S。若y不是集合S的元素，则称y不属于S，记为 y∉S。一般把含有有限个元素的集合叫做有限集，含无限个元素的集合叫做无限集。

表示方法:

假设 x < y

①[x，y] ：方括号表示包括边界，即表示x到y之间的数以及x和y

②(x，y)：小括号是不包括边界，即表示大于x小于y

基数

集合中元素的数目称为集合的基数，集合 A 的基数记作 card(A)。当其为有限大时，集合 A 称为有限集，反之则为无限集。

空集

有一类特殊的集合，它不包含任何元素，如 ${x | x ∈ R x²+1=0 }$，称之为空集，记为 $\varnothing$ 1

子集

设 $S, T$ 是两个集合，如果 $S$ 的所有元素都属于 $T$，即$x \in S \Rightarrow x \in T$ 则称 $S$ 是 $T$ 的子集，记为 $S \subseteq T$。显然，对任何集合 $S$, 都有 $S \subseteq S, \phi \subseteq S$. 2其中, 符号 $\subseteq$ 读作包含于, 表示该符号左边的集合中的元素全部是该符号右边集合的元素.

相等

如果两个集合 $S$ 和 $T$ 的元素完全相同, 则称 $S$ 与 $T$ 两个集合相等, 记为 $S = T$. 显然我们有

$S = T \Leftrightarrow S \subseteq T \bigwedge T \subseteq S$

其中符号 $ \Leftrightarrow$称为 当且仅当(👻什么鬼:question:), 表示左边的命题与右边的命题相互蕴含, 既两个命题等价. 1

相交集

  • 并集定义： 由所有属于集合 $A$ 或属于集合 $B$ 的元素所组成的集合, 记作 $A \bigcup B$ (或 $B \bigcup A$), 读作”$A$ 并 $B$”(或”$B$ 并 $A$”), 即 $A \bigcup B = {x|x\in A, or\ x \in B}$. 并集越并越多.
  • 交集定义： 由属于 $A$ 且属于 $B$ 的相同元素组成的集合, 记作 $A \bigcap B$ or $B \bigcap A$, 读作”A交B” (或 “B交A”), 即 $A \bigcap B = {x|x\in A, also\ x \in B}$. 交集越交越少. 若A包含B, 则 $A \bigcap B=B, A \bigcup B = A$

补集

  • 相对补集定义：由属于A而不属于B的元素组成的集合，称为B关于A的相对补集，记作$A-B$或A\B，即$A-B={x|x∈A，also \ x∉B}$
  • 绝对补集定义：A关于全集合U的相对补集称作A的绝对补集，记作A’或$∁u（A）或\sim A。·U’=Φ；Φ‘=U$

幂集

  • 定义：设有集合A, 由集合A所有子集组成的集合, 称为集合A的幂集.
  • 定理：有限集A的幂集的基数等于2的有限集A的基数次幂.

区间

数学分析中, 最常遇到的实数集的子集是民间3

设 $a,b(a<b)$ 是两个相异的实数, 则满足不等式$a<x<b$的所有实数x的集合称为以a,b为端点的开区间, 记为 $(a,b) = {x:a<x<b};$ 满足不等式 $a ≤ x ≤ b$ 的所有实数的集合称为以a,b为端点的闭区间,

记为 $[a,b]={x:a≤x≤b};$ 满足不等式 $a<x≤b$ 或 $a≤x<b$ 的所有实数x的集合称为以$a,b$为端点的半开半闭区间, 分别记为 $(a,b] = {x:a<x≤b}$ 及 $[a,b) = {x:a≤x<b}$. 除此之外, 还有下述几类无限区间：

$(a,+\infty)={x:x>a}$

$(-\infty,b)={x:x<b}$

$[a,+\infty)={x:x≥a}$

$(-\infty,b]={x:x≤b}$

$(-\infty,+\infty)= R$

表示法

​ 表示集合的方法通常有三种.4

列举法

列举法就是将集合的元素逐一列举出来的方式。例如，光学中的三原色可以用集合{红，绿，蓝}表示；由四个字母a,b,c,d组成的集合A可用A={a,b,c,d}表示，如此等等。

列举法还包括尽管集合的元素无法一一列举，但可以将它们的变化规律表示出来的情况。如正整数集$N_+$(或$\ N*$)$={1,2,3,\ldots,n,\ldots}$ 和 $Z={0,\pm1,\pm2,\dots,\pm n,\dots}$.

描述法

{代表元素|满足的性质}

设集合S是由具有某种性质P的元素全体所构成的，则可以采用描述集合中元素公共属性的方法来表示集合：$S={x|P(x)}$

例如，由2的平方根组成的集合B可表示为$B={x|x2=2}$。

而有理数集$Q$ 和正实数集$R^+$ 则可以分别表示为 $Q={x|x=\frac{q}{p},p \in N^+,q\in Z}$ 和 ${x:x\in R \land x>0}$.

韦恩图（Venn 图，又叫图像法）

​ 用一条封闭的曲线内部表示一个集合的方法。

符号法

有些集合可以用一些特殊符号表示，比如：

N：非负整数集合或自然数集合{0,1,2,3,…}

N*或N+：正整数集合{1,2,3,…}

Z：整数集合{…,-1,0,1,…}

Q：有理数集合

Q+：正有理数集合

Q-：负有理数集合

R：实数集合(包括有理数和无理数）

R+：正实数集合

R-：负实数集合

C：复数集合

$\varnothing$ 空集（不含有任何元素的集合）

特性

确定性

给定一个集合，任给一个元素，该元素或者属于或者不属于该集合，二者必居其一，不允许有模棱两可的情况出现。

互异性

一个集合中，任何两个元素都认为是不相同的，即每个元素只能出现一次。有时需要对同一元素出现多次的情形进行刻画，可以使用多重集，其中的元素允许出现多次。

无序性

一个集合中，每个元素的地位都是相同的，元素之间是无序的。集合上可以定义序关系，定义了序关系后，元素之间就可以按照序关系排序。但就集合本身的特性而言，元素之间没有必然的序。（参见序理论）

运算律

交换律：$$A∩B=B∩A；A∪B=B∪A$$

结合律：A∪(B∪C)=(A∪B)∪C；A∩(B∩C)=(A∩B)∩C

分配对偶律：A∩(B∪C)=(A∩B)∪(A∩C)；A∪(B∩C)=(A∪B)∩(A∪C)

对偶律：(A∪B)^C=A^C∩B^C；(A∩B)^C=A^C∪B^C

同一律：A∪∅=A；A∩U=A

求补律：A∪A’=U；A∩A’=∅

对合律：A’’=A

等幂律：A∪A=A；A∩A=A

零一律：A∪U=U；A∩∅=∅

吸收律：A∪(A∩B)=A；A∩(A∪B)=A

德·摩根律（反演律）：(A∪B)’=A’∩B’；(A∩B)’=A’∪B’

德·摩根律：1.集合A与集合B的交集的补集等于集合A的补集与集合B的补集的并集; 2.集合A与集合B的并集的补集等于集合A的补集与集合B的补集的交集。

容斥原理（特殊情况）：

card(A∪B)=card(A)+card(B)-card(A∩B)

card(A∪B∪C)=card(A)+card(B)+card(C)-card(A∩B)-card(B∩C)-card(C∩A)+card(A∩B∩C)

模糊集

用来表达模糊性概念的集合，又称模糊集、模糊子集。普通的集合是指具有某种属性的对象的全体。这种属性所表达的概念应该是清晰的，界限分明的。

因此每个对象对于集合的隶属关系也是明确的，非此即彼。但在人们的思维中还有着许多模糊的概念，例如年轻、很大、暖和、傍晚等，这些概念所描述的对象属性不能简单地用“是”或“否”来回答，模糊集合就是指具有某个模糊概念所描述的属性的对象的全体。

由于概念本身不是清晰的、界限分明的，因而对象对集合的隶属关系也不是明确的、非此即彼的。这一概念是美国加利福尼亚大学控制论专家L.A.扎德于1965 年首先提出的。

模糊集合这一概念的出现使得数学的思维和方法可以用于处理模糊性现象，从而构成了模糊集合论（中国通常称为模糊性数学)的基础。

推荐文章