[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)

ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/

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

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

6: １３２人目の素数さん [] 2025/02/01(土) 08:47:36.28 ID:lDxwqd7y つづき 10おまけ：個人的な考え ここでは、80年代から現在にいたるまで極小モデル理論で重要な位置を占めているX-論法と、最近の新しい議論について個人的な意見を少し書いてみたい。通常の論文などには書かない個人的な印象である。あくまで私の考えである。X-論法の最もすばらしい点は、その強力さにあると思う。広中の特異点解消定理と係数を揺するという小細工をつかうことにより、様々な結果を川又–Viehweg消滅定理の応用として示すことが出来るのである。 最後に少

しネタをばらしておく。[F1]と[F2]で対数的標準対に対する評価付きの固定点自由性の問題を扱った。これらは川又対数的末端対に対する結果の完全な焼き直しである。数学的には大した結果ではないと思う。[F1]と[F2]はKoll´ar氏やAngehrn氏とSiu氏の議論の手直しに過ぎない。ただし、[F1]と[F2]での試行錯誤が今回の[F6]につながったので、そういう意味では[F1]と[F2]は私にとっては非常に価値があった。結局のところ、やっぱりいろいろやってみないとダメだな、と改めて思った。以上。 藤野修先生は、令和５年 大阪科学賞を受賞されています おめでと

うございます (参考) //osaka-prize.ostec.or.jp/41-1 第４１回（令和５年度） 大阪科学賞（OSAKA SCIENCE PRIZE）受賞者の横顔 藤野　 修　４９歳 研究業績：小平消滅定理の一般化と代数幾何学への応用 代数多様体とは、大雑把に言うと、有限個の多項式の共通零点集合のことです。高校の教科書に出てくる円、楕円、放物線などは代数多様体です。 もっと簡単な平面上の直線も代数多様体です。高校では主にxy平面上で幾何学図形を考えます。これは二次元の空間内で一次元の代数多様体を考えることに対応します。xyz空間の中の球面も代数多様体です。

これは三次元空間内の二次元の代数多様体です。 このように代数多様体は素朴な幾何学的対象です。ここで変数の数を増やしてみましょう。幾何学的には高次元の空間を考えることになります。高次元の空間内で複数の代数多様体の交わりを考えます。私たちはこのような幾何学図形を日々研究しています。 日本人フィールズ賞受賞者３名の仕事も高次元代数多様体に関するものです。 残念ながら高次元の代数多様体は絵に描くことができません。 そこで私たちは抽象的な数学理論を展開します。高次元代数多様体論の究極目標の一つは双有理分類という大雑把な分

類を完成させることです。 現在の標準理論は、森重文によって1980年代に創められた森理論や極小モデル理論と呼ばれるものです。 私は小平の消滅定理と呼ばれるコホモロジーの消滅定理の一般化を確立し、広中の特異点解消と小平消滅定理の一般化を駆使して森理論の適用範囲を究極的に拡張するという仕事をしました。 ホッジ理論的な観点からは理論の混合化を実行したことになります。 これにより、従来不可能であったぐちゃぐちゃに潰れた高次元代数多様体の研究も可能になり、代数多様体の退化や特異点の研究などに応用されています。 このような基礎

研究が実社会で応用される日が来ることを夢見ています。 代数多様体とは？ 代数多様体の双有理分類 すでに述べましたが、代数多様体論の究極目標の一つは、代数多様体を双有理的に分類することです。 つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/6

7: １３２人目の素数さん [] 2025/02/01(土) 08:48:01.67 ID:lDxwqd7y つづき 数学者の日常 小平の消滅定理の一般化 ホッジ構造 非特異射影多様体のコホモロジーにはホッジ構造と呼ばれる構造が入ります。これは純ホッジ構造と呼ばれるものになっています。一般の代数多様体のコホモロジーには純ホッジ構造は入らないのですが、混合ホッジ構造と呼ばれる純ホッジ構造を拡張したものが入ります。 (引用終り) 以上 なお、 おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA

91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」） ＜＊）サイコパスの特徴＞ （参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年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-Hyperboloid

2.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やプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾； なお 低脳幼稚園児のAAお絵かき 小学レベルとバカプロ固定 は、お断りです 小学生がいますので、18金（禁）よろしくね！（＾＾ つ

づく http://rio2016.5ch.net/test/read.cgi/math/1738367013/7

8: １３２人目の素数さん [] 2025/02/01(土) 08:49:48.41 ID:lDxwqd7y つづき 再録します。おサルの傷口に塩ですｗ https://rio2016.5ch.net/test/read.cgi/math/1683585829/508 2023/06/11(日) 下記だねｗ(>>63再録) スレ主です 数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5 線形代数が分かっていないのは、あ な た！ ｗｗｗ 前スレより https://rio2016.5ch.net/test/read.cgi/math/1680684665/557 傷口に塩を塗って欲しいらしいなｗ 　>>406-407より以下再録 棚から牡丹餅というかｗ つ

まり ・私「正方行列の逆行列」（数年前） 　↓ ・おサル「正則行列を知らない線形代数落ちこぼれ」 　↓ ・私「零因子行列のことだろ？知っているよ」 　↓ ・おサル「関係ない話だ！」と絶叫 　↓ ・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね 　いかなる行列が零因子行列か述べる必要がありますから』 　↓ ・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」 　↓ ・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで 「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだ

と言い張りたいんだろうけど』 ＜解説＞ １）何度か、アホが気づくチャンスあった 　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない 　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ） ２）『正則行列の条件なら、「零因子行列であること」はアウトですね 　いかなる行列が零因子行列か述べる必要がありますから』 　に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で 　”零因子”の意味を調べて理解すべきだったのだ ３）恥の上塗り『「０以外

の体の元は乗法逆元を持たない」のつもりで 　「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』 　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ 4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが 　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ 　ゆかいゆかい！ｗｗ つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/8

9: １３２人目の素数さん [] 2025/02/01(土) 08:50:14.05 ID:lDxwqd7y つづき あほサルの続き さて 『なぜ、ZFC公理まで遡らなくても数学が出来るの？』スレより itest.5ch.net/rio2016/test/read.cgi/math/1731415731/771 2024/12/21 おサルさん 笑えるよ >>684-686 >>689 (引用開始) 正則性公理は ”∈-induction”と関係していて ZFC内の全ての集合について”∈-”による整礎関係を与え、 ∈に関する整礎帰納法である”∈-induction”の適用を可能とする 全順序とか余計な一言を書いたせいで大恥かいたな　高卒童貞 正則性公理は∈

を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。 また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え は大間違い >また…推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。 　ヌォォォォ 　すまん・・・OTL 　工学部卒の自己愛童貞と違うので土下座で謝罪 (引用終り) オレは、ここの次スレを立てることはしないが 自分

の立てたスレが、数学板に3つある おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう 『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 か。妄言である！ 数学科オチコボレさんだってねｗ ガッハハｗｗ (引用終り) ・整列集合 ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 　『（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの

補題とも同値である』 　『実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特

定の論理式が R（実際には任意の集合）を整列順序付けることが従う。』 つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/9

