[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
502: 2017/08/15(火)19:14 ID:MgvDl1uC(14/22) AAS
【悲報】スレ主がεN論法を全く理解していないことが判明
503: 2017/08/15(火)19:14 ID:6s+ZT53k(49/67) AAS
>>499
＞問題文 >>210 「箱それぞれに，私が実数を入れる.
＞どんな実数を入れるかはまったく自由，
＞例えばn番目の箱にe^πを入れてもよいし，
＞すべての箱にπを入れてもよい.
＞もちろんでたらめだって構わない」だよ
で？あんたの証明は全然証明になってないよｗ
当てる箱は当てる側が選ぶんだよ
あんたが選ぶんじゃないｗ
あんた問題が全然分かってないねえ
省2
504(1): ◆QZaw55cn4c 2017/08/15(火)19:17 ID:dNVFG2Rn(1/4) AAS
>>501
そうそう、このドモルガンって定理？それとも公理？
505: 2017/08/15(火)19:21 ID:6s+ZT53k(50/67) AAS
ま、>>1がいくらカニ味噌を振り絞って考えても、「箱入り無数目」で
選んだ列以外の列の決定番号の最大値maxをとって
選んだ列のmax番目の箱を選べば、
選んだ列の決定番号がmaxより小さい限り、
選んだ列の同値類の代表列のmax番目と中身が一致する
>>1にはどうしようもない ザマアミロｗｗｗｗｗｗｗ
506(2): ◆QZaw55cn4c 2017/08/15(火)19:21 ID:dNVFG2Rn(2/4) AAS
>>473
基本的な述語論理をやる上では必須ですけれども
この違いを形式的な記述でやろうとしても理解は困難だとつくづく感じております。
∀n∈N,∃m∈N,n≦m
この場合は n が変化するごとに n <= m をみたす m がかわってもいいんですが
∃m∈N,∀n∈N,n≦m
このときの m は n の値にかかわらず共通でなければならないんですよね
そういう風に丸覚えしているんですが、これを形式的に分解して納得するのは困難なのでは？
507(1): 2017/08/15(火)19:28 ID:6s+ZT53k(51/67) AAS
>>506
＞∀n∈N,∃m∈N,n≦m
＞この場合は n が変化するごとに n <= m をみたす m がかわってもいいんですが
＞∃m∈N,∀n∈N,n≦m
＞このときの m は n の値にかかわらず共通でなければならないんですよね
ええ、それは左から順に読むから
つまり∀n∈N,∃m∈N,n≦m で、
ｎに具体的な自然数ａを入れたとすると
∃m∈N,a≦m となりますが
ｎに別の具体的な自然数ｂを入れたら
省9
508(1): ◆QZaw55cn4c 2017/08/15(火)19:35 ID:dNVFG2Rn(3/4) AAS
んー正直ちょっとつらいです
∀∃が連綿と3つも四つも連なってやっとεδや一様収束やらを表現するところまでは、なんとか手がかかっている状況なんですが、脳みそのしわが伸びるような快感まではいきつかない…
509(2): 2017/08/15(火)19:41 ID:6s+ZT53k(52/67) AAS
>>508
εδについていえばδはεの関数です
各点収束と一様収束についていえば、
前者はδがｘとεの関数ですが
後者はδがεのみの関数ということ
ｘに依存せずに「一様に」収束する
ということですね
510: 2017/08/15(火)19:41 ID:MgvDl1uC(15/22) AAS
スレ主の頭じゃ一様連続すら到底理解不能だろうな（遠い目）
511: 2017/08/15(火)19:43 ID:ItfSLILk(3/7) AAS
>>497
命題A, Bの区別を つ け ら れ な か っ た んだね。
納得。
>>425
> >>402
> 命題AとBのどちらを考えているのか？
> それすらスレ主は答えられない
512: 2017/08/15(火)19:44 ID:6s+ZT53k(53/67) AAS
>>509の注
ま、∀n∈N,∃m∈N,n≦m を
a≦f(a) と読むというのは、
暗に選択公理を想定してますけどね
513(2): 2017/08/15(火)19:45 ID:YFW2uq0o(5/7) AAS
やっぱり>>1は
代表系が与えられたとき、
∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
この命題が理解できてないだろ
514(1): ◆QZaw55cn4c 2017/08/15(火)19:49 ID:dNVFG2Rn(4/4) AAS
>>509
ん、f(x)=(1/x)sin(x) として
f(x - n) は x = 0 に各点収束しているが一様収束にはなっていない、とか実例で丸覚えしてしまってますね
515: 2017/08/15(火)19:50 ID:6s+ZT53k(54/67) AAS
>>513
全部日本語で書けば
「任意の無限実数列sについて、
（ｓに依存して決まる）ある自然数nが存在して
sとsの属する同値類の代表元はn番目以降はすべて等しい 」
ですね。
（）の箇所は、∀の後の∃について、
単に”∀で束縛してる変数に依存している”
と注釈をつけただけで、知ってる人には
言わずもがなのことです
516: 2017/08/15(火)19:55 ID:6s+ZT53k(55/67) AAS
>>514
述語論理式の読み方は>>507で書いた通りで
慣れてしまえば特に難しいことはありませんよ
数学というより国語の話です
517: 2017/08/15(火)19:59 ID:6s+ZT53k(56/67) AAS
>>1も知らないことは知らないと認識して
素直に教えてといえばいいのに
なんでもかんでも「ボク知ってるもん」と
いいたがる小二的精神から抜け出せない
から、肝心な時に肥え壺に落ちるんだよｗ
518: 2017/08/15(火)20:09 ID:6s+ZT53k(57/67) AAS
ま、>>1がコテハンやめて明日から匿名になるのは全然構いませんよ
ついでにいえば、大仰なタイトルのスレッド立てるのもやめればなお結構ですね
519(4): 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:15 ID:qidk3ATM(40/45) AAS
>>513
ID:YFW2uq0oさん、どうも
面白い問題をありがとう
ピエロくんの話題を取ってしまった？
それは、ピエロくんに悪いことをしたね！（＾＾
なお、記号の解釈は、>>476で一度確認しているし
その後、解答に当たっても、>>497で解釈は書いているよ。ああ、>>504でC++さんがフォローしてくれているが、ドモルガン定理かい？ どうも面白い話題をありがとう（＾＾
>代表系が与えられたとき、
>∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
>この命題が理解できてないだろ
省6
520(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:17 ID:qidk3ATM(41/45) AAS
>>501
そうか、ピエロくん、悪かった（＾＾
どうも、おれが、君の得意のお笑いを取ってしまったようだね（＾＾
521: 2017/08/15(火)20:21 ID:6s+ZT53k(58/67) AAS
>>519
＞だれもまともに、成立の証明は書けていないでしょ？
>>1一人が「箱入り無数目」の記事（＝証明）を読めてないだけ
>>代表系が与えられたとき、
>>∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
>>この命題が理解できてないだろ
>それとこれとは話が別だし
そう思いたがってる限り、>>1には「箱入り無数目」の記事が理解できない
>百歩譲ってそうだとしても、おれの理解と時枝解法の成立不成立は、別問題だろ？
省1
上下前次1-新書関写板覧索設栞歴
あと 251 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s