Math ClubMath Club
v1 · padrão canônico

Lição 41 — Limite formal: definição ε-δ

A definição ε-δ de limite. Cauchy 1821, Weierstrass 1872. O ponto onde o cálculo se torna rigoroso.

Used in: 2.º ano EM (16-17 anos) · Equiv. Math II japonês · Equiv. Klasse 11 alemã (Analysis) · A-Level Further Maths — Limits

ε>0,  δ>0:  0<xa<δ    f(x)L<ε\forall\varepsilon>0,\;\exists\delta>0:\;0<|x-a|<\delta\;\Rightarrow\;|f(x)-L|<\varepsilon
Choose your door

Rigorous notation, full derivation, hypotheses

厳密な定義

ε-δ 極限の定義

"We say that the limit of f(x)f(x), as xx approaches aa, equals LL, …if we can make the values of f(x)f(x) arbitrarily close to LL …by restricting xx to be sufficiently close to aa (on either side of aa) but not equal to aa." — OpenStax Calculus Vol. 1 §2.2

ε-δ 法:証明を構成する方法

  1. f(x)L|f(x) - L| を書き、xa|x - a| の倍数が現れるまで代数的に操作します。
  2. xa<1|x - a| < 1(または他の定数)に制限して追加因子を制御します。
  3. δ=min(1,  ε/C)\delta = \min\bigl(1,\; \varepsilon / C\bigr) を選択します。CC は得られた係数です。
  4. 0<xa<δf(x)L<ε0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon の鎖が閉じることを確認します。

モデル証明:limx2(3x+1)=7\lim_{x \to 2}(3x + 1) = 7

下書き: 3x+17=3x6=3x2|3x + 1 - 7| = |3x - 6| = 3|x - 2|3x2<ε3|x-2| < \varepsilon となるには、x2<ε/3|x-2| < \varepsilon/3 で十分です。

形式的証明: ε>0\varepsilon > 0 が与えられたとき、δ=ε/3\delta = \varepsilon/3 とします。0<x2<δ0 < |x - 2| < \delta ならば f(x)7=3x2<3ε3=ε.|f(x) - 7| = 3|x - 2| < 3 \cdot \frac{\varepsilon}{3} = \varepsilon. \quad \square

片側極限

無限での極限と無限が極限である場合

極限の代数的性質

limxaf(x)=L\lim_{x \to a} f(x) = Llimxag(x)=M\lim_{x \to a} g(x) = M とします。その場合:

limxa[f(x)+g(x)]=L+M,limxa[f(x)g(x)]=LM\lim_{x\to a}[f(x)+g(x)]=L+M, \qquad \lim_{x\to a}[f(x)\cdot g(x)]=L\cdot M
what this means · 極限の和と積。三角不等式を用いて ε-δ を直接示すことができます。
limxaf(x)g(x)=LM,M0\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{M}, \quad M\neq 0
what this means · 商の極限:分母の極限がゼロでないときに有効。

重要な極限

limx0sinxx=1,limx01cosxx2=12,limx0ex1x=1,limx ⁣(1+1x) ⁣x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\quad \lim_{x\to 0}\frac{1-\cos x}{x^2}=\tfrac{1}{2},\quad \lim_{x\to 0}\frac{e^x-1}{x}=1,\quad \lim_{x\to\infty}\!\Bigl(1+\tfrac{1}{x}\Bigr)^{\!x}=e
what this means · 微積分学の 4 つの基本的な極限。これらは不定形を簡潔にするすべての計算で使用されます。

解答例

Exercise list

40 exercises · 10 with worked solution (25%)