10: １３２人目の素数さん [] 2025/02/01(土) 08:50:38.73 ID:lDxwqd7y つづき ・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 　『形式的な定義 自然数の公理 　以上の構成(注 ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。 　例えば、0 := {}, suc(a) := {a} と定義したならば、 　0 := {} 　1 := {0} = {{}} 　2 := {1} = {{{}}} 　3 := {2} = {{{{}}}} 　と非常に

単純な自然数になる』 ・0＜1＜2＜3＜・・・ 　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ 　ここで 　{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ 　と書ける 　何が言いたいか？ 　{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を逆に辿れば 　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ となり 　0＜1＜2＜3＜・・・ となる ・つまり、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ において 　∈を＜に書き換える 　そうして、{}→0、{{}}→1、{{{}}}→2、{{{{}}}}→3、・・・ 　と順序数の背番号がついていると思え 　あるいは、例えば {{{}}}→2 ならば、括弧{}の多重度を基準に整列し

ていると考えれば良い（括弧{}の多重度-1が、順序数に相当している） ・このように、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて 　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる（整列可能定理の主張はこれ） ・おサルさん、なにをとち狂ったか、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ が、整列していることを否定する 　上記『{}∈{{{}}} は偽』とか、勝手な妄想を沸かす。ほんと、エンタの王で笑いを取る名人だね 　私には、単なるアホとしか思えないがｗ ；ｐ） 以上 あと ＜乗数イデアル関

連（含む層）＞の話や 文学論、囲碁の話もあります これも、5ｃｈらしくて良いと思いますｗ テンプレは、以上です http://rio2016.5ch.net/test/read.cgi/math/1738367013/10

11: １３２人目の素数さん [] 2025/02/01(土) 11:09:54.71 ID:YIkJbYsl >>10 {}∈{{{}}} は偽 {{{}}}の元は{{}}のみだから 分からなければ中学数学からやり直そう http://rio2016.5ch.net/test/read.cgi/math/1738367013/11

12: １３２人目の素数さん [] 2025/02/01(土) 11:15:30.20 ID:YIkJbYsl >>10 >列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて >{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる 大間違い 整列順序どころかそもそも順序でない なぜなら {}∈{{{}}} は偽のため順序の要件である推移律を満たさないから 定義を確認せず独りよがりに妄想するから間違える http://rio2016.5ch.net/test/read.cgi/math/1738367013/12

13: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 17:52:58.97 ID:lDxwqd7y alg-d 壱大整域氏 動画解説 ”【順序数入門3】順序数を使った証明の例：Zornの補題” 貼ります alg-d.com/math/ac/ alg-d 壱大整域 トップ > 数学 > 選択公理 選択公理 お知らせ このページの内容が紙の本になりました。Amazonで購入できます。 選択公理: 同値な命題とその証明 選択公理と同値な命題一覧 選択公理と同値な命題とその証明 動画版(AC⇒Zornのみ) youtu.be/Lg5pPZlSHfw?t=1 【順序数入門3】順序数を使った証明の例：Zornの補題 alg-d 2

,846 回視聴 2023/04/30 http://rio2016.5ch.net/test/read.cgi/math/1738367013/13

14: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 17:57:40.68 ID:lDxwqd7y 前スレ 再録 rio2016.5ch.net/test/read.cgi/math/1735693028/907 いつもお世話になっている alg-d 壱大整域氏 選択公理→ (整列可能定理) これ分かり易いかも ”写像 g:λ→X∪{∞} を g(α ) := f( X＼{g(β)|β<α} )”で 　順序数 → X∪{∞} （実質 Xのこと） なる g を 導入しているんだ で、写像 g の全単射を 言う なるほどね そうすると、置換公理を使う証明は、無理筋かも 循環論法になる恐れがある、多分 （不可能の証明は 難しいので いま

は深入りしないことに） (参考)（蛇足だが P(X)は、Xの冪集合。なお。原サイトの方が見やすいよ） alg-d.com/math/ac/wo_z.html alg-d 壱大整域 トップ > 数学 > 選択公理 > 整列可能定理とZornの補題 2011年11月13日更新 整列可能定理とZornの補題 定理次の命題は(ZF上)同値． 1.選択公理 2.任意の集合Xは整列順序付け可能 (整列可能定理) 3.順序集合Xが「任意の部分全順序集合は上界を持つ」を満たすならば，Xの極大元が存在する．(Zornの補題) 証明 (1 ⇒ 2) Xを集合とする．Xが整列可能である事を示す． 順序数λで，¬|λ|≦|X| とな

るものを取る． 選択公理を A := P(X)＼{ ∅ } に適用して，選択関数 f: A→X を得る． Xに含まれない元 ∞ ∉ X を用意して，f( ∅ ) := ∞ と定義することで f を f: P(X)→X∪{∞} に拡張しておく． 写像 g:λ→X∪{∞} を g(α ) := f( X＼{g(β)|β<α} ) で定義する． α, β<λに対して，g(α)=g(β)≠∞ならば，α=βである． ∵β<αであるとする．g(α)≠∞だから，選択関数 f の性質より g(α) = f(X＼{g(β)|β<α}) ∈ X＼{g(β)|β<α} となる．即ち g(α) ∉ { g(β) | β<α } だから g(α)≠

g(β) である． よって，もし g(α) = ∞ となるα<λが存在しなければ，g:λ→X は単射となる． これは ¬|λ|≦|X| に矛盾する．故に g(α) = ∞ となる α<λ は存在する． そこで γ := min{ α<λ | g(α)=∞ }と置く．このときg|γ: γ→X は全単射である． ∵∞ = g(γ) = f( X＼{g(β)|β<γ} )だから，X＼{g(β)|β<γ} = ∅，つまりg|γは全射でなければならない．単射性は先に示したことから明らか． よってこれによりXを整列する事ができる． (2 ⇒ 3)略す (3 ⇒ 1)略す おまけ (2⇒1)略す http://rio2016.5ch.

net/test/read.cgi/math/1738367013/14

15: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 18:17:16.93 ID:lDxwqd7y 前スレより 再録 rio2016.5ch.net/test/read.cgi/math/1735693028/913 alg-d 壱大整域氏 >>907の 証明 (1 ⇒ 2) の本質は Xの冪集合 P(X)＼{ ∅ } に 選択公理の選択関数 を適用すると それが 如何なる 選択関数を採用したとしても ”写像 g:λ→X∪{∞} を g(α ) := f( X＼{g(β)|β<α} )” なる g を 導入して 　順序数 → X∪{∞} （実質 Xのこと） の 全単射 写像 g が構成できる 順序数と Xとの 全単射 が構成できるということは、 即

ち Xに整列順序が導入できたということ (引用終り) 簡単に補足する いま、ミニモデルで 集合X={a,b,c,d}を考える 冪集合を作る P(X)={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}, 　∅ } となる 説明すると、最初にX 自身 4元の集合があり 次に、X から元が一つ減った 3元の集合があり 次に、X から元が二つ減った 2元の集合があり 次に、X から元が三つ減った 1元の集合があり 最後に 元が無くなった 空集合がある で、Xから任意の元を取っ

た 集合、 必ず 3元の集合が存在し その ある3元の集合から 任意の元を取った 集合、 必ず 2元の集合が存在し その ある2元の集合から 任意の元を取った 集合、 必ず 1元の集合が存在し という構造を、べき集合が有している そのべき集合の構造を うまく使ったのが >>14の alg-d 壱大整域氏の証明だと いうことです 繰り返すが、上記有限の集合で例示したのと同じことを 順序数をうまく使うことで、無限集合に拡張し 適用したってことでね http://rio2016.5ch.net/test/read.cgi/math/1738367013/15

16: １３２人目の素数さん [] 2025/02/01(土) 18:28:06.07 ID:YIkJbYsl >>14 >なる g を 導入しているんだ >で、写像 g の全単射を 言う >なるほどね いやそれ、Jechの証明のaα、つまりAの元への順序数による附番と同じことを違う言い方で言ってるだけだから 君Jechの証明を全然分かってなかったんだね http://rio2016.5ch.net/test/read.cgi/math/1738367013/16

17: １３２人目の素数さん [] 2025/02/01(土) 18:30:23.45 ID:YIkJbYsl >>14 で、以下はいつ答えるの？ まさか分かってないのに分かってるふりしてたの？ （引用開始） >順序数は、整列順序であるから >Aに整列順序が導入できた 順序数の通常の大小関係が整列順序だとなぜAに整列順序が導入できたことになるか分かる？ （引用終了） http://rio2016.5ch.net/test/read.cgi/math/1738367013/17

18: １３２人目の素数さん [] 2025/02/01(土) 18:32:42.59 ID:YIkJbYsl >>15 >簡単に補足する 分かってない人が補足しなくていいから http://rio2016.5ch.net/test/read.cgi/math/1738367013/18

19: １３２人目の素数さん [] 2025/02/01(土) 18:38:36.98 ID:YIkJbYsl >>15 >で、Xから任意の元を取った 集合、 必ず 3元の集合が存在し >その ある3元の集合から 任意の元を取った 集合、 必ず 2元の集合が存在し >その ある2元の集合から 任意の元を取った 集合、 必ず 1元の集合が存在し >という構造を、べき集合が有している 自明。 Xの冪集合とはXの部分集合全体の集合なんだから。構造を有するもクソも無い。 ナンセンスな補足は不要。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/19

20: １３２人目の素数さん [] 2025/02/01(土) 18:48:52.64 ID:YIkJbYsl >>15 どうでもいいけど、旧スレまだ残ってんのに逃げるように新スレに投稿すんのやめない？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/20

21: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 19:16:52.70 ID:lDxwqd7y >>15 さらに補足 この説明で分るように X から最初に選ぶ元 その残りから 次に選ぶ元 その残りから 次に選ぶ元 　・ 　・ 　・ 全部、任意で良い Xの元を すきな順番に整列できる ということです http://rio2016.5ch.net/test/read.cgi/math/1738367013/21

22: １３２人目の素数さん [] 2025/02/01(土) 19:43:17.85 ID:YIkJbYsl >>21 >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 >X から最初に選ぶ元 >その残りから 次に選ぶ元 >その残りから 次に選ぶ元 >　・ >　・ >　・ >全部、任意で良い だから選択関数は存在さえすれば任意でよい。 君はまだ任意じゃダメな反例から逃げ続けているが。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/22

23: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 19:46:02.58 ID:lDxwqd7y >>15 さらに補足 例えば 集合Xについて 有限ミニモデルで示したが {a,b,c,d}⊃{a,c,d}⊃{a,d}⊃{d} という包含関係があり そこから Xの元の整列で b1 < c2 < a3 < d4 という順序数の付番ができて、順序数の整列順序が 集合Xに入る 同様に X＼{g(β)|β<α} も同じで X⊃X＼{x1}⊃X＼{x1,x2}⊃・・⊃X＼{x1,x2,・・,xβ-1}⊃X＼{x1,x2,・・,xβ}⊃X＼{x1,x2,・・,xβ+1},・・ という包含関係があり そこから Xの元の整列で x1,x2,・・,x

β-1,xβ,xβ+1,・・ という順序数の付番ができて、順序数の整列順序が 集合Xに入る http://rio2016.5ch.net/test/read.cgi/math/1738367013/23

24: １３２人目の素数さん [] 2025/02/01(土) 20:01:06.36 ID:YIkJbYsl >>23 足し算が分かった小学生みたいにはしゃぐなよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/24

25: １３２人目の素数さん [] 2025/02/01(土) 20:05:16.59 ID:YIkJbYsl >>23 はしゃぎたい気持ちは分かるが>>17にはいつ答えるの？ これに答えないと分かったとは言えないぞ　はしゃぐのはまだ早い http://rio2016.5ch.net/test/read.cgi/math/1738367013/25

26: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2025/02/01(土) 20:06:10.67 ID:lDxwqd7y ”＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と 　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”] 『 ZF上で実数は どこまで定義可能なのか？』の前に 　Zornの補題 をやります ；ｐ） まず、ここから (参考)>>14より 再録 alg-d.com/math/ac/wo_z.html alg-d 壱大整域 トップ > 数学 > 選択公理 > 整列可能定理とZornの補題 2011年11月13

日更新 整列可能定理とZornの補題 定理次の命題は(ZF上)同値． 1.選択公理 2.任意の集合Xは整列順序付け可能 (整列可能定理) 3.順序集合Xが「任意の部分全順序集合は上界を持つ」を満たすならば，Xの極大元が存在する．(Zornの補題) 証明 (3(Zornの補題) ⇒ 1(選択公理)) {X_λ}_{λ∈Λ}を非空集合の族とする． A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ } としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である． 即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を

持つ． もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である． http://rio2016.5ch.net/test/read.cgi/math/1738367013/26

27: １３２人目の素数さん [] 2025/02/01(土) 20:06:52.68 ID:YIkJbYsl あと任意の選択関数ではダメな命題の例を早く答えてね http://rio2016.5ch.net/test/read.cgi/math/1738367013/27

28: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 11:23:54.05 ID:5scbwZz/ >>22 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) ＜反証＞ 1）選択公理（選択関数）と整列可能定理が 同値であることを認めるとする 2）集合Xについて、整列可能定理を適用する 　Xから好きな元x1∈Xを取り出す。残り X':=X＼ {x1} 　X'から好きな元x2∈X'を取り出す。残り X'':=X'＼ {x2} 　すきなだけ繰り返す。その後に残ったものに 整列可能定理を適用する 3）さて、上記2）で そもそも

