关于集合与集合论

1、第一章 关于集合与集合论在许多数学教材上都会见到这样一种说法：集合论是现代数学的基础，集合概念是数学的基本概念。那么为什么会有这种说法呢？这种说法的依据是什么呢？在这一章，我们将对此给出一种解释。在本章的第1节，将简要重温一些与集合论相关的基本概念与符号，其中大多数的概念与符号用法是每一个高中生都应当熟悉的。在第2节，本书作者对集合论的意义及其产生的思想渊源进行了介绍和分析，其中有些是作者个人的观点，仅供读者参考。最后两节则是在讲一些基本逻辑常识的基础上，介绍了较为规范的集合表示方法以及用集论语言定义的某些重要数学概念。1. 集合论中的常见概念与符号1.1. 集合概念与属于关系在集合论中，“集

2、合”这个概念是作为不定义的基本概念，以符号“”表示的“属于”关系，也是不定义关系。在朴素集合论中，人们用日常语言给集合概念和属于关系以直观说明。其中最常见的是集合论创始人康托的说法：“将一些明确的（确定的）、彼此有区别的、具体的或理念中抽象的对象看作一个整体，便叫作一个集合。”在本书的前三章，便以康托的这个描述作为“集合”概念含义的说明。理解这个说明，主要注意如下几点.（1）当我们提到一个集合时，这个集合自身是作为一个整体被看待的；（2）集合是由可以确定的一些对象个体汇集而成的，也就是说，必须可以清晰判定任何一个对象个体是否在这些对象个体之中，并且可以明确区分开这些对象个体中任何两个不同的对象

3、个体。（3）在朴素集合论中，集合中的元素既可以是物理世界中的对象，也可以是我们头脑中形成的观念对象。比如：将“北京大学年所有在籍学生的全体”作为一个集合，其元素都是具体现实的人（在籍学生）；将“所有实数的全体” 的对象，作为一个集合，其元素（实数）便是由理念抽象的对象组成的集合。作为数学理论，集合论所讨论的集合，基本上都是由人类理念在其抽象过程中产生的对象汇集而成的。只有在将数学应用于现实时，才会涉及到由现实物理世界中的对象作为元素组成的集合。因此，在理解作为数学理论的集合论时，一定要适应抽象的思维方式和观念对象的建构方式。如果以符号表示一个集合，表示一个对象个体，假如在那些汇集为集合的对象个

4、体之中，我们称属于，记为，否则记为。如果，称是的元素，也称集合含。按照上面的理解，若与是两个集合，当我们可以判定（证明）的元素也都是的元素或者可以判定没有任何一个中的元素不属于，我们称被所包含，或集合包含，记为。集合， 注：请读者注意在本书中对“含”与“包含”这两个词汇的不同用法。当且时，我们便认为与是两个完全相同的集合，记为，这时与作为集合被看作是同一个对象。如果，且可以明确记作，称是的真子集。 1.2 . 集合运算及某些特殊集合的符号表示我们假设读者已经熟悉常见的集合运算（的表示方法）及其满足的运算律。这里只将其列出，不给出详细的解释和验证。在下列各式中，将符号A均表示集合，表示指标集。（

5、1） 集合的常见运算）集合的并：；）集合的交；）集合的差：；）集合的补：若记，称为的补集（以为全集），当明确 作为全集，不会引起混淆的情况下，将简记为；）对称差：。（2） 集合运算所满足的运算律（）交换律：；（）结合律：；（）分配律；（）迪摩根律：；（）幂等律：；（）吸收律：；如果以为全集，还有（）同一律：；（）零律：；（）补余律：；（x）双补律：；（xi）推广迪摩根律：。下面再介绍一种表示集合的并与交运算的方法。设是一个集合，并且中的元素也是集合，我们定义。特别应当注意，只有当中元素也是集合的时候，才是有意义的。其次，我们还规定：没有意义。最后我们引入一些常用集合的表示符号：N表示正整数集（

6、以每个正整为其元素）；Z表示整数集；Q表示有理数集；R表示实数集；表示以为端点的闭区间；表示以为端点的开区间；分别表示左开右闭的和左闭右开的区间（以为端点）。 集合论的内容和意义我们总能看到这样的提法：集合论是现代数学的基础。但为什么集合论就是现代数学的基础呢？有些人困惑，像集合这样普通得不能再普通的概念，像各种集合运算（并、交、差）那样简单的运算关系并没有什么特别的困难。为什么集合论却是迟于微积分学二百年才产生呢？以至于有人认为集合论迟到了两千年。其实，要搞清这一点，就要先弄清“集合论”作为一门数学理论，它所研究的核心问题是什么，进而还要搞清数学的发展为什么要考虑这些问题。2.1 集合论研究

