探検


池沼がイプシロンデルタ論法を勉強すると・・・・ [転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
1宗教板から抜けてきますた
垢版 |
2015/11/28(土) 13:09:14.19ID:vHCXxWfm
71 名前:神も仏も名無しさん :2015/11/28(土) 09:35:42.91 ID:8QcMuVql>>64

じゃあ、俺が>>1に代わってこのスレ乗っ取って
続けてやるぞー

イプシロン・デルタ論法完全攻略 共立出版
勉強すっぞー

72 名前:神も仏も名無しさん :2015/11/28(土) 09:39:44.80 ID:8QcMuVqlまずこの本読んで、俺が分かった事書くぞ。
荒らしは禁止だぞ。
数学できるからといって、自慢したいだけの書き込みも禁止だぞ。
153宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 13:21:09.03ID:2KZgey/M
「全ての自然数nに対して、nがn≧noを満たせば、Xnは|Xnーa|<ε
を満たす」

ではおかしくなる。それではnoは自然数の領域からはみ出すので、
noは自然数でなくなる。
2015/12/12(土) 13:36:34.08ID:2UR4dFp8
だから疑問に思ったら命題化して、証明なり、反例挙げるなり、自分で考えろ
すぐに人に頼るな
155宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 13:42:06.80ID:2KZgey/M
>>154

なんだ、その命令調の言い方。
えらそうにすんなや、何様だオマエは。
2015/12/12(土) 14:23:27.67ID:2UR4dFp8
せっかくアドバイスしてやってるのに
2015/12/12(土) 14:23:55.30ID:n2WtVeld
>>153
いやnoは自然数の領域からはみ出さんから
何言ってんのお前
158宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 14:36:12.55ID:2KZgey/M
>>157

お前って言うなーーーーー

Nという袋があってな、その中身n全てがnoより大きけりゃ、
noはその袋には入ってないだろ。
2015/12/12(土) 14:41:09.19ID:seYajLlF
>>152
「全ての」は無限操作だからダメ
2015/12/12(土) 14:46:05.36ID:n2WtVeld
>>153
「全ての」って言葉を使ってしまうと定義の文を
「全ての自然数nでn≧noを満たす」ならば「全ての自然数nで|Xn-a|<εを満たす」と読んでしまうと言いたいのか?
161132人目の素数さん
垢版 |
2015/12/12(土) 15:04:55.53ID:2KZgey/M
>>160

そういうこと。
162132人目の素数さん
垢版 |
2015/12/12(土) 15:10:23.18ID:bdlb1dKd
漢字変換は全てだな
2015/12/12(土) 15:12:34.86ID:n2WtVeld
>>161
一般的にはそんな読み方しないが、君がそう感じてしまうなら「任意の」を使えばいいんじゃない
164宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 15:36:23.44ID:2KZgey/M
∀n ∊ N:n≧no ⇒ を通常の言語に翻訳すれば、

「nは自然数Nに属する要素である。任意のnが(さらに翻訳すれば、nのどれをとっても)n≧noを満たせば」

「nは自然数Nに属する要素である。nの全てがnがn≧noを満たせば」

ならどっちも意味が通じる。論理的に「任意の」と「全ての」は同じ内容という
ことがこれではっきりした。
165宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 15:39:23.51ID:2KZgey/M
ならば、
n ∊ N:(∀n)≧no ⇒

と書くべきだ。
166宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 15:44:10.06ID:2KZgey/M
>>164訂正

「nは自然数Nに属する要素である。nの全てがn≧noを満たせば」
2015/12/12(土) 19:26:17.42ID:veyx+UNJ
εδが苦手なやつはこれ嫁
『イプシロン-デルタ (数学ワンポイント双書 20)』(田島 一郎/共立出版)
168宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 19:57:50.38ID:2KZgey/M
>>167

田島さんには申し訳ないが、金がない。
住んでるとこが田舎で専門書を気軽に立ち読みできん。
その本のいいところはどこかおしえてもらいたい。
サイエンスライブラリの本はけっこうていねいにかいてある部類だと思うけど。
169宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 20:00:00.67ID:2KZgey/M
違った。これだ

SGCライブラリ71 For Senior&Graduate Courses
「εーδ論法再入門 直観から論理へ」 中神 祥臣 著
サイエンス社
170宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 20:19:40.08ID:2KZgey/M
1・2 数列の極限と関数の極限

高校の教科書の書き方
数列{Xn}に対して、「nを限りなく大きくしたときに、Xnが一定の
値aに限りなく近づく」ならば数列{Xn}はaに収束するという

limXn=a または Xn→a
n→∞

このときaを数列{Xn}の極限という。

<感想>
間違いがあっても、修正を繰り返せば真理に至るってことだな。
図1・1を見るとaとの差=|Xnーa|が縮まる様子が分かる。
だから言ってる。おまいらは、数学を実生活に応用していない。
171宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 20:46:55.10ID:2KZgey/M
「限りなく大きくする」に深い内容が潜んでいるのに、述べていないのが
問題なんだろう。

数列{Xn}の場合・・・・・・独立変数が飛び飛びの自然数
関数f(x)の場合・・・・・独立変数が連続の実数

「変数xがaと異なる値をとりながらaに限りなく近づくとき、f(x)
の値が一定の値bに近づく」場合、f(x)はbへ収束するといい、

limf(x)=b または x→a のとき f(x)→b
x→a

と書き、この値bを関数fのx→aのときの極限という。
また、このときf(x)はbに収束するという。

<質問>
x≠a なのだからいくらxをa近づけてもf(x)≠b
のままではないかという疑問がわいてくる。
例えば、f(x)=2x という関数なら、1対1の対応で
bに対応するのはaしかない。それがaでないにも関わらず、
等しいとしている。
172132人目の素数さん
垢版 |
2015/12/12(土) 21:10:08.68ID:WQaAnbNu
>>147
門外漢の癖に噂レベルのデタラメを書くなよ
そういう姿勢がもうダメだわ
173132人目の素数さん
垢版 |
2015/12/12(土) 21:11:30.89ID:WQaAnbNu
>>171の質問(一文目)に対しては「そうだよ」という解答をあげよう
174132人目の素数さん
垢版 |
2015/12/12(土) 21:13:50.99ID:WQaAnbNu
>>143
一行目から勘違いしてるな
間違ってることをわざわざ書いてるから不快なだけ

んでいちいち数学の美だとかくだらない言葉を使うのは病気?
2015/12/12(土) 21:14:58.17ID:Ute6/unz
これはひどい
176132人目の素数さん
垢版 |
2015/12/12(土) 21:15:35.05ID:WQaAnbNu
やり直す価値はあると思うよ、って何様なのかね
言葉遣いがなってないなほんと
177132人目の素数さん
垢版 |
2015/12/12(土) 21:24:25.90ID:bdlb1dKd
迷走中
178132人目の素数さん
垢版 |
2015/12/12(土) 21:27:24.39ID:WQaAnbNu
こいつには孤独という罰を与えてみたい
1レスもレスがつかない中で延々とくだらないことをやってて欲しい
179宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 21:32:12.23ID:2KZgey/M
>>178

サドですか?
弱い者いじめはいかんよ。
2015/12/12(土) 21:43:44.93ID:2UR4dFp8
いろんなアホを見てきたがここまでのは見たこと無い
2015/12/12(土) 22:45:49.14ID:veyx+UNJ
>>168
いや、図書館で借りればいい
自分も図書館で読んだし多分絶版
182宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 22:48:21.73ID:2KZgey/M
>>181

その本を読んだ感想は?
2015/12/12(土) 22:49:16.14ID:veyx+UNJ
あ、絶版じゃないみたいだ失礼
でも借りればいいよ
2015/12/12(土) 22:52:06.46ID:veyx+UNJ
>>182
感想っていうか解説がえらく詳しいし例題が豊富
εδに特化してて専門書にありがちな知りたいことに到達する前に挫折することもない
かつてεδに壁を感じてたときにこれを使って乗り越えた
185宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 22:57:31.49ID:2KZgey/M
>>184

εδの壁とは、何だったの?
2015/12/12(土) 23:16:12.56ID:veyx+UNJ
>>185
つまりよくわからなかったってことよ
そこ質問するところじゃないと思うけど
187宗教板から抜けて来ますた
垢版 |
2015/12/12(土) 23:34:28.19ID:2KZgey/M
いや、つまづきそうな危険個所を前もって知っておくことは必要。
具体的に何処でつまずいたの?
今の本で解決できそうなのかどうか
2015/12/13(日) 00:32:34.35ID:BbN8T0gK
>>187
そうだねぇ式の意味が正確に掴めてなかったってことだねぇ
上のほうで「俺の解説」が無駄だと言われてるのはそういうことなんだけどね
形式的な操作の有用性に気がついてなかったともいえるし
わかるということがわからなかったともいえる
εδは他人に聞いたり相談したりしてもわかるようにはならないよ
上であげた本にしても本読んだからすぐわかるというものでもない
わからないことに耐えられない人には乗り越えられないだろうね
受験勉強の延長のように考えてるなら諦めな
189132人目の素数さん
垢版 |
2015/12/13(日) 00:55:58.35ID:xkQb9M5l
まあ頭が良ければ一瞬で理解できるんだけどね
2015/12/13(日) 01:01:09.90ID:hUMIqUBB
>>185
養老猛司が新書出してたぞ。
191132人目の素数さん
垢版 |
2015/12/13(日) 01:15:59.48ID:mI6KGZ8S
検索したらEDの壁が出てきた
192宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 01:32:36.54ID:BxERe/ec
>>188

役に立たないな
2015/12/13(日) 01:52:49.51ID:I+NmGkDs
まず高校レベルから始めればいいのに
もし述語論理自体が分かっていないのなら、国語力を育て損なったということだから、もう手遅れかもしれんが…
2015/12/13(日) 01:55:53.32ID:BbN8T0gK
>>192
キミは自己評価が高すぎるんだろうね
ひとにアドバイス求めておいてその言い草とはね
195宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 01:59:19.34ID:BxERe/ec
>>193

悪意ある書き込みだ。2ちゃんなら常識だが、リアルでは非常識。
実際、性格の悪さを他人から指摘された経験があるだろ?
2015/12/13(日) 02:03:00.95ID:I+NmGkDs
>>195
もし述語論理自体が分かっていないのなら、国語力を育て損なったということだから、もう手遅れかもしれんが…
そうでないならまずは高校レベルの微積分から始めればいい
197宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 02:04:25.26ID:BxERe/ec
>>196

無駄
2015/12/13(日) 02:10:16.89ID:I+NmGkDs
手遅れだったんか
無駄と分かっててもその本を読み続けるのかな
199132人目の素数さん
垢版 |
2015/12/13(日) 02:13:01.14ID:mI6KGZ8S
池沼も自暴自棄になるんだな
200宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 02:27:59.80ID:BxERe/ec
>>171の質問ほったらかして、諦めなとかしか書き込めない
おまえらって何なの?
邪悪なのか無能なのか、無価値なのか?
だから、数学専攻してもたいした者になれなかったんだよ。
201132人目の素数さん
垢版 |
2015/12/13(日) 02:59:11.16ID:xkQb9M5l
>>173に解答があるぞ、低能くん
202132人目の素数さん
垢版 |
2015/12/13(日) 03:00:47.84ID:xkQb9M5l
>>194
これで分かったと思うがこやつにまともなアドバイスは無駄だよ
203宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 03:05:15.86ID:BxERe/ec
>>201

だが、>>91の事実はそうではない。


>>202
まあ、ここで遊んでけや
http://wc2014.2ch.net/psy/#6
204宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 03:12:02.21ID:BxERe/ec
>>202
芸術作品

http://wc2014.2ch.net/test/read.cgi/psy/1446772868/738
205132人目の素数さん
垢版 |
2015/12/13(日) 09:02:02.23ID:xkQb9M5l
>>203
そうではないことはないよ、そうだよ
206132人目の素数さん
垢版 |
2015/12/13(日) 09:05:51.20ID:xkQb9M5l
まあこれは初学者は勘違いしやすいから仕方ないけど
207宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 09:06:44.11ID:BxERe/ec
>>205

形式的に連続を定義すんのは簡単だよな。
208132人目の素数さん
垢版 |
2015/12/13(日) 09:10:07.48ID:xkQb9M5l
ちょっと何言ってるか分かんない
209宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 10:00:06.29ID:BxERe/ec
>>208

その前に、>>205をきちんと書き直せ。
210宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 10:03:57.72ID:BxERe/ec
こういうことが言いたいの
211宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 11:06:03.79ID:BxERe/ec
とんがり(接線の傾きが左右で一致しない)があっても不連続だった。

連続とは何か?
分かんねえな・・・・・

形式的には、点aの左右で高さと傾きが同じ場合、点aで連続であるという。
2015/12/13(日) 11:24:20.02ID:QDOeid6/
そんな君に素晴らしいアドバイスを贈ろう、正座して聞くように

アホな妄想膨らませてないで教科書読め、問題解け
213132人目の素数さん
垢版 |
2015/12/13(日) 11:29:20.59ID:xkQb9M5l
>>209
他人にとやかく言う前に読解力をつけろ
このスレでは今のところすべてお前が間違いである
214宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 11:39:21.00ID:BxERe/ec
>>213

何だその  「お前が・・・・・・である」 っての。
偉そうにすんなって言っただろ。
数学者でもあんめえが。
215132人目の素数さん
垢版 |
2015/12/13(日) 11:39:54.66ID:g8k4pA9o
やだ……簡単と宣ってる連続の定義も間違ってるこの人
216宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 11:45:27.44ID:BxERe/ec
>>215

反例を示せ。
2015/12/13(日) 11:54:57.85ID:QDOeid6/
定義を誤認識してる時点で反例もクソもなかんべえ
218132人目の素数さん
垢版 |
2015/12/13(日) 11:56:28.58ID:g8k4pA9o
なんの反例だよwwwwww

>>211の定義だと連続関数は定数関数しかないことになるぞ
219宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 12:00:52.76ID:BxERe/ec
>>218

読解力がないのぅ。
220132人目の素数さん
垢版 |
2015/12/13(日) 12:03:58.78ID:mI6KGZ8S
数学で自暴自棄になる奴の気が知れん
221宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 12:04:13.85ID:BxERe/ec
>>217

東北の生まれか?
百姓は暇か・・・・そんで2ちゃんか。
222132人目の素数さん
垢版 |
2015/12/13(日) 12:04:35.86ID:g8k4pA9o
>>219
その素晴らしい読解力を駆使して、>>211の定義を記号化してみて
223132人目の素数さん
垢版 |
2015/12/13(日) 12:09:30.17ID:g8k4pA9o
ああ、それと「反例」が「一般的な定義では連続だが、>>211の定義では不連続となる例」のことであれば、>>211にある通り絶対値関数y=|x|がある
2015/12/13(日) 12:10:05.02ID:QDOeid6/
>>221
東北生まれの暇な百姓に諭される気分てどんな?
2015/12/13(日) 12:12:58.97ID:I+NmGkDs
だから高校レベルからやれっての
数学的定義が妥当かどうかなど、まず感覚を身に着けていなければ判断もできんというのに
226宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 12:19:03.54ID:BxERe/ec
>>224

米くれよって気分
227宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 12:24:53.55ID:BxERe/ec
>>222

定義1・2 に少し手を加えりゃいいだろ。

点aの左右の近傍で微分したとき、一致すりゃいいんだから。
228132人目の素数さん
垢版 |
2015/12/13(日) 12:27:25.52ID:g8k4pA9o
>>227
よくないです
微分可能なら連続だけど微分不可能な連続関数が存在します
連続の定義に微分は使えません
229宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 12:41:23.70ID:BxERe/ec
>>228

あー、俺が適当にフリーハンドで書き込んだ図か・・・あれは
確かに微分不可能だ。
230132人目の素数さん
垢版 |
2015/12/13(日) 13:01:29.55ID:g8k4pA9o
>>229
よかったね、至る所微分不可能な連続関数が(近似することなく)手描き出来たらWeierstrass関数や高木関数と並んで名前が残るレベル
フラクタルでない例という意味では上の2つよりも優れたものになるな
さあ論文にするんだ(棒読み)
231132人目の素数さん
垢版 |
2015/12/13(日) 15:24:11.85ID:sGb8PaqN
>>214
何だその言葉遣いは。
偉そうにすんなって言っただろ。
哲学さえもまともにできないくせに。
232132人目の素数さん
垢版 |
2015/12/13(日) 15:24:49.86ID:sGb8PaqN
>>218
確かに定義見たら水平線しか表せてなくて草生える
233宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 15:37:56.11ID:BxERe/ec
>>230

第4章 関数の連続性 に記号化されたのが定義4・1として書かれてる。

まあね、あんたアドバイスに見せかけてイジメやってるだけじゃん。
234132人目の素数さん
垢版 |
2015/12/13(日) 16:07:51.82ID:g8k4pA9o
>>233
別に数学一般に広く使われてる連続の定義を知りたいわけではないです、というか知ってます
問題はその定義と>>211の定義が同値ではないことにあります
235宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 16:12:35.87ID:BxERe/ec
>>234

じゃあ、とりあえず図で説明してみてよ。
2015/12/13(日) 16:19:56.74ID:QDOeid6/
ここはアホ出入り禁止
宗教板へ帰れよ
237宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 16:33:36.34ID:BxERe/ec
>>236

イヤならこのスレは開かないことだ。
アホというなら、この板に書かれてるレスの大半はアホ。
おまいこそ、田んぼに穴掘って冬眠でもしとれ。
2015/12/13(日) 16:42:26.98ID:xc7pAxLe
いやだから記号で表せよ
図より正確だから
2015/12/13(日) 16:50:19.22ID:Ne2ctqkF
>>211
君の言ってる"fがaで連続"の定義は
∃δ>0,∀x∈(a-δ,a+δ),f(x)=f(a)
になってるの
240132人目の素数さん
垢版 |
2015/12/13(日) 17:12:30.60ID:sGb8PaqN
>>237
そりゃ大半はお前のレスかお前に合わせた低レベルなレスだからな
241宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 17:13:53.99ID:BxERe/ec
>>239
こちらのfがaで連続という定義にはなってない。

記号論理に慣れてないが
「0よりも大きいδがある、xがx軸上のaからの距離δ以内
の領域にある、f(x)=f(a)」

だから、グラフの高さだけのことをさしている。
ただ繋がってるだけとしか言えない。
242132人目の素数さん
垢版 |
2015/12/13(日) 17:19:19.01ID:sGb8PaqN
xが一つだけ存在すると言いたいのかね
243132人目の素数さん
垢版 |
2015/12/13(日) 17:19:42.56ID:sGb8PaqN
一つだけ は削除で
2015/12/13(日) 17:26:34.18ID:hUMIqUBB
>>211の定義とやらは、連続性の定義に
なんで傾きが顔出してんだ?
245宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 17:32:50.21ID:BxERe/ec
そうなんじゃないのとしかいえないなぁ。
246宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 17:34:48.23ID:BxERe/ec
>>244

言っとくが、顔に傾きがあっても、傾きには顔はない。
247132人目の素数さん
垢版 |
2015/12/13(日) 17:42:15.67ID:g8k4pA9o
>>245
一般的な「関数fが点aで連続」の定義は

∀ε>0∃δ>0∀x∈(a-δ,a+δ);|x-a|<δ⇒|f(x)-f(a)|<ε

なんですが、ここからどうやって「高さが同じ」や「傾きが同じ」を読み取れたの?
248132人目の素数さん
垢版 |
2015/12/13(日) 17:54:27.64ID:g8k4pA9o
ああx∈中略δ)は書く必要ないな
249宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 18:11:10.85ID:BxERe/ec
>>247
記号論理ではなく、図形から。

