证明魏尔斯特拉斯函数?简洁些
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/07/16 15:17:37
证明魏尔斯特拉斯函数?简洁些
![证明魏尔斯特拉斯函数?简洁些](/uploads/image/z/18266514-42-4.jpg?t=%E8%AF%81%E6%98%8E%E9%AD%8F%E5%B0%94%E6%96%AF%E7%89%B9%E6%8B%89%E6%96%AF%E5%87%BD%E6%95%B0%3F%E7%AE%80%E6%B4%81%E4%BA%9B)
由于无穷级数的每一个函数项a^n \cos(b^n \pi x)的绝对值都小于常数a^n,而正项级数 \sum_{n=0} ^\infty a^n 是[[收敛]]的.由[[比较审敛法]]可以知道原级数一致收敛.因此,由于每一个函数项a^n \cos(b^n \pi x)都是{\mathbb R}上的连续函数,级数和f(x) 也是{\mathbb R}上的连续函数.
下面证明函数处处不可导:对一个给定的点x \in {\mathbb R},证明的思路是找出趋于x 的两组不同的数列(x_n) 和 (x'_n),使得
:\lim \inf \frac{f(x_n) - f(x)}{x_n - x} > \lim \sup \frac{f(x'_n) - f(x)}{x'_n - x}.
这与函数可导的定义矛盾,于是证明完毕
下面证明函数处处不可导:对一个给定的点x \in {\mathbb R},证明的思路是找出趋于x 的两组不同的数列(x_n) 和 (x'_n),使得
:\lim \inf \frac{f(x_n) - f(x)}{x_n - x} > \lim \sup \frac{f(x'_n) - f(x)}{x'_n - x}.
这与函数可导的定义矛盾,于是证明完毕