集合代数
- 格式: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。