集合

把一些事物汇集到一起组成一个整体,称为集合 (Set). 这些事物称为集合的元素 (Element).

若a是集合S中的元素,记作a∈S,读作"a属于S"。

集合具有无序性和互异性:

可以存在这样的集合,其元素本身也是一个集合。例如: X={a,3,{s,2},{t},8}.

关于一些常见集合表示符的约定:

不含任何元素的集合为空集,记作Φ.

设A和B是任意给定的两个集合,如果A的每一个元素都是B的元素,则称集合A是集合B的子集,或称集合A包含于集合B,或集合B包含集合A. 记作A⊆B,或B⊇A.

A⊆B::=∀x(x∈A→x∈B)

对于任意的非空集合S,必然有Φ⊆S和S⊆S。称Φ和S为S的平凡子集。

设A,B是两个集合,如果A⊆B且A≠B,称A是B的真子集,记为A⊂B。 例如:整数集是实数集的真子集(Z⊂R).

对于任意集合A、B和C,有:

外延公理(Axiom of Extensionality): 如果集合A和B有完全相同的元素,那么集合A和B相等,记作A=B.

给定集合A,以A的全部子集为元素构成的集合,称为A的幂集(Power set),记为P(A)或2A.

P(A)={x|x⊆A}

例: 如果A={1,2,3}, 那么 P(A)={Φ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

特别的,空集Φ的幂集是:P(Φ)={Φ}.

有这样一个集合,如果讨论范围内的所有集合都是它的子集,称该集合为全集 (Universal Set). 记作U.

B在A中的相对补集或差集是

A−B={x|x∈A∧x∉B}

设U是全集,A是U的子集,U−A称为集合A的绝对补集. 记作∼A或Ac.

设A,B是任意给定的两个集合,A和B的交集A∩B,并集A∪B, 以及对称差集A⨁B 分别定义如下:

**维恩图**(Venn diagram):集合、集合的并与交

绝对补集、相对补集和对称差集

2、3、4集合的维恩图

设A,B是任意的集合,运用下面的规则可以产生集合公式:

例如:(A⊕B)∩(B−C),是集合公式。

设A,B,C是全集U的任意子集,以下是 一些基本集合定律:

幂等律(Idempotent Laws)

交换律(Commutative Property)

结合律(Associative Property)

分配律(Distributive Property)

同一律(Identity)

零律或支配律(Domination Laws)

互补律(Complement)

吸收律(Absorption Laws)

双重否定律(Double Complement)

德·摩根律(De Morgan's Laws)