函数的连续性和函数级数的收敛性.doc

函数的连续性和函数级数的收敛性 2010级数学与应用数学四班 徐邦 摘 要 ：函数的连续性和函数级数的收敛性是数学分析中一块重要的内容。因此，理解连续性和收敛性之间的关系至关重要，包括连续与一致连续，收敛与一致收敛，绝对收敛与一致收敛，收敛与绝对收敛等等之间的关系。本文针对它们的关系，给出了相应的证明和反例来理清他们之间的必然与非必然的联系。最后还给出猜想，给出一定的条件，并利用常微分学中的知识，给出了相应的证明，证明猜想是成立并存在的。 关键字：连续 一致连续 收敛 一致收敛 绝对收敛 条件收敛 引言：函数的连续性和函数级数的一致收敛性在数学学习中起着重要的作用。本文较详细地介绍了他们之间所有的关系，并给出相应的证明和反例，使读者在巩固这类知识点中，达到事半功倍的效果。 一 连续与一致连续 首先给出函数在点 处连续的定义：对任给的ε0, ,当时，有ε 函数f(x)在区间I上一致连续的定义：任给ε0, ,对，当∣∣时，有 ε 可看出函数f(x)的连续性和一致连续性最根本的区别是在于连续是针对某个点而研究的，而一致连续是定义在区间上的。 若在区间I上一致连续，则对任意I，f（x）在点处连续。 证明：对任给的ε0, ,对x’,x”，当∣∣时，有 ε 取x’=x,x” = 则对上述的ε0 当∣∣时，有ε.即f(x)在点连续。 但f（x）在任给x I 上连续，f(x)不一定在I上一致连续。 下面看一个例子 连续性是显然的。 现证 在（0，1）上不一致连续，考虑（0,1）内的两个点列 ,ε0=1/2,则对任意的只要时 但 因此 在（0,1）上并非一致连续。 二 收敛与一致收敛 与连续与一致连续性质类似，收敛是指在某个点处收敛，而一致连续则定义在某个区间上。 定义1.给定一个数列 对它的各项依次用“+”号连续起来的表达式 称为数项级数或无穷级数，其中 为数项级数（1）的通项。 定理：（级数收敛的柯西准则）级数（1）收敛的充要条件是：任给正数ε0, ，总存在正整数N，使得当mn以及任意的正整数p都有 定理：（级数列一致收敛的柯西准则）函数列 在数集D上一致收敛的充要条件是：对任给的ε0,总存在正数N，使得n,mN时都有 定义2：设函数列 与函数f定义在同一数集D上，若对任给的正数ε0，总存在某一正整数N，使得nN时，对一切x D，都有 则称函数列 在D上一致收敛f，记作 由定义看到，如果函数列 在D上一致收敛，那么所给的ε0,不管D上哪一点x，总存在公共的N（ε） 只要nN，都有 由此看到函数列 在D上一致收敛，从而在D上每一点都收敛。， 反之，在D上每一点都收敛的函数列 ，在D上不一定一致收敛。下面看一个例子 设在（-∞，+∞） 上的函数列，可得出它的收敛域（-1,1） 在（0,1）上收敛于f（x）=0. 但不一致收敛。事实上，令ε0= 。对于充分大的正整数N，取正整数nN及 则有 即函数列 在（0,1）上不一致收敛。 函数项级数一致收敛性与收敛 也有相同的关系，在这不再论述了。 三 收敛与绝对收敛（在这考虑函数项级数） 定义：（绝对收敛） 对于 若 在定义域内收敛，则 绝对收敛 反之不一定成立。 证明： 收敛，则由收敛的定义：对任给的ε0，总存在N，使得当mn以及任意的正整数p，都有又因为 由函数级数收敛的柯西准则，所以收敛。 若 收敛，则 不一定收敛。 下面看一个例子 由莱布尼茨判别法 收敛 但 为调和级数，显然不收敛。 四 绝对收敛与一致收敛 它们之间实际上也没有必然的联系。即若 在有穷区间上一致收敛，但不一定在任何一点都绝对收敛。 例： 对于任何有穷区间I， 使得对一切x I有 ① 在I上一致收敛 ②对 单调递减，且 即是一致有界的。 由阿贝尔判别法 在任何有穷区间I上，级数 一致收敛 （2）对 由于 收敛, 发散 故该级数不一致收敛。 若 在有穷区间上每一点都绝对收敛， 也不一定一致收敛。 该结论成立是显然的，如正项级数，若 = 则 收敛，即 绝对收敛由收敛与一致收敛的关系得出结论成立。 例：级数 0x1 证：（0，1），有0= 收敛，所以收敛。从而绝对收敛。 取ε0= ，则对N0, N及=，使得=， 在（0,1）上不是一致收敛的。 另外 若级数 在区间[a.b]绝对且一致收敛，则级数在区间[a.b]不一定一致收敛。 考虑级数在区间[0,1]上绝对且一致收敛，但其绝对值级数不一致收敛。事实上x[0,1]时，=，可得该级数在区间上收敛，但不一致收敛。从而是绝对收敛的。下面证明该级数是一致收敛。当x=0，x=1时，级数显