純粋・応用数学・数学隣接分野（含むガロア理論）21 (345ﾚｽ)

純粋・応用数学・数学隣接分野（含むガロア理論）21 http://rio2016.5ch.net/test/read.cgi/math/1753002417/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

1: １３２人目の素数さん [] 2025/07/20(日) 18:06:57.08 ID:JxJPBISF クレレ誌： https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。 (引用終り) そこで 現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして 新スレを立てる（＾＾； ＜前スレ＞ 純粋・応用数学・数学隣接分野（含

むガロア理論）20 https://rio2016.5ch.net/test/read.cgi/math/1745503590/ ＜関連姉妹スレ＞ ガロア第一論文と乗数イデアル他関連資料スレ11 https://rio2016.5ch.net/test/read.cgi/math/1724969804/ スレタイ 箱入り無数目を語る部屋22 https://rio2016.5ch.net/test/read.cgi/math/1724982078/ Inter-universal geometry と ABC予想 (応援スレ) 71 https://rio2016.5ch.net/test/read.cgi/math/1713536729/ IUTを読むための用語集資料スレ2 https://rio2016.5ch.net/test/read.cgi/math/1606813903/ 現代数学の系譜 カントル 超限集合論他 3 (過

去スレ落ち) https://rio2016.5ch.net/test/read.cgi/math/1595034113/ ＜過去スレの関連（含むガロア理論）＞ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84 https://rio2016.5ch.net/test/read.cgi/math/1582200067/ ・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/ つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/1

245: １３２人目の素数さん [] 2025/08/28(木) 19:35:07.33 ID:BAWOX92w 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/245

246: １３２人目の素数さん [] 2025/08/28(木) 20:04:19.29 ID:f2Ke/uCG 体系ってなに？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/246

247: １３２人目の素数さん [] 2025/08/28(木) 20:53:16.78 ID:TYdOEijR >>245 >整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 >その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 >そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ 多分、それに対する回答に近い例が 下記 藤田 博司先生 超限順序数と連続体問題 2021 に記述あるよ 因みに、藤田 博司先生のPDFは 結構いい。私は結構おせわになって居ます （＾＾ (参考) http

s://researchmap.jp/fujitahiroshi/presentations 藤田 博司 フジタ ヒロシ (Hiroshi Fujita) https://researchmap.jp/fujitahiroshi/presentations/36324358 https://researchmap.jp/fujitahiroshi/presentations/36324358/attachment_file.pdf 講演・口頭発表等 招待有り 2021年3月15日 超限順序数と連続体問題 日本数学会2021年度年会 藤田博司 http://rio2016.5ch.net/test/read.cgi/math/1753002417/247

248: １３２人目の素数さん [] 2025/08/29(金) 01:52:46.38 ID:OeOWj3ng 体系とは、公理系など。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/248

249: 数学科卒 [] 2025/08/29(金) 07:38:20.06 ID:FTQwjfKe >>245 > 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 　ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します > その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 　上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます　公理ですから > そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ 　上記の命題Gの否

定命題¬Gを公理としてAに追加した体系では、当然反証されます 　そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです 　これまたゲーデルが証明した述語論理の完全性定理では、 　体系Aのいかなるモデルでも真である命題はかならず証明できます 　逆に、証明も反証もできない命題Pというのは、 　Aのあるモデルでは真であり、別のあるモデルでは偽ということですから >>248 「多分」も「に近い」も不要 述語論理の完全性定理を理解していれば分かります 大学３年レベルでしょう 東大の数学科では論理学は

教えないそうですが http://rio2016.5ch.net/test/read.cgi/math/1753002417/249

250: １３２人目の素数さん [sage] 2025/08/29(金) 08:28:45.65 ID:GHf0Hyq9 >>245 そんなことは言えなくね？ というかその問い意味ある？　あるなら意味教えて http://rio2016.5ch.net/test/read.cgi/math/1753002417/250

251: １３２人目の素数さん [] 2025/08/29(金) 09:12:24.29 ID:8hn3mZ12 それを公理として付け加えた体系内では 証明されるし 反証はされない http://rio2016.5ch.net/test/read.cgi/math/1753002417/251

252: １３２人目の素数さん [] 2025/08/29(金) 19:43:17.92 ID:OeOWj3ng 現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。 もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、 Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった としても、そのことからだけでは決定不能であるとはいえない。 またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、 と言われているが、実際にそれをやろうとするときに、 AにGを付け加えた体系Bが無矛盾にな

ることをどうやって保証するのだろうか。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/252

253: １３２人目の素数さん [] 2025/08/30(土) 23:03:17.93 ID:rNVoXQDS 円積問題（与えられた円と等しい面積の正方形を定規とコンパスを有限回 用いて作図せよ）が不可能であることは、おそらく初等幾何学の体系の中 側に留まっていては証明できないのではないか。もしもそうであるならば、 初等幾何学の範囲では決定不能なのではなかろうか？ 　立方体体積倍増問題（与えられた立方体の2倍の体積をもつ立方体を 初等作図で求めよ）の不可能性や、一般角の三等分問題（任意に与え られた角の三等分角を初等作図で求めよ）の不可能性なども同様なの

ではないか？ フェルマーの大定理も実数や複素数を使わない初等整数論の範囲内で は非自明解が存在しないことを証明することは出来ないのではあるま いか？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/253

254: １３２人目の素数さん [sage] 2025/08/31(日) 06:34:47.59 ID:yvLlCc7F >>253 円積問題、立方体体積倍増問題、一般角の三等分問題の不可能性は 初等幾何学と体論の対応関係から言える これは初等幾何学に何か新たな公理を追加したわけではない フェルマー予想の解決については知らないが 一般にZFCで解決不能な不定方程式は存在する このことはヒルベルトの第１０問題の 否定的解決の証明の系として導ける http://rio2016.5ch.net/test/read.cgi/math/1753002417/254

255: １３２人目の素数さん [] 2025/08/31(日) 09:12:25.89 ID:b/3rxWWd フェルマー予想がそうではないかという予想があったのは 1970年ごろ http://rio2016.5ch.net/test/read.cgi/math/1753002417/255

256: １３２人目の素数さん [] 2025/08/31(日) 20:25:18.91 ID:lylF2dxQ >>254-255 (引用開始) フェルマー予想の解決については知らないが 一般にZFCで解決不能な不定方程式は存在する このことはヒルベルトの第１０問題の 否定的解決の証明の系として導ける フェルマー予想がそうではないかという予想があったのは 1970年ごろ (引用終り) 下記に類似記述がありますね "Hilbertの第10問題とは、1900年にHilbertが、20世紀の数学の指針として挙げた23問題のひとつです。整数係数の多項式方程式が任意に与えられるとき（たとえばFermatが考

察した x^n+y^n=z^n）、これに整数解があるか否かを判定できるようなアルゴリズムを構築するよう求めています。1970年に、すべての多項式方程式に対応可能な単一のアルゴリズムは存在しないことが証明されました（否定的解決、図2）" https://www.sci.tohoku.ac.jp/news/20250123-13546.html お知らせ 東北大学大学院理学研究科数学専攻 助教　甲斐　亘（かい　わたる） 2025年1月23日 素数の組み合わせ論の高次元化 数体の素元に隠れた「星座」 今回の取り組み 2019-2024年にわたる取り組みで、Green-Taoの定理と、それを深化したGreen-Tao-Z

ieglerの定理（文献 [GTZ], 2012年）という素数に関する定理を、数体の素元に対しても証明することができました。後者の結果は、私自身によって代数幾何の研究において、別の研究者によって整数論・数学基礎論（後述のHilbertの第10問題）の研究においても、すでに活用されています。 Green-Taoの定理の数体の素元への拡張は、東北大学の（元）同僚、関真一朗、見村万佐人、宗政昭弘、吉野聖人の各氏との共同研究で得られたものです（論文 [KMMSY]）。メンバーのひとりである関さんは、高校時代に韓国ドラマ（主人公が数学者を志します）を観て、劇中

で印象的に使われたGreen-Taoの定理を、明確に意識するようになったとのことです。それがなければ今回の私たちの共同研究も始まらなかったかもしれません。 論文公開後、この経緯が当ドラマの数学顧問や脚本家の方々にも伝わりました。関さんとドラマ関係者は、互いに感謝の気持ちを伝え合うことができたそうです。不思議な巡り合わせに立ち会うことができ、私も感無量です。関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。

数体の中の代数的整数は、高次元の空間に等間隔に一様に散らばった点であり、素元はその中に一見ランダムに配置されています（図1）。 に、私の予想だにしなかったことですが、数体版Green-Tao-Zieglerの定理を用いて、Hilbertの第10問題の否定的解決を、大幅に拡張することができたとの報が入りました（文献 [KP]）。 Hilbertの第10問題とは、1900年にHilbertが、20世紀の数学の指針として挙げた23問題のひとつです。整数係数の多項式方程式が任意に与えられるとき（たとえばFermatが考察した x^n+y^n=z^n）、これに整数解があるか否かを判定でき

るようなアルゴリズムを構築するよう求めています。1970年に、すべての多項式方程式に対応可能な単一のアルゴリズムは存在しないことが証明されました（否定的解決、図2）。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/256

