关于集合论的学术论文参考文献

关于论文中参考文献的问题： 1】文末所写的参考文献均应在文中直接引用。正文中没有直接引用但研究过程中参考的不必写上并编号。2】所引用的参考文献最好是原话，也可转述及归纳。3】论文中所需要涉及的一些如欧几里得的《几何原本》、康托尔的“集合论”等一些原论文出处可以不标出，因为这些成果众所周知。

本文旨在整理一些集合论中的基础概念与定理，主要出处见参考文献。

本文只列出特别简单的证明，略去复杂的证明。

首先，我们介绍 Cartesian product（笛卡尔积、直积） ，就是从 中、 中各取一个元素组成的有序数对。如果是 个集合，它们的Cartesian product就是一个 -tuples：

所谓 Relation（关系） ，是 的任一子集，就叫a relation on set 。如果 ，则可写为 。 可能的性质有：

Equivalence relation（等价关系） ，就是自反、对称、传递的关系。

给定 上的一个equivalence relation ，那么 中的元素 的 equivalence class（等价类） ，就是集合 。若 和 是 和 的等价类，那么必有 或 。

自反、反对称、传递的relation，就叫 partial ordering（偏序） ，可以用符号 或 表示。对于任意partial ordering，如果将其中的 元素剔除，就变成了 strict ordering ，用符号 或 表示，这种relation不再是自反的和反对称的，但依旧有传递性。如果对于集合 ，每一对 都满足 、 或 这三种中的一种，那么称 是 linearly ordered 。再进一步，定义集合 的最小元素为 ，它满足 （最大元素可类似定义），那么，如果linearly ordered 的每一个子集都有一个最小元素，则称 是 well-ordered 。

一个 mapping/transformation/function 定义为 ，这是一种将 中的每个元素与 中唯一一个元素联系起来的规则。 称为 domain（定义域） ， 为 codomain（到达域） ，集合 称为 graph of 。集合 称为 在 下的 image ，对于 ，集合 称为 在 下的 inverse image 。集合 称为 的 range（值域） ，若 则称该mapping为from onto ，中文叫满射，否则是 into 。若每个 都是唯一的 的image，则该mapping是 one-to-one ，或记为 - ，中文叫单射。

当 中的每个元素与 中不一定唯一的元素对应起来的规则，称为correspendence， 就是一个correspendence，但未必是mapping。若mapping是 - 且是onto的，则称该mapping为 one-to-one correspendence 。如果在 和 上都定义了partial ordering，那么如果对于一个mapping， 当且仅当 ，就称该mapping为order-preserving。若 是partial ordered，用 表示，那么一个 - mapping可以 induce（诱导） 在codomain上的一个partial ordering。若这个mapping还是onto，那么 上的linear ordering可以induce一个 上的linear ordering。

集合中的元素个数称为集合的 cardinality 或 cardinal number（基数） 。若 与 之间存在 - correspondence，那么两个集合 equipotent（等势） 。

将正自然数集合 的cardinal number记为 。如果一个无限集合中的元素，与 中的元素存在 correspondence，那么称该集合为 countable 或 denumerable （可数的）。

整数集 是可数的，因为对于任意 ，让它对应于 即可。

定理 ：有理数集 可数。

定理 ：The union of a countable collection of countable sets is a countable set.

注：Collection有的地方翻译为“搜集”，可理解为允许有重复元素的集合。

定理 ：实数集 是不可数的。

记 的cardinal number为 ，则有 。

定理 ：任意开区间不可数。

定理 ：任意开区间与 是equipotent的。

对于开区间 ，将任意 映射为 可证。

定理 ：实数平面 与 是equipotent的。

定理 ：任意开区间都包含至少一个有理数。

对于开区间 ，不妨假设 ，取 为比 大的最小整数，取 为比 大的最小整数，则必有 ，而 。

推论 ：Every collection of disjoint open intervals is countable.

因为每个开区间都至少包含一个有理数，这些不相连的开区间的collection可用其中每个开区间中的任一有理数建立对应关系，而有理数集是可数的。

下面再介绍一些有关集合的定义。集合 的supremum，如果存在，就是对于任意 都满足 的最小的 ，可写为 ；反之可定义集合 的infimum，写为 。对于 的某个子集，如果有上界，必有supremum，如果有下界，必有infimum。若定义 extended real line （即将无穷大也看作一个元素），那么所有集合都有supremum和infimum。另外记 。

Monotone sequence（单调序列） 就是 non-decreasing （指 ）或 non-increasing 指 ）的序列，也有严格的单调序列，即将包含关系换成严格包含关系 和 。

序列的 limit（极限） ，就是对于non-decreasing序列的 ，或对于non-increasing序列的 ，分别可写为 和 ，或一般地， ，或 。