7、什么?其实，要搞清集合论是干什么的并不困难。假设你面临有一群牛组成的集合，如果从纯数学的角度考虑，对此集合，你能干些什么呢？很显然，那就是“计数”。至于这些牛是否有口蹄疫，并不是数学家感兴趣的事。由此，可以得出结论，“集合论”所要研究的问题就是如何建立为集合（的元素）进行计数的理论。有些初学者依然可能困惑，为集合计数不是太简单了吗?小学生都会。是的，为有限集合计数大家都会，只要学过了自然数就行。但是集合论所研究的都是为“无限集”计数的理论。显然，这可不是一个简单的工作。从这个意义上讲，自然数理论可以看成是关于“有限”的集合论，而集合论可以看成“无限”的“自然数理论”，即自然数理论到无限（集）的

8、推广。于是就产生了第二个问题，人类的活动都是有限的，所谓“无限”是无法完成的。人们谈论无限时，都只是在说一个无法完成的过程。它有什么必要成为研究的对象呢？为了说明这一点，有必要回顾高等数学（主要指微积分学）在发展过程中曾面临的一些问题。2.2 变量数学，导数与无穷小许多人认为，微积分学的产生标志着从初等的常量数学时代进入到了高等的变量数学时代。这种以变量与常量来区分高等数学（微积分学）与初等数学的看法也许有以下几点依据。首先，微分学所研究的对象是函数。以当时人们的直观认识，可以认为是在研究各种变量之间的关系，而非常量（数）的运算关系；其次，从所产生的新方法来看，主要引进了像求导数这样的计算。而

9、这个计算，又是以求解两个变量之商在变量趋于0时的生成结果为目的的；最后，从表达的语言来看，人们是以直观的动态语汇来描述导数产生过程的。下面的几段论述源自微积分学的两位重要创立者，这些论述表明当时的人们是如何认识导数的。牛顿认为导数是“量在其中消失的终极比，严格说来，不是终极量的比，而且它与无限减小的这些量所趋近的极限之差虽然能比任意给出的差更小，但是在这些量无限缩小以前既不能越过也不能达到这个极限。”而瞬时速度“既不是在物体达到最后位置、运动停止时之前的速度，也不是达到以后的速度，而是正在到达那一瞬间的速度（是无穷小的比）。即物体以这样的速度到达它的最后位置并且停止。同样的，就消失量的最后比来

10、说，应理解为不是在量消失之前，也不是消失后，而是正当他们消失时的比。”莱布尼茨认为：“一个过渡的状态或者这个消失的状态是可以设想的，其中实际上仍然没有出现完全相等或精致，而是进入这样一种状态，即差小于任何给定的量，在这种状态下，得留一些差，一些速度，一些角度，但它们每一个都是无穷小。”莱布尼茨还认为：无穷小是一种理想元素，是一种有用的工具，它们有助于我们通过直观发现真理，而且这些无穷小也可遵循通常的四则运算法则进行运算。他们这些费力的解释是为了回答导数或是不是的问题。这也是现代某些没能深刻理解极限概念的人所追问的问题。当时，一位著名的主观唯心主义哲学家贝克莱主教曾向微积分的拥护者们提出了类似的

11、问题。当牛顿和莱布尼茨以无穷小之比来说明导数时，它们无法回答“无穷小”到底是个什么东西。一个不是0又比任何实数（的绝对值）都小的量还是数吗？显然不是，因为实数里面没有它。这个像幽灵一样的“无穷小量”一直困扰着当时的数学家们。这个思想上的困扰被人们称为数学史上的第二次危机。2.3 标准极限理论的提出数学思维公式和数学语言的转向仔细分析前面牛顿和莱布尼茨的那些说法，笔者认为在他们的思想方式中有如下一些局限性。（1）他们将现实的运动过程与人的思维抽象过程混为一谈。从而，其思想的表达都是用自然语言和直观的动态语汇进行描述。（2）将导数运算与有限运算看成类似的，即认为最终比是变化过程中自然“生成”的，就

12、如3+5=8一样，8是3于5合在一起才能实现的结果。这种认识统治了相当长的时间，以至于人们会争议到底是等于1，0，或是。后来，经过达朗倍尔、波尔查诺、柯西，尤其是维尔斯特拉斯等人的工作和思考，导数的“本质”逐渐地清晰起来。这源于极限概念的提出和完善化。最后形成标准化的即-语言的极限理论，彻底地澄清了原来在微积分学中的各种概念混乱。那么极限理论的引入是如何解决了“第二次危机”中的困难呢?它在数学发展方向上起到了什么样的作用呢？笔者将对此作一简要分析（后面的某些观点属于个人的看法，仅供参考）。在任何一本系统讲授微积分的教材中，人们都可以看到-语言定义的极限概念。如果教材编写者写得清楚，我们都可以看