257: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 20:34:59.60 ID:Q92KWSCo 低次元の脚元脚さばき。脚フェチ。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/257

258: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 20:36:26.60 ID:Q92KWSCo 生物の進化は血脈が若いほど脚が重要。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/258

259: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 20:38:11.73 ID:Q92KWSCo 目と脚と精神に障害があるのがラファエルという大天使なんだな。俺もまあまあな。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/259

260: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 20:40:21.81 ID:Q92KWSCo 色々の層をいろいろに埋めるのが現代的。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/260

261: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/31(日) 22:20:00.66 ID:lylF2dxQ >>256 追加 ＞関さんの著書『グリーン・タオの定理』あとがきに詳しいことが書かれています。韓国の一般向け科学雑誌『数学東亜』でもこのエピソードが取り上げられました（文献 [東亜]）。 ＜アマゾン＞ グリーン・タオの定理 (朝倉数学ライブラリー) 単行本 – 2023/1/13 関 真一朗 「素数には任意の長さの等差数列が存在する」ことを示したグリーン・タオの定理を少ない前提知識で証明し,その先の展開を解説する。 〔内容〕等間隔に並ぶ素数/セ

メレディの定理/グリーン・タオの定理/ガウス素数星座定理/他。 朝倉書店 (2023/1/13) 堀川 5つ星のうち5.0 新しい整数論 2023年1月17日 代数的整数論や解析的整数論の他に、組み合わせ論からみた整数論について書かれており、とても情報量のある定理だと分かった👍とてもお薦め。 試し読み 朝倉 https://asakura.tameshiyo.me/9784254118711 アマゾン https://www.amazon.co.jp/%E3%82%B0%E3%83%AA%E3%83%BC%E3%83%B3%E3%83%BB%E3%82%BF%E3%82%AA%E3%81%AE%E5%AE%9A%E7%90%86-%E6%9C%9D%E5%80%89%E6%95%B0%E5%AD%A6%E3%83%A9%E3%82%A4%E3%83%

96%E3%83%A9%E3%83%AA%E3%83%BC-%E9%96%A2-%E7%9C%9F%E4%B8%80%E6%9C%97/dp/4254118716?asin=B0CS3D19RX&revisionId=&format=4&depth=1 http://rio2016.5ch.net/test/read.cgi/math/1753002417/261

262: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/31(日) 22:30:54.82 ID:lylF2dxQ >>260 死狂幻調教大師S.A.D.@月と六ベンツ さん いつもありがとうございます ＞色々の層をいろいろに埋めるのが現代的。 そうそう 数理科学2025年9月号に 層の特集が・・（下記） https://www.saiensu.co.jp/search/?magazine_id=1&latest=1 数理科学 2025年9月号 Ｎｏ.747 多彩な拡がりをもつ《層》の魅力 様々な数学概念の統一的理解に迫る 内容詳細 現代数学の随所に現れる層（sheaf）の理論は，数学における局所的見方と大域的見方をつなぐ言葉と

して，様々な分野を統一的に捉えることができる極めて重要な概念となっています．しかしながら，層の定義やその周辺理論は非常に抽象的であり，層の正体を捉えることは容易ではありません．本特集では，層のディテールを数理諸分野それぞれの視点から捉え，層の理論がどのような場面でどのように活躍するのか，そのメカニズムから多彩なトピックを取り上げ，層の魅力に迫ります． 目次 特集 巻頭言 戸田幸伸 https://www.saiensu.co.jp/preview/2025-4910054690958/202509.pdf 層理論入門 〜 定義や例，基本的な性質など 〜 平野雄貴 代数

幾何学と層 大内元気 複素幾何学と層 松村慎一 代数解析学と層 〜 佐藤超函数やD加群との関連 〜 池　祐一 超局所層理論入門 桑垣　樹 非可換代数幾何学 大川新之介 代数トポロジーと層 増田成希 数え上げ幾何学と層理論 〜 DT理論からコホモロジー的DT理論へ 〜 金城　翼 書評 測度距離空間の幾何学への招待 〜 高次元および無限次元空間へのアプローチ 〜 永野幸一 重点解説 モンテカルロ法と準モンテカルロ法 田中健一郎 研究室の窓 私の研究遍歴 山下公子 https://researchmap.jp/yukinobutoda 戸田 幸伸 ト

ダ ユキノブ (Yukinobu Toda) 所属東京大学 国際高等研究所カブリ数物連携宇宙研究機構 教授 エドワード・ウィッテンさんとの京都賞記念座談会 超弦理論の過去20年を振り返る(下) ウィッテン エドワード, 戸田 幸伸, 山崎 雅人 数学セミナー 54(5) 40-47 2015年5月 エドワード・ウィッテンさんとの京都賞記念座談会 超弦理論の過去20年を振り返る(上) ウィッテン エドワード, 戸田 幸伸, 山崎 雅人 数学セミナー 54(4) 50-58 2015年4月 http://rio2016.5ch.net/test/read.cgi/math/1753002417/262

263: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 22:51:08.78 ID:Q92KWSCo 超弦は今でも魅力があるな。しかし昔神々や精霊たちにほとんど抗えない世界で神が法則を決定しうるのはおかしいよ。自然科学的な機構環境にも医師や偏りがあった点を見落としている。最初の神は何を見たのだろう。それは死を。神は死神なんだよ。最初の神の系譜が一番能力が高いはずだ。原子数学による1。死はゼロに近い。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/263

264: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 22:51:40.16 ID:Q92KWSCo 気候。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/264

265: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 22:52:32.12 ID:Q92KWSCo 誤変換なのかなという。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/265

266: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 22:58:17.61 ID:Q92KWSCo 超越的な弦があるのなら、放つ矢の方はどうだろうか。そこまで描けてないんだな。俺の最高級の 1 本の弓と矢がまたガルーダの0をもたらしたようには。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/266

267: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/08/31(日) 23:00:21.09 ID:Q92KWSCo そして俺も0に近づいた。1と0の間が大事。それは冷静と情熱の間どころではない。カラフル。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/267

268: １３２人目の素数さん [] 2025/09/01(月) 14:11:19.79 ID:zmHc7PUM 一般の不定方程式の整数解を求めるアルゴリズムが存在しないことは、 ある特定の不定方程式の整数解を求めるアルゴリズムが無いことを意味しない。 また、ある特定の不定方程式の整数解を求めるアルゴリズムが無いからといって、 その不定方程式に整数解があることを否定できるわけではない。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/268

269: １３２人目の素数さん [] 2025/09/01(月) 20:17:20.18 ID:jdwb2o0+ 一定の特異点の解消を求めるアルゴリズムがないことは ある特定の特異点の解消を求めるアルゴリズムが 存在しないことを意味しない http://rio2016.5ch.net/test/read.cgi/math/1753002417/269

270: １３２人目の素数さん [sage] 2025/09/01(月) 20:38:35.49 ID:F+DthgMd 整数解があるなら、手あたり次第試せば、いつか見つかるけど 整数解がない場合は、いくらやっても見つからないが、 整数の組は無数にあるから、手あたり次第試してたら終わらない http://rio2016.5ch.net/test/read.cgi/math/1753002417/270

271: １３２人目の素数さん [] 2025/09/02(火) 22:43:08.51 ID:vgyzZwMc 初等幾何の枠組みに座標を入れて解析幾何・代数幾何の中に埋め込んで、 そのように拡大された体系の中でも解法が無いことを示せれば、 拡大される前の体系の中でも解法が無いという理屈になるのだろうな。 なぜならば、拡大前の体系の中で解法があったとすれば、 拡大後の体系の中からみても解法があるはずだから。 しかし拡大前の体系の中で解法がなかったとしても、 拡大後の体系の中には解法があるのかもしれない、そうして その解法は拡大前の体系の中では実施できないもの

だと。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/271

272: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/03(水) 09:58:56.73 ID:hNzKNOFY これいいね https://japan.cnet.com/article/35237393/ AIが嘘をつく理由は「あなたがそれを求めているから」 Macy Meyer （CNET News） 編集部20250901 　プリンストン大学の新しい研究によれば、AIが持つご機嫌取りの性質には大きな代償が伴うという。これらのシステムは普及につれて、真実を無視する傾向が強まっている 　ここ数カ月、われわれはAIが偏見を持つ可能性や、精神病を引き起こす可能性さえあることを目の当たりにしてきた。「OpenAI」の「GPT-4

o」モデルをきっかけに、AIチャットボットがすぐにユーザーに追従したり、同意したりするAIの「へつらい（sycophancy）」が話題になった。しかし今回、研究者らが「機械のデタラメ（machine bullshit）」と呼ぶこの特定の現象は、それとは異なるものだ 　「幻覚やへつらいは、LLMに共通して見られる、広範囲にわたる体系的な不誠実な行動を十分に捉えてはいない」と、プリンストン大学の研究者らは述べている。「例えば、部分的な真実や曖昧な言葉遣い（ごまかしや逃げ口上など）を使った回答は、幻覚でもへつらいでもなく、デタラメの概念と密接に一

