現代数学の系譜 古典ガロア理論を読む37

1 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/01(火) 13:23:53.37 ID:gpKQ4DGY.net] 現代数学の系譜 古典ガロア理論を読む 前スレ 現代数学の系譜 古典ガロア理論を読む36 rio2016.2ch.net/test/read.cgi/math/1499815260/ 小学レベルとバカプロ固定、High level people、サイコパス お断り！High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾； 旧スレが512KBオーバーで、新スレ立てる このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです （最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。） 👀 Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f) 152 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 07:58:15.42 ID:mls5/+3u.net] >>132 つづき まあ、だから、まとめると １．ピエロくんの頭の中では、”選択公理←→ Zorn の補題←→ 整列可能定理←→時枝記事”という図式が、浮かんでいるんだ（＾＾ ２．いやー、独創的だね。時枝記事を、”選択公理←→ Zorn の補題←→ 整列可能定理”と並列に並べれば、時枝先生もお尻がむずがゆいだろうね ３．で、整列可能定理については、下記ＵＲＬに良い纏めがあるので、見てくれたまえ ４．で、整列可能定理が否定されると、選択公理が否定される。時枝記事を、それと同じに扱うかね〜？　ピエロ君の笑いを取る才能はすばらしいね（＾＾ alg-d.com/math/ac/wot.html 選択公理 > 整列可能定理について 2012年8月 5日 壱大整域 以上 153 名前：１３２人目の素数さん [2017/08/03(木) 08:22:07.65 ID:epFXzn3+.net] ＞関数が変わらないのは直感以前 数学以前 154 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 13:41:22.63 ID:Zd4Pd/o1.net] >>134 ピエロくん、おとなしいね〜（＾＾ 追い打ちをかけておくよ ピエロくんパロディーその１：「フェルマーの最終定理が否定されるなら、選択公理が否定される」 ピエロくんパロディーその２：「ゴールドバッハの予想が否定されるなら、選択公理が否定される」 これをいずれも、私が言ったとしたら？ 皆さんの予想コメントされるコメントは、下記 予想コメントその１：「選択公理が分かってないね、おまえ」 予想コメントその２：「ゴールドバッハの予想を証明してから言え！ おまえ」 さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・ フェルマーの最終定理やゴールドバッハの予想との違いは？ 分かりますか？ 分かんねーだろうね ピエロくんの頭じゃね（＾＾ （参考） https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86 フェルマーの最終定理 https://ja.wikipedia.org/wiki/%E3%82%B4%E3%83%BC%E3%83%AB%E3%83%89%E3%83%90%E3%83%83%E3%83%8F%E3%81%AE%E4%BA%88%E6%83%B3 ゴールドバッハの予想とは、次のような加法的整数論上の未解決問題の一つである。 全ての 2 よりも大きな偶数は二つの素数の和として表すことができる[1]。 155 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 13:45:50.15 ID:Zd4Pd/o1.net] >>136 訂正 皆さんの予想コメントされるコメントは、下記 　↓ 皆さんの予想されるコメントは、下記 156 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 14:30:55.61 ID:Zd4Pd/o1.net] >>126 ￥さん、どうもスレ主です。 >リー・スモーリン氏の「迷走する物理学」 下記ヒットです。前にも紹介したな https://ja.wikipedia.org/wiki/%E8%B6%85%E5%BC%A6%E7%90%86%E8%AB%96#cite_ref-6 超弦理論 現状 超弦理論は、現時点では観測や実験事実を説明するまでには至っていないが、 上記のようなブラックホールの問題への回答、宇宙論や現象論の模型への多大な影響、そしてホログラフィー原理の具体的な実現など、その成果を挙げるにはいとまがない。 超弦理論に懐疑的な発言をしていたスティーヴン・ホーキングも、近年は超弦理論の成果を用いた研究を発表している。 一方で、Not Even Wrong[4]（邦訳：ストリング理論は科学か）[5]を執筆したPeter Woit、 The Trouble With Physics（邦訳：迷走する物理学）[6]を執筆したLee Smolinのように、超弦理論は現実的に検証不能なだけでなく、物理学研究全体に有害であるとする反対派・懐疑派も存在している。 脚注 6^ リー・スモーリン 『迷走する物理学』 松浦俊輔訳、ランダムハウス講談社、2007年。ISBN 978-4-270-00292-6。 >（開放性という意味で）比較的マシだと思う代数解析の集団だって、まあ外部から見れば、 >『あの糞集団は何だ！』と思う人だって居るんだろうし 過去会社の上司から、「”あの人はいい人だ。悪く言う人がいない”というのも善し悪しだ。」と言われて、はっとしたことがある。 （「正しい」と確信が持てたら、まわりからぐだぐだ言われても、気にせず払いのけてでも）強引に物事を進めるくらいの気迫がないと、（右顧左眄していたら）何事も成らないということでしょうね（＾＾） 157 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 14:31:37.13 ID:Zd4Pd/o1.net] >>127 >荒木先生もそうだけど、でもコンヌさんはこういう事には猛烈にキツい人ですから、 >だからアホな事を言ったら猛烈に怖いですよ まあ、きちんと考えて、筋の通った間違いならいいんでしょうが きちんと考えてない間違いは、ダメってことでしょうね >『Gelfandセミナーの猛烈に面白い部分』でしたが 私らには、雲の上の世界ですね >不見識が皆無な数学者は >Grothendieck位しかいないのではないか 引退してからのぐだぐだ読むと あれあれ？って感じですが（＾＾ ヴェイユ予想解決したドリーニュに対して「おまえフィールズ賞に目がくらんで、ちんけなことしやがったな。おれの残した大理論の研究宿題を放棄しやがったな〜！」ですからね ドリーニュにしてみれば、「グロタン先生の路線でやっていたら、フィールズ賞もらえず、路頭に迷っている・・（＾＾」と言いたいのかも（＾＾ https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A6%E4%BA%88%E6%83%B3 ヴェイユ予想 つづく 158 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 14:33:50.34 ID:Zd4Pd/o1.net] >>139 つづき >荒木先生もWoronowiczの量子群の論文をリジェクトした 検索下記ヒット phasetr.com/blog/2017/05/26/%E6%9B%B8%E8%A9%95-%E5%B1%B1%E4%B8%8B%E7%9C%9F%E3%80%8E%E9%87%8F%E 5%AD%90%E7%BE%A4%E7%82%B9%E6%8F%8F%E3%80%8F%E9%9D%A2%E7%99%BD%E3%81%8B%E3%81%A3%E3%81%9F%E3%81%8B%E3%82%89%E3%81%82%E3%81%AA%E3%81%9F/ 書評: 山下真『量子群点描』面白かったからあなたも読もう 相転移プロダクション 017 05.26 河東先生による推薦文 量子群と言ったときに何を指すかは人によって異なる．一番多いのはDrinfeld?神保式の普遍包絡環の量子変形のことであり，神保氏自身による日本語の本を始め，世界中で数多い本が書かれている． もう一つはWoronowiczに始まる，リー群上の連続関数環の量子変形であり，これについてはあまり成書がない．さらにもう一つはある種のテンソル圏の総称であり，これについては英語で本が出始めたところである． これら三者は密接に絡み合ってこれまで発展してきているが，互いに同じものではなく，これらを統一的に見る視点はこれまでの各書にはなかったものである． その点本書はこれらをバランスよくカバーしており，英語を含めても世界初の貴重な書物である． 量子群とは普通の群，特にしばしばリー群を何らかの意味で変形して「非可換化」したものである．ただし群演算はたいてい元から非可換なので，これを非可換化することには意味がない． Drinfeld?神保式の場合はリー環を変形する． 一方，Woronowicz式の考え方は，空間とその上の関数環は同じものであり，関数環の方を非可換化することによって，空間の「非可換化」が得られるというものであり，作用素環論では古くからなじみ深い考えである． 元の空間がリー群の場合は，そこに積演算が入っているため，関数環の方に Hopf 代数の構造が入る．こちらの代数構造を変形するのである． 第 7 章 作用素環に基づく理論 P.90, Woronowicz による淡中-Krein 双対性の話を見ると, やはり難しすぎて断念した DHR-DR の勉強をやり直したくなってくる. 確か荒木先生の本で勉強したような記憶があるが, あれ, 本当に何もわからなかった. 使われている数学に全くついていけな� 159 名前：ｩった. 今もまだついていける気がしない. つづく [] [ここ壊れてます] 160 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 14:35:17.76 ID:Zd4Pd/o1.net] >>140 つづき （URLが長すぎて改行しました。つなげるか、キーワード検索でお願いします。） P.95 の C?C?-環に affiliate する非有界自己共役作用素とか, いかにもゲテモノ感があるし, Woronowicz はよくそんなの頑張って解析したな感がある. 竹崎先生が「作用素環の人は非有界作用素を本当に嫌がる」みたいに言っていた記憶がある. Riefel-Van Daele の有界作用素による冨田-竹崎理論の定式化に対する 有名な論文があるくらいだし, 竹崎先生がそういうならそういうところもあるのだろう. (引用終わり) 以上 161 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 14:37:38.83 ID:Zd4Pd/o1.net] >>140 訂正 書評: 山下真『量子群点描』面白かったからあなたも読もう 相転移プロダクション 017 05.26 　↓ 書評: 山下真『量子群点描』面白かったからあなたも読もう 相転移プロダクション 017 05.26 (抜粋) 162 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 15:41:58.44 ID:bz3XB80i.net] >>21 >前から思っているんだが、あんた、現代確率論の内側に入れないね〜。まあ、ルベーグ積分が分かってないんだね >おーい、おっちゃんよ、聞こえているか？ 「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって〜（＾＾ > >これ、どう思う？ おっちゃんです。 ZFの公理系が矛盾しない(以下この命題を P(ZF系) と略記)ということと、実数直線Rの任意の部分集合がルベーグ可測である (以下この命題を P(ルベーグ可測) と略記)ということの両方が共に正しい(以下この命題を単にPと略記)ことを仮定すれば、 R上の非可測集合Sにもルベーグ測度を入れる操作が数学的に正しくなる。つまり、数学的にはSに確率測度を入れる操作が正しくなる。 P(ZF系) が正しいことだけを仮定する。P(ルベーグ可測) が数学的に正しいとするには、Rの非可測集合Sの存在性が必要になる。 Sの存在性を示すには非可算選択公理に矛盾がないとしてそれが必要になる。 その一方で、P(ルベーグ可測) が正しいことだけを仮定する。そうしても、やはり非可測集合Sの存在性が暗に仮定されていて、 非可算選択公理に矛盾がないとして暗にそれが仮定されている。 だから、P(ZF系) と P(ルベーグ可測) なることの両方が正しい(つまり命題Pが正しい)と主張することは、 ZFCの公理系に矛盾がないとしてそれを仮定して、非可測集合Sもルベーグ可測なることが数学的に正しい と主張することになる。だが、一般には非可測集合Sはルベーグ可測でない。 ここで、最初の主張には数学的な矛盾が生じることになる。 非可測集合Sにもルベーグ測度による確率測度を入れる操作が数学的に正しいといいながら、 Sはルベーグ可測でないといっていることになる。数学的に確率を考えるには確率空間とその上で定義された確率測度が必要になる。 確率空間は可測集合に確率測度を入れた空間だから、2つの命題 P(ZF系) 、P(ルベーグ可測) が両方正しいとして、 命題Pが数学的に正しいと主張することにはムリがある。命題Pが数学的に正しいとすると数学的な矛盾が生じる。 163 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 15:52:26.96 ID:Zd4Pd/o1.net] >>140 書評: 山下真『量子群点描』面白かったからあなたも読もう 相転移プロダクション 017 05.26 より、落穂ひろい ”全く関係ないのだが, 河東先生のページのニュースを見ていたら次のような謎の記述があった. www.ms.u-tokyo.ac.jp/~yasuyuki/news.htm 私のところで今年3月に博士号を取ったOtani君が新聞に出ていることに気づきました．こちらの記事だと博士論文題目も書いてあります． (4/26/2017) 何だこれ.” ￥さん、”裕氏はブラジル出身。2008年にサンパウロ州立大分子学科卒”だって！（＾＾ ”エンタングルメント・エントロピー”の話は、確か過去スレで取り上げたよね〜（＾＾ 過去スレ26 rio2016.2ch.net/test/read.cgi/math/1480758460/198-214 その他、複数回紹介した www.chugainippoh.co.jp/religion/news/20170331-001.html 鍵役に大谷裕氏就任　真宗大谷派 『中外日報社』 2017年3月30日 18時01分 真宗大谷派は28日、門首後継者の大谷暢裕鍵役（65）の長男・裕（ゆう）氏（31）が門首を補佐 164 名前：する鍵役に同日付で就任したと発表した。 裕氏はブラジル出身。2008年にサンパウロ州立大分子学科卒。11年に東京大大学院修士課程理学部数理科学研究科入学、13年に同博士課程に進学。 今年3月24日に同課程を修了し、博士論文「代数的場の量子論におけるエンタングルメント・エントロピー」で博士（数理科学）の学位を取得した。 13年に得度し、16年から大谷大で真宗学や仏教学などの研鑽にも努めている。4月1〜4日に真宗本廟で営まれる春の法要に、鍵役として出仕する。 [] [ここ壊れてます] 165 名前：￥氏 mailto:sage [2017/08/03(木) 16:02:23.03 ID:qtUXVqva.net] ￥ 166 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 16:13:07.88 ID:VANuhv8P.net] >>143 トンデモの真骨頂 167 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 16:33:21.31 ID:bz3XB80i.net] >>146 >>143は ttp://fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf を基にして書いたが、解釈が間違っているか？ 168 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 18:09:25.32 ID:bz3XB80i.net] まあ、>>147の pdf の「すべての実数の集合がルベーグ可測」は 「実数直線Rの任意の部分集合がルベーグ可測である」の意味だな。 そうでないなら、「実数全体の集合Rがルベーグ可測である」と解釈するしかないが、 そういう意味なら単にそう書けば済むし、余計な誤解を招くことはない。 「すべての実数の集合」が「「すべての実数」の集合」という意味なら、 「すべての実数の集合」の部分を普通の意味での記号「R」で表せばいいし、誤解を招くことがなくなる。 じゃ、おっちゃん寝る。 169 名前：１３２人目の素数さん [2017/08/03(木) 18:43:49.49 ID:CCJ/JfvG.net] >>134 ＞まあ、だから、まとめると まとまってないねｗ ＞頭の中では、 ＞”選択公理←→ Zorn の補題←→ 整列可能定理←→時枝記事” ＞という図式が、浮かんでいるんだ（＾＾ >>1の頭の中で、だろ？ しかし「箱入り無数目」記事では、 Zornの補題も整列可能定理も出てこない >>1が闇雲に掻き散らかしてるだけ ＞整列可能定理が否定されると、選択公理が否定される。 集合が整列可能でなくても構わないが 170 名前：１３２人目の素数さん [2017/08/03(木) 18:45:07.67 ID:CCJ/JfvG.net] >>136 >追い打ちをかけておくよ また>>1のオウンゴールかｗ 「箱入り無数目」の箱の中身予想の情報はどこから得られる？ 選んだ一列の同値類の代表列だろ？ で「絶対に予想できない」という場合 １．そもそも代表列がとれない ２．代表列はとれるが、決定番号が 　　必ず自分が予想したい箱の先にあるから 　　箱の中身と代表列の情報が一致するとは限らない のいずれかでなければならない で、もし「同値類の代表列はとれる」と認めるなら 「決定番号が必ず自分の予想したい箱の先にある」 とはいえないよ 「予想できない」と言い張るんなら １．に全てをかけるしかないわけ あのね、これは>>1の面目のためにいってやってるんだぜ どうせ考えも無しに口からデマカセいったんだろ？ そのくせ面目にこだわる小人物だから引っ込みがつかないんだろ だから「選択公理なんか認めない」っていって 終わっちまえっていってやってんだよ　 どうせ数学のスの字も分かんないんだろ？ 悪いいこといわないから　そうしろよ 171 名前：１３２人目の素数さん [2017/08/03(木) 18:47:20.03 ID:CCJ/JfvG.net] >>143 やれやれ、数学だけでなく国語も苦手なおっちゃん、毎度恒例の誤解だな なお文章が甚だ読みにくいので一部修正した >「L:実数直線Rの任意の部分集合がルベーグ可測である」を仮定すれば、 >R上の非可測集合Sにもルベーグ測度を入れる操作が数学的に正しくなる。 >つまり、数学的にはSに確率測度を入れる操作が正しくなる。 正しくならない ZF+ACにおけるR上の非可測集合Sは、ZF＋Lでは集合ではなくなる >Lが数学的に正しいとするには、Rの非可測集合Sの存在が必要になる。 必要ない　ZF+ACにおけるRの非可測集合Sは、ZF+Lでは集合ではなくなる >Sの存在を示すには非可算選択公理が必要になる。 然り >Lが正しいことを仮定しても、やはり非可測集合Sの存在が暗に仮定されていて、 仮定されない　ZF+Lではむしろ否定される >非可算選択公理でも暗にそれが仮定されている。 仮定ではなく、ZF+ACでは定理として証明される >だから、ZF+ACとZF+Lの両方が無矛盾と主張することは、 >非可測集合Sもルベーグ可測なることが数学的に正しいと主張することになる。 ZF+ACでの非可測集合Sが、ZF+Lでルベーグ可測になることはない ZF+ACでは集合とされるSが、ZF+Lでは集合でない、ということになる >一般には非可測集合Sはルベーグ可測でない。 然り　そしてZF+LはSは集合ですらない >こ� 172 名前：ｱで、最初の主張には数学的な矛盾が生じることになる >非可測集合Sにもルベーグ測度による確率測度を入れる操作が数学的に正しいといいながら、 >Sはルベーグ可測でないといっていることになる。 矛盾しない 非可測集合SはZF+ACでは集合だが、ZF+Lではそうならない >数学的に確率を考えるには確率空間とその上で定義された確率測度が必要になる。 >確率空間は可測集合に確率測度を入れた空間だから、 >2つの命題 「ZF+ACが無矛盾」「ZF+Lが無矛盾」 が両方正しいと主張することにはムリがある。 ムリなどない 「ユークリッド幾何学が無矛盾」 「非ユークリッド幾何学が無矛盾」 が両方正しいのと同じこと [] [ここ壊れてます] 173 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 19:01:25.87 ID:mls5/+3u.net] >>149-150 ピエロくん、どうも。スレ主です。 本当に君は、ピエロだね。（＾＾ みんなを笑わせてくれるね〜 これだけ、「手取り足取り」教えてやっても、理解できないとは（＾＾ それに、からっきし、現代確率論が分かってないね（＾＾ 現代確率論については、何にも語れないんだ・・。あんた、数学科卒って、言わない方が良いと思うぜ あんた、ヒデじいと遊んで 頭悪くなっているよ〜（＾＾ 174 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 19:04:33.95 ID:mls5/+3u.net] >>151 ピエロくん、おなじくらいのレベルの人がいて、嬉しいだろう（＾＾ しっかり、遊んでもらいなよ（＾＾ 175 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 19:05:50.90 ID:bz3XB80i.net] >>151 後出しになるが、>>143を書くときは ttp://www.math.tsukuba.ac.jp/~kota/ishii.pdf も参考にした。 176 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 19:07:59.63 ID:bz3XB80i.net] それじゃ、もういい加減に寝る。 177 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 19:10:37.78 ID:mls5/+3u.net] >>150 ピエロくん、君は笑いを取る天才だな（＾＾ >「箱入り無数目」の箱の中身予想の情報はどこから得られる？ >選んだ一列の同値類の代表列だろ？ 今日の爆笑トーク。これ、金メダルだな！！（＾＾ あんた、からっきし、現代確率論が分かってないね（＾＾ こう言っても 理解できないんだろうね〜、あんたの頭では（＾＾ ”箱の中身予想の情報はどこから得られる？”って、なに妄想してんだろうね？（＾＾ まあ、小学校からやり直しかな？ それでもどうかだが・・ 178 名前：１３２人目の素数さん [2017/08/03(木) 19:24:22.87 ID:CCJ/JfvG.net] >>156 >>1は「箱入り無数目」の記事読めないのか？ 読んでも理解できないほどバカなのか？ 179 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 20:56:19.97 ID:mls5/+3u.net] >>157 ピエロくん、ご苦労 （>>150より） >「箱入り無数目」の箱の中身予想の情報はどこから得られる？ >選んだ一列の同値類の代表列だろ？ あのな、下記引用の”他の箱から情報は一切もらえないのだから”（数学セミナー）というのは、時枝一流のオオボケだよ（＾＾ 現代確率論では、箱の情報うんぬんという記述はありません！！（＾＾ 現代確率論での独立の定義は、情報うんぬんではなく、確率の積で与えられます！ うそだと思ったら、どこでもネット検索で、確率論のPDFでも落として読んでみなよ おっと、難しいのはすぐは、読めないだろうから 君には、小学生用から読むことをお勧めするよ（＾＾ （参考） 過去スレ35 rio2016.2ch.net/test/read.cgi/math/1497848835/15 (抜粋) 数学セミナー201511月号P37 時枝記事より 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. (引用終り) 180 名前：１３２人目の素数さん [2017/08/03(木) 20:57:44.26 ID:epFXzn3+.net] 「お前はスレ主と同等だ」 二人とも同じ悪口言っててわろた 181 名前：１３２人目の素数さん [2017/08/03(木) 21:00:25.06 ID:epFXzn3+.net] >>122 ＞今日も、みんなの笑いをとっておくれ（＾＾ それはお前の仕事だろｗ 182 名前：１３２人目の素数さん [2017/08/03(木) 21:14:27.75 ID:epFXzn3+.net] ＞しかし「箱入り無数目」記事では、 ＞Zornの補題も整列可能定理も出てこない ＞>>1が闇雲に掻き散らかしてるだけ 知ってる言葉をとにかく羅列したい これアホの特徴ｗ 183 名前：１３２人目の素数さん [2017/08/03(木) 21:25:17.00 ID:epFXzn3+.net] >>150 ＞どうせ数学のスの字も分かんないんだろ？ absolutely! 「数列の連結」なるトンデモ概念を提唱しちゃうところを見ると 大学一年の数学すら分かってないようです 184 名前：１３２人目の素数さん [2017/08/03(木) 21:32:25.19 ID:epFXzn3+.net] >>156 バカ丸出しｗ こいつワザと受け狙ってボケてるだろ、そうとしか考えられんｗ 185 名前：１３２人目の素数さん [2017/08/03(木) 21:33:54.64 ID:epFXzn3+.net] >>158 死ねよ馬鹿 いや、これはお前のためを思って言っている 186 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 22:20:26.98 ID:VANuhv8P.net] >>162 > >>150 > ＞どうせ数学のスの字も分かんないんだろ？ > absolutely! > 「数列の連結」なるトンデモ概念を提唱しちゃうところを見ると > 大学一年の数学すら分かってないようです いや、>>150は中学で習う定義域の概念を分かってないから>>1以下だろ >>128ほど噛み砕いた優しい� 187 名前：cッコミは滅多にないからなw [] [ここ壊れてます] 188 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 22:22:12.87 ID:mls5/+3u.net] >>162 >「数列の連結」なるトンデモ概念を提唱しちゃうところを見ると 運営乙！（＾＾ ここだけ ゼルプスト殿下(藤田博司先生)を召還しました（＾＾ 「数列の連結」なるトンデモ概念は、ゼルプスト殿下が、2016年3月20/21日に公表されています。下記PDFをご参照ください 疑問があれば、ゼルプスト殿下が説明してれま〜す（＾＾ 過去スレ36 rio2016.2ch.net/test/read.cgi/math/1499815260/652 (抜粋) 652 現代数学の系譜 古典ガロア理論を読む 2017/07/31(月) >>631 >ツイッターでは tenapyon (ゼルプスト殿下) と名乗っています。 藤田博司先生関連 kansaimath.tenasaku.com/ 「第8回関西すうがく徒のつどい」@大阪大学は、2016年3月20/21日 kansaimath.tenasaku.com/?page_id=1276 D307(小教室)　「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract] [講義資料] tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf 超限順序数と無限玉入れの勝敗 ゼルプスト殿下 (@tenapyon) 第 8 回関西すうがく徒のつどい (抜粋) P116 順序型と順序数(3) より 0, 2, 4, ・ ・ ・ , 2n, ・ ・ ・ | 1, 3, 5, ・ ・ ・ 2n+1, ・ ・ ・ の順序型は順序数ω + ω またはω * 2 0, 3, 6, ・ ・ ・ , 3n, ・ ・ ・ | 1, 4, 7, ・ ・ ・ , 3n+1, ・ ・ ・ | 2, 5, 8, ・ ・ ・ , 3n+2, ・ ・ ・ の順序型は順序数ω + ω + ω またはω * 3 これらはすべてカゴに入った可算無限個の玉をひとつずつ順に取り出す順序づけに対応している(可算順序数) (引用終り) 補足： 過去スレ27 rio2016.2ch.net/test/read.cgi/math/1483075581/481 2017/01/14 で 「第8回関西すうがく徒のつどい」紹介していたんだが そのときに、「超限順序数と無限玉入れの勝敗 ゼルプスト殿下」も見つけていたんだ これ、無限玉入れ（赤白）の数理が、例えば時枝問題の決定番号を考えるヒントになると思うんだよね〜（＾＾ 後でも使うが、参考資料として、先に投下しておくよ （”ゼルプスト殿下”＝”藤田　博司 先生”が分かったのは、>>544のおかげです（＾＾） つづく 189 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/03(木) 22:23:04.67 ID:mls5/+3u.net] >>166 つづき 過去スレ36 rio2016.2ch.net/test/read.cgi/math/1499815260/663 663 自分返信：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/08/01(火) >>652 関連 "順序数ω + ω またはω * 2","順序数ω + ω + ω またはω * 3" 下記、関連引用しておく 過去スレ23 wc2014.2ch.net/test/read.cgi/math/1411454303/39 39 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/09/18(日) 14:34:19.36 ID:9cd3XTDs [37/51] (抜粋) 区間（０，２）の間には、２つの分数列 　　区間（１，２）の分数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・ 　　区間（０，１）の分数列 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ が構成できて、それを連結した１本の数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ が構成できる この１本の数列の集合としての濃度は、可算無限 で、ヒルベルトの無限ホテル>>8でも良いし、時枝の「箱がたくさん，可算無限個ある.箱」>>2でも良いが 要するに、２列の可算無限個ある箱の列Aと列Bとを作って、列Aを区間（０，１）の分数列に、列Bを区間（１，２）の分数列にヒモ付け（全単射）する それで、>>8-11に書いたように、決定番号が有限に収まらない数列の実例が構成できる もちろん、こうして構成した（決定番号が有限に収まらない）数列の実例が、R^Nが収まらないとか言いたいのかもね（＾＾ 別にかまわん。それが、数学的に”ful 190 名前：ly rigorous”に証明できるならね だが、出来ないだろう 区間（０，２）の連結した１本の数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ の存在 自然な順序で整列したこの可算無限の数列の存在は、否定できまい この数列の存在が否定できない以上、この数列をベースした箱の列が存在し、箱に入る数でなにかある数列が構成できる。その数列による同値類分類が存在するはず（完全代表系なんだろ？） その数列の代表番号がどうなるのか？ それを考えて見ろ (引用終り) 以上 [] [ここ壊れてます] 191 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 22:30:30.30 ID:VANuhv8P.net] >>166 またR^Nとは何か？ってとこから始めにゃいかんのか こいつは孤独に泳がせとくに限る 192 名前：１３２人目の素数さん [2017/08/03(木) 22:48:00.68 ID:epFXzn3+.net] >>167 ＞それを連結した１本の数列 ＞1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・ ＞が構成できる 1/2 は第何項目？ 193 名前：１３２人目の素数さん mailto:sage [2017/08/03(木) 23:29:23.64 ID:VANuhv8P.net] ¥氏は何で>>1のデタラメ発言を泳がすんだろう？ 数学屋として黙ってられない、ってことはないのかな？ 194 名前：￥氏 mailto:sage [2017/08/03(木) 23:48:08.25 ID:qtUXVqva.net] ￥ 195 名前：１３２人目の素数さん [2017/08/04(金) 00:02:09.71 ID:shVCcwLb.net] 痴漢は語るに語れない、測り知れないものである 196 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 05:50:57.03 ID:VH9m8E47.net] >>165 無定義君＝定義域ウッカリ君 197 名前：１３２人目の素数さん [2017/08/04(金) 06:19:21.51 ID:fQUDNVlY.net] >>166 R＾NのNはωであってω＋ωでもω＋ω＋ωでもない 勝手に順序を変えるのは認められない 198 名前：１３２人目の素数さん [2017/08/04(金) 06:21:43.29 ID:fQUDNVlY.net] ＞\氏は何で>>1のデタラメ発言を泳がすんだろう？ ￥氏は自分に追従するヤツには甘いんだよ そういうところ￥の父親そっくり　ある意味鬼畜親子ｗ 199 名前：￥氏 mailto:sage [2017/08/04(金) 07:13:23.54 ID:u5H9jwGc.net] ￥ 200 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 07:14:58.88 ID:VH9m8E47.net] >>176 喋ればいいじゃん あなたの話題なんだから 201 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 07:17:39.56 ID:VH9m8E47.net] >>175 親父の話題は興味ないな 知性はホンモノなんだから発揮してくれりゃいいのに せっかくここにいるんだから 202 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 07:54:57.16 ID:z3RQVy2+.net] >>144 戻る >博士論文「代数的場の量子論におけるエンタングルメント・エントロピー」 参考 https://arxiv.org/abs/1701.01186 Towards entanglement entropy with UV cutoff in conformal nets Yul Otani, Yoh Tanimoto (Submitted on 5 Jan 2017) https://arxiv.org/pdf/1701.01186.pdf Towards entanglement entropy with UV cutoff in conformal nets Yul Otani 著 2017/01/05 (抜粋) This work has been carried out as a part of the Ph.D. project of the author (Y.O.) [Ota17]. [Ota17] Y. Otani, Entanglement Entropy in Algebraic Quantum Field Theory, Ph.D. Thesis (2017), The University of Tokyo. (引用終り) 203 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 07:56:07.70 ID:z3RQVy2+.net] >>166-171 えーと、まず訂正：>>166 召還→召喚 あと、ゼルプスト殿下(藤田博司先生)の「超限順序数と無限玉入れの勝敗」PDFは、下記からでも。 tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf なお、ブラウザ系で開くなら問題ないが、うちのAdobe系で開くと後半のページが開けない。バグがあるみたいだな（＾＾ さて、ゼルプスト殿下(藤田博司先生)の説に従えば、時枝の問題設定は不完全だと 可算無限個の箱の数列について、順序数ωに制限しないといけない。つまり、順序数ω + ω またはω * 2や、順序数ω + ω + ω またはω * 3などは排除すべし。 これを、問題の仮定（設定）に加えるべし！だ（＾＾ つづく 204 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 07:56:47.11 ID:z3RQVy2+.net] >>180 つづき しかし、順序数ωを問題の仮定に加えると、可算無限個の箱の数列の長さに、順序数ω� 205 名前：ｪ入ってくることになる つまり、この瞬間に、可算無限長さの箱の数列に先頭から連番を振るとき、1,2,3,・・・,n,・・・で、任意のｎは有限だが、長さはω（最小の可算無限長）だと これは、もともと、自然数Nがアレフ０だから、当然とも言える で、決定番号の集合をKとでもすると、K＝{1,2,3,・・・,n,・・・}だから、集合Kにも全く同じことが言える つづく [] [ここ壊れてます] 206 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 07:57:34.42 ID:z3RQVy2+.net] >>181 つづき だから、元の時枝記事のような不完全な問題設定（順序数ωの規定がない）ままの思考で （>>129より） ”「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” なんてさ、おまえ何言っているんだ！と（＾＾ 以上 207 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 08:10:43.97 ID:z3RQVy2+.net] >>182 追加 細かいが 過去スレ36 rio2016.2ch.net/test/read.cgi/math/1499815260/630 より Hartの記事の記事 www.ma.huji.ac.il/hart/puzzle/choice.pdf? では、 問題設定で ”with indices n mod k (thus ykm = xk+(m?1)K),” と合同式（ mod （本文中では記号だが文字化けの懸念があるので書き直した））を使っている 対して、時枝記事には、箱の並べ替えに”with indices n ≡ k ”のような規定がない この面からも問題設定が不完全だ （箱の並べ替えの自由度が大きすぎる） なので、なおさら、おまえ何言っているんだ！！と（＾＾ 追記 文字化けお試し、 合同：≡ 208 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 08:12:01.30 ID:z3RQVy2+.net] おお、合同：≡はいけるか だが、マイナス −が、PDFからのコピペで、機種依存文字だったようだな（＾＾ 209 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 08:20:39.76 ID:z3RQVy2+.net] >>175 余談で他意はないが >￥氏は自分に追従するヤツには甘いんだよ 多分違うな 端的に言えば、おれも知らなかったが、自分（私）が興味を持って歩んできた道と、￥さんのそれとが、結構近い面がある レベルは、大分￥さんが大分上だがね それから、付け焼き刃で追随しようとしても、おそらく見抜かれるだろうさ かつ、「ダメなものはだめ」という主義だから、そう思ったらそう言っているだろう ただ、この論争（時枝記事）は、直接介入しないと言っているから、それかも知れないがね でも、過去のつぶやきを見れば、ある程度どう考えているかは分かる人もいるだろう（＾＾ 210 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 08:26:48.53 ID:z3RQVy2+.net] >>165 ID:VANuhv8Pさん、どうも。スレ主です。 そっちは、中学生に、定義域の概念を教えてやってくれ こっちは、小学生に、選択公理と、確率の独立の定義と、ついでに対偶を、手取り足取り教えてやる だがしかし、見ていると、確率空間の定義は、こいつには無理だろう。確率空間の定義は、高校レベルだからな（＾＾ 211 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 10:52:20.84 ID:6AySlZX0.net] https://www.youtube.com/watch?v=7y5w4GN1Rtw 工学バ〜カ　工学バ〜カ　いっぽんぽん♪ 212 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 11:19:01.92 ID:pWSDRfyV.net] >>186 > こっちは、小学生に、選択公理と、確率の独立の定義と、ついでに対偶を、手取り足取り教えてやる やめておけ 213 名前：１３２人目の素数さん mailto:age [2017/08/04(金) 12:58:34.71 ID:UWct7j1Y.net] >>183 こいつmodと記号≡の使い方間違ってらw 晒し上げときます > ”with indices n mod k (thus ykm = xk+(m?1)K),” > と合同式（ mod （本文中では記号だが文字化けの懸念があるので書き直した））を使っている 214 名前：１３２人目の素数さん mailto:age [2017/08/04(金) 13:00:19.44 ID:UWct7j1Y.net] >>183 >>1は合同式すら分かってないことが判明w ダセーやつは帰れ 215 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 14:18:55.28 ID:FqeaiCvV.net] >>189-190 ピエロくん、訂正ご苦労 で、今日も、みなの笑いを取っておくれ（＾＾ お得意の自分の言い訳はどうした？ 測度ネタは、どうしたんだ？（＾＾ 216 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 14:25:46.42 ID:FqeaiCvV.net] >>189-190 ご指摘ご苦労さん（＾＾ そこは、>>183で、もともとPDFからのコピペだったのだが、記号”≡”が文字化けしそうだったので、modに変えてみただけでね それは、本来、もとのPDFを見てらうための参考でしかないのだよ 自分で訂正しておくよ 正：”with indices n ≡ k (thus ykm = xk+(m-1)K),” 補足： まあ、”ykm”なども、元のPDFでは、上下両方の添え字付き変数だから、これだけ見ても、よくわからんだろうね（＾＾ 217 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 14:28:14.72 ID:MQDFAy0t.net] ジャスティン・ビーバーのバックダンサーをしてる女性Delaney Glazerの動画 2番目のグループの真ん中の女性がDelaney Glazer David Guetta ft Nicki Minaj - Light My Body Up - Choreography by Jojo Gomez | #TMillyTV https://www.y◆■outube.com/w◆■atch?v=d◆■BJauw90cCI 2番目のグループの左の帽子をかぶった女性がDelaney Glazer Missy Elliott - I'm Better ft Lamb - Willdabeast Adams Choreography @MissyElliott @TimMilgram https://www.y◆■outube.com/w◆■atch?v=R◆■SZiutoGnJM 'Far East Movement - Freal Luv #FrealLuv' - Choreography by @nikakljun https://www.y◆■outube.com/w◆■atch?v=8◆■vsPFhrSq5M CJ Salvador Choreography Master Class 2016 Xtreme Dance Center / Xtreme Dance Force https://www.y◆■outube.com/w◆■atch?v=Q◆■gqy704Jx2o Black Fever - Alexander Chung Choreography - Jordan Bratton https://www.y◆■outube.com/w◆■atch?v=D◆■UnBMIOT_Zk Justin Bieber - What Do You Mean? - Choreography by @NikaKljun & @SonnyFp - Filmed by @TimMilgram https://www.y◆■outube.com/w◆■atch?v=x◆■0n6BCmTv7A Beyonce - Freakum Dress - Yanis Marshall & Aisha Francis - Filmed by @TimMilgram at @DanceMillennium https://www.y◆■outube.com/w◆■atch?v=-G◆■qagkeBWL0 Dawin ft Silento - Dessert - @_TriciaMiranda Choreography | Filmed by @TimMilgram #DessertDance https://www.y◆■outube.com/w◆■atch?v=o◆■e6ACKMyF7I Chris Porter ft Pitbull - The Water Dance | Choreography by @_TriciaMiranda - Filmed by @TimMilgram https://www.y◆■outube.com/w◆■atch?v=4◆■TnUePIxP8I Kid Ink Ft. @ChrisBrownOfficial - Hotel @KidInkBatGang @JoshLildeweyWilliams https://www.y◆■outube.com/w◆■atch?v=Ib◆■ZFXeRT8WQ F*** The Summer Up - Leikeli - Choreography by @_TriciaMiranda | Filmed by @TimMilgram https://www.y◆■outube.com/w◆■atch?v=k◆■IshlpqpG3s Omarion - Work (Josh Williams choreography) @1Omarion @JoshLildeweyWilliams https://www.y◆■outube.com/w◆■atch?v=1◆■cuRiJOGRdE JEREMIH - Raindrops | Mikey DellaVella & Josh Williams Choreography https://www.y◆■outube.com/w◆■atch?v=X-B◆■u5M0hC-E Nicki Minaj - Trini Dem Girls - Choreography by Tricia Miranda - (ft Aidan Prince) @timmilgram https://www.y◆■outube.com/w◆■atch?v=q◆■JaTxaulAMo 2AM - Adrian Marcel | WilldaBeast Adams | @willdabeast__ filmed by @timmilgram #ImmaBeast https://www.y◆■outube.com/w◆■atch?v=A◆■bkRvxju1tY @MeekMill - They Don't Love You No More | Willdabeast Adams Choreography #freemeekmill https://www.y◆■outube.com/w◆■atch?v=hP◆■mGpwXzyH0 218 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 15: ] [ここ壊れてます] 219 名前：08:00.62 ID:FqeaiCvV.net mailto: 運営おつ [] [ここ壊れてます] 220 名前：１３２人目の素数さん mailto:age [2017/08/04(金) 16:14:50.33 ID:CdyJWRkm.net] >>192 そんな言い訳通るかバカw n≡kをn mod kにしたら意味がまるっきり変わっちまうんだから お前のコピペは害しかないからやめろカス 221 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 18:50:58.38 ID:fQUDNVlY.net] >>186 ＞小学生に、選択公理と、確率の独立の定義と、ついでに対偶を、手取り足取り教えてやる >>1自身が理解できないことを他人に教えられるわけがないだろう １つの無限数列の中のある項を選ぶ 選んだ項から先の項が全部わかれば 非可算選択公理によって 「箱入り無数目」の同値類の代表列がとれる で、代表列と元の無限数列との比較により 一致箇所の先頭項の位置を示す決定番号が定まる 決定番号の項が、選んだ項より前なら、 選んだ項の手前にある項で予測可能なものがある 逆に予測不可能ってことは 「決定番号の項が、選んだ項より必ず先になる」か 「そもそも同値類の代表列がとれない」か のいずれかだと、対偶の法則からわかる で、測度論に固執したって 「「箱入り無数目」の戦略によって、ある項を選んでも 　決定番号の項が、選んだ項より先になる確率が計算できない」 っていうだけで 「決定番号の項が、選んだ項より先になる確率が１」 とはいえないのだから >>1のいう「絶対に予測不可能」を実現するには 「そもそも同値類の代表列がとれない」というしかない つまり、非可算選択公理が成り立たないというしかない いっとくけど、確率の独立の定義に「予測できない」とかいうのはないぞ 単に事象P＆Qの確率が事象Pの確率と事象Qの確率の積になるってだけのこと 222 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 19:17:59.52 ID:z3RQVy2+.net] >>195 運営おつ（＾＾ 223 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 19:19:25.45 ID:z3RQVy2+.net] >>196 ピエロくん、今日のお笑い出演、ご苦労（＾＾ でもね、尊敬しているんだ ぐだぐだ、訳分からん言い訳を書く能力はすごいと そこらは、あんたの取り巻きには無いね あんたの取り巻きは、からっきし書けないからね とにかく何か、デタラメでもなんでも、数学っぽく書いて来るって根性がすごい（＾＾ まるで中国人なみだね。日本人ってのは、小利口に黙り込んでしまうんだ、こういう場合。ただ、沈黙するだけが日本人の多数らしいね・・（＾＾ >で、測度論に固執したって 測度論は、 ID:fQUDNVlYさんたち（おそらく 旧High level peopleと思うが）と論争してくれれば良い だけど、ID:fQUDNVlYさんたちも苦労するだろうな・・、確率空間の定義は、高校レベルだからな〜（＾＾ ああ、書き込み内容のレベルが上がったね ”いっとくけど、確率の独立の定義に「予測できない」とかいうのはないぞ 単に事象P＆Qの確率が事象Pの確率と事象Qの確率の積になるってだけのこと”か うんうん、それだよ。で、「事象P＆Qの確率が事象Pの確率と事象Qの確率の積」は、定理ではなく”定義”だということも、しっかり読んでおいてくれ（＾＾ 224 名前：１３２人目の素数さん mailto:age [2017/08/04(金) 19:24:01.12 ID:UWct7j1Y.net] 煽りonlyの>>1を相手にするのは時間の無駄 無視でok 225 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 19:32:20.18 ID:fQUDNVlY.net] >>198 私は>>1を軽蔑している 人間としての理性が完全に欠如しているから 理系とか文系とかいう以前 こいつでも入れる大学があるとは信じがたいが 世の中には名前さえ書ければ入れる大学がある という話もあるからそういうところなら入れるんだろう 226 名前：１３２人目の素数さん [2017/08/04(金) 19:36:28.07 ID:fQUDNVlY.net] >>199 >>1はアルツハイマーだろ >>196＝ID:fQUDNVlYに対して ＞ID:fQUDNVlYさんたちと論争してくれれば良い とか書いてるんだから 誰が誰だか分かってない >>1は耄碌爺だなｗｗｗ 227 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 19:39:14.01 ID:UWct7j1Y.net] >>200-201 君も自分のミスはきちんと認めた方が良い 228 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 19:44:23.67 ID:z3RQVy2+.net] >>196 どうも。スレ主です。 いま、改めて、君のぐしゃぐしゃを読むと・・ レベル上がっているね（＾＾ 良いこと書いてあるね〜 結論だけ間違っているが・・（＾＾ 後でコメントするよ（＾＾ 229 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 19:52:41.29 ID:z3RQVy2+.net] >>201 ID:fQUDNVlYさん、どうも。スレ主です。 そうか、おれが、君の笑いを取ってしまったか 230 名前：？　それは失礼したね（＾＾ >>198 訂正 測度論は、 ID:fQUDNVlYさんたち（おそらく 旧High level peopleと思うが）と論争してくれれば良い だけど、ID:fQUDNVlYさんたちも苦労するだろうな・・、確率空間の定義は、高校レベルだからな〜（＾＾ 　↓ 測度論は、 ID:VANuhv8P さんたち（おそらく 旧High level peopleと思うが）と論争してくれれば良い だけど、 ID:VANuhv8P さんたちも苦労するだろうな・・、確率空間の定義は、高校レベルだからな〜（＾＾ 追記 これでどうだ ID:VANuhv8P さんは、昨日のIDだが 今日は、旧High level peopleと判断できるカキコがない（＾＾ まあ、コテ付けてくれればいいんだがね、＄とかどうだろう？ [] [ここ壊れてます] 231 名前：１３２人目の素数さん [2017/08/04(金) 22:43:16.65 ID:1ZIxzuCd.net] 数列を構成できると高らかに謳っておきながら、何故か>>169をスルーする稀代のアホ 232 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 22:59:52.08 ID:z3RQVy2+.net] >>196 どうも。スレ主です。 ちょっとレベルが上がったじゃないか！ １列で考えるというのは、良いね！（＾＾ で、過去スレ35 rio2016.2ch.net/test/read.cgi/math/1497848835/141 でも同じことを書きました が、再度書きましょう 話をモデル化しよう １．時枝同様に、箱に数を入れた数列があって、しっぽの同値類から代表を決めておく 　　まず、有限の箱の数列で考えよう＊） 　　数列S=(s1,s2,・・・,sm,sm+1,・・・,sn) としておく（つまり、箱の数がn個。1<m<n である） 　　しっぽは、m+1以降の箱、即ち、”sm+1,・・・,sn”として、同値類から代表を決めておく ２．箱に1〜PのP個の数をランダムに入れるとする。（P面サイコロか、P面ルーレットなどを使う） ３．場合の数を計算しておくと、重複順列だから、 　　全体はP^n通り、(s1,s2,・・・,sm)がP^m通り、（sm+1,・・・,sn)がP^(n-m)通りなどとなる ４．箱の数列のしっぽ（”sm+1,・・・,sn”）を開けて、問題の数列の属する同値類を決める ５．ここで、代表にはなんの制約条件もないから、「代表は同値類の元ならどれでも良い」ことを注意しておく ６．m番目の箱smに、ある数p∈{1,2,・・・,P}が入っていたとする ７．もし、代表のm番目の箱の数がpと一致すれば、決定番号dは、d<=mとなる。この確率は1/P ８．もし、代表のm番目の箱の数がpと不一致なら、決定番号dは、d =mとなる。この確率は(P-1)/P ９．よって、しっぽの同値類から代表を使う的中確率は、1/P。これは、現代確率論と一致する！！ なお、この話は、ステップ６の一部予定だったが、>>196に対するコメントとして、良い機会だと思い書いた （＊）無限の話はステップ６で） （因みに、ステップ５は現代確率論による可算無限の独立を論じる予定だ） つづく 233 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 23:00:50.96 ID:z3RQVy2+.net] >>206 つづき >いっとくけど、確率の独立の定義に「予測できない」とかいうのはないぞ >単に事象P＆Qの確率が事象Pの確率と事象Qの確率の積になるってだけのこと ほぼ、その通り！ 但し、下記 P面サイコロか、P面ルーレットで、確率は1/P 面数を増やして、P→∞で、1/P→0。これは当たらない（「予測できない」）ってこと。これは、「箱に任意の実数r∈Rを入れる」に相当するよ 追伸 １．「そもそも同値類の代表列がとれない」→Ｘ（外れ）。そんなことに成るわけないだろ！ ２．「いずれかだと、対偶の法則からわかる」→Ｘ（外れ）。上記の通り！ 234 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 23:13:29.03 ID:z3RQVy2+.net] >>205 数列を構成できるは、>>166 ゼルプスト殿下(藤田博司先生)のＰＤＦテキスト P116 順序型と順序数(3) より 0, 2, 4, ・ ・ ・ , 2n, ・ ・ ・ | 1, 3, 5, ・ ・ ・ 2n+1, ・ ・ ・ の順序型は順序数ω + ω またはω * 2 0, 3, 6, ・ ・ ・ , 3n, ・ ・ ・ | 1, 4, 7, ・ ・ ・ , 3n+1, ・ ・ ・ | 2, 5, 8, ・ ・ ・ , 3n+2, ・ ・ ・ の順序型は順序数ω + ω + ω またはω * 3 と同じだよ >何故か>>169をスルーする稀代のアホ そういう難しいこと、おれに聞くな！ ゼルプスト殿下(藤田博司先生)に聞いておくれ〜（＾＾ 上記のω + ωで奇数１に相当するところだろ？ おれが言えるのはそれだけだな〜（＾＾ まあ、それ時枝記事に「ω限定」を入れれば関係無いしね（>>180を嫁）（＾＾ 但し、「ω限定」を入れない場合は、混乱するよね 例えば、ゼルプスト殿下の無限玉入れに書いてあるように、勝敗が入れ替わるとか 235 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/04(金) 23:19:42.95 ID:z3RQVy2+.net] >>206 訂正 ８．もし、代表のm番目の箱の数がpと不一致なら、決定番号dは、d =mとなる。この確率は(P-1)/P 　↓ ８．もし、代表のm番目の箱の数がpと不一致なら、決定番号dは、d =m+1となる。この確率は(P-1)/P ぼけとるな〜（＾＾ 236 名前：１３２人目の素数さん mailto:sage [2017/08/04(金) 23:26:10.00 ID:UWct7j1Y.net] 現代数学の系譜 古典ガロア理論を読む はNG推奨 237 名前：１３２人目の素数さん [2017/08/04(金) 23:37:55.48 ID:1ZIxzuCd.net] >>208 ＞>何故か>>169をスルーする稀代のアホ ＞そういう難しいこと、おれに聞くな！ ＞ゼルプスト殿下(藤田博司先生)に聞いておくれ〜（＾＾ 「数列を構成できる」と言ったのはお前なんだが 自身では何も理解せずに「 238 名前：〇〇さんが△△と言ったから」という理由だけで言った ということか？ 馬鹿につける薬無し　だね [] [ここ壊れてます] 239 名前：１３２人目の素数さん mailto:sage [2017/08/05(土) 00:37:58.22 ID:EVRGbN2o.net] ねえなんで>>1を相手にすんの？ こいつはスレを伸ばしたいだけ 馬鹿や揚げ足取りで絡まれたいだけだろ >>1は荒らし コイツに構う奴も荒らし 240 名前：￥氏 mailto:sage [2017/08/05(土) 07:10:06.16 ID:XW+X8arG.net] ￥ 241 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 07:59:58.90 ID:l12SYStr.net] >>210-212 どうも。スレ主です。 運営おつ 全く同意見だな NG推奨！ つまらんレス付けるな！ スレ方針は、>>4-9 ！ 東京タワー 〜オカンとボクと、時々、オトン〜 - Wikipedia おっちゃんよりレベルの低い人と議論するつもりはないんだよ〜（＾＾ >>211-212 って、何言いたいの？　>>208のω + ωで奇数１に相当するところが、第何項目？ で、答えられないと、→構成が否定されるという論法？　最近の数学も進歩したね〜（＾＾ 数えられないものは構成できないか？ じゃ、指折ってかぞえなよ（＾＾ つまらん、レスつけるな 242 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 08:28:05.38 ID:l12SYStr.net] >>204 言い訳補足 (抜粋) ”>>174 返信：１３２人目の素数さん[] 投稿日：2017/08/04(金) 06:19:21.51 ID:fQUDNVlY R＾NのNはωであってω＋ωでもω＋ω＋ωでもない 勝手に順序を変えるのは認められない” (引用終り) って、ほぼ全く同じこと、ほぼ1年前に>>167に引用したことを書いたときに、当時のHigh level people>>2 が言っていたことなんだ で、てっきり、174さんは、High level peopleだと思い込んでいたんだ しかし、誤解していたが、>>180-182の 「順序数ωに制限しないといけない。つまり、順序数ω + ω またはω * 2や、順序数ω + ω + ω またはω * 3などは排除すべし。 これを、問題の仮定（設定）に加えるべし！」 「だから、元の時枝記事のような不完全な問題設定（順序数ωの規定がない）ままの思考で・・」 は、的確に相手を捉えたパンチになっていたってことか？？（＾＾ 243 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 08:50:50.31 ID:l12SYStr.net] >>206 補足 再度、＜ステップ２＞を掲載しておこう 過去スレ36 rio2016.2ch.net/test/read.cgi/math/1499815260/458-461 (抜粋) 458 現代数学の系譜 古典ガロア理論を読む 20170726 ＜ステップ２＞「現代数学 ZFC下で、一見異なる結論が導かれることがある」 例えば、下記公式 ”1+2+3+4+・・・ =?1/12”（これ、黒川 信重 先生が、あちこちで紹介しているね （ 参考 黒川 信重 https://ja.wikipedia.org/wiki/%E9%BB%92%E5%B7%9D%E4%BF%A1%E9%87%8D ）） なにが言いたいかと言えば、「級数 1+2+3+4+・・・は、発散する」。だが、「”=?1/12”という解釈も可能」だと しかし、 ”1+2+3+4+・・・ =?1/12”の成り立つ背景には、ゼータ関数の解析接続だとか、なんだとか、それなりに理屈があるんだよな（理屈がなければ数学じゃない（＾＾） 「級数 1+2+3+4+・・・は、発散する」というのは、数学的に覆しようがない事実だ。その証明に選択公理が必要とは思わない。が、明らかにZFCとも矛盾しない ”1+2+3+4+・・・ =?1/12”のゼータ関数の解析接続による証明に、選択公理が必要かどうか知らない。が、明らかにZFCとも矛盾しない これと、同じように、時枝記事の解法とは別に、現代確率論内でも、しっかり”独立な確率変数の無限族”を扱えるのだから（例えば、下記「確率論メモ　数理ファイナンスの世界にようこそ」など ）、そっちをしっかり見ておく必要があるよと そして、上記のような「一見異なる結論（計算結果）が導かれる」とき、それを数学としてしっかり考えないといけない。しっかり考えると言っても、疑うべきは、まずは”時枝記事”の方だな（＾＾ 「一見異なる結論が導かれる」とき、公式 ”1+2+3+4+・・・ =?1/12”のように両立するときは少ないだろう。もちろん、両者成立の可能性はゼロではないがね（＜類似例＞発散級数 後述 ）（＾＾ mathfin.web.fc2.com/prob/imi_prob00.html 確率論メモ　目次 ※※※　数理ファイナンスの世界にようこそ　※※※ mathfin.web.fc2.com/prob/imi_prob03.html 標本空間２　※※※　数理ファイナンスの世界にようこそ　※※※ https://ja.wikipedia.org/wiki/1%2B2%2B3%2B4%2B%E2%80%A6 1+2+3+4+・・・ =?1/12 つづく (引用終り) つづく 244 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 08:51:44.78 ID:l12SYStr.net] >>216 つづき 過去スレ36 rio2016.2ch.net/test/read.cgi/math/1499815260/642-644 (抜粋) 642 自分返信：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/07/31(月) >>523 追加 ＜ステップ２（追加）＞ （選択公理に懸かる現代確率論の基礎 ボレル集合の濃度について） 逃げ道を塞いでおきたいので、下記。（つまり、「現代確率論はフルパワー選択公理を必要とする！」） ボレル集合、” 上記の超限帰納法による構成において、その各段階で得られた集合の数は、高々連続体濃度の冪であることが示せる”などとあるので、おそらく選択公理は可算レベルでは足りず、連続体濃度の冪までを扱うパワーを必要とするよと。 （なお、後述のように、誤記があるのでご注意） https://ja.wikipedia.org/wiki/%E3%83%9C%E3%83%AC%E3%83%AB%E9%9B%86%E5%90%88 ボレル集合 (抜粋) 位相空間 X に対し、X 上のボレル集合全体の成す族（ボレル集合族）は完全加法族（σ-集合体）を成し、ボレル集合体 (Borel algebra) あるいはボレル完全加法族 (Borel σ-algebra) と呼ばれる。X 上のボレル集合体は、全ての開集合を含む最小の完全加法族である（全ての閉集合を含む最小の完全加法族でもある）。 ボレル集合は測度論において重要である。これは空間内の任意の開集合（あるいは閉集合）上で定義された測度が、任意のボレル集合上で定義された測度を定めることによる。任意のボレル集合に対して定義される測度はボレル測度と呼ばれる。ボレル集合およびそれに付随するボレル階層は、記述集合論においても基本的な役割を果たす。 ボレル集合族の生成 「ボレル集合族は最小の非可算順序数 ω1 に対する G^ω1 に他ならない」ことである。 つづく (引用終り) 以上 245 名前：１３２人目の素数さん [2017/08/05(土) 09:18:53.96 ID:fzTi57IH.net] >>217 ＞現代確率論はフルパワー選択公理を必要とする！ アホの>>1、 「ZF＋”実数上の全ての集合はルベーグ可測”　は無矛盾」 というソロヴェイの結果を全面否定ｗｗｗｗｗｗｗ 246 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 09:19:38.05 ID:l12SYStr.net] >>217 補足 なんで、選択公理の話を延々としているか？ それは、＜ステップ２＞＆＜ステップ２（追加）＞と関係しているわけだ で、>>129 より引用 （引用開始） （命題A） 選択公理を使って 無限列から決定番号への非可測関数を構築すれば 「箱入り無数目」解法による予測は避けられないよ （命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる (引用終り) おれは、”現代数学の大部分と同じ ZFCの立場を取るよ”と、＜ステップ２＞で宣言した。つまり、選択公理を採用しますと。 それによって、現代数学のライブラリーに入っている成果を自由に使える。その中に、現代確率論もありますよと。現代確率論では時枝は不成立だと。 そこ（次のステップなど）へ行く前に、上記>>129を引用したんだ。おふざけでしょ？ その冗談、ならわらえねーな。もし笑い出したら、止まらないから まあ、しかし、＜ステップ２＞でオオボケが露呈するとは予想外だった 時間が掛かるが、徹底的にやっておかないと、先に進んでも仕方ない ＜ステップ５＞で、「現代確率論では時枝は不成立だ」と証明したとき 多分心理的抵抗と拒絶反応が強すぎて、発狂して暴れ回ることが予想されるから ＜ステップ２＞でのオオボケは、上記に加えて、”中学で習う定義域の概念を分かってない”>>165という付録も露呈した だったらさ、確率空間の定義は、無理だろうよ。確率空間の定義は、高校レベルだからな（＾＾ まず、”中学で習う定義域の概念”ってやつをしっかり教えて貰え 247 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 09:20:26.79 ID:l12SYStr.net] >>218 運営おつ 248 名前：１３２人目の素数さん [2017/08/05(土) 09:22:14.90 ID:fzTi57IH.net] >>215 ＞元の記事のような不完全な問題設定（順序数ωの規定がない） >>1、バカ� 249 名前：ﾛ出しｗｗｗ Nはω、知らん>>1一匹がidiot ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [] [ここ壊れてます] 250 名前：現代数学の系譜 古典ガロア理論を読む mailto:sage [2017/08/05(土) 09:24:30.94 ID:l12SYStr.net] >>218 論争が面倒なので、訂正しておくよ >>217 訂正 現代確率論はフルパワー選択公理を必要とする！ 　↓ 現代確率論はフルパワー選択公理を採用している！ 補足 ソロヴェイの結果を全面採用しているテキストがあったら、示してくれ（＾＾ 251 名前：１３２人目の素数さん [2017/08/05(土) 09:24:36.80 ID:fzTi57IH.net] >>219 ＞おれは、”現代数学の大部分と同じ ZFCの立場を取るよ”と、＜ステップ２＞で宣言した。 ＞つまり、選択公理を採用しますと。 その瞬間、同値類の代表列の情報による 「箱入り無数目」による予測が可能となり >>1は木端微塵に自爆ｗｗｗｗｗｗｗ 252 名前：１３２人目の素数さん mailto:sage [2017/08/05(土) 09:25:14.78 ID:EVRGbN2o.net] >>200 > >>198 > 私は>>1を軽蔑している > 人間としての理性が完全に欠如しているから > 理系とか文系とかいう以前 NG設定してから番茶でも飲んで落ち着け >>1に絡む必要なんてまったく無い ストレスたまるだけでお前に得はない >>1は誰も相手にされない世界に旅立ちましたｗ 合掌 ---- 214 名前：あぼ〜ん[NGName:現代数学の系譜 古典ガロア理論を読む] 投稿日：あぼ〜ん 215 名前：あぼ〜ん[NGName:現代数学の系譜 古典ガロア理論を読む] 投稿日：あぼ〜ん 216 名前：あぼ〜ん[NGName:現代数学の系譜 古典ガロア理論を読む] 投稿日：あぼ〜ん 217 名前：あぼ〜ん[NGName:現代数学の系譜 古典ガロア理論を読む] 投稿日：あぼ〜ん ---- おっちゃんはご愛嬌で許してやろうぜｗ \は読み物として面白いからNG設定非推奨

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef