集合代数

  • 格式:docx
  • 大小:48.93 KB
  • 文档页数:5

集合代数
对事物进行分类是科学研究的一项基本工作。

在数学上通常把分类的结果称为集合。

因此,“集合”是数学中最常用的概念。

事实上,现代数学中所有对象都可以视为集合,所有数学概念都可以用集合进行定义。

数理逻辑学家们正努力用集合及其若干公理重新构造整个数学体系。

我们学习集合论的意义有两点:(1)集合论是数学的基础,学习集合论有助于理解现代数学的公理化方法。

(2)集合论为应用领域提供建模和分析工具。

本讲学习集合论的基础知识,包括如下4个部分:
1.集合代数:若干基本概念和集合运算及其运算定律。

2.二元关系:用集合定义二元关系,二元关系的分类和性质。

3.函数:用二元关系定义函数,函数的分类和性质。

4.ZFC公理系统:学习由Zermelo和Frankel等人所设计的10组集合论公
理,并用以证明某些对象的分类是集合。

1.集合的概念和表达式
我们所能感知的客观事物和思想中产生的观念,是我们的认知对象(object,entity)。

我们根据对象的各种共同性质把对象划分为不同的类(class)。

在数学中,我们通常把一个类称为集合(set),其中的对象称为该集合的成员(member)或者元素(element)。

通常用大写字母表示某集合,小写字母表示该集合中的元
表示x是A的成员,读作“x属于A”。

这个素。

对于任何集合A,我们用x A
成员隶属关系是集合论中的一个基本关系,可以定义其它的关系,包括两个集合相等、包含,等等。

在现代数学中,“集合”被选作为一个基础性概念,用以定义其它数学概念。

作为整个数学体系的第一概念,它自身是没有定义的,也是不可能被定义的。

尽管集合概念没有通用的定义,每个集合实例都是有严格定义的。

我们有两种定义集合实例的方法,即枚举法和概括法。

ZFC公理系统严格地描述了这两种定义集合的方法。

这里我们先对两种定义方法做直观的描述。

枚举法:也称列举法,明确地将一个集合的所有元素(的名字)排列在花括号内,元素之间用逗号分隔。

这种定义集合的表达式称为枚举式。

例如,用枚举法可定义集合A为
A={a,b,c}
这个定义指出集合A含有三个元素a,b,c。

对于一些元素有规律排列的集合,我们可以用省略号略去其中某些元素。

例如,下面都是枚举法所定义的集合:
B={a,b, …,z}
N={0,1,2, …}
Z={0,±1, ±2,…}
1
2
根据我们的常识或者约定,可知B 被定义为26个小写拉丁字母所构成的集合,N 是包括0在内所有自然数集合,Z 是所有整数集合。

概括法:用一组语句概括一个集合中所有成员的某个共同性质,使得任何没有该性质的对象都不是该集合的成员。

其一般表达形式如下:
{|()}A x P x =
其中A 是所定义的集合(的名字),等号右边是该集合的表达式,称为概括式,表示所有具有性质P 的对象x 所组成的类。

例如,
B ={x|x 是偶数}
定义了一个所有偶数组成的集合B 。

注意,有些用概括法定义的类是不能称为集合的,否则会导致矛盾。

因此,ZFC 公理系统中用若干公理对概括法进行限制。

空集公理:我们约定存在一个不含任何元素的集合,称为空集,记为∅。

空集的枚举式为{}∅=,花括号里没有任何元素。

空集的概括式为{|}x x x ∅=≠。

2. 集合的关系
定义2.1(相等)若两个集合A 和B 所含的元素完全相同,则称这两个集合相等,记为A=B 。

根据该定义,我们有{a,b}={b,a}和 {a,a,b}={a,b}。

这表明,在一个集合中,元素的排列方式和重复出现不改变该集合,仍然是同一个集合。

在ZFC 公理系统中,这个定义由外延公理给出。

这个公理表明,定义一个集合就是指出它含哪些对象。

定义2.2(相交)若两个集合A 和B 含某个共同的成员,则称这两个集合相交(joint )。