致する」 AIは嘘をつくことをどのように学ぶのか？ 　AI言語モデルがどのようにしてユーザーに迎合するようになるかを理解するには、LLMがどのように訓練されているかを理解する必要がある 　LLMの訓練には、3つのフェーズがある ・事前学習：インターネットや書籍など、膨大な量のデータからモデルが学習する ・インストラクションチューニング：命令やプロンプトに反応するようにモデルが教えられる ・人間のフィードバックによる強化学習：ユーザーが望む、または好む応答を生成するようにモデルが改善される 　プリンストン大学の研究者は、AI

が誤った情報を生成する傾向の根源は、人間のフィードバックによる強化学習（RLHF）のフェーズにあることを発見した。初期段階では、AIモデルは単に膨大なデータセットから統計的に可能性の高いテキストの連鎖を予測することを学習しているにすぎない。しかし、その後、ユーザーの満足度を最大化するようにファインチューニングされる。つまり、これらのモデルは、人間の評価者から「いいね」評価を得られる応答を生成することを本質的に学習しているのだ 　LLMはユーザーのご機嫌を取ろうとし、信ぴょう性が高く事実に基づいた回答を生成するのでは

なく、人々が高い評価を付ける回答を生成するという矛盾が生じている 　研究には参加していないカーネギーメロン大学のコンピュータサイエンス教授であるVincent Conitzer氏によると、企業はユーザーにAIやその回答を引き続き「楽しんで」もらいたいと考えているが、それが必ずしもわれわれにとって良いことであるとは限らないという 　「以前から、これらのシステムは『答えが分からない』と伝えるのが得意ではなかった。答えが分からないと、でたらめなことを作り出してしまう」と、Conitzer氏は語った。「それは、試験を受けている学生が、答えが

分からないと言ったらその問題で点が取れないから、とにかく何かを試してみよう、と言うのに少し似ている。これらのシステムが報酬を与えられたり、訓練されたりする方法も、いくぶん似ている」 http://rio2016.5ch.net/test/read.cgi/math/1753002417/272

273: １３２人目の素数さん [] 2025/09/03(水) 11:11:14.84 ID:hNzKNOFY >>271 １）初等幾何：下記のギリシアの3大作図問題ですね ２）”拡大された体系の中でも解法が”は、下記の「射影幾何の考えかた逆井卓也」ご参照 　射影幾何、射影座標で考えることで ユークリッド幾何学内で考えるよりスッキリ ３）同様に、常微分方程式あるいは偏微分方程式の弱解の話 　解の範囲を広げて ”はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる” 他に、代数方程式の解で たとえ実係数で

あっても その根の範囲を複素数まで広げる方が スッキリ扱えるがごとし (参考) https://www.nli-research.co.jp/report/detail/id=55978?site=nli ニッセイ基礎研 2017年06月19日 ギリシアの3大作図問題−数学を通じて、ギリシアという国の歴史的位置付けの重みを再認識してみませんか− 中村 亮一 リシアの3大作図問題とは 「ギリシアの3大作図問題」とは、以下の３つの問題のことであり、2000年以上も解決されてこなかった問題である。 問題1（円積問題）：円と同じ面積を持つ正方形を作図する。 問題2（立方体倍積問題）：与えられた

立方体の体積の2倍の体積を持つ立方体を作図する。 問題3（角の３等分問題）：任意の角を3等分する。 いずれの問題も極めてシンプルである。殆どの人がその内容を理解できる問題だと思われる。ところが、これが「作図」できるかどうかを証明することは大変難しい問題であった。 作図とは ここで、「作図」とは、「定規とコンパスを使って作図」という意味である。現代であれば、コンピュータ等を使用して、簡単に作図できるが、「定規とコンパスを使って作図」ということになるとそうはいかなくなる。 「定規とコンパスを使って作図」とは、(1)定規

は2点を直線で結ぶ（目盛りは使わない）、(2)コンパスは円を描く、(3)あくまでも手順は有限回である、ということを意味している。 その答えは 実は、答えは全て「作図不可能」ということになる。 これらの「作図不可能」性については、問題2（立方体倍積問題）と問題3（角の３等分問題）が1837年に、フランス人数学者ピエール・ローラン・ヴァンツェル（Pierre Laurent Wantzel）によって解決され、問題1（円積問題）については、1882年にドイツ人数学者フェルディナント・フォン・リンデマン（Carl Louis Ferdinand von Lindemann）によって解決さ

れた。 作図可能であるための条件 この初等幾何学の問題を解くためには、抽象代数学が使用されている。「抽象代数学」って何やそれ、と思う人が殆どだと思うが、「群」、「環」、「体」といった概念を取り扱う学問だ つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/273

274: １３２人目の素数さん [] 2025/09/03(水) 11:11:38.85 ID:hNzKNOFY つづき https://www.ms.u-tokyo.ac.jp/tambara/docs/mc4h2023-Sakasai.pdf 射影幾何の考えかた逆井卓也∗ 2023 年10月9日 （∗東京大学大学院数理科学研究科.令和5年度群馬県高校生数学キャンプ「2次曲線」における講演） P7 4 デザルグの定理この節ではデザルグの定理と呼ばれる有名な定理の紹介をします。この定理は通常の平面幾何の定理となっていますが、射影幾何の本質を突くものとなっています。デザルグ（Girard Desargues, 1591–1661）は 17 世紀の建

築家・数学者で、まさに透視図法の研究をしていました。 P17 定理8.1 射影平面の任意の射影直線に対してうまく射影変換を行うと、その射影直線を無限遠直線にうつすことができる。また、楕円、放物線、双曲線はどれも射影変換によって単位円にうつすことができる。 という事実があります。この性質は射影幾何に関する定理の証明をしばしば簡単な場合へと帰着させます。 https://ja.wikipedia.org/wiki/%E5%BC%B1%E8%A7%A3 弱解 常微分方程式あるいは偏微分方程式の弱解（じゃくかい、英: weak solution、一般解とも呼ばれる）とは、その微分は存在し

ないかもしれないが、ある正確に定義できる意味において方程式を満たすと見なされるような関数のことを言う。方程式の異なるクラスに対して、それぞれ異なる弱解の定義が多く存在する。最も重要な定義の一つは、シュワルツ超函数の概念に基づくものである。 方程式に微分可能な解が存在している場合でも、はじめに弱解の存在を示し、その後にその解が実際に十分滑らかであることを示す、という方法がしばしば有用となる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/274

275: １３２人目の素数さん [] 2025/09/03(水) 11:22:52.63 ID:48VLeQ/z ＞代数方程式の解で たとえ実係数であっても ＞その根の範囲を複素数まで広げる方がスッキリ扱えるがごとし 大学1年の一般教養の数学で落第した数学童貞が 「ボク、数学全部わかるもん」と５ｃｈで自慢 http://rio2016.5ch.net/test/read.cgi/math/1753002417/275

276: １３２人目の素数さん [] 2025/09/03(水) 20:43:50.22 ID:Apn5q2tx 現代化学2025年8月号 ”原子核を形づくる力 三体核力”が 如何にも21世紀で、面白い 要するに、コンピューターの計算が発展して 三体核力の研究が進んだのです (参考) https://www.tkd-pbl.com/book/b10139503.html 株式会社東京化学同人 現代化学2025年8月号 試し読み https://www.yondemill.jp/contents/68082?view=1 【インタビュー】 関口仁子 博士 原子核を形づくる力 三体核力 https://ja.wikipedia.org/wiki/%E4%B8%89%E4%BD%93%E5%95%8F%E9%A1%8C 三体問題 運動の軌

道を与える一般解が求積法では求まらない問題として知られる。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/276

277: １３２人目の素数さん [] 2025/09/03(水) 21:47:12.13 ID:WMISyGJU 物理板に書けよ 物理と数学の区別もできねえのか馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1753002417/277

278: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/05(金) 21:05:52.43 ID:n1shBuli これ、ちょっと面白い https://nazology.kusuguru.co.jp/archives/184497 「万物の理論」は数式や公理だけで構築できないことが論証された 2025.09.03 「この世界のすべてを説明できる完璧な理論」が存在しないかもしれない——。 カナダのブリティッシュコロンビア大学オカナガン校（UBC Okanagan）など複数の国際研究機関から成る研究チームの最新の研究によって、あらゆる物理法則を一つにまとめ上げる「万物の理論」を、数学的なアルゴリズムだ

けで構築することには原理的な限界がある可能性が示されました。 数学の世界では、どんなに優れた理論でも、その中で証明できない問題が必ず存在することが知られています（ゲーデルの不完全性定理など）。 研究チームは、この数学的な限界が物理法則にも当てはまることを示し、物理の理論にも完全に計算だけで記述する限界があることを明らかにており、論文でも「完全にアルゴリズム的な「万物の理論」は不可能であることが示唆される（ a wholly algorithmic “Theory of Everything’’ is impossible）」と記されています。 これは、たとえ現在

の私たちが夢に描くような「万物の理論」やその「美しい方程式」が完成したとしても、その理論では説明できない現象が必ず現れることを意味します。 研究チームはその代わりに、計算だけでは解けない問題にも対応できる新しいタイプの理論として、「メタ万物理論（MToE）」という考え方を提案しています。 https://nazology.kusuguru.co.jp/archives/184497/4 「万物の理論」は数式や公理だけで構築できないことが論証された (4/4) 2025.09.03 専門化向けざっくり解説 1) 問題設定：量子重力を「有限・計算可能」な形式系として捉える 2) 論理三定