Application 18Understanding 10Modeling 7Challenge 3Proof 2
  1. Ex. 41.1Application

    limx3(2x+1)\displaystyle\lim_{x \to 3}(2x + 1) を計算します。

  2. Ex. 41.2Application

    limx2x24x2\displaystyle\lim_{x \to 2} \frac{x^2 - 4}{x - 2} を計算します。

  3. Ex. 41.3Application

    limx1x21x1\displaystyle\lim_{x \to 1} \frac{x^2 - 1}{x - 1} を計算します。

  4. Ex. 41.4Application

    limx0x+11x\displaystyle\lim_{x \to 0} \frac{\sqrt{x+1} - 1}{x} を計算します。

  5. Ex. 41.5Application

    limx+3x+1x+5\displaystyle\lim_{x \to +\infty} \frac{3x + 1}{x + 5} を計算します。

  6. Ex. 41.6Application

    limx+2x2+3x21\displaystyle\lim_{x \to +\infty} \frac{2x^2 + 3}{x^2 - 1} を計算します。

  7. Ex. 41.7Application

    limx0sinxx\displaystyle\lim_{x \to 0} \frac{\sin x}{x} を計算します。

  8. Ex. 41.8ApplicationAnswer key

    limx0sin(2x)x\displaystyle\lim_{x \to 0} \frac{\sin(2x)}{x} を計算します。

  9. Ex. 41.9ApplicationAnswer key

    limx01cosxx2\displaystyle\lim_{x \to 0} \frac{1 - \cos x}{x^2} を計算します。

  10. Ex. 41.10Application

    limx+(1+1x) ⁣x\displaystyle\lim_{x \to +\infty} \left(1 + \frac{1}{x}\right)^{\!x} を計算します。

  11. Ex. 41.11Application

    limx0ex1x\displaystyle\lim_{x \to 0} \frac{e^x - 1}{x} を計算します。

  12. Ex. 41.12ApplicationAnswer key

    limx0+1x\displaystyle\lim_{x \to 0^+} \frac{1}{x} を計算します。

  13. Ex. 41.13Application

    limx01x\displaystyle\lim_{x \to 0^-} \frac{1}{x} を計算します。

  14. Ex. 41.14Application

    limx2x24x25x+6\displaystyle\lim_{x \to 2} \frac{x^2 - 4}{x^2 - 5x + 6} を計算します。

  15. Ex. 41.15Application

    limx0sin(5x)sin(3x)\displaystyle\lim_{x \to 0} \frac{\sin(5x)}{\sin(3x)} を計算します。

  16. Ex. 41.16Application

    limx4x2x4\displaystyle\lim_{x \to 4} \frac{\sqrt{x} - 2}{x - 4} を計算します。

  17. Ex. 41.17Application

    limx+(x2+1x)\displaystyle\lim_{x \to +\infty} \left(\sqrt{x^2 + 1} - x\right) を計算します。

  18. Ex. 41.18Application

    limx0sin(x2)x\displaystyle\lim_{x \to 0} \frac{\sin(x^2)}{x} を計算します。

  19. Ex. 41.19UnderstandingAnswer key

    limxaf(x)\lim_{x \to a} f(x) が存在するには、f(a)f(a) が定義されている必要がありますか?

  20. Ex. 41.20Understanding

    limxaf(x)\lim_{x \to a} f(x) が存在するための条件は何ですか?

  21. Ex. 41.21Understanding

    極限 limx0xx\displaystyle\lim_{x \to 0} \frac{|x|}{x} が存在しますか?片側極限を計算して結論を出します。

  22. Ex. 41.22UnderstandingAnswer key

    極限 limx0sin ⁣(1x)\displaystyle\lim_{x \to 0} \sin\!\left(\frac{1}{x}\right) が存在しますか?

  23. Ex. 41.23Understanding

    どの状況が x=2x = 2 での極限なしの関数を説明していますか?

  24. Ex. 41.24UnderstandingAnswer key

    ε-δ 定義を暗記で書く:limxaf(x)=L\lim_{x \to a} f(x) = L と各量化子の役割を説明してください。

  25. Ex. 41.25Understanding

    f(x)=1f(x) = 1 for x>0x > 0f(x)=3f(x) = -3 for x0x \leq 0 を考えます。x=0x = 0 での片側極限を計算して、両側極限が存在するか決定してください。

  26. Ex. 41.26UnderstandingAnswer key

    はさみ込み定理を使用して正当化する:limx0xsin ⁣(1x)\displaystyle\lim_{x \to 0} x\sin\!\left(\frac{1}{x}\right) を計算してください。

  27. Ex. 41.27Understanding

    関数 f(x)=(x29)/(x3)f(x) = (x^2 - 9)/(x-3)x=3x = 3 で定義されていません。limx3f(x)\lim_{x \to 3} f(x) を計算して、極限が存在する理由を説明してください。

  28. Ex. 41.28Understanding

    limx01x2\displaystyle\lim_{x \to 0} \frac{1}{x^2} を計算して、結果が limx01/x\lim_{x\to 0}1/x と異なる理由を説明してください。

  29. Ex. 41.29Modeling

    RC 回路では、キャパシタの電圧は V(t)=V(1et/τ)V(t) = V_\infty(1 - e^{-t/\tau})τ>0\tau > 0)。limt+V(t)\lim_{t \to +\infty} V(t) を計算して、結果を物理的に解釈してください。

  30. Ex. 41.30Modeling

    物体の位置は s(t)=t2s(t) = t^2 メートル。極限の定義を使用して、瞬間速度 v(t)=limh0s(t+h)s(t)hv(t) = \lim_{h \to 0}\dfrac{s(t+h)-s(t)}{h} を計算してください。

  31. Ex. 41.31Modeling

    薬物動態では、医薬品の濃度は C(t)=C0ektC(t) = C_0 e^{-kt}k>0k > 0)。limt+C(t)\lim_{t \to +\infty} C(t) を計算して結果を解釈してください。

  32. Ex. 41.32Modeling

    制御理論では、一次システムの伝達関数は H(s)=K/(s+1)H(s) = K/(s+1)。DC ゲイン lims0H(s)\lim_{s \to 0} H(s) を計算して、それが表す内容を言ってください。

  33. Ex. 41.33ModelingAnswer key

    人口成長モデルでは、人口当たり成長率は r(x)=(lnx)/xr(x) = (\ln x)/x で減少。limx+r(x)\lim_{x \to +\infty} r(x) を計算して解釈してください。

  34. Ex. 41.34Modeling

    テイラー切り捨て誤差は limh0f(0+h)f(0)hf(0)h2\lim_{h \to 0}\dfrac{f(0+h)-f(0)-hf'(0)}{h^2} を満たします。f(x)=exf(x) = e^x のとき、この極限を計算して解釈してください。

  35. Ex. 41.35ModelingAnswer key

    極限が存在するとき、limh0f(a+h)f(a)h\displaystyle\lim_{h \to 0} \frac{f(a+h) - f(a)}{h} が表す内容は何ですか?名前、幾何学的解釈、物理的解釈を与えてください。

  36. Ex. 41.36ProofAnswer key

    ε-δ を介して厳密に limx3(5x2)=13\lim_{x \to 3}(5x - 2) = 13 を証明してください。下書き、δ\delta の選択、形式的証明を示してください。

  37. Ex. 41.37Proof

    ε-δ で limx3x2=9\lim_{x \to 3} x^2 = 9 を証明してください。δ\delta の選択でなぜ min\min が必要かを示してください。

  38. Ex. 41.38Challenge

    limx0tanxxx3\displaystyle\lim_{x \to 0} \frac{\tan x - x}{x^3} を計算してください。

  39. Ex. 41.39Challenge

    limx+(x2+xx)\displaystyle\lim_{x \to +\infty} \left(\sqrt{x^2 + x} - x\right) を計算してください。

  40. Ex. 41.40Challenge

    ε-δ で limx21x=12\lim_{x \to 2} \dfrac{1}{x} = \dfrac{1}{2} を証明してください。完全な戦略を示してください:下書き、制限、δ\delta 選択、形式的証明。

出典

  • Active Calculus 2.0 — Matt Boelkins · Grand Valley State University · 2024 · §1.1–1.3 · CC-BY-SA。主要出典。 例 1、3、5 とブロック A、C の演習がこの著作から適応。
  • Calculus, Volume 1 — OpenStax · 2016 · §2.2–2.5 · CC-BY-NC-SA。形式的定義 §2.5、ブロック A、B、D の演習。
  • APEX Calculus — Gregory Hartman · Virginia Military Institute · 2023 · §1.1–1.6 · CC-BY-NC。無限での極限と挑戦ブロック D 演習。
  • Cours d'analyse — Augustin-Louis Cauchy · 1821 · 公開著作物。形式的極限の定義の歴史的起源。

Updated on 2026-05-05 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.