用函数序列的极限函数定义指数函数y=a.pdfVIP

第 7卷 jr：} j ‘ Vll】T 【I：11 第 3 VtUR L S(IENCES j0IRN～『_f、【· {~,lRBlh NORM 【_1j jVERSIr、’ 用函数序列的极限函数 定义指数函数y=a 白玉兰 邱红松 ， 尔 师 大学) r六废市救曹学赞) 【摘要】本文仅用到一些 简单 的数学事实：极限连续性与可檄性初步厦算 术平均一 几何平均不等式，恒用函数序列的极限函数定足了指数函数。 关键词 函数序列；极限函数}指数 函数 指数 函数Y=o (a0，a卑1)为人们所熟悉 。其最常见 的定义方法箍 ；首先定义。的 正整数次幂，零次幂，负整数次幂及分数次幂。然后利用Y=0 (这里 是有理 数)在任 一 有界的有理数集合上的一致连续性 ，将定义域拓广到整个实数集上，例如详见 【1]。 Melzak在(2]中给出指数函数响一种新定义方法。大意是这样：先证 [O，1]上的连 续函数序列(1+÷)}存在极限函数，记 = (+ 次证 “)是连续的递增函数，并满足函数方程 (+y)= () ()，O≤ ，Y， + ≤ 1 (1) 又证 ()的导数存在，等于它本身，即有 ()= ( ) 最后结论是；记 (1)=日，则 ()= ，0≤ ≤1，’这就是人们熟悉的指数函数。再利用 (1)式，将 )的定义域拓广 到全数轴上。 然而，(2]中有 的证 明有疏漏稻不严格的地方，例如在 ，()：lim 苎‘+_丢二( (2) 的证 明之中，用到(1)武 ‘+A)：≠(x) (h) 3) 收稿 日期 ．19目0— 1I—ll￡ 2 哈尔滨师范 莩自然科0学报 但 (3)式仅对正的h成立 ；而 (2)式中，^是 任意方式趋于零 的}故 0时，不 能 利用 (3)式。因而 (2)式的 ()只能是d()的右导数，而不是导数。也许这个毛 病 不 难 纠 正。但C23的出发点是0≤ ≤1，要改就得从这个出发点改起，这涉及C23的全文 结构。 本文无意改正C23的毛病 ，而是使[2]的方法更加一般化，更加系统完整，要用定义 在整个数轴上的函数序列的极限函数定必指数函数，避免C23中从 区 间[0，1]向全数轴 拓广 的手续。从而从另一侧面认识指数函数，为用多种多项式函数逼近指数函数提供理 论依据 。 本文分三个部分陈述，展示用这种方法定义的指数函数与人们通常理解的指数函数 是一致的 111 l函数序列；(1+_X) (一o。x+∞)是收敛的 设 (¨半)，(+号)，-·-，(+音)，… c， 是定义在 (一c。，+o。)上 的函数序列 。我们证 明，对于任意圃定的 ，(4)式是收敛 的。 也就是说，(4)式在整个数轴上是收敛的。 由(4)式可见，在第[I {]项以后，每一项都是正数。 当[{引]时，对n+1个正数：1和”个1 音，应用算术平均数不小于几何 平 均数 的不等式，有 删Ⅱ √·(+音)(+ )…1+ )≤+1+ +1— +．--+1+一) 、 ， 。 ． ． ． ， ． ． 。 ． ． 。 ． ． ． ． ． ． ． ～ n个 因