定义2.3(包含)对于两个集合A 和B ,若x A x B ∈⇒∈,则称A 包含于B (A is included by B ),并称A 是B 的子集(subset ),记为A B ⊆。

若A B A B ⊆≠且,则称A 真包含于B ,并称A 是B 的真子集,记为A B ⊂。

在一个具体问题中,我们往往指定某个恰当的集合为全集(universal set ),以包含该问题所涉及的所有对象。

在谈论自然数时,自然数集可以选作全集。

文氏图(Venn Diagram ):用矩形表示某全集E ,用圆圈表示E 的子集。

可以直观地描述各子集之间的关系。

图形:见第课本89页。

3
3. 集合运算
由若干集合构造新的集合。

定义3.1(基本运算)设A ,B 是集合。

(1) 并(union ):{| }A B x x A x B =∈∈或
(2) 交(intersection ):{| }A B x x A x B =∈∈且
(3) 差(difference ):{| }A B x x A x B -=∈∉且
用文氏图描述上述三种基本运算。

定义3.2(补)对某全集E ,其任何子集A 的补(complement )定义为
A A E =-
用文氏图描述集合的补。

定义 3.3(对称差)集合A 和B 的对称差(symmetric difference )定义为
()()A B A B B A ⊕=--
用文氏图描述对称差。

定义3.4(广义并和交) 设集合A 的元素都是集合,则A 的广义并和广义交定义如下。

(1)广义并:{|( )}A x y y A x y =∃∈∧∈
(2)广义交:{|( )}A x y y A x y =∀∈→∈
运算的优先级:在一个集合算式中,补运算>广义运算>基本运算
定义3.5(幂集)对于任何集合A ,A 的所有子集所构成的集合称为A 的幂集(power set ),记为P (A )或者2A 。

例3.6 给定集合A ={0,1,2},则幂集2A 包含A 的子集如下:
0元子集:{}
1元子集:{0},{1},{2}
2元子集:{0,1},{0,2},{1,2}
3元子集:{0,1,2}
注:只有一个元素的集合称为单元集,英文是singleton(一个;独身)。

提问:若|A|=n,那么|2A|=?
4.集合代数
(自言自语:从字符串的公理系统,一阶逻辑语言,到类和类上的代数结构)
在亚里士多德之后,逻辑学的第一个突破是19世纪数学家布尔所提出的关于集合运算的布尔代数。

其划时代的意义在于,将推理变成了代数运算,简便而有力。

为了论证亚里士多德三段论的有效性,布尔也将命题视为集合,并总结出关于并、交和补等三种集合运算的几条定律(5条?)。

这些定律就是布尔代数的演算规则。

布尔用这个代数逐条论证了亚里士多德提出的19条三段论,并找出其中两个错误的三段论。

现在,布尔代数的概念更加抽象,成为一种普遍的代数结构,在计算机科学中应用广泛。

定理4.1 设E是全集,A,B,C是E的子集。

(1)交换律:
(2)分配律:
(3)同一律:
(4)补元律:
证明:证毕定理4.2设E是全集,在E的所有子集上,有下列运算定律。

(5)零一律:'=,'=
∅∅
E E
(6)双重否定律:A A
=
(7)幂等律:,
==
A A A A A A
(8)零律:,
=⋂∅=∅
A E E A
(9)吸收律:,()
==
A A
B A A A B A
(10)结合律:()(), ()()
==
A B C A B C A B C A B C
(11)德摩根律:(),()
A B A B A B A B
==
证明:这里请读者证明吸收律和德摩根律。

其它几条显然成立。

证毕
4
5.有穷集合的计数
一个有限集合中所含的成员个数称为该集合的基数。

在一个全集中,已知某些子集的基数,求其它某子集的基数。

例5.1 课本第88页例6.4.
例5.2 课本第89页例6.5.
定理5.3(容斥原理)
推论5.4
例5.5课本第91页例6.6. 计算欧拉函数的值。

例5.6 课本第91页例6.7. 错位排列的计数问题。

5。