理の適用：計算核 F_QG の限界 ゲーデル第1定理 ゲーデル第2定理 タルスキーの定義不可能定理 チャイティンの情報理論的不完全性 帰結：純粋にアルゴリズム的（計算可能）な TOE は原理的に不可能。F_QG は真理全体を捉えきれず、自己健全性も内部証明できない。 3) メタ万物理論 MToE：外部真理述語と非効果的推論の導入 4) 物理への含意：不可判定性が顕在化する領域 「万物の理論」は数式や公理だけで構築できないことが論証された (4/4)のコメント http://rio2016.5ch.net/test/read.cgi/math/1753002417/278

279: １３２人目の素数さん [] 2025/09/06(土) 21:01:48.29 ID:Av8R8IG9 なんで量子重力にだけ限定して議論することが必要とされるのかがわからん。 連立常微分方程式で完璧に記述される運動があったとしても、 初期条件に任意に微小な違いが任意に大きな違いを生むカオス系に なっていたら、観測により、未来あるいは過去の運動を任意に精密に 決定することが現実的には不可能になる。つまりそのようなモデルを 作っても、それに含まれる運動のパラメタを十分に精密に決定できず モデルの予言力に限界が生じてしまう。物理では理想的な実数を考え

てもしかたがなく、観測も現実も一定の精度限界が存在する。純粋な 孤立系が存在せず、どうしても自由度無限大の場による影響がノイズ として入り混むので、その自由度無限大の場を有限の観測結果から決 定することは出来ないから、理論が閉じない。無限の精度で実験結果 を予言する理論はありえない。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/279

280: １３２人目の素数さん [] 2025/09/07(日) 09:48:16.43 ID:CTxYlvA3 そもそも万物の理論が自然数論を包含するのか？ 宇宙って有限だろ？（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/280

281: １３２人目の素数さん [] 2025/09/08(月) 07:39:27.72 ID:T0zNxX6Q 宇宙が体積有限かどうかは確定はしていない。 実数の有限[-1,1]区間にも整数の逆数が無限に存在している。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/281

282: １３２人目の素数さん [sage] 2025/09/08(月) 09:01:26.83 ID:woWQlcgS 宇宙が連続体だっていつだれがどこで証明したっけ？ そんな証明ないよな？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/282

283: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/09(火) 12:54:05.18 ID:mSmF3uVl これいいね、問題提起 https://news.yahoo.co.jp/articles/4bb99e68fcaa1c301901c381c69bb71ecc021987 news.yahoo 9/9(火) BUSINESS INSIDER JAPAN 首藤みさき ライター 「学びたくない日本」アメリカとは8倍差。リスキリングブーム凋落の納得の理由 「日本人は勤勉」という考えはもはや過去の幻想にすぎないのかもしれない 日本の労働者は、アメリカの労働者に比べて8倍「学ぶ気がない」──。Indeed Japan（以下、インディード）が実施した調査 から、そんな

現実が明らかになった 日本でも「人への投資」や「リスキリング」の重要性が指摘され始めて数年経つ。ソフト面では確かにさまざまなリスキリング関連サービスが広がってきたものの、調査結果からは、日本の労働市場における労働者・企業双方のスキル習得に対する意識の低さが露見した形だ どうすればスキル習得の意欲が高まるのか。企業はそのために何ができるのか 新たなスキル「生かし方」が描けていない インディードが実施した今回の調査は、日本とアメリカの労働者（各国3096名）および採用担当者（各国1030名）を対象に、早稲田大学政治経済

学術院 大湾秀雄教授の監修のもと実施した 調査結果からまず明らかになったのは、日本人労働者のリスキリングへの消極性だ 大湾教授によれば、スキル習得意識の低さに加え、日本では「自己研鑽活動を何もしていない」と回答した人も全体の半数以上（50.5%）で、アメリカ（同9.7%）との差は歴然だった。 大湾教授によると、もともと日本では、雇用の流動性の低さや、会社主体の配置制度といった労働慣行の影響もあり、新たなスキルを習得するモチベーションが低い傾向があったという。調査では、リスキリング市場が盛り上がってきているなかでも、ま

だまだ根強い「日本的」な労働環境が残っている現実が可視化された形だ また、今回の調査では、個人の「キャリア意識」がリスキリングの意欲に強く影響することが分かってきた。 「調査では、明確なキャリア理想像を持つ人ほど、身につけたいスキルの数やスキル獲得のための活動数が多いことが示されました。その一方で、『明確なキャリアプランを持っている』と回答したビジネスパーソンが日本は全体の9.7%とアメリカ（48.9%）に比べ著しく低い 日本の場合は、転職回数が多い人ほどキャリア意識が高く、獲得したいスキル数が多い。つまり、自分の市

場価値を意識するということが、スキル獲得につながっていくということを表す結果になっています。」（大湾教授) 明確なキャリアプランを持つ人は、リスキリングを自分が望むキャリアを実現するための手段の一つとして捉えていることが伺える。 雇用の流動性が高く、個人のスキル習得が労働市場で生き残るために不可欠なアメリカと異なり、日本におけるリスキリングは、企業目線で見ると、従業員に成長を促すことで、事業戦略や外部環境の変化に適応していくための仕組みという側面も強い しかし企業側への調査結果を見ると、自社のリスキリング支

援の取り組みについて「特になし」とする日本企業は22.7%（アメリカは2.0%）に達している。さらに会社からの支援について、労働者側は「特になし」とする回答が45.6%だった。日本では、アメリカよりも企業からの支援が少ないばかりか、実際に支援していても、それが従業員に伝わっていない状況にあるようだ http://rio2016.5ch.net/test/read.cgi/math/1753002417/283

284: １３２人目の素数さん [] 2025/09/09(火) 13:02:43.38 ID:LeAc3O74 >>283 述語論理も集合論も実数論も一から丁寧に学ぼうとしない 怠惰で傲慢な自分自身に真っ先に問題提起しろよ　◆yH25M02vWFhP http://rio2016.5ch.net/test/read.cgi/math/1753002417/284

285: １３２人目の素数さん [] 2025/09/11(木) 06:35:13.68 ID:EFLWYl3+ 実数論はリスキリングか http://rio2016.5ch.net/test/read.cgi/math/1753002417/285

286: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 13:48:28.49 ID:6CLM1l4J Ivan Fesenko さん 下記 ”From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024” で、なんか ちょっと フカシていると思ったところ referencesで ”・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023 ・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk at Mat

h and Machine learning colloquium series, Barcelona, February 2024” があがっていたので、ビツクリしました ；ｐ） (参考) https://ivanfesenko.org/?page_id=80 Ivan Fesenko https://ivanfesenko.org/wp-content/uploads/sl24.pdf From two Grothendieck’s math legacies to quantum computing and deep neural networks, talk July 2024 Summary Two areas initiated by A. Grothendieck: topos theory and anabelian geometry, seem to remain relatively unknown to AI scientists and quantum computing experts. There is a potential

for the use of some concepts and visions of these math areas in quantum computing, and for understanding of deep neural networks and AI systems. Some references in public access ・Olivia Caramello, Syntactic learning via topos theory, talk, New AI theory workshop, November 2023 ・Laurent Lafforgue, Grothendieck’s topos as mathematics for a Future AI: Illustration by the Problem of Image Representation, talk at Centre Lagrange, October 2023 ・Laurent Lafforgue, Some sketches for a topos-theoretic AI, talk

at Math and Machine learning colloquium series, Barcelona, February 2024 http://rio2016.5ch.net/test/read.cgi/math/1753002417/286

287: １３２人目の素数さん [] 2025/09/11(木) 14:38:20.27 ID:KfYwoBCP サルは何をみてもびっくり（嘲） http://rio2016.5ch.net/test/read.cgi/math/1753002417/287

288: １３２人目の素数さん [] 2025/09/13(土) 16:51:10.71 ID:QgqpGZ4Z 「科学の女王」数学、日本の研究水準は高いが…AIなど産業応用は後れ 2025年9月13日 　https://www.nikkei.com/article/DGXZQOSG2694M0W5A820C2000000/ http://rio2016.5ch.net/test/read.cgi/math/1753002417/288

289: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/17(水) 14:02:20.57 ID:o5lvaVpk 面白そうだね https://www.vietnam.vn/ja/cac-nha-khoa-hoc-tim-ra-cong-thuc-pi-hoan-toan-moi-sau-hang-ngan-nam 科学者たちは数千年ぶりに全く新しい円周率の公式を発見した 科学者たちは円周率をより正確かつ効率的に表す新しい公式を発見し、量子力学、素粒子物理学、複雑な科学的シミュレーションの研究に新たな方向性を開いた。 Báo Tuổi Trẻ 11/09/2025 インド科学研究所の物理学者アルナブ・プリヤ・サハ氏とアニンダ・シンハ氏は

