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

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

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

---

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

2: １３２人目の素数さん [] 2025/07/20(日) 18:07:25.24 ID:JxJPBISF つづき ＜数学隣接分野について＞ https://planck.exblog.jp/14987060/ 大栗博司のブログ 2010年 08月 21日 フィールズ賞 今週はインドのハイデラバードで国際数学者会議 (ICM) が開かれ、フィールズ賞受賞者が発表されました。１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。 今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２

次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。 スミルノフさんはCaltechの大学院の卒業生なので、今回の受賞はCaltechにとってもうれしいニュースでした。 もうひとりの受賞者のセドリック・ビラ

ニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。 物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです。 (引用終り) 下記フィールズ賞 2022年のコパン氏は、statistical physics関連 マリナ・ヴィヤゾフスカ氏も、E_{8} latticeは、超弦理論と関連があります。また、24次元はLeech lattice関連で下記”conformal field theory describing bosonic string theory”と関連しています なので、フィールズ賞 2022年も、物理学との関連あり

です つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/2

3: １３２人目の素数さん [] 2025/07/20(日) 18:09:04.24 ID:JxJPBISF つづき また、IMUの新総裁 中島啓氏は、”紹介：理論物理学に起源を持つゲージ理論を数学的に研究することを中心テーマと している。また、この研究がカッツ・ムーディー・リー環や、その変形と関係 することから、これらの対象の表現論も同時に研究している。 主要な成果として、次のようなものを得た。(略) 箙多様体と名づけた・・” www.kurims.kyoto-u.ac.jp/ja/list/nakajima.html と記されています なので、数学隣接分野も取り上げます！ （平たく言えば「なんでもあり」

ですｗ） (参考) ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%BC%E3%83%AB%E3%82%BA%E8%B3%9E フィールズ賞 2022年（オンライン開催[注釈 3]）[21] ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランスの旗 フランス For solving longstanding problems in the probabilistic theory of phase transitions in statistical physics, especially in dimensions three and four. マリナ・ヴィヤゾフスカ（Maryna Viazovska, 1984年 - ） ウクライナ For the proof that the E_{8} lattice provides the densest packing of id

entical spheres in 8 dimensions, and further contributions to related extremal problems and interpolation problems in Fourier analysis. 球充填問題を８次元と24次元で解決したことや，フーリエ解析における極値および補間問題への更なる貢献が評価[22]。 つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/3

4: １３２人目の素数さん [] 2025/07/20(日) 18:09:28.87 ID:JxJPBISF つづき https://ja.wikipedia.org/wiki/%E8%B6%85%E5%BC%A6%E7%90%86%E8%AB%96 超弦理論 基本的な説明 超弦理論には5つのバリエーションがあり、それぞれタイプI、IIA、IIB、ヘテロSO(32)、ヘテロE8×E8と呼ばれる。この5つの超弦理論はいずれも理論の整合性のために10次元時空を必要とする。 https://en.wikipedia.org/wiki/Leech_lattice Leech lattice Applications The vertex algebra of the two-dimensional conformal field theory describing bosonic string theory, c

ompactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures. (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/4

5: １３２人目の素数さん [] 2025/07/20(日) 18:09:56.84 ID:JxJPBISF つづき なお、 おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」） ＜＊）サイコパスの特徴＞ （参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 20

07年04月06日 （＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面 二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png おサルさんの正体判明！（＾＾） スレ12 https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 より ”「

ガロア理論 昭和で分からず 令和でわかる 　＃平成どうしたｗ」 昭和の末期に、どこかの大学の数学科 多分、代数学の講義もあったんだ でも、さっぱりで、落ちこぼれ卒業して 平成の間だけでも30年、前後を加えて35年か” ”(修士の)ボクの専攻は情報科学ですね”とも 可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ 本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾ 注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで

、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり～！（＾＾； つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/5

6: １３２人目の素数さん [] 2025/07/20(日) 18:10:27.99 ID:JxJPBISF つづき （スレ19の838より） >受験数学でゆがんだプライドもっちゃうならマセマでも真面目にやってた方がマシ ID:PjxCDrCZさん、ありがとうございます スレ主です 下記を あっちのスレに書いておきましたが https://rio2016.5ch.net/test/read.cgi/math/1744330968/77 「マセマはなぜ批判されるのか」 >マセマぐらいのことしかやってないアメリカの学部卒に院であっというまに追い抜かされるのが日本の高等教育。 従来の日本の数学高等教育は、厳密病だった 米では、Teren

ce Taoなどが 「3.The “post-rigorous” stage」を提唱している 「3.The “post-rigorous” stage」を意識して成長するか それとも レベル2の”厳密”(rigorous”)で成長が止まるか の違いでは？ (参考) https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/ By Terence Tao There’s more to mathematics than rigour and proofs July 2016 (1) 3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is

now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on application

s, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond. (引用終り) で、そのおサル(>>5)は、某私立ｗ大数学科へ30年以上前に入学して そこで、従来の日本の数学高等教育の厳密病による冷や水を浴びせられて オチコボレさんになって、それがトラウマになっているのです で、そしてヒネクレてしまって その一方で、「おれは 数学科で数学を”ゲンミツ”に学んだぁ〜！」というプライドだけが高い 本当は、Terence Taoのように レベル3.The “post-rigorous” stageを目指して 精進す

れば良いと思うのですが、どうも厳密病が重症化しているようですね そして、だれかれなく 噛みつく カミツキ亀みたいな サルに成り下がったのですｗ ；ｐ） つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/6

7: １３２人目の素数さん [] 2025/07/20(日) 18:10:56.09 ID:JxJPBISF つづき （スレ19 の 555より） 追加 (参考)渕野語録 下記 https://itest.5ch.net/rio2016/test/read.cgi/math/1581243504/l3- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 スレ56より （なお、「イメージ」〜「ビジョン」〜「哲学」かも（＾＾ ） https://rio2016.5ch.net/test/read.cgi/math/1544924705/178- 渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾ 「イメージ」がお気に召さなければ、「ビジョン」といっても

良い ”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは 数学では落ちこぼれの劣等生ということだ ただ単に、厳密性のみを追い求めるのはピエロだ だから、だからおまえは数学で落ちこぼれるんだよ（＾＾ ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・ みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある （しばしば、厳密性な証明は後から与えられることも多くあった） ＜渕野語録＞ (引用開始) スレ24 https://rio2016.5ch.net/test/read.cgi/m

ath/1475822875/654- （抜粋） あなたのまったく逆を、渕野先生が書いている ”厳密性を数学と取りちがえるという勘違い” https://www.アマゾン 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013 「数学的直観と数学の基礎付け 訳者による解説とあとがき」 P314 (抜粋) 数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない. これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは， たとえば数学教育などで蔓延している可能性もあるので， こ

こに明言しておく必要があるように思える 多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく， 思考のプロセスとしての脳髄の生理現象そのものであろう したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう そのような「生きた」「実存としての」(existentialな)数学で問題になるのは， アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので， これは， ときには，意識的に厳密には間違っている議論すら含んでいたり， 寓話的であったりす

ることですらあるような， かなり得体の知れないものである (引用終り) さらに スレ56より https://rio2016.5ch.net/test/read.cgi/math/1544924705/180 別に厳密性を犠牲にしろとは言っていない 厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに 自分なりのイメージやビジョンを持つこと 佐藤幹夫先生はそんな人だと思うよ つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/7

8: １３２人目の素数さん [] 2025/07/20(日) 18:11:29.16 ID:JxJPBISF つづき なお 低脳幼稚園児のAAお絵かき 小学レベルとバカプロ固定 は、お断りです 小学生がいますので、18金（禁）よろしくね！（＾＾ テンプレは以上です http://rio2016.5ch.net/test/read.cgi/math/1753002417/8

9: １３２人目の素数さん [] 2025/07/20(日) 18:13:10.97 ID:2Jr4cGNB >>8 じゃ小学校の教程（読み書き）修了してないおまえは書き込み禁止な http://rio2016.5ch.net/test/read.cgi/math/1753002417/9

10: １３２人目の素数さん [] 2025/07/20(日) 18:16:10.44 ID:N157az0Y 囲碁の終局は対局者同士の合意で成立する http://rio2016.5ch.net/test/read.cgi/math/1753002417/10

11: １３２人目の素数さん [] 2025/07/20(日) 18:30:01.96 ID:2Jr4cGNB 囲碁板行け http://rio2016.5ch.net/test/read.cgi/math/1753002417/11

12: １３２人目の素数さん [] 2025/07/20(日) 19:35:40.91 ID:N157az0Y コントだよ http://rio2016.5ch.net/test/read.cgi/math/1753002417/12

13: １３２人目の素数さん [sage] 2025/07/20(日) 20:07:07.76 ID:akX/Quab このスレ終了 http://rio2016.5ch.net/test/read.cgi/math/1753002417/13

14: １３２人目の素数さん [] 2025/07/20(日) 21:07:22.63 ID:MKMFqF1/ 同意せず http://rio2016.5ch.net/test/read.cgi/math/1753002417/14

15: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/20(日) 22:46:31.98 ID:JxJPBISF 前スレ が、もうすぐ1000到達なので こちらに 純粋・応用数学・数学隣接分野（含むガロア理論）20 https://rio2016.5ch.net/test/read.cgi/math/1745503590/975 　>>967 fr.wikipedia Axiom of infinity（無限公理） https://fr.wikipedia.org/wiki/Axiome_de_l%27infini 　>>964 独 de.wikipedia Infinity axiom https://de.wikipedia.org/wiki/Unendlichkeitsaxiom 　どちらも 記号∩ は、使わない (引用終り) さらに 英 en.wikipedia Axiom_of_

infinity https://en.wikipedia.org/wiki/Axiom_of_infinity ここでも Extracting the natural numbers from the infinite set の節で 記号∩ は、使わない さて、wikipediaでは しばしば 出典の裏付けのある記述が ”よし”とされる 出典の裏付けのない 正しいかもしれないが 独自の証明などは 「独自研究」とされ 忌避される （それは、必ずしもプロ数学者でない人たちが 執筆するからなのだ） だから、上記のように Axiom of infinity（無限公理）で 無限集合たる自然数Nを ”Extracting”する手法についても、同様に なにか 専門書の裏付けある

記述が是とされる そのような背景で、英仏独の Axiom of infinity（無限公理）で 無限集合たる自然数Nの記述で 「記号∩ は使わない」ということは そういうタネ本が多いということだよね 「記号∩を使う」は、「独自研究」かな？ 「独自研究」なら それでも構わない 100年間 「記号∩を使う」人が居なかったならば、それはそれで面白いだろう （もし、それが正しければだがねｗ。100年間 そういう人が居なかった？ 　それは 間違っている確率高いかも・・・ｗ　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753002417/15

16: １３２人目の素数さん [] 2025/07/20(日) 23:56:37.66 ID:2Jr4cGNB たった∩だけでなんでこんな発狂してんの？ 理解できないのがそんな悔しいの？　じゃ勉強すればいいじゃん http://rio2016.5ch.net/test/read.cgi/math/1753002417/16

17: １３２人目の素数さん [] 2025/07/21(月) 06:24:07.83 ID:thbHjMzd 折伏できるかどうか http://rio2016.5ch.net/test/read.cgi/math/1753002417/17

18: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 14:22:04.50 ID:60RWf/A5 >>16-17 ありがとうございます さて、補足すれば ことの起こりは、下記 前スレより https://rio2016.5ch.net/test/read.cgi/math/1745503590/563 2025/06/15 現代数学の系譜 雑談 ◆yH25M02vWFhP Inter-universal geometry とABC 予想57 https://rio2016.5ch.net/test/read.cgi/math/1723187304/988 (引用開始) >無限公理が存在を主張する集合全体 無限公理が存在を主張する集合全体？ (引用終り) 1）ペアノ公理の自然数の集合論的構成で、ノイマン

によるものの説明が下記です 　ここで、”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”、”Aは無限公理により存在する集合を任意に選んだもの” 　とあるので、集合の積∩は 任意A つまり 全てのA と読めます 　ノイマンの最初の論文がこうだったという都市伝説がある（私は原論文は未確認） 2）で、wikipediaの記載は こうだとしても・・ 　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります 3）下記の 筑波大 Akito Tsuboi 先生は、下記 数理論理学IIでは 　ここは、少し技巧的な記述をしています （こ

この式を手で写すのは面倒なので（どうせ原文見る方がいいしｗ）、各人原文をご覧あれ） 以上 (参考) https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 自然数の集合論的構成 現代数学において標準的な数学の対象はすべて集合として実現されている。集合論における自然数の標準的な構成法としては、 ・N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} ・0:=∅ ・S(x):=x∪{x} がある。ただしここでAは無限公理により存在する集合を任意に選んだものである。 これらの集合は存在して、

ペアノの公理を満たすことが確かめられる。 この構成法はジョン・フォン・ノイマンによる[7]。 https://www.math.tsukuba.ac.jp/~tsuboi/ Akito Tsuboi 筑波大 学部（数学類）関連 https://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf 数理論理学II P8 1.1.9 無限公理 無限公理： (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/18

19: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 14:24:20.15 ID:60RWf/A5 >>18 さて 上記を受けて 下記がある 前スレより https://rio2016.5ch.net/test/read.cgi/math/1745503590/588 2025/06/16 現代数学の系譜 雑談 ◆yH25M02vWFhP 1）すっきりの度合いが違うだろ？ 　即ち、和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？ 　Σ n=1〜∞とか Σ m,n=1〜∞とかね 　では問う 記号∩について 同じことを要求する 　きちんと、記号∩の定義を書け！ 　ここ、ツッコミどころだねｗ 2）”実質同じ”？ 証

明は？ 上記1）項のあと 証明やってみてｗ ；ｐ） https://rio2016.5ch.net/test/read.cgi/math/1745503590/949-957 2025/07/20 ID:2Jr4cGNB >>588 >2）”実質同じ”？ 証明は？ 定義１ 　論理式φ(x)を下記で定義する。 　φ(x):={}∈x∧∀y(y∈x→y∪{y}∈x) 　φ(x)を満たすxを帰納的集合と呼ぶ。 以下略 https://rio2016.5ch.net/test/read.cgi/math/1745503590/964-965 2025/07/20 現代数学の系譜 雑談 ◆yH25M02vWFhP >>949-950 >補題１ >　ωは任意の帰納的集合の共通部分である。 うむ １）その結論は、正しい。下記

