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