、粒子間の相互作用のシミュレーションを最適化するための新しい量子モデルを研究で開発しました。驚くべきことに、このモデルを構築する過程で、彼らは全く新しい円周率の公式を発見しました。この公式により、より少ないステップでより正確な計算が可能になり、データ処理量が大幅に削減されます。 サハとシンハは、粒子の相互作用と散乱を記述する数学的ツールであるファインマン図と、弦理論で用いられるオイラーのベータ関数を組み合わせました。その結果、円周率の値に非常に速く収束する特別な数列が得られ、従来の方法よりもはるかに高速な計

算が可能になりました。 アニンダ・シンハ博士によると、この研究方向は1970年代に提案されたものの、計算が複雑すぎるために放棄されたとのことです。しかし、現代の計算技術と高度な数学の発展により、研究チームは新しいモデルが予想よりも速く収束することを証明し、円周率の計算がこれまで以上に実現可能になったとしています。 新しい円周率の公式は日常生活に直接応用されるものではありませんが、基礎科学にとって重要な前進です。この研究は円周率に関する理解を深めるだけでなく、量子モデルの高速化や将来の複雑な問題の解決の可能性も示

しています。 シンハ博士はこう述べています。「これこそが理論科学の純粋な喜びです。すぐに応用できるわけではありませんが、知識と研究の新たな扉を開きます。」 トピックに戻る ミン・ハイ 出典: https://tuoitre.vn/cac-nha-khoa-hoc-tim-ra-cong-thuc-pi-hoan-toan-moi-sau-hang-ngan-nam-20250910091916157.htm http://rio2016.5ch.net/test/read.cgi/math/1753002417/289

290: １３２人目の素数さん [sage] 2025/09/17(水) 16:19:54.34 ID:3X0fIBXC 実数の定義も理解できんエテ公が 自分が全然わからんことを 面白がるとかマゾ（嘲） http://rio2016.5ch.net/test/read.cgi/math/1753002417/290

291: １３２人目の素数さん [] 2025/09/17(水) 17:21:19.29 ID:DfAheodB ＡＩ馬鹿で草 https://i.imgur.com/C8pcBsw.png http://rio2016.5ch.net/test/read.cgi/math/1753002417/291

292: １３２人目の素数さん [] 2025/09/17(水) 17:21:37.06 ID:DfAheodB >>290 馬鹿でもできるレスw http://rio2016.5ch.net/test/read.cgi/math/1753002417/292

293: １３２人目の素数さん [] 2025/09/19(金) 05:35:52.24 ID:XleH0+9h Baoは包 http://rio2016.5ch.net/test/read.cgi/math/1753002417/293

294: １３２人目の素数さん [] 2025/09/20(土) 08:51:26.29 ID:0Zg6k/bo AI時代、創造する喜びは消えない　万博プロデューサーの中島さち子氏 2025年9月20日 https://www.nikkei.com/article/DGXZQOSG01A190R00C25A5000000/ http://rio2016.5ch.net/test/read.cgi/math/1753002417/294

295: １３２人目の素数さん [sage] 2025/09/20(土) 11:31:27.90 ID:7netQ1bm >>294 なにがしたいんだか　NS なにをしてもいいけどな http://rio2016.5ch.net/test/read.cgi/math/1753002417/295

296: １３２人目の素数さん [] 2025/09/21(日) 07:37:01.35 ID:728Xn/GW オリンピックの金メダルの価値は あせない http://rio2016.5ch.net/test/read.cgi/math/1753002417/296

297: １３２人目の素数さん [sage] 2025/09/21(日) 09:13:06.55 ID:ldtUFZx9 >>296 数学は競技じゃねえよ　●違い http://rio2016.5ch.net/test/read.cgi/math/1753002417/297

298: １３２人目の素数さん [] 2025/09/21(日) 09:49:39.46 ID:728Xn/GW 数学オリンピックは競技 http://rio2016.5ch.net/test/read.cgi/math/1753002417/298

299: １３２人目の素数さん [sage] 2025/09/21(日) 09:54:59.07 ID:ldtUFZx9 >>298 じゃ、そいつは数学じゃねぇな http://rio2016.5ch.net/test/read.cgi/math/1753002417/299

300: １３２人目の素数さん [] 2025/09/21(日) 10:04:37.63 ID:728Xn/GW もちろん http://rio2016.5ch.net/test/read.cgi/math/1753002417/300

301: １３２人目の素数さん [] 2025/09/21(日) 10:21:25.88 ID:ldtUFZx9 どこぞの素人が●●の一つ覚えで 群・環・体 と、ほざくのを散々耳にしたが、これからはこういいたい 半群・半環・半体 （笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/301

302: １３２人目の素数さん [] 2025/09/21(日) 10:24:57.00 ID:728Xn/GW 昔は体のことをケルパーというのが一般的だったそうだ http://rio2016.5ch.net/test/read.cgi/math/1753002417/302

303: １３２人目の素数さん [] 2025/09/21(日) 10:25:48.78 ID:ldtUFZx9 整数Zは 加法について（可換）群であり 乗法までいれると（可換）環 そして有理数Qや実数Rは（可換）体 一方、自然数Nは 加法について（可換）半群であり 乗法までいれると（可換）半環 そして、正の有理数全体や正の実数全体は（可換）半体 実はこれらこそが本体なのではないか？　なんちって（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/303

304: １３２人目の素数さん [] 2025/09/21(日) 10:32:26.79 ID:ldtUFZx9 小学校の算数では、負の数を扱わない だから、小学校の算数は、 自然数半群・自然数半環・正有理数半体 について、理屈抜きで具体的取扱を学んでいる 中学校で負の数を学ぶと「半」がとれる（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/304

305: １３２人目の素数さん [] 2025/09/21(日) 10:40:25.52 ID:ldtUFZx9 中学校３年で無限小数とか出てきて なし崩し的に実数を密輸入する で、高校で微分とか積分とかナイーブに導入するが まあ、やろうと思えば dxをいくらでも小さくすることで 微分係数やら定積分やらの値を 無限小数として、任意の桁の値も確定できる という形で正当化できるが それを理屈として説明するのはすげぇめんどうだし 高校生は大学受験で忙しいので そこまでやらずに大学に丸投げする そして大学に入った１年生が 微分積分学でいきなり実数の定義とか学んで 「なんじ

ゃこりゃぁぁぁ！！！」 と絶叫するわけだ（笑） 高校までの数学は所詮算数 という意味がこれでよくわかるだろう（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/305

306: １３２人目の素数さん [] 2025/09/21(日) 10:46:04.33 ID:ldtUFZx9 >>305 ＞dxをいくらでも小さくすることで ＞微分係数やら定積分やらの値を ＞無限小数として、任意の桁の値も確定できる これは実は、コーシー列であることを示すのと同じ √２だろうがπだろうがｅだろうが 結局のところ無限小数として表すというのは 別に全部の桁を一遍に示すわけではなく だんだん下の値まで確定していく列として示す ということである ここで、ナイーブな数のプラトニズムが崩壊する（笑） http://rio2016.5ch.net/test/read.cgi/math/175300241

7/306

307: １３２人目の素数さん [] 2025/09/21(日) 13:11:22.91 ID:iJFyzo0I >>306 (引用開始) これは実は、コーシー列であることを示すのと同じ √２だろうがπだろうがｅだろうが 結局のところ無限小数として表すというのは 別に全部の桁を一遍に示すわけではなく だんだん下の値まで確定していく列として示す ということである ここで、ナイーブな数のプラトニズムが崩壊する（笑） (引用終り) 一句”不勉強 オチコボレのさばる 便所板”（字余り） ここは中高一貫校生も来る可能性があるから 赤ペン先生をしておく 下記 東北大 尾畑研 https:

//www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf) 第16章整数・有理数・実数 P247 16.3 実　数 P258 ■実数の無限小数展開 p259 実数の無限小数展開という x=ξ0ξ1ξ2・・・ξn・・・ のように書く (引用終り) 厳然と、可算無限桁の無限小数展開が存在すると考えて良い コーシー列においても、厳然と 可算無限個の数の列が存在すると考えて良い その方が、カントールの対角線論法が 腑に落ちるｗｗ　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753002417/3

07

308: １３２人目の素数さん [] 2025/09/21(日) 15:51:08.13 ID:ldtUFZx9 >>307 >”不勉強 オチコボレのさばる 便所板” >ここは中高一貫校生も来るから >赤ペン先生しておく 公立中高卒の不勉強オチコボレが 自称赤ペン先生で大間違い >厳然と、可算無限桁の無限小数展開が存在すると考えて良い >その方が、カントールの対角線論法が 腑に落ちる 目で見ないと分からん馬鹿が無限個の数の一斉存在にこだわる（笑） fが自然数から実数への単射とする また実数rについてそのn桁目をr[n]と表す そのとき以下の実数lを構成できる

l[n] =f(n)[n]+1 　(f(n)[n]が0〜8) =0 　(f(n)[n]が9) さて、もしfが全射ならl＝f(m)となるmが存在する しかし、lの定義からl[m]は、f[m](m)とは一致し得ない したがって矛盾 上記の証明で、どこにも無限個の桁の数など全部列挙していない 列挙していないものを列挙していると妄想するのは馬鹿であり●違い 何が腑に落ちる、だ 五臓六腑全部掻き出したろか？（笑） http://rio2016.5ch.net/test/read.cgi/math/1753002417/308