13、出，所谓一个函数在点处的导数不过是差商在趋近于0（趋近于）时的极限（如果存在）。而按极限的定义，这个极限（如果存在，记为）并不是上述趋近于所“生成”的结果，而是事先已经“存在”的一个实数，当趋近于时，差商也不断地“逼近”着这个事先就已存在于那里的数。同样，在数列有极限A时，这个A也是一个“事先在那里等候”的实数，极限概念完全回避了“是否到了”以及“是否都已全部穷尽”这样的问题。仔细核查-语言的极限概念，它起到了如下的作用：（1）区别了人们的抽象思考过程与现实的运动过程，用可以进行逻辑分析的语言代替了直观动态描述。（2）摆脱了过去在初等运算中形成的“计算结果生成观”，建立了“无限运算结果的逼近观

14、”；（3） 将所讨论的对象，由无法进行逻辑分析的直观“变量变化”关系转化为两个具有一定结构（顺序与度量结构）的数集之间的结构关系，从而实现了数学对象的“静态”化。正是以上的这些作用，大大改变了人们对数学的认识，尤其是对数学研究的界定方式及其相关关系的思考方式，并由此引起了数学语言的重要转向。原来以自然语言的动态语汇所给出的直观描述逐渐被人造语言的静态语汇所给出的形式规定所取代。比如说，过去人们在求瞬时速度、曲线弧长和不规则图形的面积时，总是自然地认为是在求一个客观实在的量。但在现代的数学处理方式中，这些都是利用极限“定义”（规定）的形式对象（起码从纯数学的角度考虑）。再比如，由于两千多年前爱利

15、亚的芝诺提出的悖论，亚里士多德不愿意承认曲线是由点（或时间是由时刻）组成的，因此人们将曲线看成动点的轨迹。但是当极限概念建立以后，人们开始将目光转向实数点集的结构研究，曲线也就自然被描述成点的集合了。原来变动不居的动态对象，一旦被界定为是由点组成的集合，就完全成了可以进行逻辑分析的静态对象。2.4 集合论产生的思想渊源在标准的-语言的极限概念产生以前，人们很自然地从直观上想象连续函数基本上都是可导的（除去个别的尖点）。可是极限理论使得严格的逻辑分析取代了直观的想像。正是建立了极限理论的-语言定义方式的维尔斯特拉斯构造了处处连续而又处处不可导的函数。这些工作标志着数学开始从直观描述动态“变量的过

16、程联系”，转化为逻辑分析静态“集合结构”的形式关注。然而，将动态的“变量”转化成静态的集合，其集合基本上都是无限集。人们为了消除“无穷小量”带来的矛盾，不得不考虑“无穷多（元素）”的集合。虽然在过去两千多年来，人们一直极力回避谈论无限集，但现在无法回避了。 极限概念的完善化，使得“常量”与“变量”的区别转化为“有限”与“无限”的区别。对数学分析而言，这也是与初等数学最根本的区别。因为判断极限是否存在，在一般情况下无非是判断两个具有一定结构的无限集之间的关系。但是，比较两个无限集的区别，最基本的比较应是集合元素的多少。所以，数学分析的深入（势必）将引起人们对无限集合的“计数”方法的关注。虽然，作

17、为集合论创始人，康托是在研究三角级数展开式唯一性问题时考虑到无限集之间的比较方法问题，就具体问题而言，似乎有一定的偶然性。但以当时的数学发展进程而言，这个偶然却是必然之中的偶然。事实上，在康托之前，就有人在认真地探讨无限集的比较问题。当然，这并不能抹杀康托的功绩。康托是第一个全面冲破了过去陈旧观念束缚的人，因而才有了真正意义的创新并成功的建立了新的理论。2.5集合论的作用 首先，由于集合论的建立，提供了在一定的逻辑基础上分析无限（集）的方法。因此，人们对无限集以及在无限集上的各种结构关系的研究可以不断深化。从而涉及的无限次集合运算的测度理论被建立起来，这成为建立实变函数，泛函分析，现代概率论以

18、及其它一些现代数学理论分支的基石。 其次，当人们不再以恐惧的心理躲避无限集以后，将数学研究的对象描述成具有一定结构的集合，便成为自然而合理的选择。于是，集合论为绝大部份数学理论分支提供了可以统一使用的语汇，集合语言也就成了几乎所有经典理论数学的统一语言。 最后，在相当广泛地意义上，集合之间关系恰好反映了命题（函项）之间的逻辑关系。如果说人们一直在追求着数学在逻辑上的严密性，那么建立在集合论基础上的数学就几乎接近了人们所期待的标准。 综合上述理由，人们认为集合论是现代数学的基础也确是有道理的。 当然，集合论并没能为整个数学提供终极的基础，它也有一定的局限性。但若是抱着一种较为合理而不过分的期望，

19、集合论为数学发展所提供的平台也算是相当牢固和宽广的。3集合语言与命题函项上一节曾指出，标准极限理论的产生，使得原来数学中的量的变化过程被转化成静态的有结构关系的集合。于是，数学所考察的大量对象也都被描述成了集合。于是集合论便为一般的数学分支提供了统一可用的语汇。这也是为何有人称集合论是一种语言的原因。但是，如何具体描述一个集合呢？有人说，集合的引入简化了许多逻辑关系。这话有一定的道理。但是，这一点是建立在能够正确描述集合的基础上的。如果不能正确地描述集合，或是不能正确理解对集合的描述，那么集合的引入不仅不能使数学中的逻辑关系清晰和简明，反而会带来大量的混乱。事实上我们在一些文献中，经常会见到不

