| 举一个无限个无穷小的乘积不是无穷小的例子 |
定义函数列如下:
0T25Nn http://blog.numino.net/
1.fn(x)的定义域为:[1,+∞).
12SgS2 http://blog.numino.net/
2.f1(x)=1, x∈[1,2)
PZWKxK http://blog.numino.net/
f1(x)=1/x, x∈[2,+∞)
EX6Pfy http://blog.numino.net/
3.n>1,
M9jAXY http://blog.numino.net/
fn(x)=1, x∈[1,n)
8nwanq http://blog.numino.net/
fn(x)=x^(n-1), x∈[n,n+1)
HiLB8U http://blog.numino.net/
fn(x)=1/x, x∈[n+1,+∞)
T6Upg8 http://blog.numino.net/
4.设F(x)=∏{1≤n}fn(x),
F56HnH http://blog.numino.net/
ⅰ.x∈[1,2)
r0Fb74 http://blog.numino.net/
==>fn(x)=1
7Rk8J2 http://blog.numino.net/
==>F(x)=∏{1≤n}fn(x)=1
u79yxX http://blog.numino.net/
ⅱ.x∈[k,k+1),k>1
LIC7RH http://blog.numino.net/
fn(x)=1/x,n≤k-1
lGzXlq http://blog.numino.net/
fk(x)=x^(k-1),
JLU3ZC http://blog.numino.net/
fn(x)=1,k+1≤n
6v5kU8 http://blog.numino.net/
F(x)=∏{1≤n}fn(x)=
1dw114 http://blog.numino.net/
=f1(x)*..*f(k-1)(x)*fk(x)*1*1...=
5MuYJi http://blog.numino.net/
=(1/x)*..(1/x)*x^(k-1)*1..*1...=
5vSBUZ http://blog.numino.net/
=1
V6EylZ http://blog.numino.net/
所以F(x)≡1,因此当x→+∞时,F(x)不是无穷小.
3lOKUX http://blog.numino.net/
但对于每个fn(x),当x→+∞时,fn(x)是无穷小.
TayRZ8 http://blog.numino.net/
(显然Lim{x→+∞}fn(x)=0)
M9Yx2l http://blog.numino.net/
所以无穷个无穷小的乘积不一定是无穷小.
D8pr3E http://blog.numino.net/
一致连续这个知识点并不在一般高校高等数学的教学计划内。
8qX3hH http://blog.numino.net/
无穷小定义lim<x→>α(x)=0，x可以趋于定点，也可以趋于无穷．
JvP6GM http://blog.numino.net/
下面假定x→+∞，,x趋于定点的证明类似．
4G9T9R http://blog.numino.net/
对任意给定的0<ε<1,存在X>0,当x>X时,
ABDd0R http://blog.numino.net/
有|α(x)|<ε
ODe0JQ http://blog.numino.net/
设βi(x)=α1(x)α2(x)…αi(x)，lim<x→+∞>αi(x)=0（i=1,2,…），β(x)=lim<n→∞>βn(x)
UHVs5P http://blog.numino.net/
只有当αn(x)一致连续的时候，无限个无穷小的乘积才是是无穷小。
9gdF0E http://blog.numino.net/
由lim<x+∞>αi(x)=0知
bF7Ezc http://blog.numino.net/
对任意给定的0<ε<1,存在X>0,当x>X时,有|αi(x)|<ε(1≤i≤n)
DmDZuu http://blog.numino.net/
得到|α1(x)α2(x)…αn(x)|<ε^n
9h00kN http://blog.numino.net/
两边令n→∞，得
K8NfZ6 http://blog.numino.net/
|lim<n→∞>α1(x)α2(x)…αn(x)|≤lim<n→∞>ε^n=0
tICnDr http://blog.numino.net/
故lim<x→∞>β(x)=0
FG1y0j http://blog.numino.net/
以上即证明了当αn(x)一致连续的时候，无限个无穷小的乘积仍是无穷小．
bToL55 http://blog.numino.net/
|
|