純粋・応用数学・数学隣接分野（含むガロア理論）20

1 名前：１３２人目の素数さん [2025/04/24(木) 23:06:30.63 ID:ntJgvTuV.net] クレレ誌： https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。 (引用終り) そこで 現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして 新スレを立てる（＾＾； ＜前スレ＞ 純粋・応用数学・数学隣接分野（含むガロア理論）19 https://rio2016.5ch.net/test/read.cgi/math/1725190538/ ＜関連姉妹スレ＞ ガロア第一論文と乗数イデアル他関連資料スレ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/ つづく 596 名前：１３２人目の素数さん [2025/06/15(日) 08:32:42.38 ID:Eap/oGjV.net] 荒らすなよ 597 名前：現代数学の系譜 雑談 [2025/06/15(日) 08:41:22.55 ID:lv2xCBEK.net] これ面白い "しがない数学徒"氏、きっと うつ病症状だったんだね（参考 後述『うつ病九段』（これ読んだ） ） 専門の病院に行くのがいい。いま良い薬があるから https://www.youtube.com/watch?v=s7ylDxE1xcM 【消息不明】1年間動画投稿なしの"しがない数学徒"がこの1年何をしてたのかドライブしながら話したら面白過ぎたwwww 日常でんがん 2025/05/17 今回は久しぶりにしがない数学徒とのドライブ動画！ 連絡取れずの消息不明でしたが、この動画でそのあたりの詳細を明らかにします！ これからも元気でいろよ！！　でんがん コメント @coco12937 4 週間前 しが数のメンタル状況、めちゃめちゃ共感する。 心のエネルギーが足りなくて何も出来なかったり、なんか涙が出たり。 無理せず自分のペースで楽しく続けて欲しい。 応援してます！ @foooyooo1212 4 週間前 春に元気出るの、小動物みたいでなんか可愛い @けんちん-k4e 4 週間前 でんがんさんって優しいですよね。安心して見ていられる。 @bear_yoshi 4 週間前 元気いっぱいとはいえなくても、無事に生活を送っていることがわかるだけでうれしくなりました (参考) https://ja.wikipedia.org/wiki/%E3%81%86%E3%81%A4%E7%97%85%E4%B9%9D%E6%AE%B5_%E3%83%97%E3%83%AD%E6%A3%8B%E5%A3%AB%E3%81%8C%E5%B0%86%E6%A3%8B%E3%82%92%E5%A4%B1%E3%81%8F%E3%81%97%E3%81%9F%E4%B8%80%E5%B9%B4%E9%96%93 『うつ病九段 プロ棋士が将棋を失くした一年間』は、日本の将棋棋士・先崎学によるノンフィクション書籍。文藝春秋より2018年7月13日に刊行された。将棋界を牽引する棋士が、うつ病の発症から回復までの経緯を自ら克明に綴った闘病記[1][2][3][4]。 『うつ病九段』と題して2019年に漫画化およびラジオドラマ化、2020年にテレビドラマ化された。 https://news.yahoo.co.jp/feature/1181/ news.yahoo 「もう将棋を指すのは無理なのかもしれない」―― うつ病になった人気棋士の喪失と復活 2018/12/27 盤面の駒の動きが全く頭に入らない――。昨年初夏、将棋棋士・先崎学九段は混乱の中にいた。うつを発症していたのだ。アマチュアですら簡単に解ける詰将棋も解けない。「もう将棋は指せないかもしれない」。そう思い詰めることもあった。かつて「天才」とたたえられた棋士の、喪失から復活までの軌跡を追う。（ノンフィクションライター・崎谷実穂／Yahoo!ニュース 特集編集部） 598 名前：現代数学の系譜 雑談 [2025/06/15(日) 08:52:36.78 ID:lv2xCBEK.net] >>547 >>551 >East Asian Symplectic Conference 2025 in Sapporo >Date: 2025 Sep. 25th (Thu) - Sep. 29th (Mon) memo 貼り ありがとうございます 補足貼ります https://pseudoholomorphic.fpark.tmu.ac.jp/EASC2025/EASC2025.html East Asian Symplectic Conference 2025 in Sapporo The recent progress in Symplectic Geometry and Topology has revealed fascinating and profound phenomena in both mathematics and mathematical physics. In recent years, there has been a remarkable increase in the number of researcheres in East Asia working on this exciting field of Mathematics. This conference aims to provide a platform for symplectic geometers and topologists to connect with new colleagues who share their interests or work in related areas. Confirmed Speakers 略 Organizers Manabu Akaho (Tokyo Metropolitan University) Kwokwai Chan (Chinese University of Hong Kong) Bohui Chen (Sichuan University) River Chiang (National Cheng Kung University) Cheol-Hyun Cho (Seoul National University) Morimichi Kawasaki (Hokkaido University) Toru Yoshiyasu (Kyoto University of Education) Local Organizers Jiro Adachi (Hokkaido University) Naohiko Kasuya (Hokkaido University) 599 名前：１３２人目の素数さん [2025/06/15(日) 09:11:20.51 ID:4G/uUJn/.net] >>556 しが数は、森林 原人めざしたほうがよくね？　マジで https://ja.wikipedia.org/wiki/%E6%A3%AE%E6%9E%97%E5%8E%9F%E4%BA%BA ・中学受験でラ・サール中学校、麻布中学校、栄光学園中学校、筑波大学附属駒場中学校に合格し、筑波大学附属駒場中学校に入学した。 ・中学生の頃からAVに夢中になる。中学2年生の時、初めてAVを購入。作品は桜樹ルイの『新説 伊豆の踊り子』だった。 ・少しでもAV業界に近づくため、高校卒業後、レンタルビデオ屋でアルバイトをする。この時、アルバイト先の店舗で最も多くAVを借りている客が自分だったことを顧客情報で知り、「僕にはモザイクの向こうに行く資格があるんじゃないか」と自負したという。しかし、当時は親バレやヤクザへの恐怖などから、まだAV男優の仕事を始める決心がつかなかったという。 ・1998年に筑波大学附属駒場高等学校を卒業。同窓生に経済学者の小島武仁や安田洋祐、歴史学者の與那覇潤らがいる。同窓会での森林は盛り上げ役という。 ・一年浪人して、専修大学文学部心理学科に進んだが、大学のランクに納得がいかなかった他、無理をして入 600 名前：った社交ダンスサークルに馴染めず、20歳の時、1年生の夏休みにV&RプランニングでAV男優のアルバイトを始め、大学は中退。 ・汁男優として、最初に出演したのは、インジャン古河の監督作品『ザーメン死亡遊戯 深田愛』で、ギャラは1万円であった。 ・森林原人と言う男優名は、古河が「色黒で顔つきが原始人っぽかったから何となく」との理由で命名したものであるという。 ・22歳の頃、両親にAV出演が発覚し、父親から「そんなことをさせるために、今まで育ててきたんじゃない」と言われた。 ・29歳の時に「AV以外のこともしておこう」との思いから、服飾の専門学校に通い始め、そこで知り合った女性と結婚の話も出たが、「私と結婚したいなら、AV男優を辞めてくれ」と言われて、破談となったという。 ・「親には、今でも、AVの仕事を認めてもらっていない」と2014年に発言している。 ・2014年現在も独身である。 [] [ここ壊れてます] 601 名前：１３２人目の素数さん [2025/06/15(日) 09:35:35.60 ID:LXFVxBju.net] しが数の仲間には官僚もいるようだ 602 名前：１３２人目の素数さん mailto:sage [2025/06/15(日) 09:41:37.09 ID:QZORY63A.net] 哲学の読み物読んでたら、「昔のひとはこんなこと考えてたんだ」という驚きがある。 人間が自らを省みる鏡として、昔は動物というものがあった。 そこで動物と人間を比較して、「人間にしかできないことはエラいことだ」という 考えが生まれる。現代ではそこにAIというものが出てきた。「人間にしかできない」 と思われていた能力が「意外に簡単にコピーできる」ということが判明する。 そうすると、かつては高級だと思われていたことが、そうでもないんじゃないか という考えが、また別に生まれる。 603 名前：１３２人目の素数さん [2025/06/15(日) 09:45:47.49 ID:LXFVxBju.net] 人間機械論の起源はデカルトと言われる 604 名前：１３２人目の素数さん mailto:sage [2025/06/15(日) 10:11:02.68 ID:QZORY63A.net] 岡潔の言 「わたしは学生の数学に対する理解度を三段階に分けている。 Cは数学が記号だと思っているもの。 Bは数学が言葉だと思っているもの。 Aは、数学はそれらによって自らを表現するが、本体は別に あることを知っているもの」 これは岡のオリジナルの考えなのかと思っていたが そんなことはなく、哲学では昔から議論されてきた テーマらしい。言葉で表現されたものの外に、"本質" があるかどうかという問題になる。 つまり岡潔でさえ、いにしえの哲学思想の影響を 受けているということ。 （岡はその中の一つで自分の好みのものを 選びとっているということになる。） 605 名前：現代数学の系譜 雑談 [2025/06/15(日) 12:01:12.12 ID:lv2xCBEK.net] さすがですね 下記で、赤ペン先生の補習をしておきますね 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 無限公理 無限公理： 略 そのようなが存在することを主張するのが無限公理である．直観的には，自然数全体のような集合が存在することを意味する．無限公理によって保証される集合は ・・・ しかし余分な元を含んでいるかも知れない． そこでを条件 略 を満たす最小の集合として定義したい：無限公理によって保証される無限集合を一つ選び， 略 とする このようにすれば、ωは集合であり，φ(x)を満たす最小のものになる（もちろんのX取り方に依存しない）． 606 名前：１３２人目の素数さん [2025/06/15(日) 12:32:55.55 ID:Eap/oGjV.net] >>563 >2）で、wikipediaの記載は こうだとしても・・ >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります どう突っ込むと？ 607 名前：１３２人目の素数さん [2025/06/15(日) 12:52:46.48 ID:Eap/oGjV.net] >>563 >2）で、wikipediaの記載は こうだとしても・・ >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります >3）下記の 筑波大 Akito Tsuboi 先生は、下記 数理論理学IIでは >　ここは、少し技巧的な記述をしています ∀xφ(x)はまさに「任意A」だろ。 共通部分を用いた定義と本質的な違いは無いから君は>>564に回答できない。バカだねえ。 608 名前：１３２人目の素数さん [2025/06/15(日) 12:54:49.41 ID:Eap/oGjV.net] >>563 >下記で、赤ペン先生の補習をしておきますね 補習してあげたが、理解できたかな？ 609 名前：１３２人目の素数さん [2025/06/15(日) 13:01:32.45 ID:Eap/oGjV.net] >>563 >このようにすれば、ωは集合であり，φ(x)を満たす最小のものになる（もちろんのX取り方に依存しない）． Xの取り方に依存しなくても、∀xφ(x)（＝任意A）を用いる必要がある。つまり >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります がまったく的外れで、突っ込み食らったのは君自身。 君は補習したり突っ込んだりする立場にないこと自覚しようなオチコボレさん 610 名前：１３２人目の素数さん mailto:sage [2025/06/15(日) 14:13:34.95 ID:QZORY63A.net] ところでブルバキは「構造主義」の思想で本を書いたとされるが、この構造主義というのも 元は哲学から来ている。おそらく調べてみれば、日本人が思っている以上に数学は西洋哲学 と深く関係しているのではなかろうか。 611 名前：現代数学の系譜 雑談 [2025/06/15(日) 14:22:44.39 ID:lv2xCBEK.net] >>564-565 (引用開始) >3）下記の 筑波大 Akito Tsuboi 先生は、下記 数理論理学IIでは >　ここは、少し技巧的な記述をしています ∀xφ(x)はまさに「任意A」だろ。 共通部分を用いた定義と本質的な違いは無いから君は>>564に回答できない。バカだねえ。 (引用終り) ふっふ、ほっほ 筑波大 坪井明人 先生に、たてつくか？ｗ 元気があってよろしい！ｗｗ だが、普通は >>563の数理論理学II pdfは 1）講義用テキストで、講義に使ったもので（何回講義したかは知らず） 　一応大きなバグは取れているはず 2）坪井明人先生は、見るところ これら 基礎論や数理論理がご専門で 　”共通部分を用いた定義と本質的な違いは無い”と見る君が滑っているのでは？ 　つまり、このPDF P9の記載 　”無限公理によって保証される無限集合X を一つ選び”と 　”ω= {y ∈X：・・・} ”の記述 　この二つが 効いてる 　そもそもの”無限公理”の規定は、自然数Nを含む集合の存在を規定するのみであって 　つまり、本当は 自然数Nの存在を公理としたいのだが、自然数Nが未定義なので 　まずは、単純に”無限公理”で無限集合の存在を言って、そこから次に 　自然数Nの存在を導くという二段作戦なのだ 3）繰り返すが、もし PDF P9の記載 がバグっていて 　それを、講義を受けた 筑波大生が見過ごすなど・・ 　いや、そもそも、上記の2)の記載は、きっとなにかタネ本（or 論文）があって 　そこから採用したと考えられるから、バグの可能性は極めて低いだろう まあ、PDF P9の記載の辺り ”1.1.9 無限公理” の節をじっくり読み返してみな 君のはやとちりが、分るんじゃないの？ で、なお 坪井明人先生の間違いと思うならば、坪井明人先生にメールしてあげてねｗ ；ｐ） 612 名前：１３２人目の素数さん [2025/06/15(日) 14:29:09.49 ID:Eap/oGjV.net] >>569 >筑波大 坪井明人 先生に、たてつくか？ｗ どうやったらそんなアホな誤読ができるの？ 君、アホだね 613 名前：現代数学の系譜 雑談 [2025/06/15(日) 15:45:04.06 ID:lv2xCBEK.net] >>564 (引用開始) >2）で、wikipediaの記載は こうだとしても・・ >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります どう突っ込むと？ (引用終り) ふっふ、ほっほ 　>>563のように 自然数の集合Nを ・”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}” ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである とするのは 素朴ではあるが、問題がある つまり、カントール集合論で、自然数Nは無限集合で最小の集合であるのだが 問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ 簡単に例示すると、5つの集合A,B,C,D,Eにおいて ∩{A,B,C} 3つだけの積集合と ∩{A,B,C,D,E} 5つ全部の積集合とでは 当然 積集合の大きさが異なる つまり、無限公理の集合全て "∀"が きちんと尽くされたという保証がないと 最小無限集合たる自然数Nの定義に曖昧さが残ることになる なお、>>569 筑波大 坪井明人 PDF P9からの記載のぶりは 下記 en.wikipedia xiom of infinityの Extracting the natural numbers from the infinite setからの ”Alternative method”の記載類似と思われる おそらく、種本が同じなのだろう (参考) https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity Extracting the natural numbers from the infinite set Alternative method An alternative method is the following. Let Φ(x) be the formula that says "x is inductive"; i.e. Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x))). Informally, what we will do is take the intersection of all inductive sets. More formally, we wish to prove the existence of a unique set W such that ∀x(x∈W↔∀I(Φ(I)→x∈I)). (*) For existence, we will use the Axiom of Infinity combined with the Axiom schema of specification. This definition is convenient because the principle of induction immediately follows: If I⊆ω is inductive, then also ω⊆I, so that I=ω. 614 名前：現代数学の系譜 雑談 [2025/06/15(日) 15:55:34.69 ID:lv2xCBEK.net] >>568 >ところでブルバキは「構造主義」の思想で本を書いたとされるが、この構造主義というのも >元は哲学から来ている。おそらく調べてみれば、日本人が思っている以上に数学は西洋哲学 >と深く関係しているのではなかろうか。 これは おっちゃんかな スレ主です おっちゃんなら、お元気そうでなによりです。 今後ともよろしく 615 名前：１３２人目の素数さん [2025/06/15(日) 16:57:39.87 ID:Eap/oGjV.net] >>571 >ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである まずここが間違い。 任意に選んだものとは「いずれか一つ」であって「全て」ではない。 >問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ つまり無限公理は公理に非ずと言いたいの？　だって無限公理がどんな集合の存在を謳ってるか不明なんでしょ？　「なんか分からん集合が存在する」は命題になり得ないよね？　よって公理になり得ないよね？ でも君が持ち出したpdfのφ(x)は命題「xは無限公理が存在を謳う集合」だから、君の説によればωはwell-definedでなく、ひいてはpdfが間違いということになる。 >筑波大 坪井明人 先生に、たてつくか？ｗ たてついてるのは君だったとさ 616 名前：１３２人目の素数さん [2025/06/15(日) 16:59:33.30 ID:4G/uUJn/.net] >>571 ＞Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである ＞とするのは素朴ではあるが、問題がある ＞つまり、問題は、無限公理により存在する集合全て "∀"が、 ＞きちんと定義できているのか？だ Aは存在する集合を任意に（全て "∀"）選んだものである 集合は集合論のすべての公理によって定義されている どう問題がある、と？　矛盾が生じるかもしれない、と？ 矛盾が生じるかもしれないね だって矛盾がないなんて証明できないから で、君が今ここでそれを証明してくれるのかい？ 大学１年の微分積分と線形代数の理論が何一つわからず ものの見事に落ちこぼれたクソ工学部の学生の君が？ 公理的集合論の絶対的無矛盾性証明？ クルト・ゲーデルを真正面から否定するとは ものすごいトンデモだね（嘲） 617 名前：１３２人目の素数さん [2025/06/15(日) 17:08:22.37 ID:Eap/oGjV.net] >>563 >2）で、wikipediaの記載は こうだとしても・・ >　任意Aあるいは全てのAの 集合の積∩を考えるというのは 当然突っ込みどころであります あらら、君、筑波大 坪井明人 先生に、たてついちゃったね いやそれどころかZF公理系に、ひいては現代数学そのものにたてついちゃったね 元気があってよろしい！ｗｗ 618 名前：１３２人目の素数さん mailto:sage [2025/06/15(日) 20:38:35.40 ID:QZORY63A.net] >>572 貴方のソウルメイト、トンデモ書評のお相手または掛け合い漫才の相方 さらには同じ穴の狢のおっちゃんは、別の方ですよ。 最近は見かけませんねぇ・・・ 619 名前：１３２人目の素数さん mailto:sage [2025/06/15(日) 20:42:31.26 ID:QZORY63A.net] セタが「おっちゃんは友達だ」と言いながら、向こうはそれを認めないのは ある意味当然である。なぜなら、友達と言いながら心の底では見下しており その偽善が見抜かれているからである。 620 名前：現代数学の系譜 雑談 [2025/06/15(日) 21:38:55.71 ID:lv2xCBEK.net] >>573 >>ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである >まずここが間違い。 >任意に選んだものとは「いずれか一つ」であって「全て」ではない。 ふっふ、ほっほ 下記を百回音読してね （余談ながら、"∀"は英語で all もあり anyでもある） https://manabitimes.jp/math/1274 高校数学の美しい物語 全称記号（任意の〜）と存在記号（ある〜）について 2021/03/07 「任意の」とは「全ての」という意味です。 ∀ という記号を使って表すことがあります。 この記事では，数学でよく使う「任意の」と「ある」という言葉，そしてそれらを表す記号 ∀ ，∃ について解説します。 「任意の」の意味と記号 「任意の」とは「全ての」という意味です。例えば， (引用終り) >>問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ >つまり無限公理は公理に非ずと言いたいの？　だって無限公理がどんな集合の存在を謳ってるか不明なんでしょ？　「なんか分からん集合が存在する」は命題になり得ないよね？　よって公理になり得ないよね？ ふっふ、ほっほ 下記 無限公理を百回音読してね 即ち、無限公理が主張する集合は、有限集合でない＝真の無限集合 の”存在”を保証するのだが その集合（下記ではA）の性質は一切規定されていない。一方で我々が欲しいのは、まず最小の無限集合たる 自然数Nだ だが、”自然数”という用語を用いて 無限集合Nを規定すことは、公理的集合論としてはまずい 公理的集合論として、そこをひと工夫したのが、>>569 筑波大 坪井明人 PDF P9だろう https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 無限公理 略 解釈と帰結 上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。 まず定義中の集合 A は以下の性質を満たすことを確認できる。 略 従って A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。 上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合） 621 名前：現代数学の系譜 雑談 [2025/06/15(日) 21:42:29.03 ID:lv2xCBEK.net] >>574 >Aは存在する集合を任意に（全て "∀"）選んだものである >集合は集合論のすべての公理によって定義されている >どう問題がある、と？　矛盾が生じるかもしれない、と？ ふっふ、ほっほ 公理的集合論は、おもちゃのレゴみたいなものと思いなよ 個々の公理とは、レゴのブロック部品であって 公理的集合論とは、あたかも レゴのブロック部品を使って 集合を組み立てる そうして いろんなオモチャを組み立てることができるが如し たまに、歓迎されない 非可測集合とか バナッハタルスキーとかが、出現するけれども 取りあえずは 自然数から実数などができて 解析までは問題なく 数学の展開が可能 のみならず、殆どの20世紀数学は可能だという （おっと、フェルマーがZFC内かどうか分らんと今年の数学セミナー記事があった。けど、IUT同様に ZFCGなら可だろう ；ｐ） 622 名前：１３２人目の素数さん [2025/06/15(日) 22:13:43.05 ID:Eap/oGjV.net] >>578 >全称記号（任意の〜）と存在記号（ある〜）について 2021/03/07 >「任意の」とは「全ての」という意味です。 それは述語論理の全称記号ね。 > 623 名前：ここでAは無限公理により存在する集合を任意に選んだものである これ、自然言語だから君の主張は当たらない。 で、 >N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} においてAはひとつの集合を表しているから、「ここでAは無限公理により存在する集合を『全て』選んだものである」では、意味が通らないから誤読。 国語からやり直し。 [] [ここ壊れてます] 624 名前：現代数学の系譜 雑談 [2025/06/15(日) 22:23:48.01 ID:lv2xCBEK.net] >>576-577 レスありがとう おっちゃんは、数ヶ月（2〜3月）に1度くらい書込みがあるよ >セタが「おっちゃんは友達だ」と言いながら、向こうはそれを認めないのは >ある意味当然である。なぜなら、友達と言いながら心の底では見下しており いや、おっちゃんが 病気だと気づかずに 大変申し訳ないことをしたと 心からお詫びします ｍ（＿ ＿）ｍ 常人だと思って、きつく当たってしまったことがあった・・ 625 名前：１３２人目の素数さん [2025/06/15(日) 22:34:14.23 ID:Eap/oGjV.net] >>578 >無限公理が主張する集合は、有限集合でない＝真の無限集合 の”存在”を保証するのだが >その集合（下記ではA）の性質は一切規定されていない。 はい、大間違い。 無限公理：∃A({}∈A∧∀x∈A(x∪{x}∈A)) の通り、空集合を元として持ち、任意の元xに対してx∪{x}も元として持つ集合と規定されている。 君、論理式読めないの？ >一方で我々が欲しいのは、まず最小の無限集合たる 自然数Nだ >だが、”自然数”という用語を用いて 無限集合Nを規定すことは、公理的集合論としてはまずい まずいも何もZF公理系において自然数は規定されていないのだから構成が必要だろｗ >公理的集合論として、そこをひと工夫したのが、>>569 筑波大 坪井明人 PDF P9だろう ひと工夫も何も一般的な構成と実質的に同じ。単に"∩"を用いて表現しているか否かの違いだけ。 分かってる風な口きかない方が良いよ　恥かくだけだから 626 名前：１３２人目の素数さん [2025/06/15(日) 22:39:57.28 ID:Eap/oGjV.net] >>579 >どう問題がある、と？ にまったく答えてなくて草 日本語読めないなら国語からやり直し 627 名前：１３２人目の素数さん [2025/06/15(日) 22:44:44.16 ID:Eap/oGjV.net] 論理式も日本語も読めないオチコボレがなんで数学板来てわざわざ馬鹿自慢したがるのだろう？ 奇特な奴だ 628 名前：現代数学の系譜 雑談 [2025/06/15(日) 23:33:19.39 ID:lv2xCBEK.net] >>580 >>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} >においてAはひとつの集合を表しているから、「ここでAは無限公理により存在する集合を『全て』選んだものである」では、意味が通らないから誤読。 なるほど それは、理屈だ それでは N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} (ただしここでAは無限公理により存在する集合を任意に選んだものである) from 「ペアノの公理」 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 　vs ω = {y∈X：∀x(φ(x)→y∈x)} ここに Xは無限公理によって保証される無限集合を一つ選ぶとする また φ(x) は ∅∈x∧∀y(y∈x →S(y)∈x) である*) from 数理論理学II p9 坪井明人 筑波大 https://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf (>>563) 注*)このようにすれば、ωは集合であり，φ(x)を満たす最小のものになる（もちろんのX取り方に依存しない） この二つの比較 ja.wikipedia 　vs 数理論理学II坪井明人 だね そして、数理論理学II坪井明人 P9に記されている通り ωを条件 ∅∈x∧∀y(y∈x →S(y)∈x) を満たす最小の集合x として定義したい”という意図も 分るよね （”∅∈x∧∀y(y∈x →S(y)∈x)”が、無限公理の条件であることは、P8に記載がある） さて、ja.wikipedia の記載の問題点は、積∩の記号（集合の共通部分）をつかっていること 一方、坪井明人は、積∩の記号は不使用だ 積∩の記号不使用で済ませられるならば その方が、すっきりしてないか？　；ｐ） 629 名前：１３２人目の素数さん [2025/06/15(日) 23:56:40.01 ID:Eap/oGjV.net] >>585 どうでもよい　実質同じだから 一方は∩を使用、他方はφを使用、どっちがすっきりも無い 630 名前：１３２人目の素数さん [2025/06/16(月) 00:08:34.57 ID:7GSpsGVO.net] >∀x(φ(x)→y∈x) は、「yは無限公理が存在を主張するあらゆる集合たちが共通に持つ元である」と言っている。 共通部分を∩を使わずに表現しているだけのこと。 君、論理式読めないの？ 631 名前：現代数学の系譜 雑談 [2025/06/16(月) 07:07:27.83 ID:8WY20Dqi.net] >>586-587 ふっふ、ほっほ ゴマカシに入ったなｗ ；ｐ） 1）すっきりの度合いが違うだろ？ 　即ち、和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？ 　Σ n=1〜∞とか Σ m,n=1〜∞とかね 　では問う 記号∩について 同じことを要求する 　きちんと、記号∩の定義を書け！ 　ここ、ツッコミどころだねｗ 2）”実質同じ”？ 証明は？ 上記1）項のあと 証明やってみてｗ ；ｐ） 3）ja.wikipediaは、しばしば 素人さんが編集している 　過誤、タイポ、勘違いなどが入る可能性がある 　一方、坪井明人氏は 数理論理学、基礎論のプロ数学者であって 　かつ数理論理学II は、学部の講義で使われたと推察される 　なので、多くの人の目に触れた 枯れたテキストだ 　だから、後者が信頼できると思うよ 　前者は、マユツバで読むべし！ 632 名前：１３２人目の素数さん [2025/06/16(月) 09:03:35.96 ID:7GSpsGVO.net] >>588 >すっきりの度合いが違うだろ？ すっきり度合なるものの定義を書いてみて >　即ち、和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？ >　Σ n=1〜∞とか Σ m,n=1〜∞とかね ∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} はAの部分集合族の共通部分なんだけど、君、部分集合族、集合族の共通部分を知らんの？　なら勉強しろよ >”実質同じ”？ 証明は？ 共通部分∩の定義を確認すればよいだけ。確認しろよ >前者は、マユツバで読むべし！ 論理式も読めない、部分集合族も集合族の共通部分も知らない馬鹿の意見は却下 633 名前：１３２人目の素数さん [2025/06/16(月) 09:07:56.34 ID:7GSpsGVO.net] >>588で君がwikipediaやPDFを何も読めてないことがよく分かったよ コピペで分かった気になってるコピペ脳に数学は無理だからあきらめた方が良いよ 634 名前：１３２人目の素数さん [2025/06/16(月) 09:08:51.04 ID:rbeJ8doG.net] それがわかってうれしい？ 635 名前：１３２人目の素数さん [2025/06/16(月) 09:23:06.18 ID:7GSpsGVO.net] おまえが消えたらうれしい 636 名前：１３２人目の素数さん [2025/06/16(月) 09:27:55.07 ID:rbeJ8doG.net] では当分不不幸さを味わってくれ 637 名前：１３２人目の素数さん [2025/06/16(月) 09:30:34.56 ID:7GSpsGVO.net] 不不幸さ？　つまり消えるってこと？　ありがとう 638 名前：１３２人目の素数さん [2025/06/16(月) 09:33:19.37 ID:rbeJ8doG.net] 訂正 不不幸さーー＞不幸さ 639 名前：１３２人目の素数さん [2025/06/16(月) 09:35:45.49 ID:rbeJ8doG.net] こう訂正してもよい 不不幸さーー＞負負不幸さ 640 名前：現代数学の系譜 雑談 [2025/06/16(月) 22:11:33.65 ID:8WY20Dqi.net] >>589-596 ID:rbeJ8doGは、御大か 囲碁将棋をやらない人は、プロのすごさが分らない おサルさん、君は 御大には”セイモク フウリン”だぞ まあ、レベルが低すぎると 相手のレベルの高さが分らないものだが ；ｐ） そもそも>>563より Inter-universal geometry とABC 予想57 https://rio2016.5ch.net/test/read.cgi/math/1723187304/988 (引用開始) >無限公理が存在を主張する集合全体 無限公理が存在を主張する集合全体？ (引用終り) 補足すると ”>無限公理が存在を主張する集合全体”について これ私の発言なのだが、ツッコミが・・ つまり、ZFCなどの無限公理により、無限公理の存在のみを認めるが 存在する無限集合が、はたして自然数の集合Nであることは保証しない カントールやデデキントの素朴集合論では 自然数の集合Nが、最小の無限集合であって、かつ任意の無限集合はすべてNを含むことは既知 それを、公理的に構築するのがZFCなどの公理の目的 だから、結論を先取りすると 出来た無限集合全体の最小部分、全ての無限集合の共通部分が、自然数の集合Nだと言えるのです（cf.カントールの順序数理論） ところで、上記にプロ数学者のするどいツッコミが・・ ”無限公理が存在を主張する集合全体？”と入ったのです 確かに、そこはツッコミどころでは、あった （＾＾ そこで見つけたのが、>>563の 数理論理学II 筑波大 坪井先生PDF https://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf だった 今回は 追加で下記をば（こいつは、いつものように jp.wikipedia 無限公理から辿れます） https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity ”Extracting the natural numbers from the infinite set”があり google訳を抜粋する。式も略すが、∩は使われていない！（＾＾ （下記の”非公式には、すべての帰納的集合の共通部分を取ることになります。より正式には、唯一の集合Wの存在を証明したいのです”を百回音読してね） 　記 ”無限集合I は自然数の上位集合である。自然数自体が集合を構成することを示すために、指定の公理スキームを適用して不要な要素を削除し、すべての自然数からなる集合Nを残すことができる 自然数を抽出するには、どの集合が自然数であるかを定義する必要があります。自然数は、外延公理と帰納公理以外の公理を仮定せずに定義できます。つまり、自然数は0かその次の要素のいずれかであり、その各要素は0か、その次の要素のいずれかです。正式な言葉で言えば、定義は次のようになります 略 もっと正式にはこうです: 略 代替方法 代替の方法は次のとおりです Φ（×）「xは帰納的である」という式である。つまり 略 非公式には、すべての帰納的集合の共通部分を取ることになります。より正式には、唯一の集合Wの存在を証明したいのです。 略 つまり Wは、Ｉは、他のすべての帰納的集合の元でもある。これは明らかに（*）の仮定を満たす 一意性については、まず、(*)を満たす任意の集合はそれ自体が帰納的である 641 名前：ことに注意する 略 これらの方法は両方とも、 2階算術の公理を満たすシステムを生成します (引用終り) 以上 [] [ここ壊れてます] 642 名前：１３２人目の素数さん [2025/06/16(月) 22:27:13.24 ID:7GSpsGVO.net] >>597 >全ての無限集合の共通部分が、自然数の集合Nだと言えるのです はい、大間違い。 偶数全体の集合Eは無限集合だが、N∩E=E≠N であるから、全ての無限集合の共通部分はNではない。 口から出まかせはやめてね 643 名前：１３２人目の素数さん [2025/06/16(月) 22:32:46.89 ID:7GSpsGVO.net] >>597 >ところで、上記にプロ数学者のするどいツッコミが・・ >”無限公理が存在を主張する集合全体？”と入ったのです >確かに、そこはツッコミどころでは、あった （＾＾ いや、突っ込まれたのは君だからｗ 馬鹿も度を越えると自分が突っ込まれたことすら認識できないんだね（呆） 644 名前：１３２人目の素数さん [2025/06/16(月) 22:40:40.95 ID:7GSpsGVO.net] >>597 >ところで、上記にプロ数学者のするどいツッコミが・・ >”無限公理が存在を主張する集合全体？”と入ったのです >確かに、そこはツッコミどころでは、あった （＾＾ 君、 >問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ(>>571) とトンデモ発言して>>573でフルボッコされたのもう忘れたの？ 記憶障害かい？　病院行きなよ 645 名前：１３２人目の素数さん [2025/06/16(月) 22:47:28.71 ID:7GSpsGVO.net] >>597 無限公理が存在を謳う集合が不明とか言っちゃったトンデモさん 不明なら命題たり得ないんだから公理になり得ない そんなことも分からないって馬鹿も度を越えてるね　生きてて恥ずかしくないの？ 646 名前：１３２人目の素数さん [2025/06/16(月) 22:56:16.69 ID:7GSpsGVO.net] >>597 君が持ち出した筑波大 坪井明人先生のpdfのφ(x)は命題「xは無限公理が存在を謳う集合」だから、 「無限公理が存在を謳う集合は不明」との君の主張に従えば、ωはwell-definedでなく、ひいてはpdfが間違いということになる。 筑波大 坪井明人先生にたてついちゃったよこのトンデモさん。 まあその前に無限公理は公理たり得ないとZF公理系を否定し、ひいては現代数学そのものにたてついちゃってるんだけどねｗ 647 名前：１３２人目の素数さん [2025/06/16(月) 23:11:57.06 ID:7GSpsGVO.net] トンデモさんの発言を聞いてると、どうも「無限公理とは無限集合の存在を保証する公理である」と思ってる節がある。 「Aは無限集合の存在を保証する公理である」はAが無限公理であるための必要条件であるが十分条件ではない。 無限という言葉の響きで連想ゲームして分かった気になるから間違う。数学は連想ゲームではない。無限公理の論理式を読んで理解せよ。 648 名前：１３２人目の素数さん [2025/06/16(月) 23:25:12.92 ID:7GSpsGVO.net] トンデモさん、部分集合族すら知らずに赤っ恥かいてしまい、何か言い返さなければと名誉教授のレスを印籠よろしく持ち出したまではよかったが、見事返り討ちにされちゃいましたとさ どこまでも愚かだねえ 649 名前：現代数学の系譜 雑談 [2025/06/17(火) 06:58:10.16 ID:142iXzRZ.net] >>598-604 負負不幸のおサルさん>>596 "-"を3回重ねると、やはり"-"(不)というダジャレか ；ｐ） さて 1）20世紀初頭に、無限集合論を公理的に構築して、ラッセルのパラドックスなどから救おうというヒルベルトの構想があった 　cf　https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 ラッセルのパラドックス 矛盾の解消 公理的集合論による解消[注 1] 2）それ以前に、素朴集合論として、カントールやデデキントの無限集合の研究があった 　cf カントールの順序数 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 　　及び デデキント無限 https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90 3）この素朴集合論を構築することを目的として ZFC公理系ができたのです 　結果、ZFC公理系からノイマン宇宙ができる https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 　ここに”整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。” 4）ノイマン宇宙の英語版には、ポンチ絵がある https://en.wikipedia.org/wiki/Von_Neumann_universe 　ともかく、自然数の集合N＝ω（最初の無限順序数） （これは可算無限でもある） 　であって、ノイマン宇宙の無限集合はすべて、N＝ωを含んでいる 　つまりは、全てのノイマン宇宙の無限集合の共通部分が、自然数の集合Nです 　ところが、これは結論を先取りしていて、自然数の集合Nをいまから構築しようとするときつかうと やばい 5）そこで、20世紀初頭の天才たちが、いろいろ考えた結果が 　>>597 の Axiom of infinity ”Extracting the natural numbers from the infinite set”だね 6）戻ると、∩を使うのは 賢明ではない。ツッコミどころ満載になるだろう 　御大の”無限公理が存在を主張する集合全体？”(>>596) も、これだね 　回答は、前記の通り 　>>589で (引用開始) >”実質同じ”？ 証明は？ 共通部分∩の定義を確認すればよいだけ。確認しろよ (引用終り) とか、発狂していたおサルさん 昨日は、ちょっと暑かったｗ　；ｐ） 650 名前：１３２人目の素数さん [2025/06/17(火) 08:07:17.36 ID:imHVDh7R.net] >>605 >∩を使うのは 賢明ではない。ツッコミどころ満載になるだろう 突っ込まれてるのは「無限公理が存在を謳う集合は不明」とトンデモ発言しちゃう君。 >(引用開始) >>”実質同じ”？ 証明は？ >共通部分∩の定義を確認すればよいだけ。確認しろよ >(引用終り) >とか、発狂していたおサルさん 部分集合族も知らずにwikipediaは眉唾とかほざいてたことを指摘されて赤っ恥かいて発狂してるのが君。 651 名前：１３２人目の素数さん [2025/06/17(火) 08:13:35.89 ID:imHVDh7R.net] 「ヒルベルト構想がー　カントールやデデキントがー　ノイマン宇宙がー　20世紀初頭がー」 ↑ 部分集合族も知らないオチコボレがなんかほざいてますね 652 名前：１３２人目の素数さん [2025/06/17(火) 08:27:45.29 ID:AiDc4ZSY.net] >>607 面白い？ 653 名前：１３２人目の素数さん [2025/06/17(火) 08:29:25.54 ID:imHVDh7R.net] >>608 おまえはつまらないから消えて 654 名前：１３２人目の素数さん [2025/06/17(火) 09:00:09.05 ID:AiDc4ZSY.net] きみは面白いわけか 655 名前：１３２人目の素数さん [2025/06/17(火) 09:03:52.40 ID:AiDc4ZSY.net] 部分集合族が面白いわけは？ 656 名前：１３２人目の素数さん [2025/06/17(火) 09:46:31.43 ID:imHVDh7R.net] 言葉分からん？　消えろ 657 名前：１３２人目の素数さん [2025/06/17(火) 09:50:16.18 ID:AiDc4ZSY.net] 当分無理だということが分からん？ 658 名前：現代数学の系譜 雑談 [2025/06/17(火) 14:13:48.42 ID:5DT6XHJJ.net] >>606-613 ID:imHVDh7R は、御大か 巡回ありがとうございます。 旧帝N大 OTゼミでも 口先だけで、ゼミを”しのぐ”ことを考える ヤカラがいる 大概、黒板ハリツケの刑だｗ　；ｐ） とつぜん”部分集合族”という用語で、矛先をそらすか？ｗ どっこい、数学科のゼミはそれを許すような甘いものではない さて、世に ”存在定理”というものがある（下記） AIさんが「高木の存在定理」とか例示するんだ 「代数学の基本定理」は、ja.wikipediaの例だ ”存在公理”という言葉はないが、 ”存在定理”と同様に 存在のみを保証し、その具体的な性質については、あまり触れない公理がある 典型例が、選択公理で選択関数の存在のみを保証する もう一つの例が、無限公理だろう。無限集合の存在を主張するが 無限がいくつあって、それがどんなものかは、示されない その 無限公理の主張する 具体的でない無限集合から 自然数の集合Nを抽出する それが >>605 の Axiom of infinity ”Extracting the natural numbers from the infinite set”だね ”部分集合族”ね。ゴマカシでしょｗ　；ｐ） (参考) google検索： 存在定理 AI による概要（AI の回答には間違いが含まれている場合があります。） 存在定理とは、数学において、ある条件を満たす対象の存在を保証する定理の総称です。具体的にどのような対象が存在するかは示されない場合もあります 例 高木の存在定理: 類体論における重要な定理で、代数体の合同群とアーベル拡大の関係を述べています 存在定理の特徴: ・「ある対象が存在する」ということを保証するだけで、具体的な対象の構成方法や求め方を示すものではない場合があります ・存在を示すことで、その後の研究や問題解決に繋がる手がかりを与えることがあります ・数学の様々な分野で、存在定理が重要な役割を果たしています 存在定理は、数学における証明や問題解決において、対象の存在を前提として議論を進めることができるため、非常に重要な役割を果たしています (参考) https://ja.wikipedia.org/wiki/%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86 存在定理（英: existence theorem[1]または英: theorem of existence[2]）とは、何らかの数学的対象の存在をいう定理の総称。定理の内容や証明において、対象の具体的な構成方法は必ずしも示されない 具体例 代数学の基本定理 中間値の定理 https://ja.wikipedia.org/wiki/%E9%AB%98%E6%9C%A8%E3%81%AE%E5%AD%98%E5%9C%A8%E5%AE%9A%E7%90%86 類体論の高木の存在定理とは、代数体 K の一般化されたイデアル類群に対してそれに対応する K の有限 659 名前：次アーベル拡大が存在するという定理である 歴史 存在定理は高木貞治の論文 (1915) で証明された[8]。その後、高木は「アーベル拡大すなわち類体」という類体論の基本定理に到達し、結果を Takagi (1920) にまとめた[9]。これらの研究は第一次世界大戦の最中になされ、1920年の国際数学者会議で発表された。1920年代の類体論の古典的理論の発展に主導的な役割を果たした [] [ここ壊れてます] 660 名前：１３２人目の素数さん [2025/06/17(火) 14:26:00.66 ID:imHVDh7R.net] >>614 >とつぜん”部分集合族”という用語で、矛先をそらすか？ｗ 君さあ >　和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？ >　Σ n=1〜∞とか Σ m,n=1〜∞とかね >　では問う 記号∩について 同じことを要求する >　きちんと、記号∩の定義を書け！ >　ここ、ツッコミどころだねｗ と、大ボケかましたのもう忘れたのかい？ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ って教えてあげたのに、何を「矛先をそらす」とか発狂してんの？　発狂してないで勉強しろよｗ そんなだから落ちこぼれるんだよ 661 名前：１３２人目の素数さん [2025/06/17(火) 14:33:10.25 ID:imHVDh7R.net] >>614 >もう一つの例が、無限公理だろう。無限集合の存在を主張するが >・・・それがどんなものかは、示されない ほらね　>>603で言った通り誤解してる。 ∃A({}∈A∧∀x∈A(x∪{x}∈A))という論理式が読めないんだね。 この程度も読めないんじゃ数学は無理だからあきらめたら？ 662 名前：１３２人目の素数さん [2025/06/17(火) 14:41:00.25 ID:imHVDh7R.net] >>614 >”部分集合族”ね。ゴマカシでしょｗ　；ｐ） 部分集合族も知らずに「∩の範囲が書かれてないからwikipediaは眉唾だ」とか言って赤っ恥かいたのをゴマカシてるのが君 君の無自覚力は強烈やなｗ 663 名前：１３２人目の素数さん [2025/06/17(火) 15:19:12.28 ID:imHVDh7R.net] >>597 >全ての無限集合の共通部分が、自然数の集合Nだと言えるのです 大間違い。Nではなく{}。 証明 偶数全体の集合をE、奇数全体の集合をOと書く。E,Oは無限集合である。E,Oを除くすべての無限集合の共通部分をCと書く。 すべての無限集合の共通部分=C∩E∩O=C∩{}={}。 口から出まかせ言って赤っ恥かいてもごまかして平然としてるから成長できないんだよ、オチコボレ君。 664 名前：１３２人目の素数さん [2025/06/17(火) 15:26:14.21 ID:imHVDh7R.net] >>597 >全ての無限集合の共通部分が、自然数の集合Nだと言えるのです 正しくは 「無限公理が存在を謳う集合全体の集合の共通部分をNと定義すれば、Nはペアノの公理を満たす。」 まあ無教養なオチコボレには到底理解できないだろうなぁ（遠い目） 665 名前：現代数学の系譜 雑談 [2025/06/17(火) 17:55:54.81 ID:5DT6XHJJ.net] >>615 ふっふ、ほっほ 必死のゴマカシ >∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ １）数学ゼミにおいて、”自明”禁句ですよｗ　；ｐ） 　だいたいゼミで、”自明”を連発するやつは、”あやしい”と相場が決まっているｗ ２）無限の和や積の操作が、きちんと意味を持つかどうか？ 　それは、常に注意しておく必要があるのです 　卑近な例が、（下記）（無限）交代級数の収束です ３）つまり、上記”y∪{y}”は 有限２つの集合和だから 無問題 　では ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}の 集合の積はどうか？ 　そもそも 有限積ではないのだろうが・・（有限積か無限積かの証明さえないよ） 　いま、無限積として、それに意味を与えられるかどうかの証明がない！ ４）ならば、”∩”は、使わない方が無難ってことじゃないの？ｗ　；ｐ） (参考) https://wiis.info/math/real-number/series/alternating-series/ wiis 交代級数の定義と収束条件 項の正負が交互に入れ替わる無限級数を交代級数と呼びます。交代級数が収束するための条件を明らかにします。 目次 交代級数 交代級数の収束条件 先の命題が要求する条件の吟味 演習問題 関連知識 666 名前：１３２人目の素数さん [2025/06/17(火) 18:23:23.90 ID:imHVDh7R.net] >>620 >>∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >>はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ >１）数学ゼミにおいて、”自明”禁句ですよｗ　；ｐ） ”明示”な？ ガチで字読めなくて草　小学校からやり直し >いま、無限積として、それに意味を与えられるかどうかの証明がない！ 意味を与えられない部分集合族の共通部分の例を一つでよいから挙げてみて >４）ならば、”∩”は、使わない方が無難ってことじゃないの？ｗ　；ｐ） オチコボレはまず大学一年の教科書を勉強しろ　意見するのは100年早い 667 名前：１３２人目の素数さん [2025/06/17(火) 22:46:35.49 ID:imHVDh7R.net] >>620 >>∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >>はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ オチコボレ君はなんで範囲の明示が要らないかチンプンカンプンなんだろうね。 添字付けられた集合族ではないからそもそも範囲という概念が無いんだよｗ ちなみに "x⊂A"はxがAの部分集合であることを表しているから、{x⊂A|P(x)}はAの部分集合族（すなわち2^Aの部分集合）であり、 開論理式P(x):={}∈x∧∀y[y∈x→y∪{y}∈x]が真となるような元xのみを持つ集合である。 よって∩{x⊂A|P(x)}は、前記集合族に属すいずれの集合にも属すような元のみを持つ集合である。 この通り∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}の素性は明らかであって、オチコボレ君が言いがかりつける隙なんて１ミリも無い。 オチコボレ君さあ、せっかく部分集合族って教えてあげたんだからwikipedia「集合族」のページくらい読もうよ。 添字付けられた集合族も部分集合族もちゃんと載ってるよ。君、ほんと勉強嫌いだね。 668 名前：１３２人目の素数さん [2025/06/17(火) 22:51:17.01 ID:imHVDh7R.net] 人に教えられなくても理解するのが正常人 人に教えられて理解するのは普通のバカ 人に教えられても理解できないオチコボレ君 669 名前：１３２人目の素数さん [2025/06/17(火) 23:02:10.00 ID:imHVDh7R.net] オチコボレ君「wikipediaは誰でも編集できるから眉唾」 眉唾なら君自身で中身を読んで理解して判断しようね。いい歳した大人なんだから。 大学教授が書いたから正しいみたいに肩書で判断しちゃダメだよ。そんなだから落ちこぼれたんだよ。分ったかい？ 670 名前：現代数学の系譜 雑談 [2025/06/18(水) 10:35:20.49 ID:1ZjEJMOG.net] >>621-624 ふっふ、ほっほ (引用開始) >>∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >>はAの部分集合族の共通部分。範囲の明示なんて要らないよｗ オチコボレ君はなんで範囲の明示が要らないかチンプンカンプンなんだろうね。 添字付けられた集合族ではないからそもそも範囲という概念が無いんだよｗ (引用終り) まあ、素人考えだな （普通ではあるが、公理的集合論にはなじまない） ツッコミどころは １）”旅の途中”＊） ２）∩（集合積）は、俗にいう構造敏感だということ （　＊）”旅の途中”という昔流行った歌がある https://ja.wikipedia.org/wiki/%E6%97%85%E3%81%AE%E9%80%94%E4%B8%ADなど） さて、まず１）について、そもそも公理による無限集合N（自然数の集合）の構築について 素朴には、ペアノ公理による 0,1,2,3・・・をすべて集めて、集合にすれば よかんべだが 問題は、ラッセルパラドックスで、無限に関する操作を 無制限に認めるのはまずってことだ そこで、集合論の公理を設定して、抑制的に集合操作をして カントールやデデキントの素朴集合論の構築をしようとなった いまは、”旅の途中”で 無限集合N（自然数の集合）さえ、まだ得ていない ちょっと脱線するが、誰しも考えるのは 素朴単純に 公理として ”ペアノ公理による 0,1,2,3・・・をすべて集めて、集合Nが出来た”（0,1,2,3・・・たちはノイマン後者関数による） を公理として 決めればよかんべ と思う ところが、次には 自然数の集合Nより大きな集合を認めるかどうかが問題になるのです そこで、公理としては 自然数の集合Nを含む大きな集合の存在を公理として認めて、Nはそこから落としてくる この方が公理としてキレイなのだ 次に、２）について >>571から再録すると ”簡単に例示すると、5つの集合A,B,C,D,Eにおいて ∩{A,B,C} 3つだけの積集合と ∩{A,B,C,D,E} 5つ全部の積集合とでは 当然 積集合の大きさが異なる” 繰り返すが、100個の集合の積∩に 新たに一つ集合が増えると ∩{100個} ≠∩{101個}となる可能性が高い というか そう考えるべきなのだ 記号∩を使う問題点は、そこにある つまり、冒頭の∩の式で無限の集合全て "∀"が きちんと尽くされたという保証がないと 最小であるべき無限集合たる自然数Nの定義に曖昧さが残ることになる ところが、そもそも”無限集合”の概念が確立されていない （”旅の途中”では 無限集合族などを無造作に使うべきではない） 対して、>>571 Extracting the natural numbers from the infinite set https://en.wikipedia.org/wiki/Axiom_of_infinity や、>>569 筑波大 坪井明人 PDF P9 が やっていることは 無限公理で保証されたNを含む無限集合の部分集合として 再度 ペアノ公理による 0,1,2,3・・・をすべて集めて 部分集合として構築するってことだね しかも、公理で許される集合操作のみを使ってってこと 君の 部分集合族の議論は、最終段階では正しいだろうが いまは、”旅の途中”ってことよ 671 名前：１３２人目の素数さん [2025/06/18(水) 12:03:16.69 ID:Qh/3AgjL.net] >>625 >まあ、素人考えだな 素人に失礼だろ。ど素人だよ君は。初歩の初歩から分かってない。 >そもそも公理による無限集合N（自然数の集合）の構築について もう一行目からおかしい。 >素朴には、ペアノ公理による 0,1,2,3・・・をすべて集めて、集合にすれば よかんべだが ペアノの公理も分かってない。ペアノの公理読めよｗ >問題は、ラッセルパラドックスで、無限に関する操作を 無制限に認めるのはまずってことだ 全然違うけど。 >そこで、集合論の公理を設定して、抑制的に集合操作をして カントールやデデキントの素朴集合論の構築をしようとなった >いまは、”旅の途中”で 無限集合N（自然数の集合）さえ、まだ得ていない ZF公理系にNなんて無い。だから構成が必要。 >ちょっと脱線するが、誰しも考えるのは 素朴単純に 公理として >”ペアノ公理による 0,1,2,3・・・をすべて集めて、集合Nが出来た”（0,1,2,3・・・たちはノイマン後者関数による） >を公理として 決めればよかんべ と思う ペアノの公理も分かってない。ペアノの公理読めよｗ >ところが、次には 自然数の集合Nより大きな集合を認めるかどうかが問題になるのです 実数全体の集合が自然数全体の集合より大きいことはカントールが証明済み。認めなくてどうするｗ >そこで、公理としては 自然数の集合Nを含む大きな集合の存在を公理として認めて、Nはそこから落としてくる >この方が公理としてキレイなのだ それ君の感想だよね？　何を言うのかと思えば愚にもつかぬ感想を言いたかっただけかい オチコボレに感想を述べる権利なんて無いよ　オチコボレは黙って勉強すべし 672 名前：１３２人目の素数さん [2025/06/18(水) 12:05:46.37 ID:Qh/3AgjL.net] >>625 >次に、２）について >>571から再録すると >”簡単に例示すると、5つの集合A,B,C,D,Eにおいて >∩{A,B,C} 3つだけの積集合と >∩{A,B,C,D,E} 5つ全部の積集合とでは >当然 積集合の大きさが異なる” >繰り返すが、100個の集合の積∩に 新たに一つ集合が増えると >∩{100個} ≠∩{101個}となる可能性が高い というか そう考えるべきなのだ >記号∩を使う問題点は、そこにある 君が言ってるのは集合の内包的表記の否定そのものだよ。そりゃ落ちこぼれるわ。 https://wiis.info/math/set/set/set/#elementor-toc__heading-anchor-1 の「集合と内包的表記」のところ読んでみ？ >つまり、冒頭の∩の式で無限の集合全て "∀"が きちんと尽くされたという保証がないと >最小であるべき無限集合たる自然数Nの定義に曖昧さが残ることになる 君が集合の内包的表記を分かってないことから来る誤解。 673 名前：１３２人目の素数さん [2025/06/18(水) 12:06:08.80 ID:Qh/3AgjL.net] >>625 >ところが、そもそも”無限集合”の概念が確立されていない >（”旅の途中”では 無限集合族などを無造作に使うべきではない） 今度は無限公理を否定する気かい？ >対して、>>571 Extracting the natural numbers from the infinite set https://en.wikipedia.org/wiki/Axiom_of_infinity >や、>>569 筑波大 坪井明人 PDF P9 が やっていることは >無限公理で保証されたNを含む無限集合の部分集合として うん、そこまでは正しい。 >再度 ペアノ公理による 0,1,2,3・・・をすべて集めて 部分集合として構築するってことだね ぜんぜん違うけど。ゼロ点。 正しくは、無限公理が存在を謳うどの集合にも属す元のみを持つ部分集合。 >しかも、公理で許される集合操作のみを使ってってこと 公理で許されてない集合操作って具体的に何？一例でよいから挙げて。 >君の 部分集合族の議論は、最終段階では正しいだろうが >いまは、”旅の途中”ってことよ ぜんぜん的外れ。 で、なんかシレっとごまかしてるけど （引用開始） >いま、無限積として、それに意味を与えられるかどうかの証明がない！ 意味を与えられない部分集合族の共通部分の例を一つでよいから挙げてみて （引用終了） はどうなったの？ 674 名前：現代数学の系譜 雑談 [2025/06/18(水) 17:02:57.74 ID:1ZjEJMOG.net] >>626-628 素人が、グダグダ言い訳している さて １）なぜ無限公理が必要なのか？ 　その答えが 下記 渕野”Dedekind の数学の基礎付けと集合論の公理化” 　P173-174 "3 無限の存在証明"に記されている通り 　「無限の存在が集合論の他の公理から独立である」ってこと ２）集合論の公理は”スッキリ”していることが求められる 　なので、>>625に示したように 単に 自然数の集合Nの存在だけを公理とするのではなく 　Nを含む（Nより大きな）集合の存在を公理として認めて、それ以外の公理系から 　もし”Extracting the natural numbers from the infinite set”（下記）が可能なら 　その方がスッキリだってこと（我々が求めているのは そのさらに先で N→Q→Rと 順序数*)の構築なのだから） 　*)https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 ３）下記に ”Extracting the natural numbers from the infinite set”を 　全文引用しておいたから、百回音読してね 　文中で、axiom schema of specification 、axiom of extensionality、 axiom of induction 　など 使う公理が明示されているでしょ？ そして 最後”I=ω”が結論ですよ！ 素人が、グダグダ書いても なんの格好付けにもなってないよｗ (参考) https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1739-16.pdf RIMS講究録 Dedekind の数学の基礎付けと集合論の公理化 渕野昌(神大)2011 P170 無い物ねだり的な指摘をすることはたやすい．彼の時代には，現代の我々が識るような形式論理はまだ生れてすらいなかった(彼とほぼ同時代のFrege の研究には形式論理学の萌芽のようなものが見られるが，[3] の第2版の前書き(1893)では，Dedekind は，Frege の仕事を後になってからはじめて知ることになったと書いている).いわんや，形式的推論の体系や，その体系の完全性，そして不完全性定理に基づく知見は，どう頑張ったとしてもDedekindの行なった考察の背景にはなり得なかったはずのものである P173 3 無限の存在証明 単純無限的体系によって自然数の全体の体系の基礎付けがなされうるためには， そもそも無限集合の存在が大前提となる．しかも，これが，「数の理論を扱かう論理学の部分の基礎付け」としてなされるためには，無限集合の存在が無条件に証明できなくてはならない． P174 晩年のDedekind が，無限の存在証明([3] の66.) の残ったままのテキストをこの再版に回してしまったことの背景だったのではないだろうか． ただし，Dedekind の名誉のために付け加えておくと，1911 年の時点では，無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研究者たちすら，まだ完全には把握しきれていなかった可能性がある P176 集合論の基礎に関してDedekind の越えられなかった壁は，Zermelo やFraenkelが易々と越えることができたが，このZermelo も後にG"odel の不完全性定理を全く理解できず，不完全性定理以降の数学の発展に取り残されることになっ た. 1960 年代に強制法の理論が確立されたときにも，この手法を理解できなかったことで，多くの集合論の研究者が脱落していった つづく 675 名前：１３２人目の素数さん [2025/06/18(水) 17:03:29.67 ID:1ZjEJMOG.net] つづき 集合論の研究の内部でも，Cantor とDedekind の集合論について述べたよ うな，「純粋集合論」と「数学としての集合論」の問の大きな分離は早い時期か ら見られたが，20 世紀の終りごろから，この2 つの集合論の潮流が合流し，新 しいパラダイムが生れつつあるように見える． （ついでに下記も） https://fuchino.ddo.jp/misc/kyoto10-08-24-talk-pf.pdf RIMS研究集会「数学史の研究」での講演 2010 Kronecker,Dedekind,Hilbert on the Foundation of Arithemetic 渕野昌神戸大学大学院システム情報学研究科 https://www.jstage.jst.go.jp/article/sugaku/65/4/65_0654411/_article/-char/en https://www.jstage.jst.go.jp/article/sugaku/65/4/65_0654411/_pdf/-char/en 数学 2013 Volume 65 Issue 4 Pages 411-421 特別企画 これから学ぶ人のために 公理的集合論 渕野昌 https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity Extracting the natural numbers from the infinite set The infinite set I is a superset of the natural numbers. To show that the natural numbers themselves constitute a set, the axiom schema of specification can be applied to remove unwanted elements, leaving the set N of all natural numbers. This set is unique by the axiom of extensionality. To extract the natural numbers, we need a definition of which sets are natural numbers. The natural numbers can be defined in a way that does not assume any axioms except the axiom of extensionality and the axiom of induction—a natural number is either zero or a successor and each of its elements is either zero or a successor of another of its elements. In formal language, the definition says: ∀n(n∈N⟺([n=∅∨∃k(n=k∪{k})]∧∀m∈n[m=∅∨∃k∈n(m=k∪{k})])). Or, even more formally: ∀n(n∈N⟺([∀k(¬k∈n)∨∃k∀j(j∈n⟺(j∈k∨j=k))]∧ 　∀m(m∈n⇒[∀k(¬k∈m)∨∃k(k∈n∧∀j(j∈m⟺(j∈k∨j=k)))]))). つづく 676 名前：現代数学の系譜 雑談 [2025/06/18(水) 17:04:07.45 ID:1ZjEJMOG.net] つづき Alternative method An alternative method is the following. Let Φ(x) be the formula that says "x is inductive"; i.e. Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x))). Informally, what we will do is take the intersection of all inductive sets. More formally, we wish to prove the existence of a unique set W 677 名前： such that ∀x(x∈W↔∀I(Φ(I)→x∈I)). (*) For existence, we will use the Axiom of Infinity combined with the Axiom schema of specification. Let I be an inductive set guaranteed by the Axiom of Infinity. Then we use the axiom schema of specification to define our set W={x∈I:∀J(Φ(J)→x∈J)} – i.e. W is the set of all elements of I, which also happen to be elements of every other inductive set. This clearly satisfies the hypothesis of (*), since if x∈W, then x is in every inductive set, and if x is in every inductive set, it is in particular in I, so it must also be in W. For uniqueness, first note that any set that satisfies (*) is itself inductive, since 0 is in all inductive sets, and if an element x is in all inductive sets, then by the inductive property so is its successor. Thus if there were another set W′ that satisfied (*) we would have that W′⊆W since W is inductive, and W⊆W′since W′is inductive. Thus W=W′. Let ω denote this unique element. This definition is convenient because the principle of induction immediately follows: If I⊆ω is inductive, then also ω⊆I, so that I=ω.■ (引用終り) 以上 [] [ここ壊れてます] 678 名前：１３２人目の素数さん [2025/06/18(水) 17:43:23.15 ID:Qh/3AgjL.net] >>629 >無限の存在が集合論の他の公理から独立である 無限の存在？　なにそれ？　無限集合の存在だろ？　バカなの？ で、誰が従属と言ったの？　幻聴かい？　精神科行きなよ >単に 自然数の集合Nの存在だけを公理とするのではなく 誰がNの存在を公理とすべきだと言ったの？　幻聴かい？　精神科行きなよ >素人が、グダグダ言い訳している 部分集合族も集合族の共通部分も内包的表記もチンプンカンプンだったことをグダグダ言い訳してるど素人が君 >素人が、グダグダ書いても >なんの格好付けにもなってないよｗ wikipediaは眉唾とかほざいて赤っ恥かいたど素人が君 君の無自覚力は驚愕に値するね　まぁちょっとでも自覚があったら恥ずかしくて生きていけないだろうね 679 名前：１３２人目の素数さん [2025/06/18(水) 17:50:54.96 ID:Qh/3AgjL.net] >>629 ああ、君が「グダグダ言い訳してる」と書いた動機が分かったよ 数学ではまったく歯が立たず、かといって何か言い返さずにはいられなくてそう書いた訳ね？ 愚かだねえ　どこまでも愚かだねえ 680 名前：１３２人目の素数さん [2025/06/18(水) 17:57:44.13 ID:Qh/3AgjL.net] >>629 で、君、なんかシレっとごまかしてるけど （引用開始） >いま、無限積として、それに意味を与えられるかどうかの証明がない！ 意味を与えられない部分集合族の共通部分の例を一つでよいから挙げてみて >しかも、公理で許される集合操作のみを使ってってこと 公理で許されてない集合操作って具体的に何？一例でよいから挙げて。 （引用終了） はどうなったの？　ごまかさないで答えてよ 681 名前：１３２人目の素数さん [2025/06/18(水) 17:59:08.63 ID:Qh/3AgjL.net] 答えられないなら数学板から去ろうな 数学板にいても馬鹿にされて発狂して病気拗らすだけだよ　しっかり療養して病気を治そう 682 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/06/18(水) 18:07:23.42 ID:izxts7rz.net] たしかに能力の差は否めないが機械は均等なべき。 683 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/06/18(水) 18:08:27.69 ID:izxts7rz.net] 発狂は良い徴候。 684 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/06/18(水) 18:10:33.27 ID:izxts7rz.net] 有限の命を日記風に更新するほうがヤンキー無限より有利かもな。 685 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/06/18(水) 18:12:26.14 ID:izxts7rz.net] 通算一点でも落としたりいつも必ず上限じゃない責苦が無限だから。 686 名前：死狂幻調教大師S.A.D.@月と六ベンツ [2025/06/18(水) 18:14:28.89 ID:izxts7rz.net] 無だの死だの考えるよりは有意味学習や生が大事。 687 名前：１３２人目の素数さん [2025/06/19(木) 11:07:54.95 ID:sYFuiPqO.net] オチコボレ君の赤っ恥まとめ 集合∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}について Q1.∩の範囲の記述が無い。 A1.添字付けられた集合族でもあるまいし範囲という考えが意味を為さない。 Q2.∩の対象が不明確。 A2. {}∈x∧∀y[y∈x→y∪{y}∈x]:=P(x)と書く。 P(x)は変数x∈2^Aに関する命題関数であるから https://wiis.info/math/set/set/set/#elementor-toc__heading-anchor-1 の「集合と内包的表記」の通り、集合{x⊂A|P(x)}はwell-defined、すなわち∩の対象は明確。 オチコボレ君は部分集合族や集合の内包的表記といった数学の初歩の初歩から分かってない。 そのことを指摘するとなぜか発狂して幻聴が聞こえてしまう始末。 数学板にいても病気を拗らすだけ。数学板から去りしっかり療養することをお勧めする。 688 名前：１３２人目の素数さん [2025/06/20(金) 04:28:46.13 ID:1B ] [ここ壊れてます] 689 名前：rgYeYj.net mailto: 有理数を項とする無限級数が通常の実数として収束するとき、 ｐが有理素数であるｐ-進数として収束するか？あるいはしないか。 それらの収束するしないはどう違っているかあるいは同じか。 [] [ここ壊れてます] 690 名前：１３２人目の素数さん [2025/06/20(金) 18:01:21.97 ID:S3g1Aii2.net] >>642 ご苦労様です スレ主です その話を聞くと、加藤 文元さんの下記逸話を連想します ”『天に向かって続く数』（中井保行との共著）日本評論社”があるそうです (参考) https://ja.wikipedia.org/wiki/%E5%8A%A0%E8%97%A4%E6%96%87%E5%85%83 加藤 文元（かとう ふみはる、1968年7月27日 - ）は、日本の数学者。ZEN大学知能情報社会学部教授、東京工業大学名誉教授、学校法人角川ドワンゴ学園理事、株式会社SCIENTA・NOVA代表取締役。博士（理学）。専門分野は代数幾何学・数論幾何学（対数的幾何学、リジッド幾何学、志村多様体、モジュライ理論、代数的微分方程式）。 人物・エピソード 大学に入学した当初は、数学の専門家になろうとは毛頭考えていなかったという。むしろ、「数学科に行くと性格が悪くなる」という一種の偏見を持っており、数学科は避けていた。最初は物理学科に進もうと考えていたが、生物学のほうが面白そうだ、あるいはお金になりそうだと思うようになり、生物学科に進学した。しかし、解剖や実験が嫌いであったこと等からモチベーションが上がらず、またサークル活動も忙しかったため、勉強を蔑ろにしがちであった。 　4年生に進級する際、自分に生物学は向いていないと感じ、またサークルも引退したため、大学を休学して仙台にある実家に帰った。何もすることがなく手持ち無沙汰であったときに目に入ったのが、『おもしろい数学教室』（ヤコブ・ペレルマン著／山崎昇訳）という小学生のときに数学者である祖父に買ってもらった本だった。 　その中に書かれている「二乗しても変わらない無限に続く数」という概念に目が留まった。このとき、どうやら自分が見たこともない数の世界があると気付いたのだという。そこからその概念に興味を持ち始め定理をまとめた。それをトーリック多様体で有名な小田忠雄（当時東北大学教授）に見せたところ、 　「無手勝流であるが、クルト・ヘンゼルという数学者が約100年前に書いたp進数の体系と全く同じものである」と言われた。さらに小田教授が驚き評価したのは、「ヘンゼルの補題」というp進数を扱う上で最も基本となる定理を何も見ずに編み出したという点であった。 　そこで、小田教授に勧められた『可換体論』（永田雅宜著）という数学書を参考にヘンゼルの補題を追証明することにした。すると、苦労した証明の言い回しを現代数学は巧妙に「きれいな言葉」で行なっており、 　そこから数学の魅力に惹かれていった。このとき、もはや生物学を学ぶ気はなくなっていたという。その後、数学科へ転向した[21][22]。 著作 ・『天に向かって続く数』（中井保行との共著）日本評論社、2016年 ISBN 978-4535798069 691 名前：１３２人目の素数さん [2025/06/20(金) 20:39:08.40 ID:LS/4Ckc6.net] >>641 ふっふ、ほっほ おサルさんか >>5 囲碁上達の格言の一つに、”相手の手のついて回るな”というのがあります 相手の打つ手について回るのは、初心者や中級者であって 有段者をめざすならば、まずは手抜きから考えるべし（もっと大場、急場があるなら そちらを打つべし） これを、君の>>641に当て嵌めると 君のヘボ手にお付き合いする必要がないってことだなｗ　；ｐ） 以上 (参考) https://ss406167.stars.ne.jp/igojotatsuhintshu.html ≦囲碁上達ヒント集≧ 第一部 思想・考え方編 碁の主導権と先手 ◎　序盤の布石作戦から中盤の戦いを通じて、プロでもアマでも、碁はお互いのぺ一スの争いです。どうしたら自分の得意の局面に導けるか、対局者の苦心もそこにあります。碁盤のペース争いに勝つことこそ勝利への最短距離といえるのです。（坂田栄男） ◎　ヨセに限らず、先手、後手の問題はきわめて重要な要素です。（曲励起） ◎　先手の意味をもっと拡大して、先手すなわち主導権というふうに解釈すれば、序盤から終盤に至るまで、碁はすべて先手をめぐる争いということができます。特にヨセでは、打つ箇所がある程度限定されてきている段階なので、先手が何にもまして貴重になっているのです。（坂田栄男） 692 名前：１３２人目の素数さん [2025/06/20(金) 20:40:36.63 ID:LS/4Ckc6.net] >>644 タイポ訂正 囲碁上達の格言の一つに、”相手の手のついて回るな”というのがあります 　↓ 囲碁上達の格言の一つに、”相手の手について回るな”というのがあります 693 名前：１３２人目の素数さん [2025/06/20(金) 20:44:29.29 ID:5VJHkbCl.net] >>644 >君のヘボ手にお付き合いする必要がないってことだなｗ　；ｐ） そうだね 集合の内包的表記もチンプンカンプンじゃまったくお話にならないから無理に付き合う必要無いよ それより数学板から去って療養すべきだよ　幻聴は病気だから 694 名前：１３２人目の素数さん mailto:sage [2025/06/20(金) 21:28:47.16 ID:v1Sk8AyC.net] >>644 >相手の打つ手について回るのは、初心者や中級者であって >有段者をめざすならば、まずは手抜きから考えるべし 相手の打つ手にすら対応できない全くの初心者が おれは有段者ぁぁぁといきがって手抜きとか考えると・・・死ぬ 述語論理も集合論の公理も集合の記法も 何一つ知らんというのは 将棋でいえば駒の動かし方すら知らんということ それじゃ全然話になりませんなぁ 695 名前：１３２人目の素数さん [2025/06/20(金) 21:41:12.74 ID:5VJHkbCl.net] 内包的表記が分かってないってことは分出公理も分かってないね。 ラッセルのパラドックスを持ち出してたけどハッタリってバレちゃったね。ああ赤っ恥。 696 名前：現代数学の系譜 雑談 [2025/06/20(金) 22:24:13.97 ID:LS/4Ckc6.net] >>632 戻る (引用開始) >無限の存在が集合論の他の公理から独立である 無限の存在？　なにそれ？　無限集合の存在だろ？　バカなの で、誰が従属と言ったの？　 (引用終り) ・独立 vs 従属？ ああ、線形代数と勘違いの条件反射かよ、おまえ。お里が知れるな、オチコボレさんよｗ ・”無限の存在”は、渕野先生の表現から借用したんだよ >>629の "P173 3 無限の存在証明"な 　公理的集合論以前でも、古代ギリシャの昔から、”無限”の概念は人類は知っていた（アリストテレスの著作がある） 　それ以外にも、ポンスレの射影幾何無限遠点や、リーマンの複素平面を球面としたときの北極点など 　ところで、カントールとデデキントさんは、無限を無限集合で扱うことを考えたのです 　なので、渕野先生 >>629 "P173 3 無限の存在証明"は、これで意味は通じるｗ　；ｐ） ・さて、「無限の存在が集合論の他の公理から独立」を語るには 　極限順序数（下記）から始めるのが分かり易いだろう 　下記の通り、極限順序数で ノイマンの後者関数とフォンノイマン基数割り当て（英語版）を用いれば 　自然数の集合ω＝Nであり、ωは”後続順序数でない”という性質を持つ 　だから、有限の順序数から後者関数を使うだけ では、ω＝Nには到達できないのだ ・だから、無限公理が必要で、但し”自然数の集合ω＝N”の存在を、まず公理と置いても良いのだが 　もっと賢いのは、ω(＝N)を含みそれより大きい集合を一気に認めてしまうことだね 　つまり カントールの順序数 ωのあとも, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω・・ とやることが分っているのだからね 　そしてωは、部分集合として ωより大きい集合から 取り出して構成すれば良いんだよ （おっと "∩"は使わない方がいいぞ！ｗｗｗ　；ｐ） (参考) https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数は 0 でも後続順序数でもない順序数を言う あるいは、順序数 λ が極限順序数であるための必要十分条件は「λ より小さい順序数が存在して、順序数 β が λ より小さい限り別の順序数 γ が存在して β < γ < λ とできることである」と言ってもよい。任意の順序数は、0 または後続順序数、さもなくば極限順序数である。 例えば、任意の自然数よりも大きい最小の超限順序数 ω は、それよりも小さい任意の順序数（つまり自然数）n が常にそれよりも大きい別の自然数（なかんずく n + 1）を持つから、極限順序数である 順序数に関するフォンノイマンの定義（英語版）を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。このとき、空でない順序数の集合が最大元を持たないならば、その和集合は常に極限順序数になる。フォンノイマン基数割り当て（英語版）を用いれば、任意の無限基数もまた極限順序数となる https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる ω より小さな順序数（すなわち自然数）を有限順序数と呼び・・ 0, 1, 2, 3, ...., ω, S(ω), S(S(ω)), S(S(S(ω))), .., ω + ω・・

---

---

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

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