20、规范的集合描述，从而引起不必要的歧义和误解。为了说明集合表示方法，有必要介绍一点逻辑常识。3.1逻辑学中的几个概念（1）逻辑连接词与复合句一般将一个完整的简单陈述句称为简单句。比如，“是奇数”就是一个简单句。将若干个简单句连接起来可以组成一个复合的句子，比如，“是奇数并且是的倍数”。此外我们还将一个简单句的否定形式称为复合句。在把一些简单句组合成一个复合句子时主要是利用一些连词。在现代符号逻辑中，规定了一些特定的符号来代替常用的连词，这些符号的引入使复杂句子的形式相对简洁，更为重要的是有助于对句子之间的形式关系进行程式化的分析，从而使逻辑代数化。常见的逻辑连接词有如下几种：否定词（用符号表示）

21、，其作用相当于自然语言中的“不是”，“非”。例如，“不属于”，就可以用逻辑符号记为（当然也可以用表示）。析取词（用符号表示），相当于自然语言中的关联词“或者”。比如语句“属于或者属于”就可以完全符号化为： 。合取词（用符号表示），其作用相当于自然语句中的关联词“而且”。比如，语句“属于且属于”可用符号表示为：。蕴涵词（用符号表示），其作用相当于自然语言中的关联词“若则”，“如果，那么”。比如语句：“如果，那么”可用符号表示为 。逻辑联结词之间也有一种顺序，直观地说，顺序体现的是这些联结词与其它符号的“亲和力”。比如“”其实意味着这样的理解。一般地，亲和力最强的是，然后依次是、。例如语句：“如果

22、是有理数而且是整数，那么不是实数”可表示为：。当与是表达正确（即合乎语法要求）的句式时，那么也都是表达正确的句式。由此，利用上述逻辑联词，我们可以组成各种复杂的复合句式。（2）命题与命题函项一个能判断真假的陈述句称为一个命题。比如：“是一个偶数”就是一个命题，且是真命题。现考察下面的陈述：是一个偶数。如果我们将“（ ）是一个偶数”这个缺失主语的句式简记为，那么前一陈述句就可以表示为，后一陈述句可表为。正如前述是一真命题，但是却不能判断真假，因为我们不知道是什么。我们将这里的称为个体变元，自然数称为个体常元。直观理解，个体变元表示一个未定个体，在本质上与是一样的，都缺失明确而具体的主语。而所谓的

23、个体常元则是一个具体而明确的对象。象这样的句式，不能判断真假，故不是一个命题。但若以一个个体常元，比如来代换中的便得一命题，我们知道是假命题。与函数表达式有类似之处，比如，经常表示一个“函数”，而不是数。但若以常元代换，便得一具体的数。源于这种相似处性，我们称这种句式为“命题函项”（或命题函数）。除了含有一个个体变元符号的命题函项，还有含若干个个体变元的函项，比如，“小于”就是含两个变元的命题函项，将它简记为。显然，只有当与都被个体常元（实数）代换之后，才会得一命题。（3）量词是否有个体变元符号的句式就一定不是命题呢？不是的。比如，“任意一个实数都小于”就是一个命题，它是假命题。再比如，“存在

24、一个实数小于”是一个真命题。看上去，这两个句式中也有个体变元，为什么它们会成为命题呢？这可以从两个角度来分析。以第一句为例，它可以有两种解释：（1）“是实数中最大的”、；（2）“实数集中每个元都小于”。按第（1）个解释，这是对“”所下的一个判断，按第（2）个解释，则是将整个实数集作为形式主语。也就是说这些句式并非是对一个个体变元下什么判断。 数理逻辑中规定了两个特别的符号：，它们称为“量词符号”。其中“”表示存在，“”表示“任意一个”（或“对于任意一个”）。比如，就表示“任意，小于”，这里“”（或“”）称为一个量词。在组成复杂句式时，量词有十分重要的作用。假设是一个表达正确的句式，则也都是表达

25、正确的句式（表达正确意指合于规定语法，并不意味命题本身的真）。在有量词的句式中，特别要提到量词的辖域。以“”为例，后面括号中的与中的是表示同一对象的，于是在这个句式中的都在量词“”的辖域之内。一般规定，量词的辖域包括量词本身以及紧连量词的那个括号内的符号系列。比如，在中的就不属于量词“”的辖域。另外，还要特别注意的量词的顺序。下面两个句子说明了量词顺序的重要性。设论域是人类，（是的父亲）。它的日常语言表示为：每个人有一父亲。（是的父亲），它的日常语言表示为：有一人是每个人的父亲。读者不难看出这两个命题的重大差异，尽管它们只是颠倒了两个量词的顺序。如果一个变元符号在某个量词或的辖域之内，这个变元

