題目
Problem
Define the function f:R∖{0}→R by f(x)=sin(x1) for all x=0. Prove that limx→0f(x) does not exist. (10%)
(3) 見解答.
解答
解法一:利用數列與函數極限的對應關係(海涅定理 / Heine’s Theorem)
思路
展開
- 本題要求證明當 x→0 時,函數 f(x)=sin(1/x) 的極限不存在。
- 在實分析中,證明極限不存在最標準且嚴密的方法是利用數列極限判定法(海涅定理 Heine’s Theorem):
若函數極限 limx→cf(x)=L 存在,那麼對於任何收斂於 c 且項均不等於 c 的數列 {xn},相應的函數值數列 {f(xn)} 都必須收斂於相同的極限值 L。
- 反過來說,如果我們能找到兩個不同的數列 {xn} 與 {yn},滿足:
- limn→∞xn=0 且 limn→∞yn=0
- 但是它們的函數值數列極限不相等,即 limn→∞f(xn)=limn→∞f(yn),
那麼就可以斷定該函數極限 limx→0f(x) 必然不存在。
- 為了讓 sin(1/x) 的計算極為簡單,我們選擇能讓 sin 函數取得最高點(1)與最低點(−1)的角度:
- 令 xn1=2π+2nπ⟹xn=2π+2nπ1
- 令 yn1=−2π+2nπ=23π+2nπ⟹yn=23π+2nπ1
- 計算兩個數列極限並展示結果不同,即可完成嚴格證明。
答題過程
展開
根據函數極限與數列極限的關係(海涅定理):
若極限 limx→0f(x) 存在,則對於任何收斂至 0 且不為 0 的數列 {zn},其對應的函數值數列 {f(zn)} 必須收斂至同一個實數。
我們建構以下兩個數列 {xn} 與 {yn},其中 n∈N:
-
第一數列:
xn=2π+2nπ1
當 n→∞ 時,分母趨近於無窮大,因此:
n→∞limxn=0
-
第二數列:
yn=23π+2nπ1
當 n→∞ 時,同理可得:
n→∞limyn=0
現在,我們分別將這兩個數列代入函數 f(x)=sin(x1) 中計算其函數值級數的極限:
-
對於數列 {xn}:
f(xn)=sin(xn1)=sin(2π+2nπ)
由於正弦函數的週期為 2π,對於任何整數 n,恆有 sin(2π+2nπ)=sin(2π)=1。
因此:
n→∞limf(xn)=n→∞lim1=1
-
對於數列 {yn}:
f(yn)=sin(yn1)=sin(23π+2nπ)
同理,對於任何整數 n,恆有 sin(23π+2nπ)=sin(23π)=−1。
因此:
n→∞limf(yn)=n→∞lim(−1)=−1
結論:
我們找到了兩個數列 {xn} 與 {yn} 同樣收斂至 0,但其函數值極限值卻不相等:
n→∞limf(xn)=1=−1=n→∞limf(yn)
根據數列特徵判定法,該函數極限:
x→0limsin(x1)
不存在。證明完畢。