1.5 The Limit of a Function

      Math’s Fun Advance https://www.mathsisfun.com/calculus/limits.html


1. 極限 (limit) 的直觀

     假設 \(f(x)\) 在包含 \(a\) 的開區間有定義

\[\lim_{x \to a} f(x) = L \]

     當 \(x\) 很靠近 \(a\) 時,\(f(x)\) 很靠近 \(L\)
     稱 \(f(x)\)\(x=a\) 的極限為 \(L\)



2. 單邊極限 (one-sided limits)

  • 左極限 (left-hand limit) \[ \lim_{x \to a^-} f(x) = L \]
  • 右極限 (right-hand limit) \[ \lim_{x \to a^+} f(x) = L \]

3. 左極限和右極限

\[ \lim_{x \to a} f(x) = L\quad \iff \quad \lim_{x \to a^-} f(x) = L\quad \rm and \quad \it \lim_{x \to a^+} f(x) = L \]

4. 無窮極限 (infinite limits)

\[ \lim_{x \to a} f(x) = \infty \]

5. 無窮極限 (infinite limits)

\[ \lim_{x \to a} f(x) = -\infty \]

6. 垂直漸近線 (vertical asymptote)

     若下列至少一個敘述為真

\[ \lim_{x \to a} f(x) = \infty \quad \lim_{x \to a^-} f(x) = \infty \quad \lim_{x \to a^+} f(x) = \infty \quad \] \[ \lim_{x \to a} f(x) = -\infty \quad \lim_{x \to a^-} f(x) = -\infty \quad \lim_{x \to a^+} f(x) = -\infty \quad \]

      垂直線 \(x=a\) 稱為 \(f(x)\) 的垂直漸近線


1.6 Calculating Limits Using the Limit Laws

1. 極限的性質

    假設 \(c\) 為常數和極限存在

\[ \lim_{x \to a} f(x) \quad \rm and \quad \it \lim_{x \to a} g(x) \]

    則
    \((1)\quad\displaystyle\lim_{x \to a} \left[f(x) \,\pm\, g(x)\right] =\lim_{x \to a} f(x) \,\pm\, \lim_{x \to a} g(x) \quad\)
    \((2)\quad\displaystyle\lim_{x \to a} [cf(x)] ={c}\lim_{x \to a} f(x) \quad\)
    \((3)\quad\displaystyle\lim_{x \to a} \left[f(x)g(x)\right] =\lim_{x \to a} f(x)\cdot \lim_{x \to a} g(x) \quad\)
    \((4)\quad\displaystyle\lim_{x \to a} \frac {f(x)}{g(x)} =\frac{\lim_{x \to a} f(x)} {\lim_{x \to a} g(x)} \quad\)
    \((5)\quad\displaystyle\lim_{x \to a} \left[f(x)\right]^n =\left[\lim_{x \to a} f(x)\right]^n \quad,\quad n\in N\)
    \((6)\quad\displaystyle\lim_{x \to a} \sqrt[n]{f(x)} =\sqrt[n]{\lim_{x \to a} f(x)} \quad,\quad n\in N\)
    \((7)\quad\displaystyle\lim_{x \to a} c = c \quad\)
    \((8)\quad\displaystyle\lim_{x \to a} x = a \quad\)
    \((9)\quad\displaystyle\lim_{x \to a} x^n = a^n \quad,\quad n\in N\)
    \((10)\quad\displaystyle\lim_{x \to a} \sqrt[n]x = \sqrt[n]a \quad,\quad n\in N \quad\) 如果\(\,n\) 是偶數,\(a>0\)


2. 直接替代性質 (Direct substitution property)

     若 \(\, f(x)=a_nx^n+a_{n-1}x^{n-1}+...+a_1x+a_0 \quad\) , 則\[\lim_{x \to a} f(x) = f(a) \]


3. 定理

\[ \lim_{x \to a} f(x) = L\quad \iff \quad \lim_{x \to a^-} f(x) = L= \lim_{x \to a^+} f(x) \]