26、就称为约束变元，不是约束变元的变元称为自由变元。如果一个句式中没有自由变元，就称为“封闭句式”，或简称为“闭式”。从前面的例子，读者可以看出，一个正确表达的“闭式”就是一个“命题”。在通常情况下一个含有自由变元的句式（当然其表达方式要正确）就是一个命题函项而非一个命题。只有在特殊情况下，比如对特定的论域，由于该论域自身特殊性质的限定，使某些含自由变元的句式有时也能被看成命题。比如，以自然数集为论域，句式（）就在某些场合下被认为是一个命题，但这个句式作为命题应等价于闭式“”，或者说它只是看作（）的一种简写形式。另外，在数理逻辑中必约定，当中有自由变元，又要将其看成命题，那么它就等价于。3.2.集

27、合表示方法表示一个具体集合的方法视情况而定，大体有两种方式。（1）描述法（或概括原则）。这是最常见也是最正规的方式方法。它的标准形式为：或| （1）其中是一个个体变元符号，是仅以为自由变元的命题函项（在形式上是一个正确表达的只含有一个自由变元的句式），而且不是命题。当我们将一个具体对象，比如说是“8”（个体常项），代换中得到一命题。若真，则对象“8”就是上述所表示集合的元素：若为假，“8”就不是该集合的元素。在利用描述法表示一集合时，应注意以下几点：），与；都是不正确的，容易引起误解。在与之间只能用冒号或竖线来分隔。）一般来说，在（1）式中的只能有且必须有一个自由变元。考察下面公式（设论域为自

28、然数集）：与：（）显然前者是自然数集，而后者却没有给出任何具体的集合。再如：也没有给出明确的集合。前面的问题出在（）无自由变元，本身是一命题，而后者多一个自由变元，即使将代换为常元，仍然无法判定真假。在有特别约定的情况下，：这样的表示也可能是有意义的。比如我们在行文中若有如下表述：“对任意，记”，这时的表达式是有意义的，但的确定要由的具体取法所决定。事实上，上述的整段话是在规定一族集合，而不是一个集合。其中是在：之外来确定的。）在表示坐标平面的坐标集（或平面中点的集合）时，会有如下表示方式 （2）事实上，这个表示等价于 （3）所以（2）式可以看成是（3）的简化形式。当然，以（2）来表达是可以的

29、，但要注意，当表达集合中一个元素时，若出现了个变元符号，那么对应的命题函项中也就应当有同样多的自由变元符号。比如（2）式中的就是由两个变元符号表示的元素，集合表示中的命题函项“”就是两个自由变元。讨论题：设论域是实数集合，试讨论下面的表达方式是否明确描述了一个集合。设是由一些实数组成的集合，（4）（5）（2）列举法。严格说来，列举法不是很正规的方法，但却常用。在满足如下条件时我们可以用列举法表示集合：所需表示的集合中的对象非常明确；集合中的元素有限且很少，或者尽管无限但元素之间有明确的规律性关系。比如知道所要表示的集合是“数”的集合，那么就表示由三个数所组成的集；表示由正偶数组成的集合。这里提

30、到“集合中的对象非常明确”这一点是必要的。考察下面两个表示：与。这两个集合是否是相同的呢？再比如北京，中国的首都与北京是否是相同的集合呢？如果不能明确所要表示的对象是什么，上述问题是无法准确回答的。如果是表达“数字符号”的集合，那么前者有个符号，而后者却只有个符号，这两个集合是不相同的。第二个问题的判定也存在类似之处，读者可自己辨析。（3）关于描述法的简化。在一些文献中会出现一种描述法的简化形式，比如用“实数”表示“：是实数”。一般说来，在前后文中能够使读者确切知道这种表示就是描述法的简化形式。利用这种表达方式也是可以的，但是在多数情况下，这种简化方式会引出歧义和混乱，所以应当慎用。i）如果没

31、有明确的背景，实数可以导致三种不同的理解：由所有实数组成的集；由“实数”这个概念（或名词）组成的单元集；由所有实数组成的集为元素构成的集。ii）当所论数学内容涉及多层次集合时（如拓扑学、集合论等），上述简化表达极易造成集合层次的混乱，从而出现逻辑混乱。（4）关于相异性原则。集合论研究的是如何为集合中元素计数的问题，也就是如何比较不同集合之间元素多少的问题。因此，如果同一个对象作为一个集合中的元素被两种或两种以上不同的方式表示，决不可将这个对象看成两个或两个以上的元素，而只能作为一个元素。比如在：是三国时期的历史人物这个集合中，“孔明”与“诸葛亮”作为历史人物只能是一个，也就是上述集合中的一个元