整列可能定理とは 　最後が空集合になるまで繰り返して良いとするものだった 　なので、整列可能定理における ”お好きなように”は、選択公理（選択関数）でも同じ 4）実際、下記 alg-d 壱大整域 整列可能定理 ⇒ 選択公理（選択関数）の証明で 　”整列可能定理により∪_{λ∈Λ}X_λを整列し f(λ) := (X_λの最小元) とすれば f が選択関数である” 　とあるが、和集合 ∪_{λ∈Λ}X_λ の整列を 好きにして良いならば、 　f(λ) := (X_λの最小元) も好きにできる。つまり、f 選択関数 も好きにできる■ 余談だが、”Take your choice”（好きな

ものを取りなさい）goo辞書 dictionary.goo.ne.jp/word/en/Take+your+choice./ choice には、お好きなように という意味がある なお、存在のみで 具体的でない場合も可 例えば、実数Rの整列では、分るところのみを お好みにして、残りの 不明部分は 存在のみの公理任せも可！ｗ ；ｐ） 公理なんだものｗｗ (参考)（原サイトの方が見やすいよ）>>14より alg-d.com/math/ac/wo_z.html alg-d 壱大整域 トップ > 数学 > 選択公理 > 整列可能定理とZornの補題 2011年11月13日更新 整列可能定理とZornの補題 定理次の命題は(ZF上)同値． 1

.選択公理 2.任意の集合Xは整列順序付け可能 (整列可能定理) 3.順序集合Xが「任意の部分全順序集合は上界を持つ」を満たすならば，Xの極大元が存在する．(Zornの補題) 証明 (2⇒1) {X_λ}_{λ∈Λ}を非空集合の族とする．整列可能定理により∪_{λ∈Λ}X_λを整列し f(λ) := (X_λの最小元) とすれば f が選択関数である． http://rio2016.5ch.net/test/read.cgi/math/1738367013/28

29: １３２人目の素数さん [] 2025/02/02(日) 12:17:37.87 ID:7z4Dw9JT >>28 >2）集合Xについて、整列可能定理を適用する >　Xから好きな元x1∈Xを取り出す。残り X':=X＼ {x1} >　X'から好きな元x2∈X'を取り出す。残り X'':=X'＼ {x2} >　すきなだけ繰り返す。 無意味。 なぜなら「好きな元を取り出す」は有限回しか許されないので、ほとんどすべての元の取り出しは選択関数に支配されているから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/29

