集合论与二元关系.doc

离散结构课程调研报告 ——集合论和二元关系 一、集合论的创立与发展 集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。 随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。 现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科学工作者必不可少的基础知识。集合论可作为数学学科的通用语言，一切必要的数据结构都可以利用集合这个原始数据结构而构造出来，计算机科学家或许也可以利用这种方法。一一对应关系 “无穷大”可以数吗？自古以来这个问题引起了很多数学家和 哲学家的兴趣。然而长期以来它的答案一直处于迷雾之中。大约一百 年前，德国数学家康托尔对无穷集合作了深入研究，他发现，比较两 个数的大小实际上可以归结为寻找两个集合之间的一一对应关系。比如我们间“电影院里观众多，还是座位多？”一个办法是数一下座位数和观众数，再比较这两个数哪一个大。还有一个更简单的办法，那 就是看看有没有座位空着。如果有座位空着并且每个观众都坐着，观 众数肯定比座位数小。用数学语言讲，如果对座位集合中每一个元素 （代表一个座位）都找得到观众集合中唯一确定的元素（坐在这一座位上的一个观众）和它对应，并且反过来，对于每一个观众也都找得 到与其对应的座位，那么观众数和座位数一样多。如果对于有的观众 （站在走廊上的）找不到座位与其对应并且所有的座位都没空着，那 么观众比座位多。这一众所周知的事实反映了“数”与“比大小”的本质。我们数一数某一类事物的个数，当它是有穷时正是建立它们和 某一自然数一一对应的过程。 康托尔抓住了“数一数”的本质，立刻把它运用到无限集合中去。无穷集合一个特异的性质就是整体不一定大于部分。早在1638年，伽利略发现正整数的平方数和正整数一样多，因为我们总可以建立正整数和正整数平方之间的一一对应关系: 1、2、3......n...... 1、4、9......n2...... 任何两个集合，只要能建立一一对应关系，它们的数目就一样多，这确实是一个十分深刻的思想。有了它，就可以比较无穷集合的大小 了。比如有两条线段AB与CD，问哪一条上点多一些？粗一看，AB比CD长，AB上点应多一些。这一直观判断是靠不住的。AB线段上的点与CD线段上的点一样多。为什么？因为我们可以建立AB与CD上的点的一一对应关系。我们连接AC与DB延长交于O点。对于AB线段上任一点N，我们连接ON交于CD与N’。N’唯一与N对应。对于CD上任一点M，我们连接OM延长交AB于M’，M’与M唯一对应。因此，我们已经找到一个办法使AB与CD上的点一一对应，这两个集合元素一样多。 .O C M N’ D A M’ N B 三、二元关系 1、二元关系及其性质的相关概念 （1）设A和B是两个任意集合。A×B的任一子集R称为A到B的一个二元关系。A×A的任一子集R称为A上的一个二元关系。 （2）设R是A上的二元关系 ①若，则称R是自反的。 ②若，则称R是反自反的。 ③若，则称R是对称的。 ④若，则称R是反对称的。 ⑤若 ，则称R是传递的。 关系矩阵 给定集合A和B，A ={a1,a2,…,am}，B ={b1,b2,…,bn}，R是一个从A到B的二元关系，定义R的关系矩阵为: 关系图 给定集合A和B ，R是一个从A到B的二元关系，二元关系R的关系图定义为: G =A ,B ,E ，其中A和B称为顶点集，E称为有向边