32、素。再比如，对任意自然数，以自然数为元素的集合中，当取时，集合就只是一个单元素集合。相异性原则的根本含义是：不能将同一元素重复计算成多个元素。这个原则并不妨碍在表达时，可能对同一元素给出不同的描述。重要的问题是，明确集合的组成对象，并能区别其对象的异同。读者将会看到，在集合论内容展开过程中，元素的重复表示是难以避免的。4.集论语言与数学概念我们在前面曾指出，集合论的建立是数学发展的需要，同时它也为数学提供了充分多的对象模型和语汇，从而使数学研究的对象可以被描述成静态的、能够进行逻辑分析的对象。本节将介绍一些十分重要的数学概念，它们都是用纯粹集论语言定义的。当我们说“集合”概念是在数学中不定义的

33、基本概念时，往往意味着其它没有被称为基本概念的数学概念，应当是被定义的。又因为只有“集合”（包括“”）不定义，那么，其它的对象也只能由“集合”来定义。我们已经十分熟悉一些数学所研究的对象被描述成集合，比如说各种数的集合、各种曲线等等。但是，当我们建立这些对象的时候，却是为了研究这些集合之间以及集合元素之间的关系，比如运算、顺序、映射等等。换句话说，这些关系往往是数学所要研究的更重要的“对象”。那么，什么是关系呢？在日常生活中，“关系”一词的含义十分广泛，如果一定要解释其含义也要用到与其意思相同的其它词汇，所以也都是意会。在数学中，人们所具体考虑的是数学对象之间的联系，而数学对象又往往被描述为集

34、合。所以数学中所说的“关系”也只是集合之间的关系。那么，如何利用集合概念定义关系概念呢？考虑一个正常生活的例子。比如说“夫妻关系”，当我们说某人与某人是夫妻关系时，即表明这两个人有夫妻关系。但“夫妻关系”本身当如何解释呢？其实“夫妻关系”也就是所有夫妻所具有的共同的关系（属性）。如果将所有的“夫妻”都列举出来，也就将“夫妻关系”的含义穷尽了。而所有的“夫妻”也构成一个集合，比如我们记为男人集合，为女人集合，并且与是夫妻这个就可以表示“夫妻关系”这个概念（的外延）了。利用外延（往往是一个集合）来定义一个概念，是近现代数学的主要定义方法。下面我们先给出一些准备概念，这些概念在数学中也是常用的。4.

35、1定义 （序偶与无序偶） 集合被记为，称为由构成的序偶，集合称为无序偶。不难验证当且仅当，这也是称为序偶的原因，它强调的顺序是很重要的，因为当时。4.2定义（笛卡尔积），是集合，集合称为与的笛卡尔乘积，也常简称为集合与的乘积。虽然在正式的定义中，有序点组以及个集合的笛卡尔积是归纳定义的，比如，.但本书在这里将不拘泥于过份严格的形式化描述，我们只规定当且仅当。并由此规定并约定注：如果按正式定义，感兴趣的读者可以检查，一般情况下，与中的元素是不相同的。但在本书中，这样的区别没有什么意义。为了方便，我们给出了上面的约定。但按正式定义方式，读者可以体会到像元有序组，也被定义为一个集合了。我们还可以引入

36、无限多个集合的笛卡尔集。记并规定 当且仅当 。于是特别的，如果每个，则记其实表示的是一个点列，则表示由中的元所能组成的所有点列的集合。4.3定义（关系） 设是集合，是的一个子集，则称是与之间的一个关系。如果则称是集上的一个关系。4.4定义 设 ，记 与分别称为关系的定义域和值域；称为关系的逆关系，显然它是与之间的关系；称为关系与关系的复合关系，易知是与之间的关系。4.5定义 （关系的限制与遗传） 设是与之间的关系，记 称为关系在与上的限制。，称为在上的限制。特别地，当时，称为关系在上的遗传关系，或称之为关系在上的遗传关系。我们还引入一些记法，目的是为了有时在叙述上的方便和直观。当时，我们也记成

37、，若记另外，记 ，称为的对角线，也称上的恒同关系。当集合是确定的时，可简记为。因为总是成立的，故可以看成与之间的一个关系，成为空关系，其实“空关系”所表示的是什么也没有的“关系”。注意到当有很多元素时，与之间的关系也会有很多的。因为当且仅当，不难看出，当时等等也都是与之间的关系。在数学中，有许多关系是令人感兴趣的。但有几类关系是我们常要探讨和应用的。本节着重介绍三种类型重要的关系，它们分别是：（1） 映射；（2）一个集合上的等价关系；（3）一集合上的序关系。1. 关于映射映射（或函数）概念是数学中一个核心的概念。几乎所有的数学问题都与映射有关。比如，数学分析就是以“分析函数”为其主要课题。下面