30: １３２人目の素数さん [] 2025/02/02(日) 12:17:56.69 ID:7z4Dw9JT >その後に残ったものに 整列可能定理を適用する 整列定理は整列順序の存在しか主張していない。「好きな順序で整列できる」は妄想。 >3）さて、上記2）で そもそも 整列可能定理とは >　最後が空集合になるまで繰り返して良いとするものだった 整列定理の証明において元に対する順序数による附番aαを再帰的に定義している。 このaαの定義で選択関数を使っている。だからこの附番のしかたは選択関数で一意に定まる。 「勝手な附番を無限回繰り返して良い」は妄想。

http://rio2016.5ch.net/test/read.cgi/math/1738367013/30

31: １３２人目の素数さん [] 2025/02/02(日) 12:18:43.54 ID:7z4Dw9JT >　なので、整列可能定理における ”お好きなように”は、選択公理（選択関数）でも同じ 意味不明。なにその”お好きなように”って？ おまえは自分の主張すらまともに書けないのでエスパーすると as desired を誤読してるだけ。望み通り整列順序が得られるという意味だ。中学英語からやり直せ。 >余談だが、”Take your choice”（好きなものを取りなさい）goo辞書 >choice には、お好きなように という意味がある 「選択公理 axiom of choice：好き勝手に選択してよ

い」という連想ゲームは不成立。 君、連想ゲーム好きやね。だから間違える。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/31

32: １３２人目の素数さん [] 2025/02/02(日) 12:18:58.03 ID:7z4Dw9JT >なお、存在のみで 具体的でない場合も可 >例えば、実数Rの整列では、分るところのみを お好みにして、残りの 不明部分は 存在のみの公理任せも可！ｗ ；ｐ） 上に書いた通り無意味。 >＜反証＞ 以上、なんの反証にもなっていない。残念！ http://rio2016.5ch.net/test/read.cgi/math/1738367013/32

33: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 12:26:08.50 ID:5scbwZz/ >>28 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) 典型的な、大学数学 オチコボレさんのパターンか？ ；ｐ） 下記ですね 下記の 謎の数学者氏 いま 阪大の数学科 准教授だが 彼のいう ＭＭ mathematical maturity 数学的成熟度 が、低いね 30年前 数学科修士卒で あれから30年でこれかい？ ”選択関数”の 理解が 上滑りだよ だから、箱入り無数目で 御大が 指摘する 数学の事項が 全く理解

できないんだよね、あなたは！ｗｗｗ 誤解・無理解の選択公理（選択関数）で、ワーワー主張するけど、 その殆どが、大外しだよｗｗ ；ｐ） (参考) youtu.be/78os69XZrSk?t=1 大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点。 謎の数学者 2021/04/06 #数学者への道 文字起こし 0:00 はいみなさんこんにちは数学者です 0:04 えっと今回はですねこういう話をしていこうかなと思うんですね 大学に入って数学ができなくなる理由ということなんですけれどコレですねあの皆さん 経験した方あるかもしれないですけれどやはりですね あの

大学に入って突然ですね数学が できなくなるということがですね結構あるんですね 2:12 極限の厳密な定義というやつですよねエプシロンでルターによるですねえまあ極限や 微分の厳密な定義 そういった ことを習ってさらにですねいわゆる線形代数と呼ばれているやつですね 2:40 実は 学部自体は日本だったんですけれど数学科ではなかったんですね私 学部時代機械工学を 専攻したんですけれどそれでもですね大学に入って1年目でどういう授業どういう数学 の授業を取らされたかというとやはりここにあるようなイプシロンデルタとか線形 代数そういったと

ころからですね入っていったんですね ところがですねやはりこれは 私の考えではいきなりですねあのこういう ところから入るというのはちょっとですね難しいんですねとりわけつの日本の標準的な あのすぐ高校の数学のカリキュラム そういったものを終えたばかりで突然ですね大学に入ってイプシロン デルタ法や線形 代数というのは多少ですねちょっと多少どころじゃないかもしれない ちょっと急激に難しくなりすぎてるんですねつまりこれゲームバランスが崩壊している というやつなんです いわゆる数学的成熟度 mathematical maturity と書きますけれど

4:02 日本のですね大学受験を 突破したその時点での標準的ないわゆる 数学的成熟 mathematical maturity ではですねこういったところはなかなか太刀打ちできないんですね 単純にレベルが足りないんですドラクエで言えばですねまぁ突然ゲームが難しくなると 7:17 私のこの数学の学び方というシリーズで 今のところですねいろいろお話してますのでまだ見てない方はですね 動画説明欄にリンクが貼ってありますので見ていただきたいんですけれど 10:11 あの今回はこれで終わります http://rio2016.5ch.net/test/read.cgi/math/1738367013/33

