No.2ベストアンサー
- 回答日時:
無限小や無限大という概念を使用せずに収束・連続を議論する
方法がイプシロンデルタ論法です。これによって微積分が
厳密に議論できるようになります。
高校の微積分は厳密さに目をつぶった、感覚的で
不完全なものなのです。
ます" 数列に関してイプシロン-N論法を習って
数列の収束の論じ方になれたら、関数の極限を
イプシロン-デルタで論じることに慣れる
という順序がよいかと。
まっとうな微積分学の教科書なら必ず載ってますので
まず教科書を手に入れて下さい。
この回答へのお礼
お礼日時:2016/04/07 22:04
簡単かつ分かりやすい解説をありがとうございます。
解説を読んだところ解析学の内容のようで、難しそうにと思えてもまた面白そうに思えてきました。
機会あったら数列に関する方も調べてみます。
No.5
- 回答日時:
f(x)=2x が x→2 のとき f(x)→4 であることを証明しなさい
ってとき、
感覚的に、「だってxが2に近づけば2xって4に近づくじゃん」(高校生までのやりかた)っていうのではなくて、
「こういう条件が成立したときにはf(x)の極限が4と言明してよいですよ」
と、証明の条件を定義づけしたものです。
2つの同じ形の三角形があったとき
「だって同じ形じゃん」(小学生までのやりかた)っていうのではなくて、
「こういう条件が成立したときには2つの三角形は合同と言明して良いですよ」
と、証明の条件を定義づけしたものが「三角形の合同条件」(3辺相等とか)ですよね。
----
内容的には、(感覚的には)
「f(x)はx→x0のとき、いくらでもαに近づく」ことを示すために、
「どんな小さい正の数(εのこと)でも言ってごらん、その数より小さい範囲にf(x)とαの差を収めて見せるから」といってxをx0に近づけるんだけど、その近づけかたは、「xをx0のすぐ近く、具体的にはδ以内の誤差の範囲に納めれば」、f(x)はαとεほどの差もなくできる。
ってことを示せれば「f(x)はx→x0のとき、いくらでもαに近づく」を証明できた、
とする、「証明のやりかたを定義づけしたもの」がε-δ論法です。
No.4
- 回答日時:
ε と δ が登場する
∀ε > 0 ∃δ > 0: P(ε, δ) ・・・ (*)
という形の命題、丁寧に書けば
∀ε [ε > 0 → ∃δ (δ > 0 ∧ P(ε, δ))]
となりますが、この命題の真偽を調べること、といっていいでしょう。
命題 (*) が真か偽かは、命題関数 P(ε, δ) 次第です。
例えば P(ε, δ) が
∀x ∈ R (0 < |x - 2| < δ → |x^3 - 8| < ε) なら (*) は真ですが、
∀x ∈ R (0 < |x - 2| < δ → |x^3 - 9| < ε) なら (*) は偽です。
これは x^3 → 8 (x → 2) が真で, x^3 → 9 (x → 2) が偽であることを意味します。
(*) が真であることを証明する場合は、最初に正数をひとつ自由に選び、それを ε として、後から P(ε, δ) が真となるような正数 δ を見つけます。
当然 δ は ε に依存します。
先ほどの例ですが、命題
∀ε > 0 ∃δ > 0 ∀x ∈ R (0 < |x - 2| < δ → |x^3 - 8| < ε)
が真であることは明らかです。
正数 ε が任意に与えられたとき、正数 δ をどう選べばよいか、考えてみてください。
(*) が偽である、つまり命題
∃ε > 0 ∀δ > 0: ¬P(ε, δ)
が真であることを証明する場合は、最初に正数 ε を上手に選ぶことにより、後から正数 δ をどう工夫して選んでも P(ε, δ) が偽となるようにします。
同じく先ほどの例ですが、命題
∃ε > 0 ∀δ > 0 ∃x ∈ R (0 < |x - 2| < δ ∧ |x^3 - 9| ≧ ε)
が真であることは明らかです。
正数 ε をどう選べばよいか、考えてみてください。
No.3
- 回答日時:
大学でも学びたいなら
http://www.amazon.co.jp/%E6%95%B0%E5%AD%A6%E3%81 …
を読むことを薦める。
詳しく演習したいなら
http://www.amazon.co.jp/%E3%82%A4%E3%83%97%E3%82 …
かな。両方持ってますが、単にイプシロンデルタ論法を身に付けたいだけなら後者だけでもいいかもね。
No.1
- 回答日時:
まず、あらゆるεに、とある条件(ε>0)を付加したときに、εを変数とする関数δについて、特定の値(δ(ε)>0)を満たすδが存在することを仮定している。
その過程の下に後に続く論理を演繹することをε-δ論法という。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 εδ論法がよく分かりません 以下の問題の解説を教えてください 次の(1),(2)のおのおのについて, 3 2022/07/16 15:48
- 大学・短大 2変数関数の証明問題 2 2023/01/10 13:14
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
- 数学 lim[x→3]√(x+1) = 2 をε-δ法で証明する 2 2023/01/30 10:02
- 数学 関数の極限の証明問題 4 2022/06/30 10:02
- 数学 ε-δ論法について 3 2023/02/21 14:29
- 数学 εー N論法について質問です(TT) 解き方は大体分かったのですが、土台となる部分が理解出来ていませ 8 2022/05/18 09:56
- 数学 フーリエ変換後の負の周波数成分の扱いについて 4 2022/09/03 10:18
- 数学 δ=min{ε,1} ってどゆことですか? https://mathlandscape.com/ep 2 2023/06/01 15:43
- 物理学 量子力学や相対性理論での1からの独学方法について 詳しい方回答をお願いします 現在、量子力学や相対性 6 2023/03/22 12:07
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の問題です! 教えてくださ...
-
命題「PならばQ」でPが偽ならば...
-
高校数学、論理
-
a.bが定数で任意のε>0に対してa...
-
数学の背理法について質問です...
-
数学 x,yは実数とする。「xy+1=...
-
反対称的な2項関係の個数
-
この問題の逆 裏 対偶と真偽と...
-
背理法と対偶証明の違いについて
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
命題を証明せよとはどういう意...
-
必要・十分条件
-
虚数単位i について「i =√-1<=>...
-
命題の証明の解き方を教えてく...
-
アキレスは亀を追い越せること...
-
命題論理に関する英単語
-
有理数+無理数=無理数 の証明
-
平方根の連分数展開の周期
-
ウェイソン選択課題について悩...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学での背理法について
-
命題「PならばQ」でPが偽ならば...
-
命題の真偽の問題で 命題〇〇に...
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
カントールの対角線論法につい...
-
対偶法による無理数の証明につ...
-
数学の論理学的な質問なんです...
-
数学の背理法について質問です...
-
証明問題です
-
数学で出てくる十分性と必要性...
-
命題を証明せよとはどういう意...
-
数学 x,yは実数とする。「xy+1=...
-
ドモルガンの法則、対偶、三段論法
-
有理数を文字置き→互いに素な整...
-
命題の証明で・・・
-
共分散の符号と相関係数の符号...
-
有界でないについて
おすすめ情報