38、给出纯集论语言的映射定义。4.6定义（映射） 若关系满足1）；2）则称是到的一个映射，当是到的映射时，记为 （或）。另外，我们也用记法或者（在不会引起歧义时简记为）表示（或）。回顾过去“映射”定义中用到的“对应法则”，在这里已经被一个满足两个条件的“关系”所替代了，而这个“关系”其实是一个集合。两个映射与是否相等完全决定于作为集合的与是否相等。假设显然，这里的命题函项相当于“对应法则”的描述，如果它们不同，可能意味着“对应”的操作程序（算法）不一定相同。但是如果，那么两个映射就是相同的。这样的处理便清除了由“对应法则”的不同理解而造成的争议。由于映射也是关系，所以前面关于值域，复合，限制等概念

39、也都适用于映射，这里不再单独说明了。但是映射作为一种关系的逆关系却不见得是映射。4.7定义 若映射满足则称是一个单射；若，则称为满射；当是既单且满的映射时，称是一双射。若存在集到的双射，称与是集同构的，也称与是等势的（关于势的概念在后面将专门讨论）。读者很容易证明下面的结论。4.8命题：映射的逆关系是映射当且仅当是一个双射。为了不引起歧义，只有当是映射时，我们才用这样的记法表示。如果不是映射，则表示集合。在应用符号时，应对其含义作必要的交待。若， 记。称为在之下的像集，称在映射之下的原像集。注意：当且时，所表示的对象是完全不同的，前者是中的元素，后者是的一个子集。对任意的，是到的一个映射。当我

40、们将看作映射时，记为，称为恒同映射。显然对任意，。当与是集合时，引入如下集合：称之为到的映射集。当时，我们记对任意，是到二元集的一个映射。记，显然且满足现对的任意一个子集，定义一个映射称是子集的特征映射（作为的子集）。当明确所论子集是哪个集合的子集时，的特征映射可简记为。由前面的讨论可知，任意，是子集的特征映射。4.9命题：是集合，则与的幂集合等势。证明：定义，任取，。由前面的讨论，易于验证是一双射。由于任何集合的子集可由该子集的特征映射所唯一确定，因此人们经常用特征映射来表示一个子集，并将映射集与的幂集合同样看待。2. 集上的等价关系与元素的分类我们在认识的过程中往往要按一定的性质将对象加以

41、分类。设 满足条件：=，且中两个不同的元素都是不相交的集合，则称是的一个分划。如果我们认为分在一个类（是的子集）中的元素是相关的，我们就在上定义了一个关系，反过来，这个关系也可以决定的一个分划。那么能够决定的一个分划的关系应当满足什么条件呢？下面引入此种类型关系的定义。4.10定义 设，1）；2）；3）。则称是上的一个等价关系。其中1），2），3）分别称为自反性，传递性和对称性。4.11 例 (1) 设，考虑下列上的关系。不难验证与不是等价关系，与是等价关系。(2)设，则是实数集上的等价关系上面曾经讲过，定义上的等价关系是为了将的元素进行分类。现假设是上的等价关系，记（当已明确，可将简记为）称

42、为元素所在的等价类（或所在的等价类）。设与如上所述，容易验证下列事实（1）当且仅当；（2）当且仅当；（3）记，则。这里的称为关于关系的商集。上面的（2）与（3）表明商集恰好构成了的一个分划。反之，前面曾说明，若给定的一个分划，可利用分划定义上的一个关系（分在同一类的两个元相关）。读者不难验证，由此分划定义的关系也一定是一个等价关系。3. 在集合上定义序关系顺序关系是数学所要探讨的一种重要的结构关系。但顺序关系的结构类型是非常多的。抽象出其中共同特点便产生了顺序结构的数学定义。4.12定义（序与序集）设是集合上的关系，满足1），即；2），即则。称是上的偏序关系，称为一个偏序集。在序关系是已确定的

43、时候，“偏序集”也简称为“偏序集”，偏序集也可简称为序集。上述定义的偏序关系可以称为严格序关系，即没有反身性。人们习惯于用严格小于号表示这样的关系，比如以表示一个上定义的严格序关系。但也有人乐于用不严格的序关系。比如当或表示一个严格的偏序关系时，我们可以用或表示上的不严格偏序。我们有下面一个简单的命题4.13命题：设是上的一个关系且，若是上的一个严格偏序关系当且仅当满足下列条件：1）；2）若则；3）若，则。证明留作练习。正是由于4.13命题所给出的这样一种关系，有些文献也以4.13命题中的三个条件作为偏序关系所应满足的性质。不难看出，满足这些条件的关系相当于不严格序关系。就如我们平时在谈论数的

44、大小关系时，有时用严格不等号“”，有时用不严格不等号“”。在本书中，我们经常用或表示一个序集，其中“”则表示满足定义4.12中所列条件的严格偏序关系，而“”则表示不严格序关系（满足4.13命题中的三个条件）。4.14例：设是闭区间上的所有连续函数所组成的集合可以验证和都是偏序关系（严格），但不是偏序关系。因为存在函数，即且，但。注：只满足4.13命题中的第1）与第2）个条件。一般称这样的关系为预序关系。本书不专门讨论这类关系。我们可以看出上面的关系所定义的顺序并不能将中的元都排出大小（或先后），这也是这样的序被称为偏序（或部分序）关系的原因。注：当我们说等是序集时，其中的符号4.15定义 是一