34: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 12:50:50.69 ID:5scbwZz/ >>33補足 >>28 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) 赤 摂也 貼っておきます 『整列可能定理 とは, 次の命題のことに他ならない. (W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』 これで すきな順番に → 適当に関係≦を定義して と書き換えれば、赤 摂也の 整列可能定理になる ”すきな順番に”が、不適当でない限り 整列可能定理の射程内

ですよ ；ｐ） (参考) www.jstage.jst.go.jp/article/kisoron1954/5/3/5_3_103/_article/-char/ja/ 科学基礎論研究/5 巻 (1960-1962) 3 号/書誌 選択公理をめぐって 赤 摂也 1961 年 5 巻 3 号 p. 103-108 www.jstage.jst.go.jp/article/kisoron1954/5/3/5_3_103/_pdf/-char/en 選択公理をめぐって 赤 摂也 科学基礎論研究/5 巻 (1960-1962) 3 号 順序集合は (6) 空でないいかなる部分順序集合.最小元を持つという条件 をみたすとき,整列集合といわれる. 整列可能定理 とは, 次の命題のことに他ならない. (W) いかなる集合も、その上に適当に関係≦

を定義して,整列集合にすることが出来る. (A),(Z),(W)の同等性の証明については, たとえば拙文 〔1〕を見ていただきたい. (余談ですが 貼ります) 定理4(Sierpiｎski)一般連続体仮設は選択公理を含意する. [1] 文 献 S. Seki ; On transfinite inferences, Comm. Math. Univ. Sancti Pauli, IV, 1955 http://rio2016.5ch.net/test/read.cgi/math/1738367013/34

35: １３２人目の素数さん [] 2025/02/02(日) 13:04:12.63 ID:7z4Dw9JT >>33 >彼のいう ＭＭ mathematical maturity 数学的成熟度 が、低いね 君の独善持論「好きな順序で整列できる」は間違いだから成熟度以前。 >”選択関数”の 理解が 上滑りだよ 君は上滑り以前に理解できていない。 >だから、箱入り無数目で 御大が 指摘する 数学の事項が >全く理解できないんだよね、あなたは！ｗｗｗ たった2ページの記事も読めない耄碌爺が何を指摘したと？ >誤解・無理解の選択公理（選択関数）で、ワーワー主張するけど、 >そ

の殆どが、大外しだよｗｗ ；ｐ） 「"as desired"って書かれてるから好きなように整列できる」とか言ってる君がね。 それ、誤解・無理解にもとづく誤読ね。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/35

36: １３２人目の素数さん [] 2025/02/02(日) 13:24:16.38 ID:7z4Dw9JT >>34 >『整列可能定理 とは, 次の命題のことに他ならない. >(W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』 >これで すきな順番に → 適当に関係≦を定義して >と書き換えれば、赤 摂也の 整列可能定理になる 論理記号で書けば∀≦ではなく∃≦だから、その書き換えは大間違い。 ∀と∃を取り違えるようでは大学一年の4月に落ちこぼれたのも当然の結果。 >”すきな順番に”が、不適当でない限り >整列可能定理の射

程内ですよ ；ｐ） どんな順番が不適当なの？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/36

37: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 18:25:21.05 ID:5scbwZz/ >>34 補足 下記の ツォルン（Zorn）の補題 → ツェルメロ（Zermelo）の整列定理の証明 ここでも、空集合以外の部分集合の順序構造を使う（詳しくは下記ご参照） 直感的には、>>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で 冪集合 P(X)={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}, 　∅ } これで 包含関係 で 順序が入る {a,b,c,d}

⊃{a,b,d}⊃{a,b}⊃{a}⊃∅ で、整列順序の極大元になる この前後の差分 c>d>b>a Xので整列になる この極大は、幾通りもある（どれを選ぶも任意！！です） それを、ZFCの証明として書くと 下記です 繰り返すが、上記の例示を 任意無限集合で ZFCの証明として書くと 下記 (参考) ieyasu03.web.エフシーツー.com/contents/09_Mathematics.html（URLが通らないので検索たのむ） 基礎物理から半導体デバイスまで 集合・位相 ieyasu03.web.エフシーツー.com/Mathmatics/36_Well-ordering_theorem.html（URLが通らないので検索たのむ） §36

　整列定理 2023/04/07 1. 整列定理 　ツォルン（Zorn）の補題 [1] を用いて、次のツェルメロ（Zermelo）の整列定理が証明される。以下ではその証明について述べる [2]。 【定理1】（整列定理） 　A を任意の集合とするとき、A に適当な順序関係 ≦ を定義して、(A,≦) を整列集合とすることができる。 【証明】A の部分集合上には、一般に、幾通りもの順序関係が定義される。 いま、A の部分集合 W とそこで定義された順序関係 O との組である W を台とする順序集合 (W,O) を考え、 このような組のうち、整列集合となっているものの全体を ｍ とする

（図1）。すなわち 略す 　【ツォルンの補題】 [1] によって （ｍ,ρ） には極大元 （W0,O0） が存在する。 このとき、実は W0=A でなければならないことが次のように示される。 もし、略 参考文献 　1) 「ツォルンの補題」 　2) 松坂和夫　数学入門シリーズ1『集合・位相入門』 p.113 岩波書店（2018/11/06） 　3) 「整列集合における補題」 　4) 「順序集合」 　5) 「選択公理」 　6) 「整列集合の比較定理」 　7) 「集合の濃度」 （上記とほぼ同じ証明の動画） ヨーツベ/EXPGtoOzpb8?t=1 数学】Zornの補題から整列可能定理を導く！！！【VOICEROI

D解説】 現役数学科院生・うどん 2022/01/17 (コメント) @イデアル-d6p 9 か月前 分かりやすいです @財津匠 2 年前 とても理解の助けになりました！ http://rio2016.5ch.net/test/read.cgi/math/1738367013/37

38: １３２人目の素数さん [] 2025/02/02(日) 18:42:11.22 ID:7z4Dw9JT コピペが趣味なんですか？　楽しいですか？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/38

39: １３２人目の素数さん [sage] 2025/02/02(日) 19:10:24.71 ID:eC5TmypE https://rio2016.5ch.net/test/read.cgi/math/1735693028/949 >>21 >Xの元を すきな順番に整列できる P(X)-{φ}からその要素を選択する選択関数をどう決めるか次第でね ただ選択関数を決めてしまったら順番は一意だけど >>33 >>順番は選択関数で一意に定まる。 > 典型的な、大学数学 オチコボレさんか？ ◆yH25M02vWFhP がな まさか自分が大学数学理解できてるとうぬぼれてる？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/39

40: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:15:00.51 ID:5scbwZz/ >>37 ふっふ、ほっほ コピペ は、シールド 盾 突っかかるやつへの対抗ですよｗ ；ｐ） 特に、大学のテキストPDFのシールドに たまに突っ込む人ありｗ 岩に突撃するが如しｗｗ たまに 大学教授で、講義で選択公理を教えていたと宣う人に 楯突くとか・・も、完全に倒錯ですねｗ ；ｐ） https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%BC%E3%83%AB%E3%83%89 シールド shield 英語で盾の事 http://rio2016.5ch.net/test/read.cgi/math/1738367013/40

41: １３２人目の素数さん [] 2025/02/02(日) 19:24:14.73 ID:7z4Dw9JT >>40 >突っかかるやつへの対抗ですよｗ ；ｐ） 君自身がコピペした内容理解してないから無意味 君、Jechの証明理解してないじゃん http://rio2016.5ch.net/test/read.cgi/math/1738367013/41

42: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:26:13.17 ID:5scbwZz/ >>39 (引用開始) >Xの元を すきな順番に整列できる P(X)-{φ}からその要素を選択する選択関数をどう決めるか次第でね ただ選択関数を決めてしまったら順番は一意だけど (引用終り) ふっふ、ほっほ 1）選択関数の一意性を主張するような 論文、テキスト（教科書）、解説は皆無 2）自分で、『固定』！とか 宣言しない限り 　”一意性”は、実現できない 3）つまり、あなたの選択関数と、私が（思う）選択する選択関数ｗ 　は、異なって良いのです！！ｗ

ｗ ；ｐ） (参考) https://ja.wikipedia.org/wiki/%E4%B8%80%E6%84%8F%E6%80%A7_(%E6%95%B0%E5%AD%A6) 一意性 (数学) 一意性（いちいせい、英語: uniqueness）とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している（つまり「存在して、かつ、存在するならばただ一つだけである」の意）」という性質である。 一意性の証明 ある対象が一意性を満たすかどうかを証明する方法は、始めに目的の条件を持つ対象が存在することを証明し、 次にそのような対象がもう一つあり（例: aと b、そ

れらが互いに等しいこと （すなわち a=b ） を示すことで得られる。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/42

43: １３２人目の素数さん [] 2025/02/02(日) 19:35:47.75 ID:7z4Dw9JT >>42 一意性の話なんて誰もしてないのに何を勘違いしてんだ？このおサルは http://rio2016.5ch.net/test/read.cgi/math/1738367013/43

44: １３２人目の素数さん [] 2025/02/02(日) 19:38:04.80 ID:7z4Dw9JT >>42 >3）つまり、あなたの選択関数と、私が（思う）選択する選択関数ｗ >　は、異なって良いのです！！ｗｗ ；ｐ） だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/44

45: １３２人目の素数さん [] 2025/02/02(日) 19:39:41.42 ID:7z4Dw9JT 無限個のうちの有限個は好きな順番にできるとか屁理屈捏ねるのが猿知恵の限界 http://rio2016.5ch.net/test/read.cgi/math/1738367013/45

46: １３２人目の素数さん [] 2025/02/02(日) 19:44:11.39 ID:7z4Dw9JT >>40 >>17にはいつ答えるの？ これに正当できなければJechの証明を理解できたことにならないんだけど http://rio2016.5ch.net/test/read.cgi/math/1738367013/46

47: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:45:40.82 ID:5scbwZz/ >>41 (引用開始) >突っかかるやつへの対抗ですよｗ ；ｐ） 君自身がコピペした内容理解してないから無意味 君、Jechの証明理解してないじゃん (引用終り) ふっふ、ほっほ 1）もし 引用部分が正しいとするね 　そうすると、私の書いていることは 　基本は 引用部分のURLからの再引用（2度目の引用）であります ；ｐ） 　あるいは、引用部分のURLからの必然の事項となっています 2）従って、理解している いない には 関係なく 　ツッコミどころは、な

