Skip to content
CalcGospel 微積分福音
返回

114 政大微積分(應數大三) 第 3 題

考題 / 轉學考微積分 / 政大 / 微積分(應數大三)

114學年度 · 114微積分(應數大三) · 第 3 題

題目

Problem

Define the function f:R{0}Rf : \mathbb{R} \setminus \{0\} \to \mathbb{R} by f(x)=sin(1x)f(x) = \sin\left(\frac{1}{x}\right) for all x0x \neq 0. Prove that limx0f(x)\lim_{x \to 0} f(x) does not exist. (10%)

(3) 見解答\underline{\quad\text{見解答}\quad}.

解答

解法一:利用數列與函數極限的對應關係(海涅定理 / Heine’s Theorem)

思路

展開
  1. 本題要求證明當 x0x \to 0 時,函數 f(x)=sin(1/x)f(x) = \sin(1/x) 的極限不存在。
  2. 在實分析中,證明極限不存在最標準且嚴密的方法是利用數列極限判定法(海涅定理 Heine’s Theorem): 若函數極限 limxcf(x)=L\lim_{x \to c} f(x) = L 存在,那麼對於任何收斂於 cc 且項均不等於 cc 的數列 {xn}\{x_n\},相應的函數值數列 {f(xn)}\{f(x_n)\} 都必須收斂於相同的極限值 LL
  3. 反過來說,如果我們能找到兩個不同的數列 {xn}\{x_n\}{yn}\{y_n\},滿足:
    • limnxn=0\lim_{n \to \infty} x_n = 0limnyn=0\lim_{n \to \infty} y_n = 0
    • 但是它們的函數值數列極限不相等,即 limnf(xn)limnf(yn)\lim_{n\to\infty} f(x_n) \neq \lim_{n\to\infty} f(y_n), 那麼就可以斷定該函數極限 limx0f(x)\lim_{x \to 0} f(x) 必然不存在。
  4. 為了讓 sin(1/x)\sin(1/x) 的計算極為簡單,我們選擇能讓 sin\sin 函數取得最高點(11)與最低點(1-1)的角度:
    • 1xn=π2+2nπ    xn=1π2+2nπ\frac{1}{x_n} = \frac{\pi}{2} + 2n\pi \implies x_n = \frac{1}{\frac{\pi}{2} + 2n\pi}
    • 1yn=π2+2nπ=3π2+2nπ    yn=13π2+2nπ\frac{1}{y_n} = -\frac{\pi}{2} + 2n\pi = \frac{3\pi}{2} + 2n\pi \implies y_n = \frac{1}{\frac{3\pi}{2} + 2n\pi}
  5. 計算兩個數列極限並展示結果不同,即可完成嚴格證明。

答題過程

展開

根據函數極限與數列極限的關係(海涅定理): 若極限 limx0f(x)\lim_{x \to 0} f(x) 存在,則對於任何收斂至 00 且不為 00 的數列 {zn}\{z_n\},其對應的函數值數列 {f(zn)}\{f(z_n)\} 必須收斂至同一個實數。

我們建構以下兩個數列 {xn}\{x_n\}{yn}\{y_n\},其中 nNn \in \mathbb{N}

  1. 第一數列

    xn=1π2+2nπx_n = \frac{1}{\frac{\pi}{2} + 2n\pi}

    nn \to \infty 時,分母趨近於無窮大,因此:

    limnxn=0\lim_{n \to \infty} x_n = 0
  2. 第二數列

    yn=13π2+2nπy_n = \frac{1}{\frac{3\pi}{2} + 2n\pi}

    nn \to \infty 時,同理可得:

    limnyn=0\lim_{n \to \infty} y_n = 0

現在,我們分別將這兩個數列代入函數 f(x)=sin(1x)f(x) = \sin\left(\frac{1}{x}\right) 中計算其函數值級數的極限:

  • 對於數列 {xn}\{x_n\}

    f(xn)=sin(1xn)=sin(π2+2nπ)f(x_n) = \sin\left( \frac{1}{x_n} \right) = \sin\left( \frac{\pi}{2} + 2n\pi \right)

    由於正弦函數的週期為 2π2\pi,對於任何整數 nn,恆有 sin(π2+2nπ)=sin(π2)=1\sin\left(\frac{\pi}{2} + 2n\pi\right) = \sin\left(\frac{\pi}{2}\right) = 1。 因此:

    limnf(xn)=limn1=1\lim_{n \to \infty} f(x_n) = \lim_{n \to \infty} 1 = 1
  • 對於數列 {yn}\{y_n\}

    f(yn)=sin(1yn)=sin(3π2+2nπ)f(y_n) = \sin\left( \frac{1}{y_n} \right) = \sin\left( \frac{3\pi}{2} + 2n\pi \right)

    同理,對於任何整數 nn,恆有 sin(3π2+2nπ)=sin(3π2)=1\sin\left(\frac{3\pi}{2} + 2n\pi\right) = \sin\left(\frac{3\pi}{2}\right) = -1。 因此:

    limnf(yn)=limn(1)=1\lim_{n \to \infty} f(y_n) = \lim_{n \to \infty} (-1) = -1

結論:

我們找到了兩個數列 {xn}\{x_n\}{yn}\{y_n\} 同樣收斂至 00,但其函數值極限值卻不相等:

limnf(xn)=11=limnf(yn)\lim_{n \to \infty} f(x_n) = 1 \neq -1 = \lim_{n \to \infty} f(y_n)

根據數列特徵判定法,該函數極限:

limx0sin(1x)\lim_{x \to 0} \sin\left(\frac{1}{x}\right)

不存在。證明完畢。