45、个序集，若对任意与中至少有一个成立，则称是一个全序集。全序集也称为线性序集。任何实数的子集，按通常数的大小关系都构成一个全序集。但在高等数学中，我们会遇到大量并非全序集的序集。4.16定义 设是一个序集，若任取成立（或），则称是中最大元（或最小元）；若任取且（或）称是中的极小元。如果中有最大元（或有最小元），以（或）表示中最大元（或最小元）。此外，设与如4.16定义中所述，记与分别称为的上界集和下界集。若有最小元，记为，称为的上确界；若有最大元，记为，称为的下确界。对于序集的一个子集而言，是否存在它的最大元（最小元）、极大元（极小元）、上确界（下确界），要视序集的具体情况才能确定。一般而言，一

46、个序集（子集）的极大元不一定是其最大元，但若它有最大元，那么它的最大元一定是一个极大元，同时也是其上确界。不过对一个全序集而言，它的极大元也就是它的最大元（练习）。对集合论而言，最重要的序关系之一是良序关序。下节将专门介绍良序关系。5良序集，归纳法与自然数5.1定义 设是一个全序集，若的任意非空子集中都有最小元，则称为良序集，序关系“”称为一个良序关系。5.2例 依据我们过去了解的关于数的大小关系，正整数集是一个良序集，有理数集，整数集，整数集，实数集的任何一个非退化区间都不是良序集。良序集最重要的特点之一是它与归纳法有着本质性的联系。5.2定理 设是一个只含为自由变元的命题函项，是一个良序集

47、。记是中的最小元，如果）成立；）由任意成立，可推得成立，那么对任意中的元，成立。注：按5.2定理中的符号约定，关于归纳法的较为形式化的表述如下：。证明：反证，若存在不成立，则取。显然，因为是使不成立的最小元，故对任意成立。但由）应有成立，矛盾。 良序集的这种归纳性质，为我们研究良序集的结构提供重要的途径。理论数学的内容中，对数学对象的结构分类是十分重要的部分。那么什么是结构分类呢？就是将结构相同的分为一类。比如两个实数域上的向量空间如果都是维的，就是同构的向量空间。在线性代数的研究领域内，同构的向量空间就可以看成是一样的对象了。那么序集的同构是什么含义呢？5.3定义 设与是两个序集，映射称为序

48、同态（或保序映射），如果。一个序同态称为序同构（映射），如果是双射，且逆映射也是序同态。若存在到的同构映射，称序集与是同构的。思考题：构造两个偏序集，它们之间存在一个是双射的序同态，但这个序同态不是同构。显然序集的同构满足自反性，传递性和对称性。5.4命题 如果与都是全序集，一个序同态若是双射，则必是序同构映射。证明作为练习。5.4例 考虑开区间与上的实数大小关系，它们都是全序集。但是我们看到显然仅仅是前面的一段，但它们又是同构的。因为对应就定义了到的一个同构。从直观上讲，如果不考虑距离（度量）因素，仅仅从排队的结构上看，与是一样的。换句话说，对一般的全序集而言，我们不能仅仅从序结构的角度建立

49、起比较它们“长短”的标准。但是良序集却都不同。为了方便叙述，我们引出一些概念。5.5定义 设是一个全序集，若，满足：当且时，便，则称是的前段。如果H还是L的真子集时，称H是L的真前段。又若存在，使得，则记，并称是由所确定的前段。5.6命题 若是良序集，是的一个真前段，则存在使得。证明：取，易知。前面的5.4例说明，有些全序集可以与它的一个前段同构。但对良序集，这样的现象是不会发生的。我们还将要证明：任意两个良序集，如果它们不同构，那么必有一个与另一个的前段同构。也就是说良序集是可以仅仅通过其序结构比较“长短”的。为此我们先讨论良序集的一些性质。5.6命题 设与是两个同构良序集，则由到的序同构映

50、射是唯一的。证明：设与都是到的序同构。若，则令。显然不是的最小元。不妨设，因为且可知，即不是满射，矛盾。5.7命题 是良序集，是一个保序的单射，则对任意的。证明：反证若不空，取其最小元，因为于是。这与是最小元矛盾。5.8引理 设，是良序集（1）良序集不能与其真前段同构；（2）若是同构，则对任意是同构；（3）任取，若存在，使得同构，则是唯一的。（4），若同构，同构且。证明：（1）设，若与同构，则有同构映射，记是包含映射，则是单射且是序同态，但，即，与5.7命题的结论矛盾。（2）由同构及限制映射的定义直接可验证。（3）这个结论是（1）的直接推论。（4）由前面的结论可直接推得。 5.9定义 若良序集同构与良序集，我们记，若同构