[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む22 [無断転載禁止]©2ch.net (727ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
698: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)09:20 ID:9cd3XTDs(13/19) AAS
>>694
おっちゃん、どうも。スレ主です。
ちょっと落ち着いてきたので、コテに戻る
で、”R^N＝M (M＝R^N/～) は示せる”って、なんですか？ 目が点になりそう（＾＾；
まあ、おっちゃんらしいといえば、らしいが
>現代数学概説Ⅰには、今でもそれなりの価値はあるだろうな。
現代数学概説Ⅰについて、>>625で言いたいことは、1961年の現代数学だってこと
いま何年？ 2016年。55年まえの現代数学
古典はそれなりに価値があるけど、いろいろ読めば良いし、ユークリッドの原論とかニュートンのプリンキピアとか
が、1961年の現代数学概説でおわりじゃ、おいおいってことだろ
2016年の現代数学概説に相当する本を読んでから
彌永 小平を読むという方が、正しい順番のような気がする（ガロアに同じ）
699(4): 2016/09/18(日)09:20 ID:7h+vyn9x(4/8) AAS
質問に答えろカス
------------
おい馬鹿スレ主、>>646から逃げないで回答してくれよｗ
> >>645
> 妄想乙ｗ
>
> > ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
> S1'とS1の連結なる操作によってS1の初項はS1’+S1の何番目に移るんだ？ｗ
> S1'+S1がR^Nの元だというならそれが有限値k∈Nであることを示してみろよ。馬鹿タレ。
記事が考えているのはR^N（R^ωとも書く。cf. 外部ﾘﾝｸ:en.wikipedia.org）だ。
R^(ω+ω)ではない。つまり添え字にωは現れない。
お前の言う>>645の連結なる操作によってS1'+S1はR^Nの元になるというなら、証明しろ。
ああ言っとくけど自分で証明しなくていいんだぞｗ
下のようにして作ったS1+S1'がR^Nの元であることを証明している査読付き論文を見つけてこいやｗ
>>632
> まあ、無限ホテルの各部屋が満員で、それぞれ泊まっている人が勝手に数字を書いたと思え
> それで可算無限個の数からなる数列ができる。それをS1としよう。数列S1の長さは、ωだ
>
> 数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限)
> ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする
700(1): 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)09:21 ID:9cd3XTDs(14/19) AAS
>>697
笑える（＾＾；
ちょっとは、自分で考えろ
701(2): 2016/09/18(日)09:21 ID:7h+vyn9x(5/8) AAS
>>682
> >>679
> 意味が分からんが、R^Nって言葉に酔っているじゃないのか？
>
> 時枝記事では、単に「実数列の集合 R^Nを考える」とある（下記）。”集合 R^Nの実数列を考える”ではないことにご注意。つまり、実数列ありきだよ
なにがいいたいのかなボクは？ｗ
いいかボクちゃん。
いま議論になっているのは実数列r∈R^Nの決定番号が有限値に収まるかどうかだ。
大事なところなので繰り返す。
実 数 列 r ∈ R^N の決定番号が有限値に収まるかどうかだ。
ボクちゃんはrは有限値ではなくωになりうると言う。
>>633
> 決定番号の値域は、１～ω ってことだな
その1つの例がお前の>>632のレスだ。
>>632
> 数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限)
> ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする
>
> ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1との対比の最大値は明らかにωだ
S1'+S1がR^N(R^ω)ならば、正しいのはボクちゃんだ。
つまりr∈R^Nの決定番号は有限値にならないことがあるという命題は正しい。
しかしそれがR^(ω+ω)ならボクちゃんはおバカさんだ。
ボクちゃんは
１）R^ωからR^(ω+ω)の元を作っちゃお！
２）これはR^ωの元じゃないけど、R^ωの～に関する代表系と無理やり比較しちゃえ！
３）決定番号はωになりうる！有限値じゃない！（ドヤ
と言っているのである。
これは
１）R^ωからR^3の元を作っちゃお！
２）これはR^ωの元じゃないけど、R^ωの～に関する代表系と無理やり比較しちゃえ！
３）比較すべき代表元が分からない（ドーシヨウ・・
と言っている幼稚園生と知能的には変わらないのである。
与えられたR^ωからR^3やR^(ω+ω)を作れたとしよう。
それで時枝の戦略が破綻するのか？
否。与えられたR^ωからR^3やR^(ω+ω)を作らなければいいだけであるｗ
702: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)09:22 ID:9cd3XTDs(15/19) AAS
>>699
>>700（＾＾；
703: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)09:23 ID:9cd3XTDs(16/19) AAS
>>701
荒しか
勝手にしろ
704(2): 2016/09/18(日)09:25 ID:7h+vyn9x(6/8) AAS
お前は>>690-691から逃げることはできない。
決定番号がωになるといったのはお前だ。発言に責任をもちなさい。
S1'+S1がR^Nになることを証明しろ。
S1'+S1がR^Nでないなら、お前はバカである。理由は>>691に説明済みだ。
705(3): 2016/09/18(日)09:59 ID:7h+vyn9x(7/8) AAS
>>696
> >>673-676や>>658で示したことは、集合 R^Nに制約なしで、「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」>>693だけの
> 設定だと、決定番号が有限にならない数列の同値類が、構成できるよと
>>701を読めｗ
> ボクちゃんは
> １）R^ωからR^(ω+ω)の元を作っちゃお！
> ２）これはR^ωの元じゃないけど、R^ωの～に関する代表系と無理やり比較しちゃえ！
> ３）決定番号はωになりうる！有限値じゃない！（ドヤ
> と言っているのである。
>
> これは
> １）R^ωからR^3の元を作っちゃお！
> ２）これはR^ωの元じゃないけど、R^ωの～に関する代表系と無理やり比較しちゃえ！
> ３）比較すべき代表元が分からない（ドーシヨウ・・
> と言っている幼稚園生と知能的には変わらないのである。
>
> 与えられたR^ωからR^3やR^(ω+ω)を作れたとしよう。
> それで時枝の戦略が破綻するのか？
> 否。与えられたR^ωからR^3やR^(ω+ω)を作らなければいいだけであるｗ
与えられた1つの実数列（数字の入った無限個の箱）であれ、
それを再構成した100個の実数列であれ、その実数列たちが
R^Nの元であることは本質的に重要である。
なぜか？
時枝の記事はR^3でもR^(ω+ω)でもなく、R^NとR^Nの同値関係～を用いた戦略だからである。
R^(ω+ω)の元をR^ωの代表元と比べようという発想は、
R^3の元をR^ωの代表元と比べようという発想と同様に、狂っている(>>701)
そもそもR^3やR^(ω+ω)の元はこの戦略にとって不必要。構成する必要はない。
お前の連結なる操作(>>632)で作った実数列S1'+S1はR^ωの元か？R^(ω+ω)か？
問題の本質に関わることだ。はっきりさせろ。
706(3): 2016/09/18(日)10:23 ID:7h+vyn9x(8/8) AAS
>>705
> 与えられた1つの実数列（数字の入った無限個の箱）であれ、
> それを再構成した100個の実数列であれ、その実数列たちが
> R^Nの元であることは本質的に重要である。
訂正。1行目を削除しておく。
最初に与えられた実数列がR^Nではなくても、
もしそこから100個のR^Nを構成できるならば、
その100個のR^Nだけを対象にして数当てができるので。
707(1): 2016/09/18(日)11:43 ID:WAfL61Fo(1) AAS
>>694
>あと、杉浦解析入門Ⅰで証明なしで最初に書かれている
>任意の完備な順序体は実数体Rに同型である
>という命題の証明が載っている和書は、
§3問題5)は解いたかい？これがまさにその命題なんだが
708: 2016/09/18(日)11:56 ID:L2gLUm6i(2/2) AAS
>>707
杉浦解析入門Ⅰは手元になく、それを丁寧に読んだことはない。
つまり、§3問題5)の内容は知らずこれを解いたことはない。
709: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:33 ID:9cd3XTDs(17/19) AAS
新スレ立てた
現代数学の系譜11 ガロア理論を読む23
2chｽﾚ:math
いま、503KB。最近は、500KBではなく512KBくらいまでいけるらしいが、早めに手当しておく
710: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:34 ID:9cd3XTDs(18/19) AAS
>>704-706
逃げることはできる
新スレ立てたからね（＾＾
711: 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:49 ID:9cd3XTDs(19/19) AAS
>>704-706
Terence Tao ”Your arguments are interesting, but I am not sure I see how to make them fully rigorous.”ってこと >>151
これを借りれば、時枝先生の記事は”fully rigorous”じゃないってこと
要するに、時枝記事の決定番号なる概念は、非常にあやふやだと
>>656-658で示したことは、命題「決定番号は有限」に対して、有限でない反例の実例を構成した
で、>>654で示したことは、
時枝は前提として、「箱がたくさん，可算無限個ある.箱」としている以上
数列S0’から決定番号を定める関数だ。つまり、ｋ（S0’）：S0’→ｙ ｜ｙ∈N（自然数）
で、ｙの取り得る範囲に、上限はない
つまり、ｙは値域として自然数全体を渡る。つまり、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだと
”Your arguments are interesting, but I am not sure I see how to make them fully rigorous.”
こうやったら、決定番号は有限にできるとか
R^Nをぐちぐちこねくり回したら、決定番号は有限にできて、時枝解法成立だと・・、言いたい気持ちは分からないでもないが、”fully rigorous”じゃないね
では、私は新スレへ
712: 2016/09/18(日)12:59 ID:dYwwKeW8(1) AAS
>>694
> あと、杉浦解析入門Ⅰで証明なしで最初に書かれている
> 任意の完備な順序体は実数体Rに同型である
> という命題の証明が載っている和書は、
例えば、
足立恒雄「数 体系と歴史」朝倉書店 p.163 定理7.13（実数体の一意性）
とか。あまり長くない。2ページくらい。
713(1): 2016/10/28(金)19:56 ID:TfiCDU6u(1) AAS
ガロア群で5次方程式の解の公式がないことは分かるのに
なんでガロア群でフェルマーの最終定理は証明できなかったの？
(´・ω・｀)
714: ￥ ◆2VB8wsVUoo 2016/10/28(金)20:07 ID:fs/1cRpR(1) AAS
￥
>329 名前：１３２人目の素数さん ：2016/10/26(水) 17:24:53.77 ID:LOz3feeR
> 孫を奪うと言いつつ好みのタイプでムラムラ牌揉み
> 情けないねえ...
>
>331 名前：ニノ ：2016/10/28(金) 04:27:43.07 ID:YMecsJRq
> 女性に痴漢は最低の行為です
> 恥を知ってください
>
715: 2016/10/28(金)20:12 ID:ESu1FPlH(1) AAS
読後感想お待ちしております。
著者は、退官した中学教師。
ギリシャ三大難問 作図解の発見 不可能から可能への挑戦
外部ﾘﾝｸ:www.amazon.co.jp
内容紹介
世界数学研究会がタブーとする究極の難問に15年挑戦した元中学数学教師が伝える、作図の楽しみと有用性。
本書の目的は、学校数学教育に初等幾何学(作図)の有用性を再認識させることにある。
暗記力の強化だけでなく、問い、考え、解決していく過程を構成する思考力と創造力を培う教育に変革するために、初等幾何(作図)を復活させるためには、
「かつてない、今もなく、これからもけっしてない」とされてきたギリシャ三大難問の作図解を示すことで数学教育の変革に繋げていきたいと考えている。
目次
序章 ギリシャ三大難問とはなにか
第1章 角の三等分問題の作図解について
第2章 立方倍積問題の作図解について
第3章 円積問題の作図解について
第4章 ギリシャ三大難問の作図解とその展望について
716: 2016/10/28(金)22:21 ID:0isUjJ5H(1) AAS
>>713
解が無いことと解の公式が無いことを近藤するな
717: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:09 ID:GG1HSXYD(1/10) AAS
￥
718(3): ￥ ◆2VB8wsVUoo 2016/10/29(土)01:09 ID:GG1HSXYD(2/10) AAS
￥
719(1): ￥ ◆2VB8wsVUoo 2016/10/29(土)01:09 ID:GG1HSXYD(3/10) AAS
￥
720: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:09 ID:GG1HSXYD(4/10) AAS
￥
721: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:10 ID:GG1HSXYD(5/10) AAS
￥
722: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:10 ID:GG1HSXYD(6/10) AAS
￥
723: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:10 ID:GG1HSXYD(7/10) AAS
￥
724: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:11 ID:GG1HSXYD(8/10) AAS
￥
725: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:11 ID:GG1HSXYD(9/10) AAS
￥
726: ￥ ◆2VB8wsVUoo 2016/10/29(土)01:11 ID:GG1HSXYD(10/10) AAS
￥
727: 2017/06/26(月)00:04 ID:ipZ9T/tT(1) AAS
￥
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s