い！ｗ 　（そこを たまに誤解して、”再引用（2度目の引用）”を 私個人の意見と誤解して ツッコミ入れる人居ますｗ。それ あなたですｗ） 3）Jechの証明、前スレより下記だね 　 en.wikipedia の ”sup{α∣aα is defined}”が分らんと言っていた人 あなたでしょ？ｗ 　私も 誤解がありましたが、>>14の alg-d 壱大整域氏 の証明で、ようやく理解できました ご苦労さまですｗ ；ｐ） 　前スレ 808より (参考)(再掲) 631より en.wikipedia.org/wiki/Well-ordering_theorem Well-ordering theorem Proof from axiom of choice The well-

ordering theorem follows from the axiom of choice as follows.[9] Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.　 For every ordinal α, define an element aα that is in A by setting aα= f(A∖{aξ∣ξ<α}) if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is. That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if t

he entirety of A has been successfully enumerated). Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α∣aα is defined}. Notes 9＾ Jech, Thomas (2002). Set Theory (Third Millennium Edition). Springer. p. 48. ISBN 978-3-540-44085-7. (引用終り) Thomas Jechの 証明 再録（前スレ 848より） P48 Theorem 5.1 (Zermelo’s Well-Ordering Theorem) 　Every set can be well-orderd. Proof： Let A be a set

. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A. That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A. We let for every α aα=f(A-{aξ：ξ<α}) if A-{aξ：ξ<α} is nonempty. Let θ be the least ordinal such that A = {αξ: ξ < θ}. Clearly,（aα：α< θ) enumerates A. ■ (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1738367013/47

48: １３２人目の素数さん [] 2025/02/02(日) 19:49:34.21 ID:7z4Dw9JT >>47 屁理屈はいいので早く>>17に答えて下さいね http://rio2016.5ch.net/test/read.cgi/math/1738367013/48

49: １３２人目の素数さん [] 2025/02/02(日) 19:51:42.57 ID:7z4Dw9JT >>47 >私も 誤解がありましたが、>>14の alg-d 壱大整域氏 の証明で、ようやく理解できました いいえ、あなたは理解できてません。理解できてる人が >すきな順番に整列できる などという嘘デタラメ言いません。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/49

50: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:58:40.30 ID:5scbwZz/ >>44 (引用開始) >3）つまり、あなたの選択関数と、私が（思う）選択する選択関数ｗ >　は、異なって良いのです！！ｗｗ ；ｐ） だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 (引用終り) ふっふ、ほっほ ・それ、自爆発言ですね ・自ら、>>47のJechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が 　ちゃんと 理解出来ていないと 自白して

いるに 等しい！ｗ ・もし ちゃんと 理解出来ているならば 　選択公理（選択関数）には 大きな自由度（任意度）があるのが分るはずです おサルさん>>7-10、 証明を読むときに 私が 心がけているのが 数学の証明は、その背後の数学的構造を反映する鏡であり 数学の証明を理解することは、背後の数学的構造を理解することだと そう思って証明を見ています あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が ちゃんと 理解出来ては いない！！ｗｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/50

51: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 20:01:01.53 ID:5scbwZz/ >>50 補足 >・もし ちゃんと 理解出来ているならば >　選択公理（選択関数）には 大きな自由度（任意度）があるのが分るはずです >あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が >ちゃんと 理解出来ては いない！！ｗｗｗ ；ｐ） その 選択公理（選択関数）の誤解・誤読が 箱入り無数目の あなたの議論の迷走の 根源です！ｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/51

52: １３２人目の素数さん [sage] 2025/02/02(日) 20:15:21.48 ID:5wVsPQ6t 「好きな順番に整列できる！」→有限バカ一代か？！ｗ http://rio2016.5ch.net/test/read.cgi/math/1738367013/52

53: １３２人目の素数さん [sage] 2025/02/02(日) 20:25:13.96 ID:5wVsPQ6t 「自分の好きな順番」と言う場合、「その順番ってZF内で記述できるの？」 ということが問題になり、それが可能なら選択公理は要らないよね ということに気づかないのは、迂闊であり、有限バカだから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/53

54: １３２人目の素数さん [sage] 2025/02/02(日) 21:10:55.40 ID:eC5TmypE >>42 > 選択関数の一意性を主張 　また読み違えたね 　選択関数が一意的なんて誰も言ってないよ 　選択関数を決めたら整列は一意だといったまで 　選択関数が一意的でないのだから可能な整列も一意的ではない 　さらに整列から選択関数も決められるが、 　その場合可能な選択関数のすべてが実現できるわけではない 　いってることわかる？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/54

55: １３２人目の素数さん [] 2025/02/02(日) 21:54:26.83 ID:bvvTKD+8 わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/55

56: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 21:56:48.01 ID:5scbwZz/ >>52-54 >「自分の好きな順番」と言う場合、「その順番ってZF内で記述できるの？」 >ということが問題になり、それが可能なら選択公理は要らないよね >ということに気づかないのは、迂闊であり、有限バカだから。 1）整列可能定理で、整列させる順番は、決して一意ではない 2）それは、有限 or 無限 とは別問題ですよ 3）”それが可能なら選択公理は要らないよ”は、誤解と無理解の 複雑骨折ですねｗ ；ｐ） >　選択関数を決めたら整列は一

意だといったまで >　選択関数が一意的でないのだから可能な整列も一意的ではない >　さらに整列から選択関数も決められるが、 >　その場合可能な選択関数のすべてが実現できるわけではない 1）ある人が ある証明の中で 「選択関数を決めて 固定する」と宣言した 　それは、何の問題もない 2）しかし、それは その証明中だけ 　例えば、実数Rの整列を考えてみよう 　”実数Rの整列”を 決める？ 固定する？ それ ZFC内では無理ですよ 　そして、明らかに ”実数Rの整列”は 一意ではない 　何通りもあるだろう。多分 少なくとも 可算通りで

は収まらない（下記ご参照） (参考) ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的

に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/56

57: １３２人目の素数さん [] 2025/02/02(日) 22:29:41.72 ID:7z4Dw9JT >>50 >・それ、自爆発言ですね それが君 >・自ら、>>47のJechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が >　ちゃんと 理解出来ていないと 自白しているに 等しい！ｗ それが君 >・もし ちゃんと 理解出来ているならば >　選択公理（選択関数）には 大きな自由度（任意度）があるのが分るはずです 選択公理とは「空でない集合の空でない族の直積は空でない」である。 つまり、直積の何らかの元が存在すると主張している。これは論理

記号で書けば∃fであって∀fではない。 大きな任意度があーと言ってる君は∃と∀の区別が分かってないだけ。 そこが分からないから大学一年4月に落ちこぼれたんだよ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/57

58: １３２人目の素数さん [] 2025/02/02(日) 22:29:53.96 ID:7z4Dw9JT >おサルさん>>7-10、 おサルさんは君 >証明を読むときに 私が 心がけているのが 君には証明なんて読めないよ。 ∃と∀の区別が分からない人がなんで証明読めるの？ >数学の証明は、その背後の数学的構造を反映する鏡であり >数学の証明を理解することは、背後の数学的構造を理解することだと >そう思って証明を見ています いや、∃と∀の区別が分からない人の講釈は無用。 >あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証

明が >ちゃんと 理解出来ては いない！！ｗｗｗ ；ｐ） それが君。 なぜなら、ちゃんと理解出来てる人は >すきな順番に整列できる などという嘘デタラメ言わないので。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/58

59: １３２人目の素数さん [] 2025/02/02(日) 22:37:06.94 ID:7z4Dw9JT >>51 >その 選択公理（選択関数）の誤解・誤読が >箱入り無数目の あなたの議論の迷走の 根源です！ｗ ；ｐ） おサルさんの迷走の根源は何の確率かを取り違えていること。 箱入り無数目の確率は、ある箱の中身を当てる確率ではなく、当たりの箱を選ぶ確率。それを10年かかってどうしても理解できないのが君。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/59

60: １３２人目の素数さん [] 2025/02/02(日) 23:00:55.53 ID:7z4Dw9JT >>56 つべこべ屁理屈並べなくていいから「好きな順番に整列出来る」を早く証明してよ。 言っとくけど有限個だけ好きな順番に整列出来ても無意味だよ。それ、ほとんどすべて出来ないってことだから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/60

61: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 23:15:32.24 ID:5scbwZz/ >>55 >>57-59 >わからない ID:bvvTKD+8 は、御大か 夜の巡回ご苦労さまです ID:7z4Dw9JTは、おサル>>7-10 プロ数学者から ダメ出し されちゃたねｗ ；ｐ） >つまり、直積の何らかの元が存在すると主張している。これは論理記号で書けば∃fであって∀fではない。 >大きな任意度があーと言ってる君は∃と∀の区別が分かってないだけ。 ”∃と∀の区別が分かってない”のは、あなた いま Xを無限集合としよう その要素xについて ∀x

∈X で 何かの命題を証明したとする。反例は ただ一つ ∃x∈X あれば良い つまり、∀x∈Xと言ったら 100％正しくないといけない。0.1％でも例外は許されない 一方、∃x∈Xについて 何かの命題を証明したとする それは ただ一つの∃x∈Xを意味しない。二つあっても良いし、場合によれば 100％（つまり∀x∈X）でも良い！ （∀x∈X は、反例を構成しない！） ∃x∈Xを否定するには、反証を すべての ∀x∈X について しなければならない！！ >箱入り無数目の確率は、ある箱の中身を当てる確率ではなく、当たりの箱を選ぶ確率。それを10年かかってど

うしても理解できないのが君。 もし、君が神様で 箱を開けずに 中の数を透視できるならば、箱を開けずに 箱の中身（＝任意の実数）を当てられる しかし、任意の実数の1点は ルベーグ測度で 零集合で ルベーグ測度は0しか与えられないのだよ？ 矛盾でしょ？ ああ、君は数学科1年か2年で詰んでいてｗ ルベーグ測度が分らないのかな？ｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/61

62: １３２人目の素数さん [sage] 2025/02/02(日) 23:25:15.31 ID:5wVsPQ6t そもそも「好きな順番」とか言うのがおかしい。 誰も、「選択函数が一意的」なんて言ってない。 選択函数はいくらでもたくさん「存在しうる」し また、いくらでも異なる整列関係が「入りうる」。 そんなことは百も承知。しかし、それをもって 「好きな順番」と言うことは無い。 なぜなら、中身が分からない（記述できない）のに 好きもクソもないから。 もし記述できるなら、それは選択公理が必要ないケース。 非可算無限集合族であっても「代表系が好みに選べる」 という

ケースはあって、その場合はまさしく選択公理は必要ない。 数学を知らない1はそういう具体例を知らないでしょ？ バナッハ-タルスキーのパラドックスでさえ、選択公理なしに 成立するケースがあるのである。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/62

63: １３２人目の素数さん [sage] 2025/02/02(日) 23:30:38.35 ID:5wVsPQ6t >わからない いや、>>55の言ってることはよく分かりますけど。 「御大」だからといって、何でも知ってるわけではない。 事実、「双曲平面でのバナッハ-タルスキーのパラドックス」 は知らなかったし、酷いところでは、「箱入り無数目さえ」 理解できなかった。もっとも記事をちゃんと読んだのか怪しいが。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/63

64: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 23:33:34.74 ID:5scbwZz/ >>37 補足 (引用開始) >>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で 冪集合 P(X)={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}, 　∅ } これで 包含関係 で 順序が入る {a,b,c,d}⊃{a,b,d}⊃{a,b}⊃{a}⊃∅ で、整列順序の極大元になる この前後の差分 c>d>b>a Xので整列になる この極大は、幾通りもある（どれを選ぶも

