1 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 10:45:05.23 ID:JTc4r8fR.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/grzt9u2b/e/ 331 名前：１３２人目の素数さん [2018/12/23(日) 13:13:17.13 ID:5WsJj6Ky.net] >>281 ＞なりすましの可能性があるからねー 数学的問いに中傷でレスすることを言っている 数学的問いになりすましも糞も無い 332 名前：１３２人目の素数さん [2018/12/23(日) 13:18:50.93 ID:5WsJj6Ky.net] ＞スレ主は自分に反抗しているのは ＞「たった一人」だと思いたがってるが それもスレ主の特徴の一つ 何度別の人物と決めつけられたことか 333 名前：学術 [2018/12/23(日) 13:24:07.59 ID:MYOL05HO.net] 数学は基礎だから総量が多く伸びない傾向があってそん。城色なし切りや編集 社会革命を通してから、真価が問われるといいね。 334 名前：１３２人目の素数さん [2018/12/23(日) 14:24:28.74 ID:5WsJj6Ky.net] >>292の教訓 数学が分かってない者がいくら英語版２ちゃんねるを検索したところで、 やはり間違った結論にしか到達しない 335 名前：１３２人目の素数さん [2018/12/23(日) 14:41:23.11 ID:GSj6WBmY.net] >>303 そりゃそうだろ 自分が正しいと思い込んでる●違い野郎が 自分を正当化する情報を検索してるだけだから 336 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 15:45:27.54 ID:ehyeszXx.net] おっちゃんです。 >>252-253 スレ主は古代からユークリッド幾何における平行線の公理を 1.：ユークリッド平面 R^2 上において、任意の相異なる R^2 上の2点を直線で結べる、 2.：ユークリッド平面 R^2 上において、任意の 線分は両側に延長して直線を構成出来る、 3.：ユークリッド平面 R^2 上の任意の1点Aに対して、Aを中心にして任意の半径の円を描ける、 4.：ユークリッド平面 R^2 上において、任意の直角は等しい（直観的に見える概念である角度の定義は厄介になる）、 という4つの公理から平行線の公理を証明しようとした試みの中から、双曲幾何が生まれたことを知らんのか。 双曲幾何では、平行線の公理は 平面C上において、任意のC上の直線L上にはない1点を通るLの平行線が無限本存在する というような形で述べられる。尚、射影幾何からリーマン幾何が生まれた訳ではない。 337 名前：１３２人目の素数さん [2018/12/23(日) 15:53:43.27 ID:GSj6WBmY.net] >>253 ルジャンドルが４公理から 「三角形の内角の和はたかだか二直角」 を証明したから、スレ主のいう球面幾何は 厳密にいえはいわゆる非ユークリッド幾何 とは異なる （具体的には公理2を満たさない 　球面幾何の「直線」は大円だから） 338 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 16:50:31.66 ID:ehyeszXx.net] >>254 >可算無限長数列のシッポの同値類と代表、決定番号 >これが、時枝記事のキモでしょう？（＾＾ 選択公理を公理として認めるか否かということに集約される。 選択公理を認めて数学の議論をしても、選択公理を認めずにその議論をしても、何ら矛盾は起きない。 ただ、後者のように選択公理を認めないと、構築される数学の幅がかなり狭くなる。 なので、通常は選択公理を公理として認めて議論する。 339 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 16:58:04.87 ID:ehyeszXx.net] >>254 選択公理を否定するということは、どれと同値なZornの補題を否定することと同じで、 解析だけでなく代数や幾何も否定しているということになる。 時枝記事の(古典的な)確率の議論の部分では、選択公理は使っていない。 普通に高校までにやり方で確率を計算するだけ。 それじゃ、おっちゃんもう寝る。 340 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 17:05:23.87 ID:ehyeszXx.net] >>254 >>308の一番下の行の訂正： 高校までにやり方で確率 → 高校までのやり方で確率 つまり、時枝記事の確率の議論に限っていえば、 そこは選択公理を認めるか否かに関係なく、何れにしろ正しい。 341 名前：１３２人目の素数さん mailto:sage [2018/12/23(日) 17:06:47.05 ID:ehyeszXx.net] それじゃ、おっちゃんもう寝る。 342 名前：１３２人目の素数さん [2018/12/23(日) 17:17:40.44 ID:5WsJj6Ky.net] 時枝問題では おっちゃん≠誤答おじさん スレ主＝サイコパスピエロ 343 名前：１３２人目の素数さん [2018/12/23(日) 17:37:25.96 ID:WKNHtnXv.net] ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは?? https://logtube.jp/variety/28439 【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？ https://nicotubers.com/yutuber/hikakin-nensyu-gessyu/ HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のりは？ https://youtuberhyouron.com/hikakinnensyu/ ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！ https://mitarashi-highland.com/blog/fun/hikakin なぜか観てしまう！！サバイバル系youtuberまとめ tokyohitori.hatenablog.com/entry/2016/10/01/102830 あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！ naototube.com/2017/08/14/for-new-youtubers/ 27歳で年収8億円　女性ユーチューバー「リリー・シン」の生き方 https://headlines.yahoo.co.jp/article?a=20170802-00017174-forbes-bus_all 1年で何十億円 344 名前：も稼ぐ高収入ユーチューバー世界ランキングトップ10 https://gigazine.net/news/20151016-highest-paid-youtuber-2015/ おもちゃのレビューで年間12億円！ 今、話題のYouTuberは6歳の男の子 https://www.businessinsider.jp/post-108355 彼女はいかにして750万人のファンがいるYouTubeスターとなったのか？ https://www.businessinsider.jp/post-242 1億円稼ぐ9歳のYouTuberがすごすぎる……アメリカで話題のEvanTubeHD https://weekly.ascii.jp/elem/000/000/305/305548/ 世界で最も稼ぐユーチューバー、2連覇の首位は年収17億円 https://forbesjapan.com/articles/detail/14474 年収25億円の7歳児、世界で最も稼ぐユーチューバーに http://mevius.5ch.net/test/read.cgi/illustrator/1543884071/l50 [] [ここ壊れてます] 345 名前：１３２人目の素数さん [2018/12/23(日) 18:12:10.31 ID:GSj6WBmY.net] >>307-309 時枝記事の場合、選択公理を認めないと 同値類の代表元がとれないので、 その後の確率計算が意味を持たなくなる だからスレ主に再三 「君の主張は、選択公理を否定するってことだよね」 って繰り返してるのに、何を勘違いしてるのか 「いやオレはバリバリ選択公理認めるっすよ」 と意固地になって言い返してきかない 自分の主張も理解できない池沼って哀れだな 346 名前：１３２人目の素数さん [2018/12/23(日) 20:44:35.77 ID:UXKt0G2r.net] >>311 ウホッ 347 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:07:09.76 ID:aqLWE3+/.net] >>300-301 >何度別の人物と決めつけられたことか 数学では、証明が無い限り、認められんぜ。別人の証明は？（＾＾ >数学的問いになりすましも糞も無い クソみたいな問いは、数学ではない。時間とスレの余白の無駄だ！ （＾＾ 348 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:07:27.57 ID:aqLWE3+/.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり がんばったね〜 ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 349 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:08:45.18 ID:aqLWE3+/.net] >>306 >スレ主のいう球面幾何は >厳密にいえはいわゆる非ユークリッド幾何 >とは異なる ここ、デタラメをいうから、おっちゃんかと思ったよ・・、ピエロかい？（＾＾ ほんと、この二人は、５CH数学板のトンデモおじさんだね〜（＾＾； 世間では、非ユークリッド幾何学 「至る所で正の曲率を持つ楕円幾何学（殊に球面幾何学）が知られている」なんだけどね（下記） 数学科落ちこぼれは、「知ったか」で馬脚だな〜（＾＾； https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%B9%BE%E4%BD%95%E5%AD%A61 非ユークリッド幾何学 非ユークリッドな幾何学の公理系を満たすモデルは様々に構成されるが、計量をもつ幾何学モデルの曲率を一つの目安としたときの両極端の場合として、至る所で負の曲率をもつ双曲幾何学と至る所で正の曲率を持つ楕円幾何学（殊に球面幾何学）が知られている。 https://kotobank.jp/word/%E6%A5%95%E5%86%86%E5%B9%BE%E4%BD%95%E5%AD%A6-1360274 コトバンク 楕円幾何学 世界大百科事典内の楕円幾何学の言及 B.リーマンは1854年に，直線の長さは有限で，2直線はつねに2点で交わるような幾何学を構成し，クラインはこれを少しく変更して2直線はつねに1点で交わるという幾何学を構成した。この非ユークリッド幾何学を楕円幾何学と呼ぶ つづく 350 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:09:48.10 ID:aqLWE3+/.net] >>317 つづき （参考付録） https://www.math.nagoya-u.ac.jp/~namikawa/ 浪川幸彦 名古屋大 https://www.math.nagoya-u.ac.jp/~namikawa/kougi06.html ２００６年度講義プリント（PDF書類） ●現代数学への流れ ・講義概要（１０月６日） ・第１回（１０月６日） ・第２回（１０月１３日） ・第３回（１０月２０日） ・第４ 351 名前：回（１１月１０日） ・第５回（１１月１７日） ・第６回（１１月２４日） ・第７回（１２月１日） ・第８回（１２月８日） ・第９回（１２月１５日） ・第１０回（１２月２２日） ・第１１回（１月１２日） ・第１２回（１月２６日） ・第１３回（２月２日） https://www.math.nagoya-u.ac.jp/~namikawa/download/IM06w-09.pdf 第９回（１２月１５日） 現代数学への流れ 浪川幸彦 名古屋大 2006 4 非ユークリッド幾何学へ−公理とは何か？− Theorem 4.1.1 (Saccheri-Legendre). 三角形の内角の和は２直角を超えない。 つづく [] [ここ壊れてます] 352 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:10:09.87 ID:aqLWE3+/.net] >>318 つづき egory-cat.hatenablog.com/ 現実と数学の区別が付かない 2018-12-02 ユークリッドの『原論』に関するもので人気があるものといえば平行線の公理とも呼ばれる第5公準をめぐる物語でしょう。 Contents ・ユークリッド原論の５つの公準 　・こっそり修正されている 第1 公準 　・ユークリッド幾何のスーパースター「平行線の公理」 ・球面幾何 　・球面幾何と5つの公準 　・球面幾何と第1公準 　・球面幾何と第2公準 　・球面幾何と第3公準 　・球面幾何と第4公準 　・球面幾何と第5公準 ・第1公準の独立性 ・三角形の内角の和 　・サッケーリ・ルジャンドルの定理 　・サッケーリ・ルジャンドルの定理の証明 　・サッケーリ・ルジャンドルの定理の証明はなぜ球面幾何で破綻するのか つづく 353 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:10:34.62 ID:aqLWE3+/.net] >>319 つづき https://www.kaijo.ed.jp/ 海城中学高等学校 https://www.kaijo.ed.jp/students?filter=true&genre=subject&genre_global&genre_subject=mathematics&post_date_from&post_date_to&post_tag&words&pg=4 数学科リレー講座 2013 ４回目の今年は、「現代幾何学のひろがり」と題して、非ユークリッド幾何学をテーマの中心とします。 初日の今日は、今後6日間のガイダンスとして、毎日の聞き所をダイジェストで紹介。 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-2_1.pdf 平成25年度 夏期講習 数学科リレー講座 2日目 第1部 非ユークリッド幾何 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-3.pdf 2013 年 数学科リレー講座. 3 日目：球面幾何学 余録 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-1.pdf 平成 25 年度 数学科夏期リレー講座「現代幾何学のひろがり」 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-4.pdf 2013年度 数学科リレー講座 4日目 ?非ユークリッド幾何学の例 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-5_2.pdf ミンコフスキー幾何 5日目 - 海城中学高等学校 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-6.pdf 平成 25 年度数学科リレー講座. 6 日目. エルランゲン・プログラム https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-7.pdf 2013年度 数学科リレー講座 状況 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2012summer_5Kawasaki.pdf 2012年度・夏期数学科リレー講座・5日目 “リーマン面 ... - 海城中学高等学校 以上 354 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:12:04.90 ID:aqLWE3+/.net] >>320 ピエロも、海城の数学科リレー講座 2013に参加していれば、バカをさらさなくて良かったろうに（＾＾； 355 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/23(日) 21:16:23.85 ID:aqLWE3+/.net] >>302 学術さん、どもありがとう >社会革命を通してから、真価が問われるといいね。 数学は、科学革命には貢献している 物理学とか（ニュートン力学の微積とか、アインシュタインの相対性理論、あるいは量子力学。いずれも数学の発展なくして、理論の高度化も不可能） コンピュータサイエンスとか（もともとは、数値計算の必要性が大きかったのだが） いま、AI革命だね（なお、AIをちょっと掘ると数学に行き着く）（＾＾ また、これら科学革命が産業革命を引き起こし、社会革命に繋がったと思う いま、AI革命から産業革命→情報革命＆社会革命に繋がっていくのではないかと 356 名前：、思っている [] [ここ壊れてます] 357 名前：１３２人目の素数さん [2018/12/23(日) 22:10:09.54 ID:5WsJj6Ky.net] >>315 ＞クソみたいな問いは、数学ではない。時間とスレの余白の無駄だ！ （＾＾ ではその問いにすら答えられないスレ主はクソ以下ってことになるねｗ 358 名前：１３２人目の素数さん [2018/12/23(日) 22:11:06.82 ID:5WsJj6Ky.net] >>315 数学では、証明が無い限り、認められんぜ。本人の証明は？（＾＾ 359 名前：１３２人目の素数さん [2018/12/23(日) 22:13:44.75 ID:5WsJj6Ky.net] >>321 バカを晒しまくってるお前が言うとまさにピエロだね 360 名前：１３２人目の素数さん [2018/12/23(日) 22:22:11.73 ID:5WsJj6Ky.net] スレ主は気付いてるのか？ お前が神仏の様に縋る確率の専門家は、実際には時枝解法不成立なんて一言も言ってないことを。 つまりお前の賛同者はゼロ。一人で頑張ってねサイコパスピエロ君ｗ 361 名前：１３２人目の素数さん [2018/12/24(月) 07:05:28.32 ID:6oRe+bIf.net] >>317 スレ主はなにかというとWikiに縋るが、悪い癖だ Wikiの記載は、一般人によるものだから、 信頼できるとは限らない 362 名前：１３２人目の素数さん [2018/12/24(月) 07:09:31.47 ID:6oRe+bIf.net] >>318 ＞4 非ユークリッド幾何学へ−公理とは何か？− ＞Theorem 4.1.1 (Saccheri-Legendre). 三角形の内角の和は２直角を超えない。 ここから、球面幾何が（４公準を満たす）「非ユークリッド幾何」でない、といえる なぜなら球面幾何では三角形の内角の和は常に２直角より大きいから またスレ主は自爆したね　おまえ日本語読めないで引用してんの？馬鹿？ 363 名前：１３２人目の素数さん [2018/12/24(月) 07:15:43.19 ID:6oRe+bIf.net] >>319 リンク先の記述だが 球面幾何で第一公準を満たさないのは2点が球面の対蹠点の場合に限るので 対蹠点を同一視した楕円幾何では、第一公準は満たされる 他方、第二公準については、円は「（無限に）延長可能」ではないとするのが正しい もし第二公準を満たすなら、Saccheri-Legendreの定理 「三角形の内角の和は２直角を超えない。」 が成り立たないことになる 364 名前：１３２人目の素数さん [2018/12/24(月) 07:25:19.65 ID:6oRe+bIf.net] >>320 >>327-329で述べたように 楕円幾何はユークリッド幾何から 第５公準を除いた４公準のうち さらに第２公準も満たさないから 「非ユークリッド幾何」を ”４公準は満たすが第５公準は満たさない幾何” とした場合、その中に入らない これ数学科の常識 （非ユークリッド幾何＝「ユークリッド幾何以外の幾何」　ではないことに注意） 365 名前：１３２人目の素数さん [2018/12/24(月) 07:47:46.52 ID:6oRe+bIf.net] ところでスレ主は>>259には手も足も出ず降参か 特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の またとない絶好の実例なのにな 知らんかっただろう　アホスレ主！ フハハハハハハ！！！！！！！ 366 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:34:45.08 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 367 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:35:32.31 ID:1uJ+FX2v.net] >>323 >ではその問いにすら答えられないスレ主はクソ以下ってことになるねｗ はい。その通りです。 なお、クソ質問の相手をするのは、クソ以下の以下だと そう思っていますです。はい（＾＾ 368 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:36:22.67 ID:1uJ+FX2v.net] >>324 >本人の証明は？（＾＾ 社会通念として、ある二人の人物AとBが、同一か別人かを判別するのに 指紋とか、DNA型鑑定とかがある（下記） この5chで、そのような手段が使えない以上 他人と区別して欲しいと思う当人が、自分でそれなりの努力をするべき 例えば、”名のる”とかね で、自分が名無しさん（＝１３２人目の素数さん）で出没しながら、他人と区別して欲しいなんて主張は、矛盾しているだろ？ そういう”矛盾に鈍感な数学落ちこぼれ”との議論は、ごめんこうむるよ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E6%8C%87%E7%B4%8B 指紋 別人の指紋なのに同一指紋と認識してしまう率（誤受入率）は実測で10万分の1程度ある。 https://ja.wikipedia.org/wiki/DNA%E5%9E%8B%E9%91%91%E5%AE%9A DNA型鑑定 2009年現在、同じ型の別人が現れる確率は4兆7000億人に1人とされている[2][3][4]。 369 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:38:17.27 ID:1uJ+FX2v.net] >>326 >お前が神仏の様に縋る確率の専門家は、実際には時枝解法不成立なんて一言も言ってないことを。 正確には、”確率論”の専門家さんな 正確には、時枝解法不成立とは言っていないが、時枝での確率は 370 名前：未定義で計算できないということと、非可測集合で確率を定義することは意味が無いと言っているよ（下記） (引用開始) スレ20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/535 非可測であることに目をつぶって計算することの意味をあまり感じないな 直感的に1/2とするのは微妙． むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが 直感的にも妥当だろう スレ20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/564 時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う． 確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと 残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば P(X_N=x)=0が導かれるだろう (引用終り) つづく [] [ここ壊れてます] 371 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:39:52.61 ID:1uJ+FX2v.net] >>335 つづき >つまりお前の賛同者はゼロ。 現時点では、そうだが、過去には幾人か居たことは事実だし 英語圏では、>>272 >>287-294 に示した通り、時枝解法不成立が多数派で、時枝解法に引っかかるのは数学初心者か数学科落ちこぼれかだよ >一人で頑張ってねサイコパスピエロ君ｗ はい、同定しました。指紋が一致しました。あなたは、高い確率でピエロの成り済ましです（＾＾ 372 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:42:25.40 ID:1uJ+FX2v.net] >>327-331 ピエロ必死だな、落ちこぼれが（＾＾ 「非ユークリッド幾何」落ちこぼれが、確定しました（＾＾； >ここから、球面幾何が（４公準を満たす）「非ユークリッド幾何」でない、といえる ピエロ必死。笑える。ただ、笑うしかない。オレ様独自数学（＾＾； >これ数学科の常識 >（非ユークリッド幾何＝「ユークリッド幾何以外の幾何」　ではないことに注意） 笑える。ただ、笑うしかない。オレ様独自数学（＾＾； >特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の >またとない絶好の実例なのにな >知らんかっただろう　アホスレ主！ おれが、高校生のときに読んで知っていた知識を 数学科の落ちこぼれは、「おれはこんなに高度で難しいことを知っているんだ〜！」と自慢しているの図かい？ 酷いね、数学科落ちこぼれは（＾＾； 373 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:45:54.77 ID:1uJ+FX2v.net] なお、 数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので 選択公理について、一言 バカかと 現代数学では、選択公理はデフォルトで、特別の宣言をしないかぎり、普通に採用される公理だよ おれは、別に、「選択公理は使わない。ｘｘ公理を使う」などと宣言していないから、デフォルト状態ですよ バカかと 選択公理と非可測集合の話は、ピエロが来る前、過去スレ21などで、さんざん議論はしたよ まあ、そのときの議論から、「集合論から見た非可測集合 渕野昌先生」のＰＤＦを貼っておくよ、選択公理 勉強してね https://www.weblio.jp/content/%E3%83%87%E3%83%95%E3%82%A9%E3%83%AB%E3%83%88 デフォルト 三省堂 大辞林 weblio �Aコンピューター-システムで、ユーザーが特に指定しない場合に設定されている標準の動作条件。 �B〔主にコンピューターに通じている人が用いる語〕 転じて、基本的な状態（特段の理由がない場合の状態）のこと。デフォ。 「私の朝食は−でパンだ」 https://en.wikipedia.org/wiki/Axiom_of_choice 選択の公理 スレ21 https://rio2016.5ch.net/test/read.cgi/math/1468584649/777 fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf 集合論から見た非可測集合 渕野昌（中部大学，）2006 年11 月13 日 東北大学大学院理学研究科数学専攻談話会での講演 https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 目次 1 可測集合 2 構成と証明 3 関連項目 4 参考文献 374 名前：１３２人目の素数さん [2018/12/24(月) 09:46:34.52 ID:6oRe+bIf.net] >>335 >無限列から一個以外を見たとこでその一個は決定できないだろう 上記の「一個」が決定番号の箱を指すなら 「決定できない」というのは代表元がとれない という意味になるから、選択公理の否定だな 確率論の専門家（というか「測度原理主義者」）は 非可測を認めないようだから、その時点で、 選択公理を否定しているな スレ主はこんな基本的なことすら理解できてない 正真正銘の白痴か 375 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:47:17.23 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 376 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:49:26.41 ID:1uJ+FX2v.net] >>339 >上記の「一個」が決定番号の箱を指すなら >「決定できない」というのは代表元がとれない >という意味になるから、選択公理の否定だな つー >>338 ほんとにこいつバカだな（＾＾ 選択公理の理解さえあやしい（＾＾； 377 名前：１３２人目の素数さん [2018/12/24(月) 09:50:09.49 ID:6oRe+bIf.net] >>337 ＞オレ様独自数学 それは「非ユークリッド幾何」を 「ユークリッド幾何以外の幾何」と ナイーブに解釈するスレ主 歴史的には「非ユークリッド幾何」は 「４公準を満たし第５公準を満たさない幾何」 を指すから双曲幾何のことである 378 名前：１３２人目の素数さん [2018/12/24(月) 09:52:32.17 ID:6oRe+bIf.net] >>339　>>341 バカはスレ主、貴様だ 非可測性を理由にして代表元の取得を否定するなら その時点で選択公理を否定したことになる 代表元の取得を肯定するなら、 もはや時枝論法を否定する術はない あきらめろ、バカスレ主 379 名前：１３２人目の素数さん [2018/12/24(月) 09:57:06.63 ID:6oRe+bIf.net] >>338 ＞選択公理はデフォルト そう言い切った瞬間、非可測集合もデフォルト 尻尾の同値類の代表元を取得することもデフォルト 時枝論法の確率計算は、決定番号の分布と無関係に 「１００列の決定番号のうち、他より大きい決定番号を持つ列はたかだか１列」 という性質のみから決定するから、非可測性によって 上記の確率計算を否定することはできない 確率計算を否定するなら、非可測性を排除して、 代表元の取得自体を否定するしかないが それは選択公理の否定にあたる　 バカスレ主はこの単純な理屈がどうしても理解できないらしい 380 名前：１３２人目の素数さん [2018/12/24(月) 10:19:26.12 ID:6oRe+bIf.net] >>337 >>特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の >>またとない絶好の実例なのにな >おれが、高校生のときに読んで知っていた知識 スレ主は 特殊相対性理論と一般相対性理論の区別 非ユークリッド幾何とリーマン幾何の区別 がついてない ここでは重力を時空の曲率で表す話などしていない 特殊相対性理論のローレンツ変換から 双曲幾何が構築できるという話をしている どうだ、馬鹿スレ主、自分のアサハカなカン違いに気づいたか？ 381 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 10:37:33.65 ID:TcgoulPh.net] スレ主が周りをバカ呼ばわりして「俺は○○を知ってんだぞー」と吠えるたびに トンチンカンなことを書くスレ主の馬鹿さ加減がはっきりしてくる 382 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 10:39:20.11 ID:TcgoulPh.net] 昔からスレ主は知ったかぶりだったが「確率過程は勉強した」とか言い始めた頃から スレ主の妙なプライドかトラウマのスイッチがさらに入ったんだろう 383 名前：１３２人目の素数さん [2018/12/24(月) 10:45:50.62 ID:6oRe+bIf.net] >>347 ＞スレ主の妙なプライドかトラウマのスイッチ スレ主は受験秀才だったんでしょうな そういう人が大学数学で挫折するのを沢山見てきましたよ 高校までの数学は所詮算数の延長だから論理もヘッタクレもないんですよ 384 名前：１３２人目の素数さん [2018/12/24(月) 12:36:16.70 ID:zYiwLYWk.net] >>335 ”確率論の専門家”は確率論の専門家かも知れないが、時枝問題に対してはまったく的外れだね。 時枝問題での確率は「100個の自然数（同じ値があってもよい）から無作為に１つ選んだ時、最大値� 385 名前：ﾅない確率」だよ。 これは小学生でもわかる確率だからそもそも確率論の専門家なんて不要。 恐らく記事後半の確率の話に惑わされたのだろう。そこは時枝氏も悪い。 "確率論の専門家"は、件の発言以来姿を見せない。 スレ主が後生大事に持ち続けてるレスの主は言い逃げ君でした。ほんとピエロだね。 [] [ここ壊れてます] 386 名前：１３２人目の素数さん [2018/12/24(月) 12:47:06.81 ID:zYiwLYWk.net] >>336 ＞英語圏では、>>272 >>287-294 に示した通り、時枝解法不成立が多数派で 英語圏にも理解できない馬鹿がいることは示されているが、その馬鹿が多数派で あることはいつ示されたの？ 印象操作も稚拙過ぎるピエロ君 387 名前：１３２人目の素数さん [2018/12/24(月) 13:09:51.12 ID:zYiwLYWk.net] >>341 ＞選択公理の理解さえあやしい（＾＾； いや、選択公理を理解してないのは真のピエロスレ主だよ 選択公理：空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 「空集合を要素に持たない任意の集合族」 ： R^N/〜 「に対して、各要素（それ自体が集合である）」： R^N/〜の各同値類 「から一つずつその要素を選び」 ： R^N/〜の各同値類の代表列 「新しい集合」 ： R^N/〜の代表系 「を作ることができる。」 選択公理を仮定すれば代表系を作ることができる。 代表系が存在するなら、任意の実数列の決定番号は、その定義から自然数である。 100個の実数列から100個の自然数が得られる。 こんな簡単な理屈、なぜ理解できないの？ 388 名前：１３２人目の素数さん [2018/12/24(月) 13:21:34.17 ID:zYiwLYWk.net] >>338 ＞数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので そもそも公理とは証明無しで真と認める命題、つまり紋所であり免罪符である。 選択公理を理解していないスレ主には紋所や免罪符の乱発に見えてしまうだけの話。 ピエロ君が理解すればいいだけ。それ以外に何の問題も無い。 389 名前：１３２人目の素数さん [2018/12/24(月) 13:33:13.30 ID:zYiwLYWk.net] じゃあ 0,0,・・・ の決定番号は何？というのは工学バカの発想ね。 「代表系を作れるか」と「どう作るか」は別問題なのである。 そして時枝解法の成立には前者が保証されれば十分なのである。 390 名前：１３２人目の素数さん [2018/12/24(月) 16:22:52.55 ID:zYiwLYWk.net] スレ主でも理解できるように、さらに噛み砕いた 「空集合を要素に持たない任意の集合族」 ： R^N/〜（ 要素である同値類は空集合でない） に対して、 「各要素」： R^N/〜の各要素、つまり各同値類 「（それ自体が集合である）」： 同値類は同値な元の集合である から一つずつ 「その要素」： R^N/〜の同値類の代表列 を選び 「新しい集合」 ： R^N/〜の代表系 を作ることができる。 これで理解できなきゃ真性アルツハイマー確定 391 名前：１３２人目の素数さん [2018/12/24(月) 16:23:53.28 ID:6oRe+bIf.net] >>352 公理は単に前提に過ぎないが 時枝論法では選択公理を前提したのだから 「非可測を認めないなから選択公理も認めない」 というのは時枝論法からの逸脱にあたる >>353 スレ主の屁理屈は 「決定番号がどの値をとるにせよその確率は０ 　したがって決定番号が自然数の値をとることはない」 につきるようだが、「」内の１行目から２行目は導けない 決定番号が自然数の値をとることは、 選択公理で代表元がとれる時点で 決まっていることだから 392 名前：１３２人目の素数さん [2018/12/24(月) 16:30:48.23 ID:zYiwLYWk.net] 選択公理ひとつ理解しないまま3年間もアホ発言を繰り返していたスレ主こそ真性ピエロと断ぜざるを得ず よって件の如し 393 名前：１３２人目の素数さん [2018/12/24(月) 16:43:27.64 ID:6oRe+bIf.net] >>356 スレ主がピエロなのは、バカな自分を賢いと思い込んでるところだな バカは別にカッコ悪くない　バカがバカを認められないのはカッコ悪い 394 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 16:59:33.79 ID:tlnb9Rtp.net] >>355 ＞スレ主の屁理屈は ＞「決定番号がどの値をとるにせよその確率は０ ＞　したがって決定番号が自然数の値をとることはない」 ＞につきるようだが、「」内の１行目から２行目は導けない 確率0はその事象が起こらないことを意味しないからね。 このことは確率論の最初の方で学ぶこと。 それさえ理解できてないスレ主が確率過程論とか、ちゃんちゃらおかしい。 395 名前：１３２人目の素数さん [2018/12/24(月) 17:04:39.52 ID:6oRe+bIf.net] >>358 ＞確率0はその事象が起こらないことを意味しないからね。 そこもおっしゃるとおりだが、 一番の問題は、可算加法性を勝手に使って 自然数全体の確率が０だと結論してる点 ついでにいえば任意の自然数ｎについて 396 名前： ｎまでの自然数の値をとる確率が０ というのはいえるが、そこから 任意の自然数の値をとる確率が０ というのもいえない [] [ここ壊れてます] 397 名前：１３２人目の素数さん [2018/12/24(月) 17:17:01.90 ID:zYiwLYWk.net] 確率論の最初の方で学ぶことも分かってないスレ主が確率過程論を学べと説教するスレ 398 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 17:48:46.30 ID:tlnb9Rtp.net] >>359 ＞一番の問題は、可算加法性を勝手に使って ＞自然数全体の確率が０だと結論してる点 うん。その補強のような感じで、可算加法性が成り立たなくても全く変じゃない理由として、 ＞確率0はその事象が起こらないことを意味しないからね。 と言ったつもり。 399 名前：１３２人目の素数さん [2018/12/24(月) 17:57:03.45 ID:6oRe+bIf.net] >>361 了解してますよ そもそも選択公理で代表元の存在を認めた時点で 決定番号の分布に関して、可算加法性は成り立たない とわかるんですよ　数学の理屈がわかる人ならね （そしてそれゆえ非可測であることも導ける） スレ主は結局非可測集合の構成の理屈が分かってない だから●●の一つ覚えで可算加法性を平然と使うんですよ 可算加法性が成立しない設定で可算加法性を前提したら 間違うに決まってる 400 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 19:34:46.48 ID:4YmeSpg9.net] 1列にならべた可算無限個の箱に当たりが1つだけ入っているくじがある [スレ主の考え] 先頭から有限個開けたら全てハズレである よって残りの可算無限個の箱には当たりが入っていない ボケ諸法度 時枝記事を肯定すべからざる事 [一般人の考え] 箱を全部開ければ必ず当たりが入っている 当たりの位置は自然数で表すことができる 1列であれば当たりの位置の推測はできないが2列以上(ただし有限値)あれば 何列かの箱を全て開けることでそれぞれの当たりの位置(自然数)の大小を 比較することで位置の推測は可能 401 名前：１３２人目の素数さん [2018/12/24(月) 20:19:00.52 ID:6oRe+bIf.net] >>363 それはピンポイントだから当たらないな 時枝論法のキモは最大値さえ選ばなければ当たるってところにあるんで そうなるようにゲームを設定しないといえない （あるところから先が全部当たりくじとか） 402 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 21:06:18.73 ID:4YmeSpg9.net] > 箱を全部開ければ必ず当たりが入っている これは数を当てるわけではない > 最大値さえ選ばなければ この部分だけの話です この当たりが有理数の循環節の開始位置だとか代表元と全て一致 しだす最初の位置だとかにするのが > そうなるようにゲームを設定 > （あるところから先が全部当たりくじとか） これは必要ない 403 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 21:56:11.72 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 404 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 22:08:59.16 ID:4YmeSpg9.net] >>366 大丈夫? 405 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 22:53:19.91 ID:TcgoulPh.net] スレ主以外が真面目に議論して スレ主が荒らすスレになりました 406 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 22:56:15.71 ID:1uJ+FX2v.net] >>345 >特殊相対性理論のローレンツ変換から >双曲幾何が構築できるという話をしている ああ、なるほど それ、>>320 海城中学高等学校 数学科リレー講座 2013 「現代幾何学のひろがり」と題して、非ユークリッド幾何学をテーマの中心とします の https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-5_2.pdf ミンコフスキー幾何 5日目 - 海城中学高等学校 4 ユークリッド幾何とミンコフスキー幾何の関係 32 4.1 ユークリッド幾何再考 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.2 双曲線関数とローレンツ変換 . . . . . . . . . . . . . . . . . . . . . . . . 35 4.3 2 つの幾何の架け橋 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 (引用終り) ってあるけど、この話かい？ えらいねー、おまえの卒業した大学の数学科って、海城の数学科リレー講座 夏期講習の内容で、「えっへん」できるんだね（＾＾ 407 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:05:37.81 ID:1uJ+FX2v.net] 大学数学を教える先生方も、楽しい教材は歓迎だ バナッハタルスキーみたいなね もし、時枝記事が正しければ、バナッハタルスキー類似の教材ネタになるだろう 居眠りしかかっている学生の目をさまさせる教材として使える 一つは、選択公理を使えば、こんな面白いことが言えるとか 一つは、確率論の教材として、こんな面白いことが言えるとか 一つは、集合論の無限数列のシッポの同値類の教材として、こんな面白いことが言えるとか 時枝記事が正しければ、時枝記事を引用して教材が作れる トピックスとして、あるいはコラムとして、教材の囲み記事にしても良い しかし、英語圏、日本語圏とも、そういう教材の例はない（＾＾ なぜだろうか？ 不思議に思う人は、>>31-32 >>161 をやってみて下さい（＾＾； （>>272より） https:// 408 名前：ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 バナッハ＝タルスキーのパラドックス [] [ここ壊れてます] 409 名前：１３２人目の素数さん [2018/12/24(月) 23:23:03.44 ID:zYiwLYWk.net] 普通のバカ：数学が分かってない 救い様の無いバカ：数学が分かってないことが分かってない スレ主は後者なので死ぬまでバカのままです 410 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:41:01.94 ID:1uJ+FX2v.net] >>338 補足 「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」とあるけど 選択公理も同様で、等価な命題が多数あってね 「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」など これらを認めることは、選択公理を認めることだ 「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」や、これみんな認めているんじゃないのかい？（＾＾ おれは、これらを認めるって言っているだけなんだけど？ 認めないと、不便でしょ？ ピエロ、選択公理分ってるかい？（＾＾ https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 (抜粋) 選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 定義 空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像 f： A → ∪A := ∪ _{A ∈ A} A であって任意の x ∈ A に対し f(x) ∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。 選択公理と等価な命題 以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。 つづく 411 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:41:45.36 ID:1uJ+FX2v.net] >>372 つづき 整列可能定理 任意の集合は整列可能である。 ツォルンの補題 順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。） テューキーの補題 有限性（英語版）を満たす空でない任意の集合族は包含関係に関する極大元を持つ。 比較可能定理 任意の集合の濃度は比較可能である。 直積定理 無限個の空集合でない集合の直積は空集合ではない。 右逆写像の存在 全射は右逆写像を有する。 ケーニッヒ（Julius Konig）の定理 濃度の小さい集合の直和より、濃度の大きい集合の直積のほうが濃度が大きい。 ベクトル空間における基底の存在 全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。 チコノフの定理 コンパクト空間の任意個の積空間はコンパクトになる。 クルルの定理 単位元をもつ環は極大イデアルを持つ。 歴史 集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。 しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。 カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。 (引用終り) 以上 412 名前：１３２人目の素数さん [2018/12/24(月) 23:46:42.58 ID:zYiwLYWk.net] いやいや、いくら 413 名前：コピペしても理解したことにはならないよ 実際スレ主は選択公理を仮定すれば代表系が作れるってこと理解してないじゃん 理解してたら>>338のようなアホレスは書けない [] [ここ壊れてます] 414 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:49:37.13 ID:1uJ+FX2v.net] 選択公理を認めてもなお、時枝記事の確率計算が成り立たない その一つの根拠は、非可測集合については、測度が定義できないゆえ、確率計算が不可能になるってこと 英語圏と日本の大学数学教員の常識 415 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:50:43.59 ID:1uJ+FX2v.net] 不思議に思う人は、>>31-32 >>161 をやってみて下さい（＾＾； （>>272より） 416 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 00:27:18.88 ID:u6Dry/Od.net] >>375 > 選択公理を認めてもなお、時枝記事の確率計算が成り立たない スレ主は数当てができないとずっと主張しているが 数当てができる(or できない)は上の内容とはまた別の話ですよ 417 名前：１３２人目の素数さん [2018/12/25(火) 00:45:36.79 ID:Z37dxCS5.net] スレ主が必死でコピペしてることは皆わかってるというのになあ 418 名前：１３２人目の素数さん [2018/12/25(火) 01:36:16.65 ID:Zq9eMv+6.net] >>375 確率計算という言葉尻だけ捉まえるんじゃなく、自分が何の確率を論じているのか 少しは考えたら？他人の尻馬に乗っかって思考停止のスレ主さん 419 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 03:12:33.06 ID:Z37dxCS5.net] 周りがいくら説明しても切れるだけ 何もわかってなくて学習する気のない人には説明のしようがない 420 名前：１３２人目の素数さん [2018/12/25(火) 06:04:29.73 ID:LFNNMehR.net] >>369 で、スレ主が必死で探したリンク先に >>259の答えはあったかい？（・∀・）ﾆﾔﾆﾔ 421 名前：１３２人目の素数さん [2018/12/25(火) 06:08:39.65 ID:LFNNMehR.net] >>372 ＞「整列可能定理」・・・ ＞おれは、これらを認めるって言っているだけなんだけど？ つまり同値類から代表元がとれることを認めるわけだ したがって時枝論法を全面的に認めるわけだ 違う、とはいえないぞ 代表元がとれてしまえば決定番号が決まってしまう １００個の列の決定番号のうち他より大きいものはたかだか１つ つまり、失敗する場合もたかだか１／１００ 残念だったな　サイコピエロスレ主 422 名前：１３２人目の素数さん [2018/12/25(火) 06:12:53.81 ID:LFNNMehR.net] >>375 ＞選択公理を認めてもなお、時枝記事の確率計算が成り立たない ＞その一つの根拠は、非可測集合については、測度が定義できないゆえ、 ＞確率計算が不可能になるってこと 選択公理を認めれば、同値類の代表元がとれ、決定番号が決まる その場合１００個の列から１つを選んで、その予測に失敗する確率は１／１００ 上記の計算に「決定番号の分布が非可測」とか全く関係ない 上記の確率計算を否定するには、非可測を排除するという理由で 同値類の代表元がとれないとするしかない それは選択公理の否定と同じ　スレ主はこの理屈をどうしても認めたがらない 423 名前：１３２人目の素数さん [2018/12/25(火) 06:19:06.11 ID:LFNNMehR.net] >>377 ＞スレ主は数当てができないとずっと主張しているが スレ主は決定番号の分布に固執するから間違うわけだ 決定番号の分布は非可測だから、積分計算はできない だからといって、時枝論法の予測確率が計算できないことにはならない １００個の列があれば、１００個の代表元があり、１００個の決定番号がある １００個の中から１個えらんで、それがたまたまハズレの1個でなければいいだけ 初等的な確率の計算だけ　ザ・ン・ネ・ン・デ・シ・タ 424 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:57:23.33 ID:jMORO33C.net] >>377-379 >> 選択公理を認めてもなお、時枝記事の確率計算が成り立たない >スレ主は数当てができないとずっと主張しているが >数当てができる(or できない)は上の内容とはまた別の話ですよ ＜定義＞ "数当てができない"＝”時枝記事の確率計算が成り立たない” （∵ 時枝記事では、確率99/100で数当てが出来るとしているのだから（＾＾ ） QED 425 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:57:37.27 ID:jMORO33C.net] >>380 >周りがいくら説明しても切れるだけ >何もわかってなくて学習する気のない人には説明のしようがない ＜双対定理成立＞ （数学は） いくら説明しても （ある一定の理解レベルに達していなければ） 何もわかってない人には説明のしようがない （特に、基礎がない人たちには） （補足） 普通の（天才以外の）小学生に微分積分を教えるようなこと 今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ 426 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:59:15.26 ID:jMORO33C.net] >>375 補足 「選択公理を認めてもなお、時枝記事の確率計算が成り立たない その一つの根拠は、非可測集合については、測度が定義できないゆえ、確率計算が不可能になるってこと 英語圏と日本の大学数学教員の常識」 ここ５CHは、数学の学会ではない まあ、どちらかと言えば、ド素人たちのいるところ（おれも含めてな） 専門的な議論ができるはずもない（おれも含めてな） 上記の当たり前の（「ちゃんと定義しろよ」という）専門家に批判に 答えられない議論が続いている（＾＾ 427 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:59:57.81 ID:jMORO33C.net] >>381-384 ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 428 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 10:55:06.68 ID:hBtRgkOS.net] おっちゃんです。 >>380 >＜双対定理成立＞ >（数学は） >いくら説明しても >（ある一定の理解レベルに達していなければ） >何もわかってない人には説明のしようがない >（特に、基礎がない人たちには 正にスレ主に当てはまることなんだが。 ごく簡単な理屈3年以上教えても分からないのでは、どうしようもない。 429 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:02:17.50 ID:hBtRgkOS.net] >>306 >今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ 時枝記事に確率論はいらん。 430 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:02:38.52 ID:jMORO33C.net] >>387 タイポ訂正 上記の当たり前の（「ちゃんと定義しろよ」という）専門家に批判に 　↓ 上記の当たり前の（「ちゃんと定義しろよ」という）専門家の批判に 431 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:06:07.03 ID:hBtRgkOS.net] >>306 おっと、390でいう「確率論」とは「公理的確率論」のことな。

---

---

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

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