对一个课本问题思考.docVIP

对一个课本问题思考 　　人民教育出版社高中数学A版《必修1》第13页阅读与思考：《集合中元素的个数》最后提出了一个问题，现原话引用如下： 　　“有限集合中元素的个数，我们可以一一数出来，而对于元素个数无限的集合，如A={1，2，3，4，…，n，…}，B={2，4，6，8，…，2n，…}，我们无法数出集合中的元素个数，但可以比较这两个集合的元素个数的多少. 你能设计一个比较这两个集合中元素个数多少的方法吗?”(人民教育出版社高中数学A版《必修1》第14页，2007年1月第2版，2008年5月浙江第6次印刷) 　　这不是一个简单的思考题. 　　在看了这个阅读与思考后，学生对已经学习的集合内容又纷纷提出自己的质疑： 　　学生甲：上述两集合中元素个数是不是相同? 　　学生乙：集合B是不是集合A的真子集? 　　学生丙：若B是A的真子集，集合B与集合A元素个数又怎么比较?每个集合中元素个数到底是不是无数个? 　　学生丁：平时同学们一起讨论时，常常说：“N是Z的真子集，因为Z中的元素个数比N中的元素个数多. ”这又怎么解释呢?(某些教师有时也是这么说的) 　　这是笔者在教学中遇到学生提出的问题. 应该说，学生似乎不能用所学的知识自圆其说，学生甲和学生乙产生矛盾，学生丙、学生丁产生了疑惑. 　　其实，要回答无限集中元素个数比较的问题，一定程度上超出了《大纲》的要求. 但作为有钻研精神的学生，激发学生学习数学的兴趣，还是有一定的引导作用. 大家知道集合论是德国著名数学家康托尔于19世纪末创立的. 他对集合所下的定义是：把若干确定的有区别的(不论是具体的或抽象的)事物合并起来，看作一个整体，就称为一个集合，其中各事物称为该集合的元素. “我们把全体自然数组成的集合简称作自然数集，用字母N来表示. ”学过集合的所有人应该对这句话不会感到陌生. 但在接受这句话时我们根本无法想到当年康托尔如此做是在进行一项更新无穷观念的工作. 前苏联数学家柯尔莫戈洛夫评价康托尔的工作时说：“康托尔的不朽功绩在于他向无穷的冒险迈进”. 　　集论最初的一个基本课题就是研究元素个数有多少的问题，称之为集的势论. 关于事物的多或少是很普通的概念，例如，问：某班学生人数与教室的凳子数哪个多?最笨但也最显然的方法是规定每个学生都去坐在凳子上，而且一个学生只能坐一张凳子. 最后，如果有学生没坐到凳子，那么便是学生多. 如果最后有凳子空着，那么便是凳子多. 　　为便于解决上述问题，先引进一个概念： 　　等势的概念：设A，B为两个集合，若在A，B之间存在着一一对应的关系：Y：A→B(即集合A中的每一个元素都有集合B中惟一的一个元素与之对应，集合B中的每一个元素都有集合A中的惟一的一个元素与之对应)，则称A与B是对等的(Equipotential)，记作：A～B，也称集合A，B等势(Equipotent). 康托尔也提出用一一对应准则来比较无穷集元素的个数，把元素间能建立一一对应的集合称为个数相同，即称为等势. 这与传统观念“全体大于部分”相矛盾. 而康托尔认为这恰恰是无穷集的特征. 　　如我们所知，任何一个有限集都不能与它的一个真子集建立一一对应的关系. 对于无穷集这―点就不成立了. 看上去这样就违反了整体大于局部这一古老法则. 确实，一个无穷集可以定义为能够与它的一个真子集一一对应的集. 从而表面上看，有限集和无限集只是数量上的差别，但是却从“量变”引起了“质变”. 因此，无限集合有许多有限集合所没有的特征，而有限集合的一些特征也不能任意推广到无限集合中去，即使有的能推广，也要做某些意义上的修改. 　　那么由“等势”的概念，可以回答学生甲的问题了，集合A={1，2，3，4，…，n，…}与集合B={2，4，6，8，…，2n，…}是可以找到一个一一对应的，集合A中的每一个元素都有集合B中惟一的一个元素与之对应，集合B中的每一个元素都有集合A中的惟一的一个元素与之对应，所以两个集合中的元素个数是相同的，即等势. 　　而学生乙的问题，从子集的定义就可知道，集合B是集合A的真子集. 　　所以学生丙得到的答案是：B是A的真子集，集合B与集合A元素个数相同. 至于这两个集合中的元素个数究竟有多少个?是不是无数个?学生会说，当然是无数多个，这个回答是正确的，但是是不确切的. 准确地说，集合A和集合B的元素个数都是“可列”(也叫“可数”)多个的. 什么叫“可列”个?就是这些数能按数列那样，一个一个往下列下去. 显然整数偶数自然数这些都可以，更深入地说，有理数也可以，但是列的规则就比较难找. 但实数集是不可列的，实数集不可能像整数那样一个个往下列，因为你永远不知道下一个该列的是什么，不管你的下一个数字和现在这个数字差的再小，这之间仍然有无穷多个点没被列出来. 实际上，