309: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/21(日) 17:56:19.19 ID:iJFyzo0I >>308 >また実数rについてそのn桁目をr[n]と表す そのnが、0<n の自然数集合Nの全てを渡る前提があるよ それ、大前提 だから、あなたの論は 　>>307の尾畑研の ■実数の無限小数展開 p259 実数の無限小数展開という x=ξ0ξ1ξ2・・・ξn・・・ のように書く (引用終り) を否定していないよねｗｗｗ　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753002417/309

310: １３２人目の素数さん [sage] 2025/09/21(日) 18:26:31.75 ID:ldtUFZx9 >>309 >>実数rについてそのn桁目をr[n]と表す >そのnが自然数集合Nの全てを渡る大前提があるよ その大前提とやらは 「無限小数展開のすべての桁が”今・この瞬間に”分かっている」 を導かないが それ、分かる？ 大学１年の一般教養の数学で落第した高卒 ◆yH25M02vWFhP 君 http://rio2016.5ch.net/test/read.cgi/math/1753002417/310

311: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/21(日) 23:06:54.86 ID:cEGpGchm >>310 >その大前提とやらは >「無限小数展開のすべての桁が”今・この瞬間に”分かっている」 >を導かないが 貧弱な”メンタルピクチャー”(by 加藤文元) だな ｗ 無限に対する”メンタルピクチャー”が貧弱だから・・ 箱入り無数目（下記）が分らないんだよ　；ｐ） １）まず 形式的冪級数環と多項式環 から（下記） 　多項式とは：「項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であ

る」（下記） 　これは、上から目線の定義だね。つまり、項が無限個の形式的冪級数から 見下せば 項が有限個なら 多項式！ 2）これを踏まえて、有限小数とは：「有限桁の小数 —つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である」小数のこと！■　；ｐ） (参考) https://note.com/katobungen/n/nccba3ef014f6 note.com なぜ微分積分学は不完全なのか？ 加藤文元 2025年2月23日 メンタルピクチャー 形式化された理論 メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ

ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化 (*)　　MP ーーーー形式化ー＞ FT のことである 形式化図式と数学の「理解」 形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化

図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない https://rio2016.5ch.net/test/read.cgi/math/1736907570/ 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個

ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 つづく http://rio2016.5ch

.net/test/read.cgi/math/1753002417/311

312: １３２人目の素数さん [] 2025/09/21(日) 23:07:26.21 ID:cEGpGchm つづき ２．続けて時枝はいう 　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている. 但しもっときびしい同値関係を使う. 実数列の集合 R^Nを考える. s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). 念のため推移律をチェックすると，sとs'が1962番目から先一致し

，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する. 〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく. https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数（英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。 定義 A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power serie

s) とは、各 ai (i = 0, 1, 2, …) を A の元として、 ?n=0〜∞ anXn=a0+a1X+a2X^2+⋯ の形をしたものである。ある m が存在して n ≥ m のとき an = 0 となるようなものは多項式と見なすことができる。 形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。 https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0 多項式環（英語: polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。 注意すべき点として、多項

式には項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ— は、暗黙の了解である (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/312

313: １３２人目の素数さん [sage] 2025/09/22(月) 02:47:29.81 ID:1W1nA50K コピペバカ http://rio2016.5ch.net/test/read.cgi/math/1753002417/313

314: １３２人目の素数さん [] 2025/09/22(月) 06:48:24.88 ID:ntA/Tb1I 一種のパラドックス http://rio2016.5ch.net/test/read.cgi/math/1753002417/314

315: １３２人目の素数さん [] 2025/09/22(月) 08:29:33.13 ID:ntA/Tb1I 「時枝のパラドックス」として定着するか http://rio2016.5ch.net/test/read.cgi/math/1753002417/315

316: １３２人目の素数さん [sage] 2025/09/22(月) 09:46:13.14 ID:q+ID/bXs >>306-311 306　ヒト >（実数を）無限小数として表すというのは >全部の桁を一遍に示すわけではなく >だんだん下の値まで確定していく列として示すことである >ここで、ナイーブな数のプラトニズムが崩壊する 307　エテ公　 >可算無限桁の無限小数展開が存在すると考える方が、対角線論法が 腑に落ちる 308　ヒト >実数rについてそのn桁目をr[n]と表す…どこにも無限個の桁の数など全部列挙していない 309　エテ公 >そのnが自然数集合Nの全て

を渡る大前提があるよ 310　ヒト >それ、「無限小数展開のすべての桁が”今・この瞬間に”分かっている」を導かないが 311　エテ公 >貧弱な”メンタルピクチャー”だな 「可算無限桁の無限小数展開が”すべての桁が示された状態で”存在する」 という最貧最弱メンタルピクチャーは　大学１年の微分積分の最初の 実数の定義が分からず落第した高卒エテ公、貴様のものだ（笑） （完） http://rio2016.5ch.net/test/read.cgi/math/1753002417/316

317: １３２人目の素数さん [sage] 2025/09/22(月) 09:48:06.24 ID:q+ID/bXs >>311 ＞無限に対する”メンタルピクチャー”が貧弱だから・・ ＞箱入り無数目が分らないんだよ 無限に関する”メンタルピクチャー”が間違ってるから 箱入り無数目で誤解して発●するんだよ　エテ公 http://rio2016.5ch.net/test/read.cgi/math/1753002417/317

318: １３２人目の素数さん [sage] 2025/09/22(月) 09:58:48.62 ID:q+ID/bXs >>311 ＞まず 形式的冪級数環と多項式環 から 「環」要らない　代数演算一切使ってないから（笑） ＞多項式とは： ＞「項が有限個しかないこと ＞—つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である（形式的級数）」 ＞これは、上から目線の定義だね。 さすが高卒レベルの素人だね こんなナイーブな文章で「上から目線」とか言っちゃう ＞つまり、項が無限個の形式的冪級数から見下せば 項が有限個なら 多項式！ ＞これを踏まえて

、有限小数とは： ＞「有限桁の小数 ＞—つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である小数」のこと！ 要するに 　形式的冪級数：（任意次数）多項式 ＝無限小数：（任意次数）有限小数 ＝無限列：（任意次数）有限列 ＝S^N：∪(n∈N）S^n http://rio2016.5ch.net/test/read.cgi/math/1753002417/318

319: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/22(月) 10:02:27.58 ID:gPu58kvr >>314-315 これは御大か そうなんですよ 「時枝のパラドックス」は、現代数学確率論とは 真っ向矛盾しています しかし、それは 現代数学確率論の知識がない オチコボレさんには 理解できないので、彼らは グダグダ言ってますけどね ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753002417/319

320: １３２人目の素数さん [sage] 2025/09/22(月) 10:17:18.02 ID:q+ID/bXs >>319 ＞（「箱入り無数目」は）現代数学確率論とは真っ向矛盾・・・ 確率論どころか測度論の初歩である非可測集合も理解できん高卒エテ公の妄想 ついでにいうと、箱入り無数目を考えたのは時枝正じゃないぞ 「時枝のパラドックス」とか呼ぶのは コラッツの問題を掛谷の問題と呼ぶのと同じ 日本しか見ない見えない夜郎自大の自己愛エテ公 ｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1753002417/320

321: １３２人目の素数さん [] 2025/09/22(月) 12:00:22.97 ID:1W1nA50K >>319 >「時枝のパラドックス」は、現代数学確率論とは >真っ向矛盾しています そう思うのは Ω=R^N と勝手読みしてるから 国語からやり直し http://rio2016.5ch.net/test/read.cgi/math/1753002417/321

322: １３２人目の素数さん [] 2025/09/22(月) 22:00:37.97 ID:ntA/Tb1I 何通りもの勝手読みの優劣を判じにくい場合もあるだろう http://rio2016.5ch.net/test/read.cgi/math/1753002417/322

323: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/22(月) 23:53:57.11 ID:m8WX5Plq >>312 追加 >実数列の集合 R^Nを考える. >s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 →>sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). さて 実数列の集合 R^Nを Formal power series(＝形式的冪級数)と見る視点は 下記の en.wikipedia でも採用されている 記号を下記に倣い 実Rを環とみて R[[x]]を形式的冪級数環、R[x]を多項式環と

する 時枝さんの同値類は 商 R[[x]]/R[x] に他ならない 形式的冪級数 F1(x)∈R[[x]] 多項式f(x)∈R[x] において F1(x)と F(x)=F1(x)+f(x)とは、同じ同値類に属することは 明らか つまり F1(x)を同値類の代表とすると 同値類は 代表F1(x)+多項式f(x)という構造を取る ： この場合 f(x)の次数がn(つまりn次の係数an≠0 で an+1以降すべて0) 時枝のしっぽ同値の決定番号d(ある番号dから先のしっぽが一致する)は、この場合d＝n+1となる いま、下記 都築暢夫 多項式環F[x]（今の場合R[x]）は、線形空間として（可算）無限次元だったことを思い出そう 無限

次元線形空間から、作為をもって 有限次元の多項式を要素として 多項式を 選択することは可能だが しかし、ランダムに 無限次元線形空間から 任意の要素を選べばどうなるか？ その答えは、無限次元線形空間とランダム性とは 馴染まないってことだね （直観的には 無限次元空間だから 無限次元の要素であるべきだが 多項式でそれは成り立たないので 矛盾） つまり、下記の非正則事前分布と同じで、非正則分布を成すので コルモゴロフによる公理系  P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■ これが

、箱入り無数目トリックです 再度纏めると、確率論から外れる典型例が二つある 一つは ご存知非可測集合の場合で、もう一つが 全事象Ωが(大きすぎて)発散して 確率1を与えることができない場合 （後者は、下記 AVILEN Inc. 2020に記されている通りだが、実務ではよく知られていることだが、純粋数学者で知る人は少ない） (参考) https://en.wikipedia.org/wiki/Formal_power_series Formal power series The formal power series over a ring R form a ring, commonly denoted by R[[x]]. (It can be seen as the (x)-adic completion of the polyn

omial ring R[x], in the same way as the p-adic integers are the p-adic completion of the ring of the integers.) The ring of formal power series Definition of the formal power series ring Ring structure Topological structure つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/323