の独 de.wikipediaの英訳 　Infinity axiomで、”The natural numbers are therefore defined as the intersection of all inductive sets, as the smallest inductive set.” 　とある通りだ ２）ところで 下記の 独 de.wikipedia Infinity axiom では 　記号∩ 使ってないよ？ 　記号∩ は、使わなくてもいいの？ 　記号∩ は、使わなくてもいいのならば、その方がすっきりしてないかな？ｗ ；ｐ） (参考) https://de.wikipedia.org/wiki/Unendlichkeitsaxiom （google翻訳 独→英） Infinity axiom The axiom of infinity is an axiom of set theo

ry that postulates the existence of an inductive set . It is called the axiom of infinity because inductive sets are also infinite sets . つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/19

20: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 14:24:56.15 ID:60RWf/A5 つづき formulation There are a lot A, which is the empty set ∅ and with each element x∈A also the amount x∪{x}contains. ∃A:(∅∈A∧∀x:(x∈A⇒x∪{x}∈A)) The infinity axiom does not merely postulate, as the name might suggest, the existence of any infinite set. It postulates the existence of an inductive set and thus, consequently, the existence of the set of natural numbers according to John von Neumann's mode

l . Significance for mathematics Natural numbers By the existence of at least one inductive set I together with the exclusion axiom, the existence of natural numbers as a set is also ensured: N:={x∈I∣∀z(z inductive ⟹ x∈z)} The natural numbers are therefore defined as the intersection of all inductive sets, as the smallest inductive set. Infinite quantities Without the infinity axiom, ZF would only guarantee the existence of finite sets. No statements could be made about the existence of in

finite sets. The infinity axiom, together with the power set axiom , ensures that there are also uncountable sets, such as the real numbers. 下記 fr.wikipedia Axiom of infinity（無限公理）も https://fr.wikipedia.org/wiki/Axiome_de_l%27infini （google翻訳 仏→英） Axiom of infinity Statement of the axiom 略 ・let A be a set verifying Cl( A ) whose existence is ensured by the axiom of infinity. Then, the existence of the set ω is ensured by the axiom scheme of comprehension and its uniqueness by the axiom o

