大学の教養でε-δ論法を学んでいるのですが、そのことについて質問です。
講義では、
(1)任意の正数εに対して、0≦x<εならばx=0
と教わり、極限点の一意性を、
2つの極限点pとqの距離が任意のε>0より小さくなることを証明して、p=q
と証明したりしています。
しかし、(x,y)→(a,b)とするときの関数f(x,y)の極限がcであることの定義
「任意の正数εに対し、ある正数δが存在して(x,y)と(a,b)の距離がδより小さいならば
f(x,y)-cの絶対値がεより小さくなる」
において、(1)を用いて「~ならばf(x,y)-c=0となる」と書かない(書けない?)のはなぜでしょうか?
今までの講義では、定数同士の距離に対しては(1)が適用できて、nや(x,y)による数字が入っているものだと使っていないみたいなのですが、そうなのだとしてもなぜ後者では(1)を使わないのかがわかりません……
No.2ベストアンサー
- 回答日時:
証明できたのに、解らないとは、変な話ですね。
定理の意味とは、証明そのもののことですが…
1.
標準実数には、限りなく近いが異なる二数というものは存在しないからです。
「数学的な証明」をしたとき、そのことを示したのだと思います。
無限小を含む超準実数のモデルには、限りなく近いが異なる二数は存在します。
p,q がそのような対であれば、任意の正数 ε について |p-q|<ε だが p-q≠0、
ただし p-q の標準部分は 0 となります。
無限小の取り扱いは、あまり易しくないので、超準解析に手を出すのは、
ある程度 εδ をこなしてからにしたほうがよいです。
2.
f(x,y) は、q に近いだけで、= q ではないからです。
(x,y) を定めて f(x,y) を「一つの値」とする場合、f(x,y) は、
δ がどれだけ小さくても、δ=0 でない以上、=q になる義理はありません。
具体的に f(x,y) = (x-a)^2 + (y-b)^2 とかで、実験してみたらどうですか?
標準実数と超準実数というものものもあるのですね。
何となくですが、つかめた気がします。
ていねいに答えていただき、ありがとうございました。
No.1
- 回答日時:
(1)の結論は、「x→0」ではなく、「x=0」ですね?
極限の定義のεδ式を変形して、「~ならば、lim[(x,y)→(a,b)]f(x,y)-c=0」
という形にすることなら、(不自然な言い回しになりますが)、できます。
「~ならば、f(x,y)-c=0」という形には、できようがありません。
実際、f(x,y)=c じゃないんですから。f(a,b)=c ですらないかもしれない。
極限のとは、どんなものか、初歩の雰囲気でかまわないので、
まず、高校のテキストで掴んでから、戻ってきてはどうでしょう。
質問の点は、変数が高次元かどうかとは、関係がありません。
まず、f(x)→c で考えてみるといい。
お答えありがとうございます。
高校でも極限の問題はこなしてきたので、一般にはf(x,y)=cとはならないことも理解しているつもりです。
ただ、(1)と極限の定義との間にどのような違いがあるのかがわからないのです。
まだモヤモヤしてるので、
厚かましいですが以下の質問にも答えてくださるとありがたいです。
1、定数p,qがあって任意の正の数εにたいして|p-q|<εならばp-q=0となるのはなぜか?
(数学的な証明はできるのですが、極限のように、qがpに限りなく近い数なだけと言えないのはなぜかがわかりません)
2、あるいは逆に、質問文の(1)が成立するとして、(a,b)との距離がδよりも小さい点(x,y)を定めるとf(x,y)は一つの値なのだから、それをp,極限をqとして(1)を適用できないのはなぜか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 連続であることを示すときの最後のεについて 6 2023/04/14 23:00
- 数学 モデルのパラメータの定義がいまいちわかりません。 3 2022/10/11 15:16
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 大学・短大 2変数関数の証明問題 2 2023/01/10 13:14
- 物理学 時間を語るなら、(複数の時間の正体)を知る必要が有る。 1 2023/02/16 22:14
- 数学 関数の極値と微分係数の関係について 6 2023/04/23 14:35
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 『代数幾何についての疑問』 2 2023/05/08 17:44
- 政治 立民案で被害者救済を本当にできるのだろうか? 立民の限界を感じる。 特定財産損害誘導行為による被害の 3 2022/11/05 21:20
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
証明終了の記号。
-
キリスト教は、神がいる証明出...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
無理数って二乗しても有理数に...
-
lim(n→∞)an=-∞ の時、lim(n→∞)...
-
数学の「証明」のときなどの接...
-
血がつながっていない父親と結...
-
3,4,7,8を使って10を作る
-
婿養子に入ったのに出て行けと...
-
数列 n^(1/n) が収束することを…
-
婿養子です、妻と離婚して妻の...
-
7x²-9y²=391を満たす整数解は...
-
素数の積に1を加算すると素数で...
-
0.999999999・・・=1
-
無理数には、任意の有限個の数...
-
数学的帰納法以外の解き方
-
再婚、奨学金
-
直角三角形の性質
-
証明です
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報