高数:难度之抽象

低等数学研究的对象，都是比较确定的东西，比如说一个函数，往往给出函数体：

f(x)=x+1;

*****************************************************************

比如自然数的数列，他的本尊是：0，1，2，3，4，5，..........

这个玩意是没有办法进行任何运算的，所以我们用他的化身f(x)=x-1(x 表示数列中元素的位置)

正整数的数列， 他的本尊是：1，2，3，4，5，6..........

这个玩意是没有办法进行任何运算的，所以我们用他的化身g(x)=x(x 表示数列中元素的位置)

**

有了两个化身，我们就可以研究他们复合运算

比如h(x)=f(x)+g(x)。 在低等数学里面往往都是给出 数列的一般项，然后让这些一般项 在一起进行各种运算。

*****************************************************

但是高等数学里面 ，往往 就会告知。 f(x)=是一个奇函数 ， g(x)是一个偶函数。

让你研究 f(x)+g(x) 或者 f(x)*g(x) 的奇偶性。 而且要用奇函数 或者偶函数的定义 去证明

f(x)+g(x)或者 f(x)*g(x) 的奇偶性。

这太抽象了。f(x)+g(x) 相当于一个复合函数，这个确实非常抽象，但是也不可避免，因为在高等数学里面的很多研究对象，是没有办法写出完整实体的。

******

再比如：数列{x_n}的极限是α， 请证明 {|x_n|}的极限是|α|。

******

在比如：假设的{x_n}  是有界， 并且{y_n} 的极限是0,请证明{x_n*y_n}的极限也是0.

证明如下：

因为{x_n}  是有界 ，所以肯定存在一个M， 让|x_n|<=M (n=任意正整数)。

因为{y_n}的极限是0，所以|y_n-0|< ε(ε是任意正实数)

**

两个不等式左侧相乘，右侧相乘

|x_n|*|y_n-0|<M*ε

|x_n|*|y_n|<M*ε

|x_n*y_n| <M*ε

|x_n*y_n-0| <M*ε

我们令β=M*ε。因为M是一个正实数，  ε 是一个任意正实数。  所以β也是一个任意正实数。

|x_n*y_n-0| <β（β是一个任意正实数），这就是极限的定义啊，所以x_n*y_n的极限式0！

*****************************************************************************

还有无穷级数之类的，

（待续）