f extensionality , by defining ω as the intersection (therefore the smallest in the sense of inclusion) of all sets containing 0 and closed by successor ( A only intervenes to be able to define ω as a set, but ω does not depend on A ): ω = { x ∈ A | Ent( x ) } ; 略 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/20

21: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 14:26:19.63 ID:60RWf/A5 >>20 ＜まとめ＞ １）fr.wikipedia にあるように、Axiom of infinity（無限公理）→ 集合 Natural numbers "ω(=N)" の存在を 示すこと 　このために ”by the axiom scheme of comprehension and its uniqueness by the axiom of extensionality”などと、ZFCで使える公理は制限があるのです ２）さて、下記にZFCで『5. 和集合の公理』がある 　"この式は、∪F の存在を直接主張するものではないが 、上記の分出公理を用いて集合 ∪F を

A から構築することができる" 　とある。見れば、たかが和集合∪で 面倒なことをしているのです ３）で、和集合∪でこれなのですが、では積集合∩について ZFC公理系でどうか？ 　中途半端に 積記号∩ を使うと、そこからメンドクサイことになるのでは？ｗ ；ｐ） 　だから、基礎論屋さんは 積記号∩を使わないと思うがどうよｗ (参考) https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96 ツェルメロ＝フレンケル集合論 選択公理

を含むツェルメロ＝フレンケル集合論はZFCと略される 5. 和集合の公理 →詳細は「和集合の公理」を参照 集合の元に対する和集合が存在する。たとえば、集合 {{1,2},{2,3}}の元に対する和集合は{1,2,3}である。 和集合の公理は、任意の集合の集合 F について、 F の元の元であるすべての元を含む集合 A が存在することを主張する： ∀F∃A∀Y∀x[(x∈Y∧Y∈F)⇒x∈A] .この式は、∪F の存在を直接主張するものではないが 、上記の分出公理を用いて集合 ∪F を A から構築することができる： ∪F={x∈A:∃Y(x∈Y∧Y∈F)}. http://rio2016.5ch.net/test/

read.cgi/math/1753002417/21

22: １３２人目の素数さん [] 2025/07/21(月) 15:39:19.84 ID:mqIGDCdy >>18 未だに分かってなくて草 >ここで、”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”、”Aは無限公理により存在する集合を任意に選んだもの” >　とあるので、 うむ >集合の積∩は 任意A つまり 全てのA と読めます まったく違うけど 君、論理式が読めないので、論理の初歩から勉強し直しなよ >2）で、wikipediaの記載は こうだとしても・・ >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります 論理式

が読めず突っ込まれてるのは君 誤読をもとに何を言ってもトンチンカンで無意味 http://rio2016.5ch.net/test/read.cgi/math/1753002417/22

23: １３２人目の素数さん [] 2025/07/21(月) 15:46:52.84 ID:mqIGDCdy 君、工学部で公式暗記の数学しかやってこなかったんでしょ？ 数学板で発言したいなら初歩から勉強し直しなよ　君の言ってることまったくトンチンカンだから http://rio2016.5ch.net/test/read.cgi/math/1753002417/23

24: １３２人目の素数さん [] 2025/07/21(月) 15:53:04.27 ID:mqIGDCdy てかNはAの部分集合族の共通部分って教えたよね？ どんな族かは内包的表記で規定されてるって教えたよね？ 集合族の共通部分の定義も教えたよね？ 教えられても理解できなかったのかい？　だからトンチンカンなこと言ってるんでしょ？ 理解できなかったならなんで勉強しないの？　頭パッパラパーなの？ http://rio2016.5ch.net/test/read.cgi/math/1753002417/24

25: １３２人目の素数さん [] 2025/07/21(月) 16:46:03.91 ID:mqIGDCdy >>21 >中途半端に 積記号∩ を使うと、そこからメンドクサイことになるのでは？ｗ ；ｐ） >だから、基礎論屋さんは 積記号∩を使わないと思うがどうよｗ まったくデタラメで一顧の価値も無し >和集合の公理は、任意の集合の集合 >F について、 F の元の元であるすべての元を含む集合 >A が存在することを主張する： >∀F∃A∀Y∀x[(x∈Y∧Y∈F)⇒x∈A] >.この式は、∪F の存在を直接主張するものではないが 、上記の分出公理を用いて集合 >∪F