324: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/22(月) 23:54:34.07 ID:m8WX5Plq つづき https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0 多項式環 https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf 代数学I (第2回)都築暢夫 Ｐ3 例3.2.多項式環F[x]. 線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。 証明 略す（原文ご参照） https://ai-trend

.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 目次 1 非正則な分布とは？一様分布との比較 2 非正則分布は確率分布ではない！？ 3 非正則事前分布は完全なる無情報事前分布 4 まとめ 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E3%81%AE%E5%85%AC%E7%90%86 確率の公理 コルモゴロフによる公理系 4. P(Ω)=1. (引

用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/324

325: １３２人目の素数さん [] 2025/09/23(火) 00:29:34.14 ID:4TPzkzyT >>323 >コルモゴロフによる公理系 P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■ >これが、箱入り無数目トリックです ほらね、「実数列をひとつランダムに選ぶ」と勝手読みしてトンチンカンなこと言ってる。 そんなことは記事のどこにも書かれていない。一方「1〜100 のいずれかをランダムに選ぶ」と明記されている。 したがって Ω=R^N は間違いで、正しくは Ω={1,2,・・・,100}。 君はいつも勝手読みするね。そ

の悪癖を治さない限り生涯オチコボレのままだよ。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/325

326: １３２人目の素数さん [sage] 2025/09/23(火) 07:04:54.48 ID:dQm52GG6 >>325 > 勝手読みの悪癖を治さない限り生涯オチコボレのままだよ。 実際その通り　大学１年の微分積分と線形代数で落第したのに ガロア理論がー、分かりもせずに吠えまくり そのくせ円分方程式の解すらべき根表示で解けない ◆yH25M02vWFhPは正真正銘の自己愛性人格障害　変質者 ついでにいうと ∪(n∈N)R^nは、代数的に可算次元だが R^Nは、代数的に非可算次元 代表はR^N/∪(n∈N)R^nの元 で、p∈∪(n∈N)R^nは、当然あるn∈Nが存在してp∈R^n どのR^nの要素

でないものが∪(n∈N)R^nの要素になることは定義上決してあり得ない あり得ないことを考えるのが●違い もっちー然り、◆yH25M02vWFhP然り http://rio2016.5ch.net/test/read.cgi/math/1753002417/326

327: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/23(火) 07:22:17.87 ID:odPafkyJ >>324 補足 （引用開始） https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf 代数学I (第2回)都築暢夫 Ｐ3 例3.2.多項式環F[x]. 線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。 証明 略す（原文ご参照） (引用終り) ここに Ｐ2 『3. 基底一次独立(93 ページ)、基底(98ページ)と次元(100-101 ページ) の定義は教科書を見よ』 などと出てくるが これ 親玉のサイトが見つかった http://ww

w.math.sci.hiroshima-u.ac.jp/algebra/member/tsuzuki-j.html 広島大学理学部数学科 代数数理講座 都築暢夫 2006年度 代数学1:講義ノート 第1回(4/14), 第2回(4/21), 第3回(4/28), 第4回(5/12), 第5回(5/19), 第6回(6/2), 第7回(6/9), 第8回(6/16), 第9回(7/7), https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-14.pdf 代数学I (第１回)都築暢夫 4 月14 日（金） P1 教科書: 硲野敏博・加藤芳文著「理工系の基礎線形代数学」(学術図書出版) だね <アマゾン> 理工系の基礎線形代数学 単行本 – 1994/1/1 硲野

敏博 (著), 加藤 芳文 (著) 学術図書出版社 カスタマーレビュー 星5つ中3.9つ まだカスタマーレビューはありません http://rio2016.5ch.net/test/read.cgi/math/1753002417/327

328: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/23(火) 07:48:57.86 ID:odPafkyJ >>311 補足 (引用開始) https://rio2016.5ch.net/test/read.cgi/math/1736907570/ 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよい

し，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 (引用終り) コルモゴロフの測度論による 確率計算では もし 区間[0,1]の実数rを 一つの箱に入れて それを 箱を閉じたまま 当てるときの確率は

0 もし 区間[0,1]の実数rを ｎ個の箱に入れて それを 箱を閉じたまま 当てるときの確率は 0 （一つだけ閉じた箱を残し 他を開けて n-1個の箱の数を見ても iid(独立同分布)なら 確率は 0） ｎ+1個の箱でも同じ 数学的帰納法により、任意nについて 未開の箱の的中確率0 nを無限個に拡張した問題を考えたら？ 一つだけ閉じた箱を残して 他を開けると 確率99/100 になる？ デタラメ無数目 ですよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/328

329: １３２人目の素数さん [] 2025/09/23(火) 09:35:58.21 ID:4TPzkzyT >>328 だからそれが勝手読みだと言ってるの。 記事が述べてる確率は君が言ってるのとはまったく異なる確率。 言ったそばから勝手読みするね君は。それじゃオチコボレのままだぞ。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/329

330: １３２人目の素数さん [] 2025/09/23(火) 09:35:58.23 ID:4TPzkzyT >>328 だからそれが勝手読みだと言ってるの。 記事が述べてる確率は君が言ってるのとはまったく異なる確率。 言ったそばから勝手読みするね君は。それじゃオチコボレのままだぞ。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/330

331: １３２人目の素数さん [] 2025/09/23(火) 09:39:32.46 ID:4TPzkzyT >>328 記事に「1〜100 のいずれかをランダムに選ぶ」と書かれてるだろ？　Y/Nで答えよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/331

332: １３２人目の素数さん [] 2025/09/23(火) 09:42:52.15 ID:4TPzkzyT >>328 記事中にランダム性の記述は「1〜100 のいずれかをランダムに選ぶ」以外に無いだろ？　Y/Nで答えよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/332

333: １３２人目の素数さん [sage] 2025/09/23(火) 09:43:09.86 ID:dQm52GG6 >>327 ＞多項式環F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。 ＞証明 略す（原文ご参照） 証明見なくても瞬時にわかるだろ（笑） 任意の自然数n∈Nについてx^nが基底 いっとくけど、R^Nの場合、上記だけじゃ代数的基底にならないぞ あくまで基底全体に属する有限個の元の線形結合で任意の元が生成されねばならない 必然的に無限個のx^nの”形式和”による無数（具体的には非可算無限）の元が 基底にならねばならないし、その具体的な形

を示すことはできない 基底の存在は選択公理で示されるだけだからな 分かってるか？大学１年の数学で落第した高卒 ◆yH25M02vWFhP http://rio2016.5ch.net/test/read.cgi/math/1753002417/333

334: １３２人目の素数さん [] 2025/09/23(火) 09:44:23.38 ID:4TPzkzyT >>328 ならば標本空間は Ω={1,2,・・・,100} だろ？　Y/Nで答えよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/334

335: １３２人目の素数さん [] 2025/09/23(火) 09:45:52.10 ID:4TPzkzyT >>328 ならば君が持ち出した標本空間 Ω=[0,1] は誤りだろ？　Y/Nで答えよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/335

336: １３２人目の素数さん [sage] 2025/09/23(火) 09:52:43.60 ID:dQm52GG6 >>328 ＞もし 区間[0,1]の実数rを ｎ個の箱に入れて、それを 箱を閉じたまま 当てるときの確率は 0 ＞（一つだけ閉じた箱を残し 他を開けて n-1個の箱の数を見ても iid(独立同分布)なら 確率は 0） ＞ｎ+1個の箱でも同じ ＞数学的帰納法により、任意nについて 未開の箱の的中確率0 そう、n∈Nなら（つまりnが有限なら）そうなる ＞nを無限個に拡張した問題を考えたら？一つだけ閉じた箱を残して 他を開けると確率99/100 になる？ ＞デタラメ無数目 ですよ ２つ言

いたいことがある １． 任意有限で成り立つから、無限でも成り立つ、とはいえない 任意のn∈Nについて　0<=m<nとなる1/m！の和は、有理数 しかし、無限個の和（実際は有理コーシー列だが）は、有理数ではなくｅ ２． 箱入り無数目で「選んだ箱の値が、ある値である確率が99/100」と読んでるが、読み間違い 100列のそれぞれを選ぶことで、結果的にそれぞれの中の1箱を選ぶことになる つまり選べるのは100箱 そのうち、当てられないのがたかだか1箱 だから、選んだ箱の中身を当てられる確率1-1/100=99/100 もちろん、確率論とは全然矛盾しない

http://rio2016.5ch.net/test/read.cgi/math/1753002417/336

337: １３２人目の素数さん [] 2025/09/23(火) 09:54:23.77 ID:4TPzkzyT >>328 Ω={1,2,・・・,100}を正としたとき、それは何の確率か？ 100列のいずれかをランダム選択したときに、単独最大決定番号の列を選ばない確率。なぜなら単独最大決定番号の列を選ばなければ代表列を用いたカンニングに成功して箱の中身を言い当てられるから。 それが箱入り無数目記事の確率。君が勝手に持ち出した確率とはぜんぜん違う。つまり君はぜんぜん違う確率を持ち出してきておかしいおかしいと喚いてるだけ。アホでしょ？ http://rio2016.5ch.net/test/read.

cgi/math/1753002417/337

338: １３２人目の素数さん [sage] 2025/09/23(火) 10:01:39.66 ID:dQm52GG6 ID:4TPzkzyTの4連質問 331 記事に「1〜100 のいずれかをランダムに選ぶ」と書かれてるだろ？　Y/Nで答えよ 332 記事中にランダム性の記述は「1〜100 のいずれかをランダムに選ぶ」以外に無いだろ？　Y/Nで答えよ 334 ならば標本空間は Ω={1,2,・・・,100} だろ？　Y/Nで答えよ 335 ならば君が持ち出した標本空間 Ω=[0,1] は誤りだろ？　Y/Nで答えよ 自己愛性人格障害者 ◆yH25M02vWFhPの回答予想 A1.時枝正の指示には従わない！俺は必ず100番目の列を選ぶ

！N! A2.どの列を選ぶかは数学の絶対神である俺様が決める　ランダムじゃねえ！N! A3.よって標本空間は([0,1]^N)^100　N! A4.数学の絶対神である俺様が間違うことなどあるわけないしあってはならん！N! ●ってんな　大学数学のオチコボレのエテ公が、数学の絶対神なわけないだろｗ http://rio2016.5ch.net/test/read.cgi/math/1753002417/338

339: １３２人目の素数さん [] 2025/09/23(火) 10:02:12.25 ID:4TPzkzyT >>328 そもそも君の陳述の中にひとつも”代表列を用いたカンニング”の話が出てこないじゃん　おかしいじゃん　箱入り無数目記事はそこがミソなのに つまり君は記事のミソをそっくり外してるんだよ　それじゃ正しい主張にならないのは当然だろ？　え？　違うかい？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/339

340: １３２人目の素数さん [sage] 2025/09/23(火) 10:27:12.31 ID:dQm52GG6 >>339 > そもそも◆yH25M02vWFhPの陳述の中に > ひとつも”代表列を用いたカンニング”の話が出てこないじゃん　 > おかしいじゃん　箱入り無数目記事はそこがミソなのに そもそも、◆yH25M02vWFhPは、選択公理が理解できない 無限回実行可能、とかほざいてるくせに（笑） まあ、無限回実行が不可能でも、選択公理を前提すれば選択関数は存在する 選択公理は公理であって定理ではない 選択関数が存在する、という公理で前提してるだけなので、 選択関

数が存在する、という定理を証明する必要はない 大学１年坊主が微分積分で落ちこぼれる理由はいくつもあるが そのうちの１つが「公理を定理だと思って証明しようとして発狂」 実数の公理はあくまで前提 まあ、具体的構成物（例えば無限小数の全体）が 実数の公理を満たすかどうかはもちろん証明の必要がある この場合でいえば示すのは２点 １．任意の有理コーシー列の中に、無限小数にあたるものが少なくとも１つは入っている ２．もし２つ以上の無限小数が、同じ同値類に入ってる場合、その同値性は小数の計算と矛盾しない １は実質的には任意の

実数が無限小数表記できると示すのに等しい ２は例えば1-0.999…を計算したら、どの桁も0しか出てこないから0であると示すのに等しい わかっていれば、何を為すべきか、何を為さざるべきかが分かる 為すべきことを為さず、為さざるべきこと為すなら、そいつは狂っている １８〜１９歳の一時、狂うのは人生経験上意味があるが ６０歳すぎても、同じように狂うのは有害無益 ２０歳で気づけよ！ http://rio2016.5ch.net/test/read.cgi/math/1753002417/340

341: １３２人目の素数さん [] 2025/09/23(火) 11:57:43.89 ID:entBycg/ ”くやしいのうwww” 「ごーまんかましてよかですか?」 「アホな同僚や相手に構うことほど、人生ムダなことはないよね」 by レトリカ・ブログ （学院長 川上貴裕） 百回音読しましょう！ｗ (参考) https://dic.nicovideo.jp/a/%E3%81%8F%E3%82%84%E3%81%97%E3%81%84%E3%81%AE%E3%81%86www ニコニコ大百科 くやしいのうwww 元ネタは中沢氏の漫画「はだしのゲン」のセリフ。 当たり前の話だが作品発表当時「w」を使って笑いや嘲笑を表す表現はなかったので、 原作では単に「くや

しいのう」　となっている。 なお、「くやしいのう」の「のう」は広島弁で「だなぁ」等の感嘆、詠嘆程度の役割で 特に深い意味はない。 https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80 ピクシブ百科事典 ゴーマニズム宣言 『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞 https://note.com/dcrg7mgm/n/n3eeb06fd35d0 アホな同僚や相手に構うことほど、人生ムダなことはないよね。 レトリカ・ブログ （学院長 川

上貴裕） 2024年11月2日 どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。 世の中、理不尽なことばかりです。 略す 上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。 でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。 では、こんなアホには、どう対抗すれば

いいのか。 いえいえ、今日はそんな話ではないのです。 マザーテレサの名言に、 「愛の反対は、憎しみではなく、無関心です。」 という言葉があります。 まさにその通りです。 アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。 略す また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！ (引用終り) なお、 低脳幼稚園児のAAお絵かき 小学レベルとバカプロ固定 低脳で幼

稚なカキコ 上記は、お断りです！！ http://rio2016.5ch.net/test/read.cgi/math/1753002417/341

342: １３２人目の素数さん [] 2025/09/23(火) 13:20:28.25 ID:4TPzkzyT また逃げた だからオチコボレのままなんだよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/342

343: １３２人目の素数さん [] 2025/09/23(火) 15:00:14.08 ID:dQm52GG6 >>341 >”くやしいのう” だったら、述語論理と集合論と微分積分と線形代数を勉強して大学１年数学の壁を乗り越えな http://rio2016.5ch.net/test/read.cgi/math/1753002417/343

344: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/23(火) 21:12:56.66 ID:odPafkyJ >>323 補足 (引用開始) いま、下記 都築暢夫 多項式環F[x]（今の場合R[x]）は、線形空間として（可算）無限次元だったことを思い出そう 無限次元線形空間から、作為をもって 有限次元の多項式を要素として 多項式を 選択することは可能だが しかし、ランダムに 無限次元線形空間から 任意の要素を選べばどうなるか？ その答えは、無限次元線形空間とランダム性とは 馴染まないってことだね （直観的には 無限次元空間だから 無限次元の要素であるべきだが

多項式でそれは成り立たないので 矛盾） つまり、下記の非正則事前分布と同じで、非正則分布を成すので コルモゴロフによる公理系 P(Ω)=1 （全事象Ωに1を与える）を満たすことが出来ない（ランダム性は考えられない）■ これが、箱入り無数目トリックです (引用終り) 分りにくいので 補足しよう いま、簡単に Ω=N={1,2,3,・・,n,・・・} 自然数全体 を考えよう これは、下記で 離散一様分布{1,2,3,・・,n}で n→∞ の極限を考えることに相当する 1〜nの離散一様分布では、平均(期待値) E[X] (n+1)/2 だね ここで、n→∞とすると 平均(期

待値) E[X] →∞ と 無限大に発散する つまり、自然数全体 N={1,2,3,・・,n,・・・}において 平均(期待値)は、 E[X] →∞に発散するのです （標準偏差も同様に →∞に発散する） 個々の元 n は 有限なのだが 上限がなく発散しているが ゆえに 平均(期待値) E[X] →∞に発散する つまり、N={1,2,3,・・,n,・・・} から ランダム（無作為）に一つ元を選べば その期待値は →∞に発散する 一方、どの元ｎも有限 つまり、矛盾 よって、自然数全体N={1,2,3,・・,n,・・・}の ランダム(無作為)抽出は 不成立！■ (参考) https://mathlandscape.com/unif-d

istrib/ mathlandscape.com 一様分布の定義と性質のわかりやすいまとめ〜離散型・連続型〜 2022.03.06 離散一様分布 定義（離散一様分布） 確率変数 X が 1,2,3,…,n 上離散一様分布 (discrete uniform distribution) に従うとは， P(X=k)= 1/n (1≤k≤n) となることである。 X=1,2,3,…,n となる確率が等しいということ <一様分布の諸性質まとめ> 平均(期待値) E[X] (n+1)/2 標準偏差 1/2√{(n^2-1)/3} http://rio2016.5ch.net/test/read.cgi/math/1753002417/344

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 1 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.045s