对于任意集合序列 ，集合 必为non-increasing序列，因此 存在，称它为 的superior limit，写为 。反之，non-decreasing序列 的极限 ，就是 的inferior limit，写为 。正式定义为 由De Morgan' s laws， 。

其实就是 infinitely many （无穷多）个 中都含有的元素的集合， 就是 all but a finite number （除有限）个 外，其他 中都含有的元素的集合。

以上概念提供了一种集合序列的收敛准则： ，若两个集合不相等，则说明 不收敛。

所有 的子集的集合成为 的power set（幂集），记为 。对于一个countable set，认为它的power set有 个元素。

定理 ： 。

接下来，要研究的是给定集合的子集的一些性质。Power set一般对研究的问题来说会显得太大了，以下的一系列定义，目的是要定义出 的某个子集，使得该子集对于研究的问题来说足够大，而其性质又让我们可以容易地处理。一般方法是，先选出一些已知性质的集合，组成一个基本的collection，再用一些特定操作，创造出新的集合加入其中。

定义 Ring（环） ：由集合 的子集组成的非空类（nonempty class） ，若满足如下性质则为ring：

Ring对于union、intersection、difference的操作是closed（闭的）。但ring中不一定含有全集 自身，若加入 ，就成了field（或algebra）定义：

定义 Field（域） ：由 的子集组成的class ，若满足如下性质则为field：

如果给定了一个collection ，将它理解为“种子”，去生成field，那么称最小的含有 的field为 field generated by 。

Ring和field的概念在概率论中应用起来还是会有些限制，因此引入以下定义：

定义 Semi-ring ：由集合 的子集组成的非空类（nonempty class） ，若满足如下性质则为semi-ring：

其中的第三个性质，简单来说就是 中任意两个集合的的差，可以分解为有限个 中集合的union。

再在semi-ring中加入 自身，就变成了 semi-algebra 。

上一节说到field对complement和finite union的操作是closed，我们接着将它的finite union操作扩展到极限处，这就有了如下概念。

定义 -field（sigma-algebra） ：由 的子集组成的class ，若满足如下性质则为sigma-field：

-field对于complement和countable union是closed。若给定一个collection ，所有含有 的 -field的交集，就叫 -field generated by ，可记为 。

定理 ：若 是一个finite collection，则 也是finite，否则 总是uncountable。

若取 ， ，则 就叫 Borel field of ，一般可记为 。许多不同的collection都可以生成出 。若给定一个实区间 ，则 称为the restnctlon of to ，或Borel field on 。事实上， 可由 生成。

对于两个 -field的union不一定是 -field，将最小的包含了两个 -field 和 中所有元素的 -field记为 。但对于两个 -field的intersection ，它必定是 -field，为了统一符号，可以写为 ，它就是保证元素同时属于 和 的最大的 -field。这两个概念都可以推广到可数多个的情形。

概率论和测度论中，大量的工作都是在证明某个class of sets是 -field。对于证明来说， -field定义中的三条性质，前两条都很容易验证，但最后一条要验证却很困难。为此我们定义一种monotone class（单调类） ，它也是由一些集合组成：若 是monotone sequence，有极限 ，且 ，则 ，称这样的 为monotone class。利用它和下面的定理，可以方便地证明一些class是 -field。

定理 ： 是 -field，当且仅当 是field且它是一个monotone class。

利用这个定理，在考虑一个class是不是 -field时，我们只需要考虑monotone sequences的极限是否属于它即可。

另一个常用的技巧是Dynkin's - Theorem。对此需要先介绍两个概念做铺垫。

定义 -system ：有一个class ，若 且 ，则 ，那么 就是 -system。

定义 -system ：有一个class ，若它满足以下性质，那么 就是 -system：

前两个条件说的是 -system对于complement是closed。并且由于第二条意味着 ，所以第三条也说明了， 中的disjoint sets的countable union依然在 中。利用这点，有以下定理。

定理 ：一个class 是 -system，当且仅当：

-field必定是 -system，同时是 -system和 -system的class必定是 -field。

下面的定理用到了这些定义。

定理 Dynkin's - Theorem ：若 是一个 -system， 是一个 -system，且 ，则 。