を A から構築することができる： >∪F={x∈A:∃Y(x∈Y∧Y∈F)}なんだその式はｗ 和集合の公理が和集合の存在を主張しないってなんだそりゃｗ 主張すればいいだけじゃんｗ >見れば、たかが和集合∪で 面倒なことをしているのです いやだから主張すればいいだけｗ　主張しないから面倒になるだけ >和集合∪でこれなのですが、では積集合∩について ZFC公理系でどうか？ 積集合の公理なんて不要。 なぜZFで和集合の公理が必要か、なぜ積集合の公理が不要か分かる？　分かんねーだろーなーｗ http://rio2016.5ch.net/test/read.cgi/math/1753

002417/25

26: １３２人目の素数さん [] 2025/07/21(月) 20:16:33.49 ID:60RWf/A5 ふっふ、ほっほ 詰んじゃったな おサルｗ>>5　；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1753002417/26

27: １３２人目の素数さん [] 2025/07/21(月) 20:28:36.28 ID:mqIGDCdy 大学1年4月に詰んだオチコボレがなんか言うとる http://rio2016.5ch.net/test/read.cgi/math/1753002417/27

28: １３２人目の素数さん [] 2025/07/21(月) 21:51:35.56 ID:thbHjMzd >>27 去れ http://rio2016.5ch.net/test/read.cgi/math/1753002417/28

29: １３２人目の素数さん [] 2025/07/21(月) 22:07:48.10 ID:mqIGDCdy おまえが去れ http://rio2016.5ch.net/test/read.cgi/math/1753002417/29

30: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 23:44:45.96 ID:60RWf/A5 純粋・応用数学・数学隣接分野（含むガロア理論）20 http://rio2016.5ch.net/test/read.cgi/math/1745503590/984 >sphere packingは何年前の数学かな？ うむ ・sphere packing 17世紀の数学者・天文学者ヨハネス・ケプラーの予想 ・ガウスは球が規則配置を取る場合についてケプラー予想が正しいことを証明し[5]、問題の解明に一歩近づいたが ・21世紀にコンピュータによる証明で決着したことは有名（本が出版され 日本でもその訳本が出た） ・別に、8次元と2

4次元における証明は2016年にマリナ・ヴィヤゾフスカによって得られた 　彼女は、2022年 フィールズ賞受賞 ・24次元は、リーチ格子（英語版）で、モンスター群のムーンシャインで有名 　ボーチャーズ は、ムーンシャイン予想の解決により、数学のノーベル賞と言われているフィールズ賞を1998年に受賞 (参考) https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%97%E3%83%A9%E3%83%BC%E4%BA%88%E6%83%B3 ケプラー予想（ケプラーよそう、英: Kepler conjecture ）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間にお

ける球充填に関する数学的な予想である。それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。 1998年にトーマス・C・ヘイルズ（英語版）はラースロー・フェイェシュ＝トート（英語版）が提案した方法[1]に従ってケプラー予想を証明したと発表した。多数のケース一つ一つを複雑なコンピュータシミュレーションでチェックするしらみつぶし法（英語版）であった。査読者は証明が正しいことを「99%確信し

ている」と評した。よってケプラー予想は定理として受け入れられる寸前に来ている。2014年、ヘイルズに率いられたフライスペック・プロジェクト（英: the Flyspeck project）のチームは、定理証明支援ツールであるIsabell（英語版）およびHOL Light （英語版）を組み合わせて用いることにより、ケプラー予想の形式的証明を完了したと発表した。 発端 ケプラーが球の配置を研究し始めたのは、1606年におけるイギリス人数学者・天文学者、トーマス・ハリオットとの文通がきっかけである。ハリオットは友人で雇い主のウォルター・ローリーから船倉に砲弾

を効率的に積み込む方法の問題を与えられていた。ハリオットは1591年に様々な積み上げパターンの研究を出版し、さらに進んで初歩的な原子論を発展させた。 19世紀 ケプラー本人は予想を証明できなかったが、ガウスは球が規則配置を取る場合についてケプラー予想が正しいことを証明し[5]、問題の解明に一歩近づいた。 つまり、ケプラー予想の反証となる充填配置があるとすれば不規則配置でなければいけない。しかし、実現可能な不規則配置をすべてチェックするのは非常に困難で、それこそケプラー予想をここまで証明困難なものにした理由である。 ガ