任意！！です） (引用終り) （補足） 1）{a,b,c,d} を並べる順列は、ご存知の通りで 4！（4の階乗） 　有限 n個を並べる順列は、 n！ 通り 2）もし 可算N(＝ω)なら 同様に N！ 通り だろうが 濃度でいうと 2^N かな 　非可算 2^N を 並べる方法は、2^2^N（つまり 実関数の濃度）か？ 繰り返すが、X={a,b,c,d} は たまたまアルファベットを使っていて整列しているように見えるが a,b,c,d には、全く順序が決まっていないときに a,b,c,d に 順序を与える 場合の数は 4！通り 同様に 可算無限 X={x0,x1,x2,・・} に 任意の整列順序を与える場合の数は

可算では収らないだろうし 非可算無限 X={xt ｜tは実数で t∈[0,∞]} に 任意の整列順序を与える場合の数は 2^2^N（つまり 実関数の濃度）でしょ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/64

65: １３２人目の素数さん [] 2025/02/02(日) 23:35:34.34 ID:bvvTKD+8 わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/65

66: １３２人目の素数さん [sage] 2025/02/02(日) 23:42:13.85 ID:5wVsPQ6t 訂正　>>63 →　いや、>>54の言ってることはよく分かりますけど。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/66

67: １３２人目の素数さん [] 2025/02/03(月) 00:12:53.50 ID:oyw47Vnz >>61 >”∃と∀の区別が分かってない”のは、あなた それが君。 ∀x∈X.P(x)⇔∧[x∈X]P(x)　∃x∈X.P(x)⇔∨[x∈X]P(x) と、完全且つ簡潔な表記ができず、あーでもないこーでもないと駄文長文を書き連ねたのがその証拠。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/67

68: １３２人目の素数さん [] 2025/02/03(月) 00:13:10.58 ID:oyw47Vnz >もし、君が神様で 箱を開けずに 中の数を透視できるならば、箱を開けずに 箱の中身（＝任意の実数）を当てられる だからある箱の中身を当てる確率ではなく、当たりの箱を当てる確率だと言ってるのにｗ 言葉が通じないね。だからサルだと言われる。人の話を聞く耳持たないと人間扱いされないよ。 >しかし、任意の実数の1点は ルベーグ測度で 零集合で ルベーグ測度は0しか与えられないのだよ？ >矛盾でしょ？ ああ、君は数学科1年か2年で詰んでいてｗ >ルベーグ測

度が分らないのかな？ｗｗ ；ｐ） 何の確率かをはき違えているからまったくトンチンカン。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/68

69: １３２人目の素数さん [] 2025/02/03(月) 00:18:15.00 ID:oyw47Vnz >>65 じゃ失せれば？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/69

70: １３２人目の素数さん [] 2025/02/03(月) 00:26:59.98 ID:oyw47Vnz 「好きな順番に整列できる」 は 「任意の選択関数を構成できる」 ことに他ならない。 そもそも選択関数を構成できない命題だから選択公理の仮定が必要なのである。 しかも選択公理を仮定したからといって任意の選択関数が得られる訳ではない。 何重にも間違ってる。酷いなんてもんじゃない。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/70

71: １３２人目の素数さん [] 2025/02/03(月) 00:32:00.56 ID:oyw47Vnz ほらね、>>60に回答できず逃げたでしょ？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/71