毕业论文不同于一般的小论文，特别是硕士毕业论文或者博士毕业论文。一般的小论文就四五页，而硕士论文动辄五六十页，有的甚至七八十页。所以有些东西如果要人工的去修改，将是一件非常痛苦的事情。痛苦的事情至少有两个：目录自动生成和编号、参考文献引用的上标。本文将从这两个方面说说小技巧，自动生成，非常方便。先说两种痛苦情况。设定好文章的目录结构后，突然发现中间要添加或者删除一个章节，添加删除容易，可是其后遗症就是后面的编号都要跟着变动。比如要删除第二章，那么原理的第三章就要改为第二章，后面的要跟着动，添加也一样，很麻烦。第二个情况就是参考文献的上标问题。硕士论文参考文献都有好几十个，一般论文会要求按照论文的引用顺序列出参考文献。如果需要添加新的参考文献，那么这些参考文献的上标号又会跟着变动。目录自动生成简单说下，将文档切换到大纲视图，然后设置你要设定成目录的文字的大纲级别。如果将大纲级别设定为1级，那么就是1级目录，一般我们会设置到3级，这样会生成1、2、3级目录。设定好后，在要插入目录的地方，点击“插入”-->“引用”-->“索引和目录”就可以了。格式在另外设置下就行了。首先都要设置成段落编号。将你要设定的一级目录设定成一级编号，二级目录设定成二级编号等等。参考文献一样，设置成段落编号。设定成段落编号有一个非常大的好处，就是插入或者删除其中的某个项目时，其后面的变好会跟着变动，所以这就解决了因添加删除中间的项目，而要同时修改后面的编号问题了。目录的更新，只需要在“大纲视图”下点击更新目录，或者在页面视图的目录上，点击右键，选择“更新域”即可。将参考文献设置成段落编号后，在需要插入参考文献引用的地方，点击“插入”-->“引用”-->“交叉引用”，找到相应参考文献的编号就可以了。然后再自己设置一下格式。还有几种方法，从网上摘录下来的。（一）采用书签、交叉引用方法：参考文献的编号和引用步骤如下：（1）在word文档末尾添加几个文献，如：[1] 杨秀章.Word 2000中文版使用速成.北京:清华大学出版社，2000[2] Peter Weverka. Diane Poremsky.中文Word 2002专家.北京:机械工业出版社，2002注意，输入时应采用word的自动编号。如果word没有自动编号，可自己插入（这个就不用细说了...）（2）给每个文献制作成书签。如，选择“杨秀章.Word 2000中文版使用速成”，插入——书签，输入书签名（杨秀章_Word 2000中文版使用速成），然后添加。注意书签名必须以字母开头，可包含数字但不能有空格，可以用下划线字符来分隔文字，否则可能无法插入。书签名最好与文献名一致，这样在它位置变化后，你仍能识别它。（图1）（3）在需要引用文献的位置，执行插入——引用——交叉引用，类型选择书签，选择需要引用的项目，内容选择“段落编号”。至此，引用完成！（图2）在全篇文档编完后，全选，右键选择“更新域”，编号就会改变成文献的最新位置还有一个通过插入脚注的方式引用参考文献。1． 光标移到要插入参考文献的地方，菜单中“插入”——“脚注和尾注”。（已搜索，无重复）2．对话框中选择“尾注”，编号方式选“自动编号”，所在位置建议选“节的结尾”（对论文而言）。3．如“自动编号”后不是阿拉伯数字，选右下角的“选项”，在编号格式中选中阿拉伯数字。4．确定后在该处就插入了一个上标“1”，而光标自动跳到文章最后，前面就是一个上标“1”，这就是输入第一个参考文献的地方。5．将文章最后的上标“1”的格式改成正常（记住是改格式，而不是将它删掉重新输入，否则参考文献以后就是移动的位置，这个序号也不会变），再在它后面输入所插入的参考文献（格式按杂志要求来慢慢输，好像没有什么办法简化）。6．对着参考文献前面的“1”双击，光标就回到了文章内容中插入参考文献的地方，可以继续写文章了。7．在下一个要插入参考文献的地方再次按以上方法插入尾注，就会出现一个“2”（Word已经自动为你排序了），继续输入所要插入的参考文献。8．所有文献都引用完后，你会发现在第一篇参考文献前面一条短横线（页面视图里才能看到），如果参考文献跨页了，在跨页的地方还有一条长横线，这些线无法选中，也无法删除。这是尾注的标志，但一般科技论文格式中都不能有这样的线，所以一定要把它们删除。9．切换到普通视图，菜单中“视图”——“脚注”，这时最下方出现了尾注的编辑栏。10．在尾注右边的下拉菜单中选择“尾注分隔符”，这时那条短横线出现了，选中它，删除。11．再在下拉菜单中选择“尾注延续分隔符”，这是那条长横线出现了，选中它，删除。12．切换回到页面视图，参考文献插入已经完成了。这时，无论文章如何改动，参考文献都会自动地排好序了。如果删除了，后面的参考文献也会自动消失，绝不出错。13．参考文献越多，这种方法的优势就体现的越大。在写毕业论文的时候，我就是用这个方法分节插入参考文献的，具爽！存在一个小问题：如果同一个参考文献两处被引用，只能在前一个引用的地方插入尾注，不能同时都插入。这样改动文章后，后插入的参考文献的编号不会自动改动。