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
Rigorous notation, full derivation, hypotheses
厳密な定義
ε-δ 極限の定義
"We say that the limit of , as approaches , equals , …if we can make the values of arbitrarily close to …by restricting to be sufficiently close to (on either side of ) but not equal to ." — OpenStax Calculus Vol. 1 §2.2
ε-δ 法:証明を構成する方法
- を書き、 の倍数が現れるまで代数的に操作します。
- (または他の定数)に制限して追加因子を制御します。
- を選択します。 は得られた係数です。
- の鎖が閉じることを確認します。
モデル証明:
下書き: 。 となるには、 で十分です。
形式的証明: が与えられたとき、 とします。 ならば
片側極限
無限での極限と無限が極限である場合
極限の代数的性質
と とします。その場合:
重要な極限
解答例
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 41.1Application
を計算します。
- Ex. 41.2Application
を計算します。
- Ex. 41.3Application
を計算します。
- Ex. 41.4Application
を計算します。
- Ex. 41.5Application
を計算します。
- Ex. 41.6Application
を計算します。
- Ex. 41.7Application
を計算します。
- Ex. 41.8ApplicationAnswer key
を計算します。
- Ex. 41.9ApplicationAnswer key
を計算します。
- Ex. 41.10Application
を計算します。
- Ex. 41.11Application
を計算します。
- Ex. 41.12ApplicationAnswer key
を計算します。
- Ex. 41.13Application
を計算します。
- Ex. 41.14Application
を計算します。
- Ex. 41.15Application
を計算します。
- Ex. 41.16Application
を計算します。
- Ex. 41.17Application
を計算します。
- Ex. 41.18Application
を計算します。
- Ex. 41.19UnderstandingAnswer key
が存在するには、 が定義されている必要がありますか?
- Ex. 41.20Understanding
が存在するための条件は何ですか?
- Ex. 41.21Understanding
極限 が存在しますか?片側極限を計算して結論を出します。
- Ex. 41.22UnderstandingAnswer key
極限 が存在しますか?
- Ex. 41.23Understanding
どの状況が での極限なしの関数を説明していますか?
- Ex. 41.24UnderstandingAnswer key
ε-δ 定義を暗記で書く: と各量化子の役割を説明してください。
- Ex. 41.25Understanding
for と for を考えます。 での片側極限を計算して、両側極限が存在するか決定してください。
- Ex. 41.26UnderstandingAnswer key
はさみ込み定理を使用して正当化する: を計算してください。
- Ex. 41.27Understanding
関数 は で定義されていません。 を計算して、極限が存在する理由を説明してください。
- Ex. 41.28Understanding
を計算して、結果が と異なる理由を説明してください。
- Ex. 41.29Modeling
RC 回路では、キャパシタの電圧は ()。 を計算して、結果を物理的に解釈してください。
- Ex. 41.30Modeling
物体の位置は メートル。極限の定義を使用して、瞬間速度 を計算してください。
- Ex. 41.31Modeling
薬物動態では、医薬品の濃度は ()。 を計算して結果を解釈してください。
- Ex. 41.32Modeling
制御理論では、一次システムの伝達関数は 。DC ゲイン を計算して、それが表す内容を言ってください。
- Ex. 41.33ModelingAnswer key
人口成長モデルでは、人口当たり成長率は で減少。 を計算して解釈してください。
- Ex. 41.34Modeling
テイラー切り捨て誤差は を満たします。 のとき、この極限を計算して解釈してください。
- Ex. 41.35ModelingAnswer key
極限が存在するとき、 が表す内容は何ですか?名前、幾何学的解釈、物理的解釈を与えてください。
- Ex. 41.36ProofAnswer key
ε-δ を介して厳密に を証明してください。下書き、 の選択、形式的証明を示してください。
- Ex. 41.37Proof
ε-δ で を証明してください。 の選択でなぜ が必要かを示してください。
- Ex. 41.38Challenge
を計算してください。
- Ex. 41.39Challenge
を計算してください。
- Ex. 41.40Challenge
ε-δ で を証明してください。完全な戦略を示してください:下書き、制限、 選択、形式的証明。
出典
- 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 · 公開著作物。形式的極限の定義の歴史的起源。