ウス以降、19世紀の間はケプラー予想の証明に向けた進展はなかった。1900年にダフィット・ヒルベルトが数学における23の未解決問題を提起したとき、ケプラー予想は関連する問題とともに第18問題に挙げられた つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/30

31: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 23:46:01.72 ID:60RWf/A5 つづき 20世紀 解決に向けて次のステップを踏み出したのはラースロー・フェイェシュ＝トートである。彼は、規則・不規則を問わずあらゆる配置の最大密度を求める問題が、有限個の（しかし非常に多数の）計算に還元されることを示した[1]。これはしらみつぶし法による証明が原理的に可能だということである。フェイェシュ＝トートも気づいていたように、十分高性能なコンピュータがあればここからケプラー予想解決への現実的なアプローチが得られる可能性があっ

た。 他方では、あらゆる可能な球配置の最大密度の上界を見つけようという試みがなされていた。イギリスの数学者クロード・アンブローズ・ロジャーズは一つの上界として約78%の値を得た[6]。それに続く数学者の努力によりこの値はわずかに引き下げられたが、立方最密充填の約74%には程遠かった。 1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で好意的に取り上げられ、シアンはAMS-MAAジョイントミーティングに招待される栄誉を得た[7]。シアンの主

張は幾何学的な手法でケプラー予想を証明したというものだった[8][9]。しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」と述べた。ヘイルズはシアンの仕事を詳細に批判し[10]、シアンはこれに反論した[11]。現在ではシアンの証明は不完全なものだったと認められている[12]。 ヘイルズの証明 ミシガン大学に在籍していたトマス・ヘイルズは、ラースロー・フェイェシュ＝トートが提案したアプローチ[1]にならい、150個の変数を持つある

関数を最小化することによって最大密度配置を見出せると考えた。1992年、大学院生のサミュエル・ファーガソンを助手としたヘイルズは、系統的な線型計画法により、すべての異なる配置の集合に含まれる5000種以上の配置一つ一つについて関数値の下界を求める計画に着手した。すべての配置で関数の下界が立方最密配置の関数値を超えるならば、それがケプラー予想の証明になる。可能なすべてのケースについて下界を求めるには、10万個ほどの線形計画問題を解く必要があった。 1996年に研究プロジェクトを公表するに際して、終結は目前ながら完了まで「1

・2年」かかるかもしれない、とヘイルズは述べた。1998年の8月にヘイルズは証明の完了を発表した。この時点で証明は250ページの手稿と3ギガバイトのプログラム、データ、計算結果から構成されていた。 証明の形式が異例だったにもかかわらず、Annals of Mathematics誌の編集者は掲載に同意したが、12人の専門家による査読を条件とした。2003年、四年間の作業を経て、査読者団の筆頭であったガボル・フェイェシュ＝トートは証明が正しいことに「99%の確信を持っている」と報告した。しかし、コンピュータによる計算がすべて正しいと保証することはでき

なかった。 つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/31

32: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 23:46:44.45 ID:60RWf/A5 つづき 形式的証明 2003年1月、ヘイルズはケプラー予想の完全な形式的証明を求める共同プロジェクトを開始した。その目標は、証明の妥当性に一切の疑問を残さないため、HOL LightやIsabelleなどの自動証明検証（英語版）[訳語疑問点]プログラムにかけられるような形式的証明を構築することであった。プロジェクトは「Flyspeck」と名付けられた。そのうちの3文字、F、P、Kは「Formal Proof of Kepler」（ケプラーの形式的証明）から取ったものである。ヘイルズは

完全な形式的証明を構築するのには20年ほどの作業が必要だと見積もっていた。2014年8月10日にプロジェクトの終結が発表された[15]。2015年1月、ヘイルズと21人の共同研究者は「ケプラー予想の形式的証明」と題された論文を公開した[16] 高次元における球充填 最適球充填の問題は1、2、3、8、24次元を除いて未解決である。8次元と24次元における証明は2016年にマリナ・ヴィヤゾフスカによって得られた[22]。 https://ja.wikipedia.org/wiki/%E3%83%9E%E3%83%AA%E3%83%8A%E3%83%BB%E3%83%B4%E3%82%A3%E3%83%A4%E3%82%BE%E3%83%95%E3%82%B9%E3%82%AB マ

