极限唯一性的三种反证法

rt

题目

若${\lim }_{▲}f(x)$存在,则其必唯一.
为了方便叙述,这里以数列的情形给出.
即$a_n$极限存在,则必唯一.

反证法_定义

假设极限不唯一,则设$\lim a_n=A$或$B,$且$A\ne B$.
那么根据定义有:
$\forall ϵ>0,\exists N_1\in N_{+}.|a_n-A|<\frac{ϵ}{2}$
$\forall ϵ>0.\exists N_2\in N_{+},|a_n-B|<\frac{ϵ}{2}$
那么取 N = m a x { N 1 , N 2 } , 当 n > N N= max\{N_1,N_2\},当n>N N=max{N1​,N2​},当n>N时,上述不等式均成立.
不等式累加得到:
$|a_n-B|+|a_n-A|<ϵ$
由绝对值不等式性质得到:
$|B-A|\le |(B-a_n)-(A-a_n)|\le |a_n-B|+|a_n-A|<ϵ$
即$|B-A|<ϵ$
由绝对值的几何意义可知,A,B之间的距离无限接近又A,B均为常数,则A=B.
与假设矛盾,所以极限唯一.

反证法_无穷小与函数的联系

显然数列是一种特殊的函数.
设$A,B为a_n的极限,且A\ne B,根据无穷小与函数的联系可得:a_n=\alpha +A=\beta +B,其中\alpha 与\beta 均为无穷小.$
则记$c=A-B=\beta -\alpha$
显然c也是无穷小.
则在等式两边取极限,得到:$c=A-B=\lim (\beta -\alpha )=0$
则$A=B$
与假设矛盾,所以极限唯一.

反证法_一个数不可能小于自身

严格地说,这是定义法的变式,不过作为一种方法仍然值得提出.
假设极限不唯一,则设$\lim a_n=A$或$B,$且$A\ne B$.
那么根据定义有:
$\forall ϵ>0,\exists N_1\in N_{+}.|a_n-A|<ϵ=\frac{|B-A|}{2}$
$\forall ϵ>0.\exists N_2\in N_{+},|a_n-B|<ϵ=\frac{|B-A|}{2}$
那么取 N = m a x { N 1 , N 2 } , 当 n > N N= max\{N_1,N_2\},当n>N N=max{N1​,N2​},当n>N时,上述不等式均成立.
不等式累加得到:
$|a_n-B|+|a_n-A|<|B-A|$
根据绝对值不等式的性质,有:
$|B-A|\le |(B-a_n)-(A-a_n)|\le |a_n-B|+|a_n-A|<|B-A|$
显然这是不成立的,所以极限唯一.