数学分析开放作关于书后一个有趣的问题.docVIP

数学分析开放作业——关于书后一个有趣的问题 范子沛 1 指导教师：杨小远 2 1北京航空航天大学 计算机学院，北京，100191 2 北京航空航天大学数学与系统科学学院，数学、信息与行为教育部重点实验室 摘要：本文从书后的一道证明全体代数数的集合是可数集的练习题入手，提出了三种不同的解法。并根据其中一种解法的思想，即对集合元素进行编码的思想，进行了推广，证明了整常数的初等函数的集合是可数集。 关键词：代数数 ，可数集，编码 《数学分析教程》中有这样一道练习题，我认为很有趣： 如果复数x满足多项式方程 ， 其中 都是整数，那么x称为代数数，试证代数数全体是可数集。 这道题的标准做法是这样的： 首先证明所有多项式方程的集合是可数的。 ，其中是n次多项式方程。因为n次多项式方程可以由唯一确定。下面有归纳法证明是可数的。 显然可数。 若可数，则有，即要证明可数。可以按照如下方式列出：，，，，，，，（Cantor表）。所以得证。 基金项目：北京市精品课程建设项目资助 杨南军：北京航空航天大学计算机学院大学一年级学生 杨小远：教授、博导，主要研究方向应用调和分析和图像处理。 因为每个都可数，所以可数。又因为每个多项式方程都有有限个实根。所以，代数数全体是可数集。 下面我们给出两种新的证明方法. 证明方法1： 这道题的关键是证明全体整数系数的多项式是一个可数集。《数学分析教程》可数集一节中有这样一个定理。可数个可数集的并仍是一个可数集，下面利用这个定理，构造一个由自然数集合到全体整数系数多项式集合的子集的一个映射，若每一个自然数对应的多项式子集都为可数集，且对于任意一个整系数多项式都存在一个自然数，使得该整系数多项式属于该自然数对应的多项式集合。通过上述的构造，我们可以证明整系数多项式的集合是一个可数集。 首先证明全体整数系数的多项式是一个可数集. 先构造映射，，下面证明为一一映射，任取，且。若，则，若，则与奇偶性不同，所以必不相等，若，则同的情况，可以证明与必不相等。所以为单射。任取，若为奇数，则存在使得，则存在，使得，同理，可以证明为偶数时，一定存在，使得。即为满射。综上，为一一映射。 构造映射，P’为全体整数系数的多项式的集合，P为全体正整数系数的多项式的集合。定义映射的对应关系为：由是一一映射可知为一一映射。 构造映射，，P为全体自然数系数的多项式的集合。为P的子集集合。N为正整数集。对应法则为，其中,这个看起来有点抽象，举一个例子：。 下面证明任取，有,其中lg为以10为底的对数函数。 证明：首先显然为n的位数。 任取，将其看为各位数字的一个排列。下面就是一个排列组合的问题，实质上就是个不同的元素排成一列，求向元素之间插隔板的插法总数。个元素之间共有个空隙，每个空隙有插和不插两种不同的选择，根据乘法原理可知共有种插法。 由于0不能作为一个自然数的首位，所以可能会出现的情况，所以。 因为所以有限，所以是一个可数集。因为N是可数集，所以是一个可数集。下面证明即可。一方面，，可知，，即有。另一方面，对于，其中，则一定存在，所以利用，有，即有，所以。由此可知，。即P是一个可数集。从而P’是一个可数集。 因为全体整数系数的多项式是一个可数集，而每个多项式所对应的复数根可数。所以全体代数数可数。□ 证明方法2： 下面利用编码的思想构造一个多项式的集合与自然数的集合之间的映射。以0作为分隔符，然后将每个系数映射为一个不含0的自然数。然后把每一位和分隔符一起组成一个自然数。 前面和第一种方法一样，将整系数多项式映射为自然数系数多项式，后面构造函数，函数为将N中的每位数进行9进制转化后在十进制下加1。具体对应关系为，其中，。定义函数，。下面证明为一一映射，任取，若即，则有，即有,所以为单射。任取，，则有，使得 因为N为可数集，所以P为可数集，同样，P’为可数集。□ 下面利用第二种方法对这道练习题进行推广。 定理1:初等函数方程（方程中出现的常数均为整数）的集合是一个可数集。 要证明这个问题即要构造一个从初等函数方程（为题目要求的初等函数，下同）的集合到自然数集合的映射。这个映射通过编码的方式实现，将整数，符号，函数分别进行编码（整数、符号、函数的可数性保证了编码的可行性），然后我们就可以构造一个单射函数，所以，我们就可以证明初等函数方程的集合可数。 证明：对方程进行编码： 定义,为各种初等函数的符号的集合。构造函数，对应关系如下： 对于每一个有： （1）当时： ,其中s表示k的符号，,为用1，2表示的二进制数。例如，，因为，101用1，2表示的二进制数即为212，又因为50，所以在首位补一个1，于是得到1212. （2）当时： ，，，。 （3）当时： 对应关系就是将每一个运算符号对应一个 n，然后再将n对应为，其中为n用