集合

数学概念

集合，简称集，是数学中一个基本概念，也是集合论的主要研究对象。集合论的基本理论创立于19世纪，关于集合的最简单的说法就是在朴素集合论（最原始的集合论）中的定义，即集合是“确定的一堆东西”，集合里的“东西”则称为元素。现代的集合一般被定义为：由一个或多个确定的元素所构成的整体。

定义

简介

集合论可以看成是逻辑的几何化。集合是最简单的空间。

概念

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

例如，全中国人的集合，它的元素就是每一个中国人。通常用大写字母如A,B,S,T,...表示集合，而用小写字母如a,b,x,y,...表示集合的元素。若x是集合S的元素，则称x属于S，记为x∈S。若y不是集合S的元素，则称y不属于S，记为y∉S 。

集合的类型

有限集和无限集

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

空集

有一类特殊的集合，它不包含任何元素，如{x|x∈R x2+1=0} ，称之为空集，记为∅。空集是个特殊的集合，它有2个特点：

集合中元素的特性

确定性

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

互异性

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

无序性

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

元素与集合的关系

属于

如果元素a在集合A中，就说a属于A，记作a∈A。

不属于

如果元素a不在集合A中，就说a不属于A，记作a∉A。

集合的表示

列举法

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

列举法还包括尽管集合的元素无法一一列举，但可以将它们的变化规律表示出来的情况。如正整数集和整数集可以分别表示为和。

描述法

描述法的形式为{代表元素|满足的性质}。

设集合S是由具有某种性质P的元素全体所构成的，则可以采用描述集合中元素公共属性的方法来表示集合：S={x|P(x)}。例如，由2的平方根组成的集合B可表示为B={x|x2=2}。而有理数集和正实数集则可以分别表示为和。

图像法

图像法，又称韦恩图法、韦氏图法，是一种利用二维平面上的点集表示集合的方法。一般用平面上的矩形或圆形表示一个集合，是集合的一种直观的图形表示法，如图2所示。

区间法

用数轴、无穷大、无穷小、开区间、闭区间、半开半闭区间表示。

数学分析中，最常遇到的实数集的子集是区间。

设a，b(a

符号法

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

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

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

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

Q：有理数集合

Q+：正有理数集合

Q-：负有理数集合

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

R+：正实数集合

R-：负实数集合

C：复数集合

∅ ：空集（不含有任何元素的集合）

集合间的基本关系

子集与真子集

设S，T是两个集合，如果S的所有元素都属于T ，即则称S是T的子集，记为（读作S含于T）。显然，对任何集合S ，都有。其中，符号读作包含于，表示该符号左边的集合中的元素全部是该符号右边集合的元素。如果S是T的一个子集，即，但在T中存在一个元素x不属于S ，即，则称S是T的一个真子集。

交并集

交集定义：由属于A且属于B的相同元素组成的集合，记作A∩B（或B∩A），读作“A交B”（或“B交A”），即A∩B={x|x∈A,且x∈B}，如图1所示。注意交集越交越少。若A包含B，则A∩B=B，A∪B=A。

并集定义：由所有属于集合A或属于集合B的元素所组成的集合，记作A∪B（或B∪A），读作“A并B”（或“B并A”），即A∪B={x|x∈A,或x∈B}，如图1所示。注意并集越并越多，这与交集的情况正相反。

相等集合

如果集合A是集合B的子集（），且集合B是集合A的子集（），此时，集合A与集合B中的元素相同，因此集合A与集合B相等。

补集

补集又可分为相对补集和绝对补集。

相对补集

绝对补集定义：A关于全集合U的相对补集称作A的绝对补集，记作A'或∁u（A）或~A。有U'=Φ；Φ'=U。

幂集

设有集合A，由集合A所有子集组成的集合，称为集合A的幂集。对于幂集有定理如下：有限集A的幂集的基数等于2的有限集A的基数次幂。

模糊集

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

由于概念本身不是清晰的、界限分明的，因而对象对集合的隶属关系也不是明确的、非此即彼的。这一概念是美国加利福尼亚大学控制论专家L.A.扎德于1965 年首先提出的。模糊集合这一概念的出现使得数学的思维和方法可以用于处理模糊性现象，从而构成了模糊集合论（中国通常称为模糊性数学）的基础。

运算定律

交换律：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