リナ・セルヒイウナ・ヴィヤゾフスカ（ウクライナ語: Марина Сергіївна В'язовська、英語: Maryna Sergiivna Viazovska、1984年12月2日 - ）は、ウクライナの女性数学者。球充填問題を8次元と24次元において解決した業績で知られる 業績 2016年に、ヴィヤゾフスカは球充填問題を8次元で[7][8] [9]そして、他の人と協力して24次元で解決した[10] [11]。以前は、問題は3次元以下でしか解決されておらず、3次元での証明（ケプラー予想）にはコンピューターを用いて50,000行のプログラムコードを使用して300ページのテ

キストで提示されていたが[12]、対照的に、8次元と24次元でのヴィヤゾフスカの証明は、わずか23ページ程で「驚くほど単純」であった [11]。 受賞歴 2022年 フィールズ賞受賞[23]。 https://ja.wikipedia.org/wiki/%E7%90%83%E5%85%85%E5%A1%AB 球充填 超球充填 2016年、マリナ・ヴィヤゾフスカは8次元空間において正規・非正規を問わない最適充填がE8格子（英語版）だと証明した。さらにその直後、共同研究者とともに、24次元における最適充填がリーチ格子（英語版）だという証明を発表した。どちらの格子もその次元における既知の配置の中でもっと

も稠密なものであった[10]。ヴィヤゾフスカの証明では、慎重に選ばれたモジュラー関数のラプラス変換を用いて球対称な関数 f を構築する。 f はそれ自身およびフーリエ変換 f^ がどちらも原点で1となるように構築される。さらに、充填の中央にある球の外では f が負となる一方、f^は常に正となるようにすることで、原点以外のすべての格子点で f および f^ がゼロになることを示せる。その上で f に関するポアソン和公式を用い、想定される最適格子の密度をほかのあらゆる格子の密度と比較する[11]。査読論文の中ではないが、ピーター・サルナックはこ

の証明を「驚くほど簡潔」と評し、「論文の冒頭を読むだけで証明が正しいと分かるだろう」と述べた[12]。[訳語疑問点] つづく http://rio2016.5ch.net/test/read.cgi/math/1753002417/32

33: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/21(月) 23:47:20.72 ID:60RWf/A5 つづき https://en.wikipedia.org/wiki/Leech_lattice Leech lattice In mathematics, the Leech lattice is an even unimodular lattice Λ24 in 24-dimensional Euclidean space, E24. It is one of the best models for the kissing number problem. It was discovered by John Leech (1967). It may also have been discovered (but not published) by Ernst Witt in 1940. Applications The vertex algebra of the two-dimensional conformal field theory

describing bosonic string theory, compactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures. https://en.wikipedia.org/wiki/Monstrous_moonshine Monstrous moonshine https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%B9%E3%83%BB%E3%83

%A0%E3%83%BC%E3%83%B3%E3%82%B7%E3%83%A3%E3%82%A4%E3%83%B3 モンストラス・ムーンシャイン（英: monstrous moonshine）もしくはムーンシャイン理論（英: moonshine theory）とは、モンスター群とモジュラー函数、特に j-不変量との間の予期せぬ関係を指し示す用語、およびそれを記述する理論である。1979年にジョン・コンウェイとサイモン・ノートン（英語版）(Simon Norton)により命名された。今ではその背景として、モンスター群を対称性として持つある共形場理論があることが知られている。コンウェイとノートンによって考案されたムーンシャイン

予想は1992年、リチャード・ボーチャーズにより、弦理論や頂点作用素代数（英語版）(vertex operator algebra; VOA)、一般カッツ・ムーディ代数を用いて証明された。 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%83%9C%E3%83%BC%E3%83%81%E3%83%A3%E3%83%BC%E3%82%BA リチャード・ユーウェン・ボーチャーズ (Richard Ewen Borcherds, 1959年11月29日 - ) は、南アフリカ共和国ケープタウン出身のイギリスの数学者である。父は物理学者 ムーンシャイン予想の解決により、数学のノーベル賞と言われてい

るフィールズ賞を1998年に受賞した (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753002417/33

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s