离散数学-6 集合代数

1. 集合定义

集合没有精确的数学定义

理解：由离散个体构成的整体称为集合，称这些个体为集合的元素

常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有理数、实数、复数集合

2. 集合表示法

枚举法----通过列出全体元素来表示集合

谓词表示法----通过谓词概括集合元素的性质

实例：枚举法：自然数集合 N={0,1,2,3,…} 谓词法：S={ x | x是实数，x-1=0}

i. 集合的元素具有的性质

无序性：元素列出的顺序无关

相异性：集合的每个元素只计数一次

确定性：对任何元素和集合都能确定这个元素是否为该集合的元素

任意性：集合的元素也可以是集合

ii．元素与集合的关系隶属关系：或者

集合与集合之间的关系：, =, ⊈, , , 

定义6.1 A B x ( xA xB )

定义6.2 A = B  A B B A

定义6.3 A B  A B A B

A ⊈ B  x ( xA xB )

定义6.4 空集 ：不含有任何元素的集合 实例： { x | xR x²+1=0 }

定理6.1 空集是任何集合的子集。 推论 是惟一的

定义6.5 幂集：给定集合A，由集合A的所有子集为元素组成的集合，称为集合A的幂集，记为P(A)（或2^A）。幂集的符号化表示为P(A)={ x | x A }

实例：P()={ }, P({ })={ ,{ }}

计数：如果 |A|=n，则 |P(A)|=2ⁿ.

定义6.6 全集 E：包含了所有集合的集合

全集具有相对性：与问题有关，不存在绝对的全集

外延公理 两个集合A与B相等当且仅当其元素相同，记作A = B。

平凡子集 任意一个非空集合A至少有两个子集，一个是空集Æ，另一个是它本身A，称为A的平凡子集。

定义 以集合为元素的集合称为集族。

定义3.8 给定集合A，由集合A的子集为元素组成的集合，称为集合A的子集族。A的所有子集族都是其幂集P(A)的子集。

   

初级运算,集合的基本运算有

定义6.7 并 AB = { x | xA xB}

交 AB = { x | xA xB}

相对补 AB = { x | xA xB}

定义6.8 对称差 AB = (AB)(BA)

定义6.9 绝对补 A = EA

并和交运算可以推广到有穷个集合上，即

A₁ A₂  … A_n = { x | xA₁xA₂  …