4. 夾擠定理或三明治定理 (Squeeze theorem)

  • \(\, a\in (c,d),若\, f(x)\leq g(x),\, \forall \, x\in [c,d], \, x\neq a,\)\(\displaystyle\lim_{x \to a} f(x) \, 和 \, \lim_{x \to a} g(x)\,存在,\)\[\,\lim_{x \to a} f(x) \leq \lim_{x \to a} g(x)\quad \]
  • \(\, f(x)\leq g(x) \leq h(x),\forall x\in [a,b], \, \forall \, x\in [c,d], \, x\neq a,\)\(\displaystyle\lim_{x \to a} f(x) \, = \, \lim_{x \to a} h(x)\,=\,L,\)\[\,\color{Red}{\lim_{x \to a} g(x) = L} \]

1.7 The Precise Definition of a Limit

1. 極限的定義

     令\(f(x)\) 在包含 \(x = a\) 的某一開區間上有定義

\[\lim_{x \to a} f(x) = L \]

      若 \(\forall \, \epsilon > 0, \, \exists \, \delta > 0,\,\)使得

\[0 < |x-a| <\delta \Rightarrow \, |f(x)-L|<\epsilon \]


2. 左極限的定義

\[\lim_{x \to a^-} f(x) = L \]

      若 \(\forall \, \epsilon > 0, \, \exists \, \delta > 0,\,\)使得

\[a -\delta < x < a \Rightarrow \, |f(x)-L|<\epsilon \]

3. 右極限的定義

\[\lim_{x \to a^+} f(x) = L \]

      若 \(\forall \, \epsilon > 0, \, \exists \, \delta > 0,\,\)使得

\[a < x < a+\delta \Rightarrow \, |f(x)-L|<\epsilon \]

4. 無窮極限的定義

\[\lim_{x \to a} f(x) = \infty \]

     若 \(\forall \, M > 0, \, \exists \, \delta > 0,\,\)使得

\[0 < |x-a| <\delta \Rightarrow \, f(x)>M \]

1.8 Continuity

1. 連續 (continuity) 的定義

      函數 \(f(x)\)在點 \(a\)連續

\[\lim_{x \to a} f(x) = f(a) \]

      也就是滿足以下三條件:
      (1) \(f(a)\) 有定義。
      (2) \(\displaystyle\lim_{x \to a} f(x)\) 存在
      (3) \(\displaystyle\lim_{x \to a} f(x) = f(a)\)


2. 右連續和左連續

  • 右連續 \[ \lim_{x \to a^+} f(x) = f(a) \]
  • 左連續 \[ \lim_{x \to a^-} f(x) = f(a) \]


3. 區間連續 (continuous on an interval)

     若 \(f\) 在區間上每一點均連續,則稱 \(f\) 在該區間連續。


4. 連續函數的性質

     若\(f\)\(g\)在點 \(a\)連續,\(c\)為常數,則下列函數在點 \(a\)也連續
     * \(f+g\)
     * \(f-g\)
     * \(cf\)
     * \(f\)
     * \(\frac {f}{g} \quad\) \(若\, g(a) \neq 0\)


5. 定理 : 連續函數 (continuous function)

  • 多項式 (polynomial) 函數,有理 (rational) 函數,根式 (root) 函數均為連續函數
  • 三角函數 (trigonometric) 和反三角 (inverse trigonometric) 函數均為連續函數
  • 指數函數 (exponential) 和對數 (logarithmic) 函數均為連續函數


6. 定理

     若 \(f\) 在點 \(b\) 連續且 \(\displaystyle\lim_{x \to a} g(x) = b\), 則

\[ \lim_{x \to a} f(g(x)) = f(b)\]

     即 \[ \lim_{x \to a} f(g(x)) = f(\lim_{x \to a} g(x))\]


7. 定理

     若 \(g\) 在點\(a\)連續,且 \(f\)\(g(a)\) 連續, 則含成函數(composition function) \(f \circ g\) 在點\(a\)連續


8. 中間值定理 (Intermediate Value Theorem)

     若 \(f\)\([a, b]\) 上連續,且\(f(a)\neq f(b)\),則對於任意介於 \(f(a)\)\(f(b)\)之間的數 \(N\)
     至少存在一個\(c \in (a,b)\),使得\(f(c)=N\)



Reference
Essential Calculus, metric edition 2e, (2022) James Stewart, Daniel K. Clegg, Saleem Watson, Cengage Learning.