0001宗教板から抜けてきますた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まずこの本読んで、俺が分かった事書くぞ。
荒らしは禁止だぞ。
数学できるからといって、自慢したいだけの書き込みも禁止だぞ。 0250132人目の素数さん2015/12/13(日) 18:20:21.41ID:g8k4pA9o
>>249
|x-a|<δならば、という仮定はガン無視?
δもεに依存して取れる(小さな)正数だけど
ところで傾きの方は?こっちは図形的にも全く関係ないと思うけど 0251宗教板から抜けて来ますた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章 記号論理 があるが、読んでない。
ただ、「連続」は単純ではなさそうだという感じは持った。
0252132人目の素数さん2015/12/13(日) 18:28:39.40ID:BxERe/ec
「Rの」に訂正
0253132人目の素数さん2015/12/13(日) 18:36:10.73ID:g8k4pA9o
なんで唐突に定義を書いたの?
その定義はもう書いてあるよ?
0254宗教板から抜けて来ますた2015/12/13(日) 18:50:19.24ID:BxERe/ec
>>251
こんなの既知の事柄だろうから、たいして関心ないと思われるので
問題やってください。こちらは本でも読んでます。
問題19 連続関数fがa∈Dにおいて、f(a)>kならば、aの
近くでも同じ不等式を満たすこと、つまり
∃δ>0∀x∈D:|xーa|<δ⇒f(x)>k
となることを示せ。 0255132人目の素数さん2015/12/13(日) 19:08:16.32ID:g8k4pA9o
ついに数学だけでなく日本語が通じなくなったので消えます
さようなら
0256宗教板から抜けて来ますた2015/12/13(日) 19:10:48.54ID:BxERe/ec
問題20 D上で上半連続な関数のなす集合Aに対して、
∀g∈A∀x∈D:f(x)≦g(x)
を満たすD上の関数fが存在するとき、h(x)=inf{g(x)|g∈A}
により定まる関数hもD上で上半連続であることを示せ。
U(x,δ)={ y∈D||x−y|<δ }
∀g∈A ∀x∈D ∀ε>0 ∃δ>0 ∀y∈U(x,δ) [ g(y)<g(x)+ε ]
∀x∈D ∀ε>0 ∃g∈A [ g(x)<h(x)+ε/2 ]
∃δ>0 ∀y∈U(x,δ) [ g(y)<g(x)+ε/2 ]
h(y) ≦ g(y)<g(x)+ε/2<h(x)+ε/2+ε/2=h(x)+ε
0258宗教板から抜けて来ますた2015/12/14(月) 20:05:44.65ID:nzClyVDJ
>>257
本の解答
関数hの定義により、任意の点a∈Dにおいて、
∀ε>0∃g∈A:g(a)<h(a)+ε/2
このとき、gはDにおいて上に半連続関数であるから、
∃δ>0∀x∈D:|x−a|<δ⇒g(x)−g(a)<ε/2
このとき、|xーa|ならば、
h(x)≦g(x)≦(g(x)−g(a))<ε/2+(h(a)+ε/2)=h(a)+ε
となるので、hは上に半連続である。 0260132人目の素数さん2015/12/14(月) 21:20:46.23ID:2a0mjiRr
数学に憧れを持ってるだけのゴミといったところか>>1
数式書くだけで満足するタイプだw 0261132人目の素数さん2015/12/14(月) 21:48:27.35ID:UN8pzCqL
>>258
なんでわざわざ本の解答を写したのかわからんが、とりあえずその解答を記号的に簡潔化したものが>>257だな 0262宗教板から抜けて来ますた2015/12/14(月) 22:15:39.39ID:nzClyVDJ
0263132人目の素数さん2015/12/14(月) 22:19:18.24ID:2a0mjiRr
なにが親切なのか全くわからね
0264宗教板から抜けて来ますた2015/12/14(月) 22:23:02.12ID:nzClyVDJ
比較のために、わざわざめんどくせーの我慢して打ち込んだのによ、
何だそのいいぐさは。
0265132人目の素数さん2015/12/14(月) 22:26:31.04ID:AtfGFOV1
PC使えるんだすごいね
0266132人目の素数さん2015/12/14(月) 22:28:54.97ID:UN8pzCqL
比較する(しないといけない)意味は?
0267宗教板から抜けて来ますた2015/12/14(月) 22:36:10.44ID:nzClyVDJ
>>266
見た目似てるけどちがうなぁー、何で?
また変なのが湧いてきて何やら攻撃しかけて来るんだろう
けど、まーしゃーないわ。まだ進んでないし、とかいう意味。 0268132人目の素数さん2015/12/14(月) 22:42:12.95ID:UN8pzCqL
>>267
違うと思うのは記号論理に慣れてないせい
なぜ第3章を飛ばす?著者が必要だと思ってるからわざわざ連続性の前に記号論理の章を入れてるんだよ?そこ飛ばして理解できるわけなかろう 0270宗教板から抜けて来ますた2015/12/14(月) 22:45:40.94ID:nzClyVDJ
>>265
DTフリップフロップでシフトレジスター作ると面白いよ。
こんな感じ。
0271宗教板から抜けて来ますた2015/12/14(月) 22:59:02.46ID:nzClyVDJ
>>269
× このとき、|xーa|ならば、
○ このとき、|xーa|<δならば、 0273宗教板から抜けて来ますた2015/12/14(月) 23:24:22.97ID:nzClyVDJ
× h(x)≦g(x)≦(g(x)−g(a))<ε/2+(h(a)+ε/2)=h(a)+ε
○ h(x)≦g(x)≦(g(x)−g(a))+g(a)<ε/2+(h(a)+ε/2)=h(a)+ε
ハイ、よくできまちた! とかはやめろ。
0274132人目の素数さん2015/12/14(月) 23:30:47.89ID:AtfGFOV1
自分で書かないと身に付かないぞ
0275宗教板から抜けて来ますた2015/12/14(月) 23:38:15.80ID:nzClyVDJ
>>274
うん、そうだね。
だから、秋月とかにIC注文して自分ではんだ付けして動かしてみないと
本物にならない。>>257の論理回路作って動作させる人いないかね? 0276132人目の素数さん2015/12/14(月) 23:51:46.71ID:AtfGFOV1
人になつきやすいな
0277宗教板から抜けて来ますた2015/12/14(月) 23:56:41.45ID:nzClyVDJ
0278宗教板から抜けて来ますた2015/12/15(火) 00:03:10.80ID:on4ib5Xr
>>257はデジタルでは無理かもしんないな。
連続な値を処理するアナログICが有望な気がする。というか、ハイブリッド。
古本でアナログコンピュータの本読んだことがあるが、あれは途中でやめた。
正直、難しかった。 0279132人目の素数さん2015/12/15(火) 00:30:39.22ID:pOBghhxL
あのですね、1からきっちりやりましょ?
グダグダですよ
0280132人目の素数さん2015/12/15(火) 08:35:41.59ID:6WvFGGfg
そもそも、εδというのはそれまでの直観(図形的イメージ)に頼った極限操作を定式化、記号化して厳密に議論するためのものだよ
>>1はεδをやりたいといいつつ記号論理はやりたくないってそれ矛盾してるよね
大学数学はεδが最初の関門と言われるけど、その理由は極限のイメージが湧かないのではなく記号論理に慣れてないだけ
図形的なイメージはむしろ高校数学でみっちりやってる 論理回路とか言ってるが記号論理がわかってないのに勘弁してくれ
0283132人目の素数さん2015/12/15(火) 22:22:34.20ID:pOBghhxL
こんなイメージしやすい定義でさえつまづいてたら
抽象度があがったらすぐダメになりそう
>>276
なんでもいいから会話に参加することで、自分も分かってる側の人間なんだと思い込みたいんだよ、きっと アルファがベータをカッパらったらイプシロンした。なぜだろう
0289132人目の素数さん2015/12/18(金) 01:49:25.88ID:VcB9suZr
ようやく抹殺できたな
難敵だった
どうやらもう飽きたようだな
飽きるのが早いのも馬鹿の特徴
0295宗教板から抜けて来ますた2015/12/30(水) 16:34:17.90ID:BxwgHXtH
プロバイダに金は払ってなくて使用不能だった。
理由はそれだけ。
0296132人目の素数さん2016/01/17(日) 13:00:29.27ID:SqnDx1e0
よくわからんがこれ証明して何か意味あんのか?当たり前のこと言ってるような気がするんだけど
0298132人目の素数さん2016/01/17(日) 19:51:53.79ID:o9tTEmxo
短冊状に細分してるだけだよ
0299132人目の素数さん2016/01/24(日) 07:24:43.27ID:HQ2ECfL3
0300132人目の素数さん2016/05/05(木) 18:04:06.76ID:hQXk0Mhm
・ε-N論法
ウインクN論法?