72: １３２人目の素数さん [] 2025/02/03(月) 05:42:07.56 ID:RHKFtm92 選択公理が成り立つなら、どんな無限列s∈R^Nをとってきても sの決定番号dが存在し　d<=nとなるnについてs[n]=r(s)[n] 一方、箱入り無数目で選ばれた箱の番号nがd以上になるには 他の99列の決定番号のどれかがd以上であればよい 逆に、箱入り無数目で選ばれた箱の番号nがd未満になるには 他の99列の決定番号のどれもがd未満でなくてはならない http://rio2016.5ch.net/test/read.cgi/math/1738367013/72

73: １３２人目の素数さん [] 2025/02/03(月) 08:53:45.95 ID:pX4W9Cg1 >>69 それがわからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/73

74: １３２人目の素数さん [] 2025/02/03(月) 11:05:46.61 ID:RHKFtm92 >>73 わかれよ　爺 http://rio2016.5ch.net/test/read.cgi/math/1738367013/74

75: １３２人目の素数さん [] 2025/02/03(月) 11:06:17.92 ID:pX4W9Cg1 わからないものはわからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/75

76: １３２人目の素数さん [] 2025/02/03(月) 11:11:01.21 ID:RHKFtm92 >>75 爺は目障りだとわかれよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/76

77: １３２人目の素数さん [] 2025/02/03(月) 11:20:52.85 ID:oyw47Vnz 爺は荒し http://rio2016.5ch.net/test/read.cgi/math/1738367013/77

78: １３２人目の素数さん [] 2025/02/03(月) 11:21:31.31 ID:pX4W9Cg1 それはわかっている http://rio2016.5ch.net/test/read.cgi/math/1738367013/78

79: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/03(月) 11:25:44.20 ID:Kqr4zqHs >>64-65 ID:bvvTKD+8 は、御大か 巡回ご苦労様です なるほど ご指摘の思い当たる点を 自分で赤ペンすると (引用開始) >>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で 冪集合 P(X)={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}, 　∅ } これで 包含関係 で 順序が入る {a,b,c,d}⊃{a,b,d}⊃{a,b}⊃{a}⊃∅ で、整列順序の極大元に

なる この前後の差分 c>d>b>a Xので整列になる この極大は、幾通りもある（どれを選ぶも任意！！です） (引用終り) １）ここの素朴（ナイーヴ）な議論が、まずいってことですね ２）つまり、無限集合では 　ヒルベルトホテルのパラドックスが起きる ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 　例えば、順序数ω から 一つ減らしても ωのままです （順序数の演算ご参照 ja.wikipedia.

org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 ） ３）この素朴な議論を、ZFC内で 正当化したのが >>14の alg-d 壱大整域氏 の証明で 　そこで 必要なのが　１）選択公理（及びそれと同値のZorn補題） ２）順序数 との対応付け 　ということですね 　これによって 当初の素朴（ナイーヴ）な議論のスジが、ほぼZFC内の議論に変換できている ４）ここで、注目すべきは 冪集合 P(X)には、⊃ による 順序構造とか 　X={a,b,c,d}を頂点にして 最底辺が 空集合∅ という 階層構造とかがある （一方 X自身には そういう構造の仮定はない） 　ここらを潜在

的な構造として うまく ZFC内で 正当化しているのが、 >>14の alg-d 壱大整域氏 の証明です 　なお >>37の ツォルン（Zorn）の補題 → ツェルメロ（Zermelo）の整列定理の証明 も 同様です http://rio2016.5ch.net/test/read.cgi/math/1738367013/79

80: １３２人目の素数さん [] 2025/02/03(月) 11:41:27.36 ID:RHKFtm92 >>79 P(X)-{φ}={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}} として、選択関数ｆが f({a,b,c,d})=c f({a,b,d})=d f({a,b})=b f({a})=a なら、整列はc<d<b<a となる で、他のP(X)-{φ}でのfの値をどう設定しても整列に影響しないが、もし f({a,b,c,d})=a とすると、今度はf({b,c,d})の値が必要となる　さらに f({b,c,d})=b とすると、f({c,d})の値が必要とな

り、 f({c,d})＝c とすると、f({d})＝dだから、整列はa<b<c<dとなる 要するにそういうこと　これは別にXが無限でも同じ http://rio2016.5ch.net/test/read.cgi/math/1738367013/80

81: １３２人目の素数さん [] 2025/02/03(月) 11:45:28.25 ID:RHKFtm92 >>79 Xが無限のとき、整列に対応する順序数は一意ではない たとえばXが可算なら、整列に対応する順序数として、任意の可算順序数がとれる そしてどういう可算順序数になるかは、選択関数fで決まる >例えば、順序数ω から 一つ減らしても ωのままです 順序数の差なんて、リンク先に書かれてないが・・・幻視？ https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0#%E9%A0%86%E5%BA%8F%E6%95%B0%E3%81%AE%E6%BC%94%E7%AE%97 http://rio2016.5ch.net/test/

read.cgi/math/1738367013/81

82: １３２人目の素数さん [] 2025/02/03(月) 11:50:53.73 ID:RHKFtm92 >>79 なぜ、有限だと選択公理が不要で、無限だと選択公理が必要か、わかるかい？ ヒルベルトホテルのパラドックス？　全然違うよ 答えは、無限回の操作なんて不可能だからだよ 選択公理であらかじめ空でないすべての部分集合とその要素の対応の集合を用意するのは１ステップ また、順序数との対応づけも、帰納的定義だから１ステップ どちらも無限回のステップなんてないから、論理的に正当 意味わかる？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/82

83: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/03(月) 11:55:07.56 ID:Kqr4zqHs >>78 補足 下記は、見ておくのがよさそう (参考)（”Hausdorff's Maximal chain Condition”と”Tukeyの補題”は、有名なので 知っておくべきでしょう） https://alg-d.com/math/ac/ alg-d 壱大整域 https://alg-d.com/math/ac/zorn.html Zornの補題・極大原理 2015年12月20日 定理1 次の命題は(ZF上)同値． 1.順序集合Xが「Xの鎖には上界が存在する」を満たすならば，Xの極大元が存在する．(Zornの補題) 6.有限性をもつ非空集合Xは(⊂に関する)極大

元をもつ．(Tukeyの補題) 8.任意の順序集合(X, ≦)は極大鎖を持つ．(Hausdorff's Maximal chain Condition) 証明 略す http://rio2016.5ch.net/test/read.cgi/math/1738367013/83

84: １３２人目の素数さん [] 2025/02/03(月) 11:59:29.52 ID:RHKFtm92 ＞証明　略す 君、 実数の完備性に関する諸条件の同値性証明も 線形写像の正則性に関する諸条件の同値性証明も 全部すっとばして略したろ 論理が読めないから何度読んでも目が滑って何もわからないんだよ 論理を理解したまえ　でないと数学書なんてちっとも読めないぞ http://rio2016.5ch.net/test/read.cgi/math/1738367013/84

85: １３２人目の素数さん [] 2025/02/03(月) 12:00:59.32 ID:oyw47Vnz >>79 >>例えば、順序数ω から 一つ減らしても ωのままです ωは後続順序数でないからωの前者となる順序数は存在しない。 相変わらず口を開けば間違いばかりだね。もう口閉じたら？ http://rio2016.5ch.net/test/read.cgi/math/1738367013/85

86: １３２人目の素数さん [] 2025/02/03(月) 12:30:51.44 ID:RHKFtm92 >>85 実数ダメ　線形同型写像ダメ　選択公理ダメ ３部門で初歩レベルからダメ これはもう根本的に心構えからなってないとしかいいようがないな　アレは http://rio2016.5ch.net/test/read.cgi/math/1738367013/86

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.026s