(Translated by https://www.hiragana.jp/)
以前にも質問させていただいたのですが、理解することができなかったの- 数学 | 教えて!goo

きながらべたごはんおも

以前いぜんにも質問しつもんさせていただいたのですが、理解りかいすることができなかったので再度さいど質問しつもんさせていただきます。
写真しゃしん問題もんだいあかせんのように仮定かていすると、|F(x0)-4|>1/2というしめしたいものと矛盾むじゅんするかたちてくることからあかせんでは右辺うへんをmin{δでるた,1/2}としているとおもうのですが、イプシロンデルタ論法ろんぽう定義ていぎから|x0-1|<δでるたδでるた特定とくていδでるた(ヨδでるた)であることからmin{δでるた,1/2}ではなく
|F(x0)-4|<1/2となるような(矛盾むじゅんしないよう)|x0-1|の範囲はんいかんがえればよいのではないのでしょうか?
なぜあえて、矛盾むじゅんするようなmin{δでるた,1/2}をあかせん右辺うへんってこれるのでしょうか?あかせん右辺うへんεいぷしろんおうじてわるものだから、任意にんいではないですよね?つたわりにくい文章ぶんしょうですが、解説かいせつおねがいします。

https://d.kuku.lu/wfk7z6axs

A 回答かいとう (5けん)

|F(x0)-4|<1/2となるような(矛盾むじゅんしないような)|x0-1|の範囲はんいδでるた>0は存在そんざいしないのです



どんなにδでるた>0にたいしても

x0=1+min(δでるた/2,1/2)
とすると

|x0-1|=min(δでるた/2,1/2)<δでるた
だから
|x0-1|<δでるた

|x0-1|=min(δでるた/2,1/2)<1/2
だから
|x0-1|<1/2
両辺りょうへんに1/2-|x0-1|をくわえると
1/2<1-|x0-1|
↓|F(x0)-3|=|x0-1|だから
1/2<1-|F(x0)-3|
だから

|F(x0)-4|
=|F(x0)-3-1|
≧1-|F(x0)-3|
=1-|x0-1|
>1/2


|x0-1|<δでるた

|F(x0)-4|>1/2

となるような
x0が存在そんざいするのです

> |x0-1|<δでるたδでるた特定とくていδでるた(ヨδでるた) であることから、min{δでるた,1/2} ではなく


> |F(x0)-4|<1/2 となるような(矛盾むじゅんしないよう) |x0-1| の範囲はんいかんがえればよい
> のではないのでしょうか?

lim[x0→1]F(x0) = 4 をしめすためならば、そのとおりです。
そのかんがかたでよいので、じゃあ、そうなるような δでるた
あなたがつけてみろというはなしです。 つけられましたか?
残念ざんねんながら、今回こんかいの F( ) には、そのような δでるた存在そんざいしないんですよ。

さがしたけどつからなかったよ」では
δでるた存在そんざいしないことの証明しょうめいにはならないので、
リンクさき説明せつめいでは、収束しゅうそくすることの否定ひてい
¬ ∀εいぷしろん>0, ∃δでるた>0, ∀x0, |x0-1|<δでるた ⇒ |F(x0)-4|<1/2.
すなわち
εいぷしろん>0, ∀δでるた>0, ∃x0, |x0-1|<δでるた ∧ |F(x0)-4|≧1/2.
しめしているのです。 ここに、|F(x0)-4|≧1/2 があらわれますね。
この回答かいとうへのおれい

回答かいとうありがとうございます。
なぜ、|x0-1|<δでるた ⇒ |F(x0)-4|<1/2.の否定ひていが、|x0-1|<δでるた ∧ |F(x0)-4|≧1/2になるのでしょうか?また(∧ )の記号きごう意味いみはどのような意味いみなのでしょうか?

れい日時にちじ:2024/05/31 00:55

任意にんいεいぷしろん>0にたいして


あるδでるた>0が存在そんざいして
|x-1|<δとなる任意にんいのxにたいして
|F(x)-4|<εいぷしろん
となるとき

lim{x→1}F(x)=4

というのだから

lim{x→1}F(x)≠4

ときは

あるεいぷしろん>0が存在そんざいして
任意にんいδでるたたいして
|x0-1|<δでるた
&
|F(x0)-4|≧εいぷしろん
となる
x0
存在そんざいする

となるのです

lim{x→1}F(x)≠4



しめすのだから

xがどんなに1にちかくてもF(x)は4にはちかづかないことをしめすのだから

δでるた特定とくていδでるたではなく
任意にんいδでるたでなければいけません
どんなちいさなδでるたたいしても

|x0-1|<δでるた

|F(x0)-4|>1/2
となるような
x0が存在そんざいすることをしめさなければいけません
この回答かいとうへのおれい

回答かいとうありがとうございます。
イプシロンデルタ論法ろんぽう定義ていぎによれば、δでるたというのは任意にんいδでるたではなく、εいぷしろんおうじてまるあるδでるたですよね?この写真しゃしんのやりかた極限きょくげんしめすイプシロンデルタ論法ろんぽうとはすこちがうということですか?

れい日時にちじ:2024/05/20 10:10

lim{x→1}F(x)≠4



しめすのだから

xがどんなに1にちかくても4にはちかづかないことをしめすのだから

δでるた特定とくていδでるたではなく
任意にんいδでるたでなければいけません
どんなちいさなδでるたたいしても

|x0-1|<δでるた

|F(x0)-1|>1/2
となるような
x0が存在そんざいすることをしめさなければいけません

さがしのQ&Aがつからないときは、おしえて!gooで質問しつもんしましょう!

このQ&AをひとはこんなQ&Aもています


おすすめ情報じょうほう

このQ&AをひとがよくるQ&A