第3章-集合论.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,离散数学,-,集合论,第二篇 集合论,集合论是现代各科数学的基础，它的起源可追溯到,16,世纪末期，那时为了建立微积分的可靠基础，人们对数集进行了研究。直到,19,世纪末，,Cantor,发表了一系列有关集合的论文，基本奠定了集合论的基础。不过，随后数学哲学中提出各种悖论，致使集合论的发展一度陷入困境。幸好不久，策墨罗,(Zermelo),出现了，他提出了集合论的一整套公理体系，使数学哲学中所产生的悖论基本得到统一。从此集合论的发展进入飞速发展的时代。,第,3,章,集合,第,4,章,关系,第,5,章,函数。,题外话：,三个在数学发展中产生了巨大影响的悖论,毕达哥拉斯悖论、贝克莱悖论、罗素悖论。,什么是悖论？笼统地说，是指这样的推理过程：它看上去是合理的，但结果却得出了矛盾。,悖论是数学的一部分，在历史上曾为数学的发展提供了重要而持久的助推力。,一个悖论的数学本质被揭露了，它似乎就失去了被继续研究的价值。但是，在数学发展的历史上，它功不可没。,毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“,一切数均可表成整数或整数之比,”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。,毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：,边长为,1,的正方形其对角线长度是多少呢？,他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数,2,的诞生。,一直到,18,世纪，当数学家证明了基本常数如,圆周率是无理数,时，拥护无理数存在的人才多起来。到十九世纪下半叶，现在意义上的,实数理论,建立起来后，无理数本质被彻底搞清，无理数在数学园地中才真正扎下了根。无理数在数学中合法地位的确立，一方面使人类对数的认识从有理数拓展到实数，另一方面也真正彻底、圆满地,解决了第一次数学危机,。,微积分,这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。,贝克莱悖论,可以表述为“无穷小量究竟是否为,0”,的问题：就无穷小量在当时实际应用而言，它必须既是,0,，又不是,0,。但从形式逻辑而言，这无疑是一个矛盾。这一问题的提出在当时的数学界引起了一定的混乱，由此导致了第二次数学危机的产生。,下面仅举一无穷级数为例。无穷级数,S,1,1,1,1,1,到底等于什么？当时人们认为,一方面,S,（,1,1,）（,1,1,）,0,；另一方面，,S,1,（,1,1,）（,1,1,）,1,，那么岂非,0,1,？,这一矛盾竟使傅立叶那样的数学家困惑不解，甚至连被后人称之为数学家之英雄的欧拉在此也犯下难以饶恕的错误。他在得到,1+,x,+,x,2+,x,3+.=1/(1-,x,),后，令,x,=,1,，得出,S,1,1,1,1,1,1,2,！由此一例，即不难看出当时数学中出现的混乱局面了。,把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。,经过数学家柯西，魏尔斯特拉斯、戴德金、康托尔各自独立深入的研究，终于从不同的角度建,立起来的,严谨的极限理论与实数理论,，完成了分析学的逻辑奠基工作。数学分析的无矛盾性问题归纳为实数论的无矛盾性，从而使微积分学这座人类数学史上空前雄伟的大厦建在了牢固可靠的基础之上。重建微积分学基础，这项重要而困难的工作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建立，结束了数学中暂时的混乱局面，同时也宣布了,第二次数学危机的彻底解决,。,十九世纪下半叶，,康托尔创立了著名的集合论,，在集合论刚产生时，曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了，并且获得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。,1900,年，国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“,借助集合论概念，我们可以建造整个数学大厦,今天，我们可以说绝对的严格性已经达到了。,可是，好景不长。,1903,年，一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的著名的,罗素悖论,。,設性質,P,(,x,),表示 ，現假設由性質,P,確定了一個類,A,也就是說 。,那麼現在的問題是：是否成立？首先，若 ，則,x,是,A,的元素，那麼,x,具有性質,P,，由性質,P,知 ；其次，若 ，也就是說,x,具有性質,P,，而,A,是由所有具有性質,P,的類組成的，所以 。,理发师悖论：,在某个城市中有一位理发师，他的广告词是这样写的：,“,本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！,”,来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于,“,不给自己刮脸的人,”,，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于,“,给自己刮脸的人,”,，他就不该给自己刮脸。,理发师悖论与罗素悖论是等价的：因为，如果把每个人看成一个集合，这个集合的元素被定义成这个人刮脸的对象。那么，理发师宣称，他的元素，都是城里不属于自身的那些集合，并且城里所有不属于自身的集合都属于他。那么他是否属于他自己？这样就由理发师悖论得到了罗素悖论。反过来的变换也是成立的。,世界文学名著,唐,吉诃德,中有这样一个故事：,唐,吉诃德的仆人桑乔,潘萨跑到一个小岛上，成了这个岛的国王。他颁布了一条奇怪的法律：每一个到达这个岛的人都必须回答一个问题：,“,你到这里来做什么？,”,如果回答对了，就允许他在岛上游玩，而如果答错了，就要把他绞死。对于每一个到岛上来的人，或者是尽兴地玩，或者是被吊上绞架。有多少人敢冒死到这岛上去玩呢？,一天，有一个胆大包天的人来了，他照例被问了这个问题，而这个人的回答是：,“,我到这里来是要被绞死的。,”,请问桑乔,潘萨是让他在岛上玩，还是把他绞死呢？,如果应该让他在岛上游玩，那就与他说,“,要被绞死,”,的话不相符合，这就是说，他说,“,要被绞死,”,是错话。既然他说错了，就应该被处绞刑。,但如果桑乔,潘萨要把他绞死呢？这时他说的,“,要被绞死,”,就与事实相符，从而就是对的，既然他答对了，就不该被绞死，而应该让他在岛上玩。,小岛的国王发现，他的法律无法执行，因为不管怎么执行，都使法律受到破坏。他思索再三，最后让卫兵把他放了，并且宣布这条法律作废。这又是一条悖论。,1908,年，策梅罗（,Ernst Zermelo),在自己这一原则基础上提出第一个公理化集合论体系，后来这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。这一公理系统在通过,Abraham Fraenkel,的该进后被称为,Zermelo-Fraenkel(ZF)axioms,。在该公理系统中，由于限制公理（,The Axion Schema of Comprehension,或,Subset Axioms),：,P(x),是,x,的一个性质，对任意已知集合,A,，存在一个集合,B,使得对所有元素,xB,当且仅当,xA,且,P(x),；因此,xx,是一个集合,并不能在该系统中写成一个集合，由于它并不是任何已知集合的子集；并且通过该公理，存在集合,A=xx,是一个集合,在,ZF,系统中能被证明是矛盾的。因此罗素悖论在该系统中被避免了。,除,ZF,系统外，集合论的公理系统还有多种，如诺伊曼（,von Neumann),等人提出的,NBG,系统等。在,the von Neumann-Bernays alternative,中，所有包含集合的,collection,都能被称为类,(class),，因此某些集合也能被称为,class,，但是某些,collection,太大了（比如一个,collection,包含所有集合）以至于不能是一个集合，因此仅仅是个,class,。这同样也避免了罗素悖论。,公理化集合系统的建立，成功排除了集合论中出现的悖论，从而比较圆满地解决了第三次数学危机。,不管一个数学问题叫不叫悖论，它总是一个问题。问题是数学的心脏，对问题的研究推动着数学的发展，对“悖论”的研究当然也会推动数学的发展。,把某些悖论的出现叫做数学危机，不知道是谁第一个说的。不过，多数数学家看来，数学没有危机，也不会有危机。但是数学家忙着自己的研究，一般不太关心数学危机的说法。研究数学哲学的人，对于有没有数学危机，也是各有不同的看法。但既然有了这个说法，又比较能吸引大众的目光，让大家对数学有更多的兴趣，也是好事。,第三章 集 合,3.1,集合论基本概念,3.2,集合运算及其性质,3,.,3 集合的笛卡儿积与无序积,退出,3.1,集合论基本概念,1.,集合与元素,所谓集合，是指某些,可辨别的不同对象的全体,，或者说把具有一些确定的事物作为一个整体看待时，这个整体就是一个集合。集合是难于给出精确定义的一个概念，只能作上述形式的描述。,将用大写字母,A,，,B,，,X,，,Y,，,表示之。组成集合的对象称为,集合的元素,或成员，将用小写字母,a,，,b,，,x,，,y,表示之。,a,是,A,的元素或,a,属于,A,，记作,a,A,；,a,不属于,A,或,a,不是,A,的元素，记作,a,A,，或者,(,a,A,),。,集合的元素一旦给定，这一集合便完全确立。这一事实被形式地叙述为外延公理。,外延公理,：两集合,A,和,B,相等,，当且仅当它们有相同的元素。,若,A,与,B,相等，记为,A,=,B,；否则，记为,A,B,。,外延公理可形式表为：,A,=,B,(,x,)(,x,A,x,B,),或者,A,=,B,(,x,)(,x,A,x,B,),(,x,)(,x,B,x,A,),顺便指出，在应用外延公理证明集合,A,与,B,相等时，只需考察：,对于任意元素,x,，应有下式,x,A,x,B,成立即可。这就是说，证明两集合相等时可按此法行事。,集合的表示：,表示一个特定集合，基本上有两种方法：,一是,枚举法,，在可能时列出它的元素，元素之间用逗号分开，再用花括号括起。如,A,=,a,e,i,o,u,(1),表明集合,A,是由字母,a,e,I,o,和,u,为元素构成的。,B,=1,3,5,(2),二是,叙述法,or,谓词法,.,用谓词公式来确定集合。即个体域中能,使谓词公式为真的那些元素,，确定了一个集合，因为这些元素都具有某种特殊性质。若,P,(,x,),含有一个自由变元的谓词公式，则,x,|,P,(,x,),定义了集合,S,，并可表为,S,=,x,|,P,(,x,),由此可见，,P,(,c,),为真当且仅当,c,S,。从而有,x,S,x,P,(,x,),例如，,(1),、,(2),可表为,A,=,x,|,x,是英文字母表中元音字母,；,B,=,x,|,x,是正奇数,。,在用性质来描述集合时，可表述为概括原理或子集合公理。,子集公理,：,对于任给集合,A,和性质,P,，存在集合,B,，使得,B,中元素恰为,A,中满足,P,的那些元素。,子集公理可形式地表为,(,B,)(,x,)(,x,B,x,A,(,x,),其中,(,x,),为不含,B,自由出现。,子集公理的提出，避免了悖论，使集合论得以存在和发展。,应该指出的是：集合并不决定于它的元素展示方法。,集合的元素被重复或重新排列，集合并不改变,，即,a,a,e,i,o,u,=,a,u,e,o,i,。但有时对重复出现的元素都认为是集合的元素，这种集合称为,多重集,。即,a,a,e,i,o,u,u,a,e,i,o,u,。,本书中集合在不特别指明时，都指前者，即中的集合。,集合的元素可以是具体事物，可以是抽象概念，也可以是集体，不是集合的元素称为本元。如，一本书，一支笔，集合,1,2,3,可以组成集合,B,=,一本书，一支笔，,1,2,3,。特别地，,以集合为元素的集合称为,集合族,或,集合类,如,A,=,1,2,3,8,9,6,。,集合中元素之间可以有某种关联，也可以彼此毫无关系。,2.,子集、全集与空集,子集是描述一个集合与另一个集合之间的关系，其定义如下。,定义,3.1.1,设,A,和,B,是任意两个集合，如果集合,A,的每个元素，都是集合,B,中的一个元素，则称,A,是,B,的,子集,，或称,A,被包含于,B,中，或者说,B,包含,A,，并记为,A,B,。,本定义也可表成,A,B,(,x,)(,x,A,x,B,),这表明，要证明,A,B,，只需对任意元素,x,，有下式,x,A,x,B,成立即可。,此外，若集合,B,不包含集合,A,，记为,A,B,。,/,定义,3.1.2,设,A,和,B,是两个集合，若,A,B,且,A,B,，则称,A,是,B,的,真子集,，记为,A,B,，也称,B,真包含,A,。该定义也可表为,A,B,(,A,B,A,B,),定义,3.1.3,如果一个集合包含了所要讨论的每一个集合，则称该集合为,全集,，记为,U,或,E,。它可形式地表为,U,=,x,|,P,(,x,),P,(,x,),其中,P,(,x,),为任何谓词公式。,显然，全集,U,即是第二章中的,全总论域,。于是，每个元素,x,都属于全集,U,，即命题,(,x,)(,x,U,),为真。由定义易知，对任意集合,A,，都有,A,U,。,在实际应用中，,常常把某个适当大的集合看成全集,U,。全集是个,相对概念,。,定义,3.1.4,没有任何元素的集合，称为空集，记为,，它可形式地表为：,=,x,|,P,(,x,),P,(,x,),其中,P,(,x,),为任何谓词公式。,由定义可知，对任何集合,A,，有,A,。这是因为任意元素,x,，公式,x,x,A,总是为真。,注意，,与,是不同的。,是以,为元素的集合，而,没有任何元素，能用,构成集合的无限序列：,(1),，,，,，,该序列除第一项外，每项均以前一项为元素的集合。,(2),，,，,，,，,该序列除第一项外，每项均以前面各项为元素的集合。它即是冯,诺依曼在,1924,年使用空集,给出自然数的集合表示：,0:=,，,1:=,，,2:=,，,定理,3.1.1,空集是唯一的,定理,3.1.2,(),对任一集合,A,，有,A,A,。,(),若,A,B,且,B,C,，则,A,C,。,对任何一个集合,A,:,A,和,称为,A,的两个平凡子集。,3,集合的基数,表示集合中元素多少或度量集合大小的数，称作,集合的基数或势,。一个集合,A,的基数，记为,|,A,|,。,如果一个集合恰有,m,个不同的元素，且,m,是某个非负整数，称该集合是,有限的,或有穷的，否则称这个集合为,无限的,或无穷的。例如，在本书中常用有穷集有：,N,m,=0,1,2,m,-1,本书中常见的无穷集合有：,N,=0,1,2,3,，即自然数集合。,Z,=,-2,-1,0,1,2,3,，即整数集合。,Z,+,=,1,2,3,，即正整数集合。,Q,=,有理数集合。,R,=,实数集合。,C,=,复数集合。,4,集合的幂集,一个集合的,幂集,是指该集合所有子集的集合，即是由这些子集所组成的集合族。,定义,3.1.5,设,A,为一集合，,A,的幂集是一集合族，记为,P,(,A,),，,P,(,A,)=,B,|,B,A,由定义可知，,P,(,A,),，,A,P,(,A,),。,若,|,A,|=,n,则,|,P,(,A,)|=2,n,5,文氏图,文氏,(Venn),图是一种利用平面上的点构成的图形来形象展示集合的一种方法。全集,U,用一个矩形的内部表示，其他集合用矩形内的园面或一封闭曲线圈成的面积来表示。,如果,A,B,，则表示,A,的圆面一般将完全落在表示,B,的圆面内，如图,1,中,(,a,),。如果,A,与,B,没有公共元素，那么表示,A,的圆面将同表示,B,的圆面分开，如图,3-1,中,(,b,),。当,A,和,B,是两个任意的集合时，可能会是：有些元素在,A,中但不在,B,中，有些元素在,B,中却不在,A,中，有些元素同时在,A,和,B,中，有些元素则既不在,A,中也不在,B,中，因此用图,1,中,(,c,),表示任意两个集合,A,和,B,。,图,3-1,最后给出集合的形式定义结束本节。,定义,3.1.6,A,为集合,=(,x,)(,x,A,A,=,),。,这里等号“,=”,表示定义为的意义，是表示“定义为”还是表示“一般相等”的意义，由上下文来区分。,3.2,集合运算及其性质,集合运算是指用已知的集合去,生成新的集合,。假设所有集合都是全集,U,的子集，即这些集合是利用子集公理得到的。下面依次介绍常见的集合运算。,1,并、交和差运算,定义,3.2.1,设,A,和,B,是任意两个集合，,A,和,B,的,并,是集合，记为,A,B,，,A,B,=,x,|,x,A,x,B,A,和,B,的,交,是集合，记为,A,B,，,A,B,=,x,|,x,A,x,B,A,和,B,的,差,，或,B,关于,A,的相对补是集合，记为,A,-,B,，,A,-,B,=,x,|,x,A,x,B,定义,3.2.2,若,A,和,B,是集合，且,A,B,=,，则称,A,和,B,是不相交的。,如果,C,是个集合族，且,C,中任意两个不同元素都不相交，则称,C,中集合是两个不相交的，或称,C,是两两不相交的集合族。,定理,3.2.1,任给集合,A,，,B,和,C,，则：,A,B,=,B,A,A,B,=,B,A,(,A,B,),C,=,A,(,B,C,),(,A,B,),C,=,A,(,B,C,),该定理表明，集合并和交运算满足交换律和结合律。,定理,3.2.2,任给集合,A,、,B,和,C,，则,A,(,B,C,)=(,A,B,)(,A,C,),A,(,B,C,)=(,A,B,)(,A,C,),该定理表明，集合运算并对交、交对并都是可分配的。,定理,3.2.3,任给集合,A,，,B,，,C,和,D,，则,若,A,B,，则,A,B,=,B,，,A,B,=,A,若,A,B,和,C,D,，则,A,C,B,D,，,A,C,B,D,推论,3.2.3,A,U,=,U,，,A,U,=,A,定理,3.2.4,任给集合,A,，,B,和,C,，则,A,-(,B,C,)=(,A,-,B,)(,A,-,C,),A,-(,B,C,)=(,A,-,B,)(,A,-,C,),定义,3.2.3,设,A,是含有元素为集合的集合，或者集合族。,A,的并是集合，记为,A,，,A,=,x,|(,B,)(,B,A,x,B,)=,B,A,的交是集合，记为,A,，,A,=,x,|(,B,)(,B,A,x,B,)=,B,B,A,B,A,定义3.2.4,集合,A,的补是集合，记为,A,，,A,=,U,-,A,=,x,|,x,U,x,A,=,x,|,x,A,这里称为,绝对补,。,相对补,是指,A,-,B,称为,B,相对于,A,的补集。,定理3.2.5,任给集合,A,，,则,A,A,=,U,，,A,A,=,。,定理3.2.6,任给集合,A,和,B,，,则,B,=,A,iff,A,B,=,U,且,A,B,=,该定理表明了若,A,的补是,B,，,则,B,的补是,A,，,即,A,和,B,互补。补的唯一性。,推论3.2.5,U,=,，,=,U,定理3.2.7,任给集合,A,，,则(,A,)=,A,。,该定理表明了，,A,的补的补是,A,。,定理3.2.8,(,德摩根律,),任给集合,A,和,B,，,则,(,A,B,)=,A,B,，,(,A,B,)=,A,B,。,定义3.2.5,任给集合,A,和,B,，,A,和,B,的,对称差,是集合，记为,A,B,，,A,B,=(,A,-,B,)(,B,-,A,),=,x,|(,x,A,x,B,),(,x,B,x,A,),定理3.2.9,任给集合,A,和,B,，,则,A,B,=(,A,B,)(,A,B,),=(,A,B,)-(,A,B,),推论3.2.9,A,B,=,A,B,A,B,=,B,A,A,A,=,2集合代数与对偶原理,本小节将形式地讨论由集合、集合变元、集合运算和,圆,括号所构成的,集合代数,以及集合代数中的,对偶原理,。,与命题逻辑相似，对于给定集合实行集合运算，可以生成新的集合。同用大写英文字母表示确定集合一样，也用大写字母表示不确定的集合，前者称为,集合常元,，后者称为,集合变元,。集合变元用以集合常元代替后，才表示确定的集合。下面将给出集合的合式公式定义。,定义3.2.6,可按下列规则生成集合合式公式：,单个集合变元是集合合式公式。,若,A,是集合合式公式，则,A,也是集合合式公式。,若,A,和,B,是集合合式公式，则(,A,B,),，,(,A,B,),，,(,A,-,B,),和(,A,B,),也都是集合合式公式。,只有有限次使用、和构成的符号串才是集合合式公式。,为方便计，简称集合合式公式为公式。,定义3.2.7,用任意集合常元取代两个集合公式中的各个集合变元，若所得集合是相等的，则称该二集合公式是相等的，简称等式。,因为集合公式相等，不依赖于取代集合变元的集合，故常称这些等式为,集合恒等式,，或集合定律。它们刻划了集合运算的某些性质，这些性质描述一个代数，称为集合代数。下面列出常用集合定律：,（,1,）,等幂律,A,A,=,A,A,A,=,A,（,2,）,结合律 (,A,B,),C,=,A,(,B,C,)(,A,B,),C,=,A,(,B,C,),（,3,）,交换律,A,B,=,B,A,A,B,=,B,A,（,4,）,分配律,A,(,B,C,)=(,A,B,)(,A,C,),A,(,B,C,)=(,A,B,)(,A,C,),（,5,）,幺律,A,=,A,A,U,=,A,（,6,）,零律,A,U,=,U,A,=,（,7,）,补律,A,A,=,U,A,A,=,（,8,）,吸收律,A,(,A,B,)=,A,A,(,A,B,)=,A,（,9,）,德摩根律 (,A,B,)=,A,B,(,A,B,)=,A,B,（,10,）,对合律 (,A,)=,A,下面介绍集合代数中的对偶原理，它与命题逻辑中对偶原理也很相似。,对偶原理,设,E,是集合代数中等式，将,E,中的，,U,和,的每一个出现分别代以，,和,U,后得到一等式,E,*,，,称,E,*,为,E,的对偶式。,显然，,E,也是,E,*,的对偶式，即,E,与,E,*,互为对偶。,如果,E,是一集合恒等式，则,E,*,也是一集合恒等式。,可见，上述的集合定律中，凡成对的定律都是为对偶的。,3,.,3 集合的笛卡,尔,积与无序积,笛卡,尔,积与无序积在后面讨论关系和图论时，都有重要应用。,首先引入有序对和无序对的概念。,定义3.3.1,两个元素,a,b,组成二元组，若它们有次序之别，称为二元有序组，或有序对，记为,，,称,a,为第一分量，,b,为第一分量；若它们无次序区分，称为二元无序组，或无序对,记为(,a,b,),。,若,a,b,时，,。,但(,a,b,)=(,b,a,),。,定义3.3.2,给定两个有序对,和,。,当且仅当,x,=,u,和,y,=,v,时，有序对,和,相等，亦即,=,iff,(,x,=,u,),(,y,=,v,),可将有序对推广到,n,元有序组，它的第一分量是(,n,-1),元有序组，并记为,x,n,，,或记为,。,类似地定义两个,n,元有序组相等：,=,iff,(,x,1,=,y,1,),(,x,2,=,y,2,),(,x,n,-1,=,y,n,-1,),(,x,n,=,y,n,),下面将使用有序对和无序对分别定义笛卡儿积和无序积。,定义3.3.3,给定集合,A,和,B,，,若有序对的第一分量是,A,的元素，第二分量是,B,的元素，所有这些,有序对,的集合，称为,A,和,B,的,笛卡,尔,积,，记为,A,B,，,A,B,=|,x,A,y,B,定义3.3.4,给定集合,A,和,B,，,若无序对是由,A,中元素和,B,中元素组成，所有这些无序对的集合，称为,A,和,B,的无序积，记为,A,&,B,。,A,&,B,=(,x,y,)|,x,A,y,B,定理3.3.1,任给集合,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,),笛卡,尔,积的概念可以推广到,n,个集合,A,1,A,2,A,n,的笛卡,尔,积，它可表成：,A,i,=(,A,1,A,2,A,n,-1,),A,n,，,n,2,。,用归纳法不难证明，若,A,i,(1,i,n,),是有穷集合，则|,A,1,A,2,A,n,|=|,A,1,|,A,2,|,A,n,|,。,第三章 集合作业,习题,3-1,:(4):(a),(c),(e);(5);(6);(7);(9).,习题,3-2,:(4);(5);(7).,习题,3-3*,：,习题,3-4,:(1):(b);(2);(3):(b),(d);(4).,