その式からすぐ見当がつくのは、⇒|f(x)-f(a)|<ε
から高さの差が0に収束から、「高さ同じ」
250132人目の素数さん
垢版 |
2015/12/13(日) 18:20:21.41ID:g8k4pA9o
>>249
|x-a|<δならば、という仮定はガン無視?
δもεに依存して取れる(小さな)正数だけど

ところで傾きの方は?こっちは図形的にも全く関係ないと思うけど
251宗教板から抜けて来ますた
垢版 |
2015/12/13(日) 18:26:24.38ID:BxERe/ec
この本の定義はこれ。

定義4・1 fをRを空でない部分集合D上の関数とする。fがDにおける
点aにおいて

∀ε>0∃δ>0∀x∈D:|xーa|<δ⇒|f(x)ーf(a)|<ε

を満たすとき、fはaにおいて連続であるという。関数fがDのすべて
の点で連続のとき、fはDに連続であるといい、fをD上の連続関数と
いう。

49ページに書いてあるので、間が飛んでて詳しくは知らない。
この本は親切にも3章 記号論理 があるが、読んでない。
ただ、「連続」は単純ではなさそうだという感じは持った。
252132人目の素数さん
垢版 |
2015/12/13(日) 18:28:39.40ID:BxERe/ec
「Rの」に訂正
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況