現代数学の系譜工学物理雑談古典ガロア理論も読む61

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 21:00 / Filesize : 715 KB / Number-of Response : 1095
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/02/17(日) 22:12:26.15 ID:sxwhkqcY.net]: この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾；）
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！
小学生がいますので、18金（禁）よろしくね！（＾＾

（旧スレが1000オーバー（又は間近）で、新スレを立てた）
960 名前：１３２人目の素数さん [2019/03/05(火) 12:33:46.96 ID:WAlk2uB5.net]: >>871
＞ZFCから、ペアノの公理のモデル構成できると思う

ZFからもできるけどね

ていうかさ、マジメに検索すればこういう記事も見つかるけどね
https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%8F%E3%81%AE%E9%9D%9E%E5%8F%AF%E7%AE%97%E9%A0%86%E5%BA%8F%E6%95%B0

「最小の非可算順序数（英: First uncountable ordinal）ω1の存在は、
　選択公理によらずに示すことができる（ハルトークス数を参照）。
　ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。
　ときに Ω とも表記される。その濃度は最小の非可算基数 ℵ1 に等しい。」

https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%AB%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%95%B0

「数学の、特に公理的集合論におけるハルトークス数
　（ハルトークスすう、英: Hartogs number）とは、
　ある種の基数のことを言う。
　1915年にフリードリヒ・ハルトークスによって、
　ある整列順序付けられた基数が与えられたとき、
　それよりも大きい最小の整列順序付けられた
　基数が存在することが示されたが、
　これには ZF-公理系のみが用いられ、
　したがって選択公理は用いられなかった。」
961 名前：１３２人目の素数さん [2019/03/05(火) 12:36:54.22 ID:WAlk2uB5.net]: >>871
＞「数学がZFCから作られていることを実感してもらうために
＞　ZFからペアノの公理のモデルでも構成するか」

2行目よく見ろ、ZFって書いてあるだろ。ZFCじゃないだろ

ペアノの公理を成立させるのに、選択公理必要ないの
いい加減気づけよ　ドアホ
962 名前：１３２人目の素数さん [2019/03/05(火) 12:44:19.36 ID:WAlk2uB5.net]: >>873
>数学的帰納法とか超限帰納法を公理とすると、
>それは公理としてはちょっとシンプルさに欠ける

何わけわかんないこといってんだ？このアホｗ

集合論における公理の設定なんて自由にできる
例えばかの有名なゲーデルはZFに
「すべての集合は構成可能集合である」
という公理を追加すれば、そこから
選択公理も一般連続体仮説も導ける
ことを示した

いっとくが構成可能集合のなかには
当然超限順序数も含まれている

何度でも繰り返し傷口に塩を刷り込んでやるがｗ
超限順序数の構成自体に選択公理は必要ない
963 名前：１３２人目の素数さん mailto:sage [2019/03/05(火) 13:01:43.42 ID:WAlk2uB5.net]: ついでにいうとZFで
「実数のあらゆる集合がルベーグ可測である」
という命題が成立するモデルがある
このようなモデルでは選択公理が成立しない
964 名前：１３２人目の素数さん [2019/03/05(火) 13:28:20.26 ID:WAlk2uB5.net]: さらについでだがZFで
「連続体（実数全体の集合）が整列不能」
という命題が成立するモデルがある
もちろんこのモデルでも選択公理は成立しない
（このモデルでも非可算順序数は存在する！）
965 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 13:56:30.72 ID:xYDWPnCx.net]: >>877-878
ピエロちゃん、たまにはまともなこともいうんだ（＾＾
それ、良い指摘だね
読んだけど、まあ、”選択公理によらず”は良いのかも

ちょっと気になるのが、
ハルトークス数で、
「ある整列順序付けられた基数が与えられたとき」
ってところだけど？

”ある整列順序付けられた基数”が、可算無限集合で、例えば自然数の集合Nだと
で、自然数の集合N自身は、ZF 公理系の無限公理から出るのか（下記）。順序がどうかだが

戸松先生PDFでは、数学的帰納法と選択公理が、関連していると書いてあったからな
（>>855 >>848 ご参照）

まあ、ともかく、その>>877は面白いね
これ、>>871の立命館 ”Fからペアノの公理のモデルでも構成するか”ってのが、誘因になったかな

ピエロちゃんに、一本取られたね

https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
(抜粋)
ZF 公理系
・無限公理　空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
∃ A(Φ ∈ A Λ ∀ x∈ A(x ∩ {x}∈ A)) 。

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
(抜粋)
上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
966 名前：１３２人目の素数さん [2019/03/05(火) 15:43:26.25 ID:WAlk2uB5.net]: >>882
>まあ、”選択公理によらず”は良いのかも

良いのかも、じゃなく、良いので、自分の誤りは認めようね

>自然数の集合N自身は、ZF 公理系の無限公理から出るのか

出る　無限公理のステートメント読めよ　そのままだろ

>一本取られたね

じゃ、もうここで書くなよ　貴様負けたんだから

負け犬は死ねよ　首掻き切ってな　貴様には生きる価値も資格もない
967 名前：１３２人目の素数さん [2019/03/05(火) 15:46:17.26 ID:WAlk2uB5.net]: 数学以前に国語もロクにできないスレ主は、時枝記事も

「まあ、”100列中99列は当たるから確率99/100”は良いのかも」
「一本取られたね」

でしれっと敗北宣言して死ね　二度と数学板に書き込むんじゃねえ　ゴキブリ
968 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:49:27.05 ID:xYDWPnCx.net]: >>882

分かった！
数学的帰納法は、正則性公理やね（＾＾

正則性公理→整礎的集合→整礎関係→数学的帰納法（超限帰納法）
という流れだね（下記）（＾＾
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
(抜粋)
ZF 公理系
・正則性公理（基礎の公理）　空でない集合は必ず自分自身と交わらない要素を持つ：
∀ A(A ≠ Φ → ∃ x ∈ A ∀ t ∈ A(t not∈ x)) 。
正則性公理はジョン・フォン・ノイマンによって導入された（1925年）。

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
(抜粋)
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation）とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。

定義
空でない集合は必ず自分自身と交わらない要素を持つ。 ∀ A(A ≠ Φ → ∃ x ∈ A∀ t ∈ A(t not∈ x))

以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。

・任意の空でない集合xに対して、 ∃ y ∈ x,x∩y=0
・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x ∋x_1 ∋x_2 ∋... は存在しない。
・V=WF

つづく
969 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:50:17.49 ID:xYDWPnCx.net]: >>885

つづき

ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
したがって、例えばx={x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。 WFは通常の集合演算に関して閉じているため、ZF公理系から得られる全ての真なる命題がZF公理系においても真となることが分かる。
このため、WF内で通常の数学を展開できることが知られている。実際、x={x}のような集合の存在はZF公理系からは独立だが、数学を展開する上でこのような集合が現れることはない。
その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ZF公理系と他のいくつかの命題が独立であることを証明する際にその効果を発揮する。

つづく
970 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:50:42.99 ID:xYDWPnCx.net]: >>886

つづき

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E7%9A%84%E9%9B%86%E5%90%88
整礎的集合
(抜粋)
整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。

定義
すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する：
1. V_0=Φ
2. V_α +1= P(V_α )
3. α が極限順序数のとき、 V_α =∪ \{V_β ｜ β <α } 。

ある順序数 α に対して x ∈ Vα であるような集合 x を整礎的集合と呼ぶ。

集合の階数
整礎的集合 x に対して、x ∈ Vα + 1 をみたす最小の順序数 α を x の階数（rank）といい、これを rank(x) で表す。
rank(x) = sup {rank(y)+1 | y ∈ x} が成立する。

正則性公理と整礎的集合
正則性公理を用いると、すべての集合が整礎的であることが示される。したがって、すべての集合に階数が定義される。

つづく
971 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:51:34.59 ID:xYDWPnCx.net]: つづき

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。

定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。

集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。

帰納法と再帰
整礎関係が興味深い重要な理由は、それによって超限帰納法の一種が考えられることにある。すなわち (X, R) が整礎関係で P(x) が X の元に関する何らかの性質であるときに、 P(x) が X の「すべての」元に対して満たされることを示すには、以下を示せば十分である。

x を X の元とするとき、y R x なる全ての y に対して P(y) が真であるならば P(x) は必ず真である。

このような整礎帰納法 (well-founded induction) は、エミー・ネーターにちなんでネーター帰納法 (Noetherian induction) とも呼ばれることがある[4]。

つづく
972 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:51:50.89 ID:xYDWPnCx.net]: >>887

つづき

例として、整礎関係 (N, S) を考える。ここで N は自然数全体のなす集合で、S は後者函数 x → x + 1 のグラフとする。S 上の帰納法は通常の数学的帰納法であり、S 上の再帰は原始再帰を与える。順序関係 (N, <) からは完全帰納法 (complete induction) と累積帰納法 (course-of-values recursion) が得られる。 (N, <) が整礎関係であるという言明は整列原理としても知られる。

ほかにも重要な整礎帰納法の特別の場合がある。整礎関係として順序数全体のなす類上の通常の順序を考えれば、超限帰納法 (transfinite induction) と呼ばれる手法が得られるし、整礎集合として再帰的に定義されるデータ構造からなる集合をとれば、構造的帰納法 (structural induction) が考えられる。あるいは普遍類上の帰属関係を整礎関係に選べば∈-帰納法として知られる帰納法が定まる（詳細は各項に譲る）。

その他の性質
モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる。

整礎性の遺伝
整礎
973 名前：集合の定義でその集合の推移閉包に言及されているので、ある集合が整礎ならば、その集合の各元も整礎であり、各元のそのまた各元も整礎であり、そのまた各元も……と以下同様に続くことになる。これを、整礎集合は遺伝的整礎 (hereditarily well-founded) であるということがある。 つづく []: [ここ壊れてます]
974 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 18:52:18.32 ID:xYDWPnCx.net]: >>887

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
(抜粋)
数学において、整列順序付けられた集合または整列集合（せいれつしゅうごう、英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "=<" であって、S の空でない任意の部分集合が必ず =< に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, =<) を慣例に従ってしばしば単純に S で表す。

同値な定式化
順序集合 X が全順序集合である場合には、以下の条件はどれも互いに同値である。

1.X は整列集合である。つまり、空でない任意の部分集合が最小元を持つ。
2.X の全体で超限帰納法が有効である。
3.X の元からなる任意の狭義単調減少列は必ず有限な長さで停止する（ただし、従属選択公理を仮定する）。

以上
975 名前：１３２人目の素数さん [2019/03/05(火) 19:48:55.04 ID:LsVVyNIK.net]: >>866
＞で、文献はすでに挙げたもので十分と思うが

俺は
＞すなわち、「整列可能定理から超限帰納法を導く証明が書かれている文献」を示してごらん。
と
＞「自然数Nが整列集合であることを、整列可能定理で証明している文献」の例示も頼むね～♬
と言ったんだがｗ
爺さんの挙げた文献にはそんなこと一言も書いてないんだがｗ　
頑固爺さん、負け惜しみも大概にしときなｗ
976 名前：１３２人目の素数さん [2019/03/05(火) 19:49:56.42 ID:LsVVyNIK.net]: >>866
＞晒しものにするためにねｗ（＾＾
未だ分からんかい？
晒し者はアンタだよ、爺さんｗ
977 名前：１３２人目の素数さん [2019/03/05(火) 20:00:41.76 ID:LsVVyNIK.net]: >>867
＞”数学的帰納法が成立することと自然数が整列集合であると言うことは同値であって、どっちを原理にするかの問題
↑にはどこにも選択公理も整列可能定理も出て来ないんだがｗ
お爺ちゃん頭大丈夫？
978 名前：１３２人目の素数さん [2019/03/05(火) 20:07:14.33 ID:LsVVyNIK.net]: >>867
＞”整列集合”の存在を保証するのが、選択公理（＝整列可能定理）だと
＞（>>855の戸松先生の論証ご参照（＾＾）
「存在」を「保証」するんでしょ？
「存在が明確なもの」に対しては別に「保証」なんて要らないんだけどｗ
そりゃ「存在するか否か分からないもの」に対しては「保証」は必要だけどさｗ

お爺ちゃん脳みそが老衰してるよｗ
979 名前：１３２人目の素数さん [2019/03/05(火) 20:08:17.86 ID:eZ/4sAt6.net]: お前らのレスがスレ主の存在を保証してる
980 名前：１３２人目の素数さん [2019/03/05(火) 20:12:28.56 ID:LsVVyNIK.net]: しかしスレ主爺さんは皆に只で授業してもらって果報者だね
感謝して習わないと罰が当たるぞｗ

とは言ってもスレ主爺さんにはちとレベルが高過ぎかな？ｗ
爺さん、もっと初歩から習いなよ
981 名前：１３２人目の素数さん [2019/03/05(火) 20:23:14.12 ID:LsVVyNIK.net]: >>867
＞これが分からんとね（＾＾
＞大笑いだぜｗ
爺さんの言う通りだよ
爺さん、アンタ笑い者だぜｗ
982 名前：１３２人目の素数さん [2019/03/05(火) 20:37:26.86 ID:LsVVyNIK.net]: >>868
時枝成立を表明した大学教授
　スタンフォード大学教授　時枝正
　Kusiel-Vorreuter 大学教授　Sergiu Hart

時枝不成立を表明した大学教授
　該当者なし
983 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 21:44:08.91 ID:bpbVx3pt.net]: >>895
パトロール隊長ご苦労さまです

＞お前らのレスがスレ主の存在を保証してる

まったくねー（＾＾
サイコパスもたまには、良いこというね（＾＾
ピエロちゃん、ありがとうよ
984 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 21:47:31.52 ID:bpbVx3pt.net]: >>897
ピエロちゃん、ありがとうよ
>>877-878は、なかなか良いアシストだったよ
おかげで、フォン・ノイマンの正則性公理と数学的帰納法および超限帰納法との関係がわかったわ（＾＾
（>>885-890 ご参照）
985 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 21:50:16.13 ID:bpbVx3pt.net]: >>714
>選択公理と帰納法は全然関係ないよ
>そんなｍｍ数学の常識だがね

ID:gxsT2klNさんにも謝っておかないとね
いや、仰る通りでしたｍ（＿＿）ｍ

フォン・ノイマンの正則性公理だね
（>>885-890 ご参照）
986 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 22:20:40.71 ID:bpbVx3pt.net]: >>871
>新歓でちょっとした数学の記事を書くんだけど、「数学がZFCから作られていることを実感してもらうためにZFからペアノの公理のモデルでも構成するか」とか思ってたの、難しすぎ感あるな。

分ったよ。これね、以下か
987 名前：な（＾＾ 1)ZFの無限公理で、下記のように、ペアノの公理における自然数の構成方法と同様に、可算無限集合を構成できる 2)これが、自然数と同様の整列集合であることを、フォン・ノイマンの正則性公理でしめす 3)あとは、数学的に格好よくするなら、こうして構成した可算無限集合が、ペアノで構成した自然数と同型であることを示せば良い （ペアノの公理「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[1]。」） （>>882 より） https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 無限公理 (抜粋) 解釈と帰結 上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。 まず定義中の集合 A は以下の性質を満たすことを確認できる。 ・ φ ∈ A （空集合 φ は A の要素である） ・ φ ∪ {φ}={φ}∈ A （「空集合 φ を要素にもつ集合」は A の要素である） ・ {φ}∪ {φ ∪ {φ}}={φ ,{φ}}∈ A（「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は A の要素である） ・（以下同様に繰り返す） 各手続きで得られた集合を要素とする集合を B:={φ ,{φ},{φ ,{φ}},・・・ } とおくと、 B は A の部分集合である。この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、 B は有限集合であり、 A ≠ Bである。 なぜならば定義により B∪ {B}∈ A であるが、 B∪ {B} not∈ B となるからである。 一方 A が有限集合であれば、この手続きを繰り返すことで B が A よりも多くの要素をもつことができてしまう。 従って A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。 上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合） つづく []: [ここ壊れてます]
988 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 22:21:01.37 ID:bpbVx3pt.net]: >>902

つづき

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
(抜粋)
正則性公理と整礎的集合
正則性公理を用いると、すべての集合が整礎的であることが示される。

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。
例として、整礎関係 (N, S) を考える。ここで N は自然数全体のなす集合で、S は後者函数 x → x + 1 のグラフとする。S 上の帰納法は通常の数学的帰納法であり、S 上の再帰は原始再帰を与える。順序関係 (N, <) からは完全帰納法 (complete induction) と累積帰納法 (course-of-values recursion) が得られる。 (N, <) が整礎関係であるという言明は整列原理としても知られる。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
存在と一意性
二つのペアノシステム (X, x, f) と (Y, y, g) は次の条件を満たす全単射 φ: X→Y が（唯一つ）存在するときに同型であるという:
φ(x) = y
X の任意の元 a に対して φ(f(a)) = g(φ(a))
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[1]。
(引用終り)
以上
989 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/05(火) 22:30:20.07 ID:bpbVx3pt.net]: >>848 >>855
戸松先生～！

選択公理を、数学的帰納法とからめて説明するのは

ミスリードやで～（＾＾；

すっかり、乗せられたわ～（＾＾

北大で、新しい「選択公理の解説のPDF」出してや～（＾＾
990 名前：１３２人目の素数さん [2019/03/05(火) 22:42:09.48 ID:LsVVyNIK.net]: 自然数を構成するのに選択公理が必要なら（仮定法）
ZFは自然数すら存在できない公理系ってことになるなｗ
スレ主には丁度いいんじゃない？自然数すら理解できないようだからｗ
991 名前：１３２人目の素数さん [2019/03/05(火) 22:55:46.30 ID:LsVVyNIK.net]: >>882
＞それ、良い指摘だね
赤っ恥晒しまくっても上から目線は頑なにキープｗ
992 名前：１３２人目の素数さん [2019/03/05(火) 23:04:23.88 ID:LsVVyNIK.net]: >>882
＞戸松先生PDFでは、数学的帰納法と選択公理が、関連していると書いてあったからな
「関連」って相当意味が広いぞｗ
スレ主みたいなバカはそれがどんな関連なのか自ら検証しようとはせず、勝手に妄想を膨らませて失敗する。
スレ主に数学は無理。
993 名前：１３２人目の素数さん [2019/03/05(火) 23:18:48.36 ID:LsVVyNIK.net]: >>904
＞選択公理を、数学的帰納法とからめて説明するのは
＞ミスリードやで～（＾＾；
誰もミスリードされてない
スレ主とかいう脊椎反射しかできない畜生を除いて
994 名前：１３２人目の素数さん [2019/03/05(火) 23:21:53.84 ID:LsVVyNIK.net]: 自分が理解できないとミスリード呼ばわりかよｗ
世の中はお前中心に回ってる訳じゃないｗ
995 名前：１３２人目の素数さん mailto:sage [2019/03/05(火) 23:53:57.77 ID:oqvQy6he.net]: スレ主は時枝記事の読み違いは認めないのかな？
うまくミスリードされて何年も間違え続けていることに気付いてほしいね
996 名前：１３２人目の素数さん [2019/03/06(水) 01:07:08.56 ID:kpyqgyxc.net]: 選択公理が分かっていないという指摘を自ら補強したスレ主ｗ
ヴぁか杉ｗ
997 名前：１３２人目の素数さん [2019/03/06(水) 02:55:49.43 ID:kpyqgyxc.net]: >あまいな
>逃亡するならどうぞｗ（＾＾
>そんな簡単に許さないよ
>晒し者にしてやるｗ（＾＾

か　～　ら　～　の　～

＞それ、良い指摘だね
＞ピエロちゃんに、一本取られたねﾃﾍｯ
998 名前：１３２人目の素数さん [2019/03/06(水) 03:00:46.03 ID:kpyqgyxc.net]: いやー　スレ主のピエロ踊り　なかなか楽しませてもらったｗ
数学はからっきしだけどピエロの才能はあるね、彼ｗ
999 名前：１３２人目の素数さん [2019/03/06(水) 03:16:58.79 ID:kpyqgyxc.net]: >>866
＞いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
＞私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
＞私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；

いくら出典（URL)とコピペベースでも、それを理解してなきゃどうなるかという好例ｗ
理解できないのは自分の学力のせいなのに、ミスリード呼ばわりで責任転嫁という恥の上塗り付きｗ
1000 名前：１３２人目の素数さん mailto:sage [2019/03/06(水) 06:24:34.36 ID:pk0FhySK.net]: >>900
>フォン・ノイマンの正則性公理と数学的帰納法および超限帰納法との関係

またなんかおかしなことをいいだしたね　
文章が読めない文盲は困ったものだね
1001 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 12:15:37.81 ID:ct5wrn7i.net]: ピエロちゃん、必死だな（＾＾
>>877-878は、なかなか良いアシストだったよ
それだけは認めるよ（＾＾
それだけ、ありがとう
1002 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 12:18:30.04 ID:ct5wrn7i.net]: ピエロちゃんも、数学的帰納法やペアノ公理と、ZFとの関係、あんまり分かってなかったみたいだね（＾＾
1003 名前：１３２人目の素数さん mailto:sage [2019/03/06(水) 12:37:17.71 ID:YORX/TVf.net]: 可算選択公理ってのがプロっぽいぜスレ主
1004 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 20:45:47.04 ID:NUjaXEYj.net]: >>918
どうも。スレ主です。
どなたか知らないが、レスありがとう

実は、「可算選択公理ってのがプロっぽい」かも知れないが
この手の話しはキライじゃない。結構うるさいんだ（＾＾

高校のときに、ゲーデルの不完全性定理の解説本を読んだりした
ブラウアーの直観主義（排中律を使わない）の話しとかも、読んでたり

もちろん、独学だから、知識に穴が空いているだろうし
基礎論を専攻している人には敵わないと思うけどね

高校からなんで、年季だけは入っているんだ
”選択公理”の話しも、耳タコでね。最初に聞いたのがいつだったか、思い出せない。多分、大学の集合論だったかも・・（＾＾

もちろん、大学の数学の集合論では、”選択公理”なんてほとんど、お話しだけで終わった
で、選択公理についての、なにか本は読んだ気がする。内容は忘れたがね、ネットで落としたＰＤＦとか読むと、「ああ、この話しは、どこかで読んだね」と思い出すこともあるんだよね（＾＾
1005 名前：１３２人目の素数さん [2019/03/06(水) 20:52:44.45 ID:pk0FhySK.net]: スレ主は話だけで肝心の選択公理の式を読まないから何も学べない

正則性公理についても同様　同じ間違いを二度繰り替えすとか貴様は白痴か？
1006 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 21:00:28.46 ID:NUjaXEYj.net]: >>915
別に難しいことは言っていない
話しは単純で

ペアノの公理で、自然数の集合で
（>>867より）
自然数が整列集合＝数学的帰納法成立（公理として同値）
とすれば、

ＺＦから、”自然数が、整列集合 or 数学的帰納法成立”が導けなければいけない
ＺＦだけでね

普通の高校や大学の集合論では、「数学的帰納法は、当然です」と、まあ公理にするか、触れずにすますか（触れても触れなくても似たようなものでしょうが）
それはともかくとして、触れてもせいぜ
1007 名前：いペアノ公理くらいでお茶濁す で、ＺＦで、「自然数が整列集合＝数学的帰納法」（公理として同値なので、どちらを導いても良いが） に直結するＺＦ中の公理が、フォン・ノイマンの正則性公理だよというだけのことです []: [ここ壊れてます]
1008 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 21:02:14.00 ID:NUjaXEYj.net]: >>920
じゃ、ＺＦで、正則性公理抜きで、ペアノ公理を導いてみなよｗ（＾＾；
1009 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 21:04:34.29 ID:NUjaXEYj.net]: >>920 追加
因みに、おれは>>902で、正則性公理使えば可能と書いたよｗ（＾＾
1010 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/06(水) 21:07:26.48 ID:NUjaXEYj.net]: 補足
正則性公理で、整礎的までが言えて、さらに自然数Ｎが全順序だと言わないといけないと思うけどね（＾＾
1011 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 00:44:01.21 ID:c0bwFOdp.net]: >>923
>因みに、おれは>>902で、正則性公理使えば可能と書いたよｗ（＾＾

自然数が整列集合であることは、正則性公理を使わなくても可能かもしれんね～ｗ（＾＾
選択公理が、有限の場合には、公理でなく、証明可能な定理だというが如し。（勿論、公理だから、有限の場合に、選択公理は（証明なしで）適用可能だが）

それと同様に、自然数が整列集合であることは、正則性公理なしで証明可能かも知れない
だが、正則公理を認めて、自然数が整礎的であることを前提として、あと、”全順序”だけを証明することにすれば、証明が短く話しは簡単でしょ?（＾＾

まあ、ともかく、正則性公理無しの証明たのむよ！（＾＾

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
(抜粋)
整列順序付けられた集合または整列集合とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係とは、S 上の全順序関係 "<=" であって、S の空でない任意の部分集合が必ず <= に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, <=) を慣例に従ってしばしば単純に S で表す。
(引用終り)

関係ないけど、下記ご参考
fuchino.ddo.jp/index-j.html
渕野昌
fuchino.ddo.jp/articles/susemi2018-x.pdf
間違いと真理: 解析学と集合論の場合渕野昌神戸大 2018
(抜粋)
このテキストは，数学セミナー 2018 年 9 月号に掲載された，同じタイトルの解説の拡張版です．

目次
1.ライプニッツは間違っていたのか?
2.初等埋め込みと超準解析
3.完全性定理の超冪での置き換え
4.初等埋め込みと巨大基数
5.ラインハートは間違っていたのか?
参考文献

P5
ZFC の公理のうちの基礎の公理(正則性の公理と呼ばれることもある)
により，集合の全体のクラスはVα, α ∈ On の和と一致する9) ．

注）
8) On で順序数(超限順序数を含む) の全体を表わす．
9) すべての集合からなるクラスはV と表わされることが多いので，ここでの主張はV = ∪_α∈ On (Vα) と書ける．
(引用終り)
1012 名前：１３２人目の素数さん [2019/03/07(木) 03:56:35.47 ID:8UJbn5Oi.net]: >>823
で？スレ主は数学的帰納法を使う時に選択公理でどこから何を選択するつもりなの？
1013 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 06:10:29.32 ID:SmjIbxyE.net]: >>925
>正則公理を認めて、自然数が整礎的であることを前提として、
>あと、”全順序”だけを証明することにすれば、
>証明が短く話しは簡単でしょ?（＾＾

馬鹿丸出し

自然数の構成が整礎的なのだから、正則性公理は必要ない

0={}　整礎的！
1={}∪{{}}＝{{}}　整礎的！
2={{}}∪{{{}}}={{},{{}}}　整礎的！
・・・

頭オカシイのか？
1014 名前：１３２人目の素数さん [2019/03/07(木) 06:13:29.21 ID:SmjIbxyE.net]: >>926
>基礎の公理(正則性の公理と呼ばれることもある) により，
>集合の全体のクラスはVα, α ∈ On の和と一致する

自然数が整礎的だというのに、集合全体が整礎的である必要はない
自然数が整列集合であるのに、集合全体が整列可能である必要が無いのと同じ

スレ主、貴様は二度同じ過ちを繰り返した
貴様が論理を全く理解してない証拠だ
貴様に数学は無理　諦めてここから出ていけ！
1015 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 07:28:59.71 ID:c0bwFOdp.net]: >>927-928
はい、試験答案としては、０点ですｗ（＾＾
∵なぜならば、問題は、ＺＦ公理系から正則性公理を除いて、どの公理からペアノの５番目の公理が導けるかを問われているから
　ＺＦ公理系のどれとどれを使ったかを、明示できていないので、０点ですぅ～ｗ（＾＾

以下ご参照

（>>775より）
(引用開始)
わんこら日記2009/06/24

要するにこの数学的帰納法の
1016 名前：公理と数学的帰納法は同値やねんけど、この数学的帰納法の公理を使うことで 「自然数の整列性 自然数の任意の空でない部分集合は最小元をもつ。」 略 だから数学的帰納法が成立することと自然数が整列集合であると言うことは同値であって、どっちを原理にするかの問題 数学的帰納法は、それ自体が自然数の公理であって証明出来る性質のもんではない (引用終り) （参考） https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) 定義 ５． 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 5番目の公理は、数学的帰納法の原理である。 (引用終り) https://ch.nicovideo.jp/siratama_z/blomaga/ar800298 数学とか SNNN数について－ 3. SNNN数の性質－数学的帰納法はなぜ正しいか 2015-06-01 (抜粋) 「数学的帰納法における 1. 及び 2. の条件を満たす自然数全体の集合は無限集合であり, 自然数そのものである」という取り決めを行うことで, 数学的帰納法は正当化されます. このような取り決めを「公理」と呼ぶことは前回お話しましたが, この公理は「数学的帰納法」の取り決めではなく, 「自然数そのものが満たすべき性質」という位置付けとなっています. この公理を含めた自然数全体の公理群は「ペアノの公理」と呼ばれています. （c.f. ニコニコ大百科 - 自然数）[2] (引用終り) []: [ここ壊れてます]
1017 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 07:33:50.71 ID:c0bwFOdp.net]: >>929 追加

(テンプレ>>19より)
いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
(引用終わり)

・おれは、あんたの証明は信用できないので、典拠を要求します。証明できるなら、当然すでにだれかがやっていると思うから。典拠をよろしく

がんばれ、サイコパスピエロ～！ｗ（＾＾
1018 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 07:40:23.88 ID:c0bwFOdp.net]: >>929 補足

(>>927より引用開始)
自然数の構成が整礎的なのだから、正則性公理は必要ない
0={}　整礎的！
1={}∪{{}}＝{{}}　整礎的！
2={{}}∪{{{}}}={{},{{}}}　整礎的！
・・・
(引用終り)

これ、>>929のペアノの公理5を使っているでしょ？ｗ（＾＾
問題は、ペアノの公理5、つまり、数学的帰納法の原理＝自然数の整列性（公理として同値）
を、ＺＦ公理系から導けって話しですよね。それも、正則性公理を使わずにね！

どうぞｗ（＾＾
おっと、出典さがしてね～（＾＾

自分で証明しなくていいからｗ（＾＾

がんばれ、サイコパスピエロ～！ｗ（＾＾
1019 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 08:02:33.14 ID:87m9j2n+.net]: 実数や自然数が内部構造を持つことに不安を感じたり、
不満を持つやつ結構多いよな。
特にトウシロウ。
ただでさえ頭が悪いのに、
数が原子的でないと思考に無駄なストレスがかかってパーが亢進するようだw
1020 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 08:03:07.20 ID:SmjIbxyE.net]: >>931
＞>>929のペアノの公理5を使っているでしょ？

そりゃ誤解だな

Xが整礎的ならX∪{X}も整礎的だといってるだけ

つまり、ペアノの公理５は、
・{}(=0)が自然数である
・Xが自然数ならX∪{X}(=X+1)が自然数である
という自然数の定義から出てくる

これ基本

わからんならスレ主は白痴
1021 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 08:09:50.08 ID:oH+GC9gq.net]: 元を持たない唯一の集合、空集合はZFにおいて「原子」みたいなものか。
純粋なZFに原子なんて無いのだが。
1022 名前：１３２人目の素数さん [2019/03/07(木) 14:28:47.41 ID:8UJbn5Oi.net]: >>922
定義されたNがペアノ公理を満たす証明なんて普通にありふれているから、
正則性公理など不要であることを自分自身で確認しなさい。

まあスレ主が確認するまでもなくwikipediaには
＞その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではない
って書いてあるけどなｗ
1023 名前：１３２人目の素数さん [2019/03/07(木) 14:32:00.15 ID:8UJbn5Oi.net]: 数学的帰納法の原理の証明も分からないバカに数学は無理だから諦めなさい。
もう数学板には書き込まないでね。
1024 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 14:45:21.04 ID:XFOY0rap.net]: >>932-933 >>935-936
それ、数学科生たち納得せんよｗ（＾＾

これ、>>871 で
新歓でちょっとした数学の記事を書くんだけど、「数学がZFCから作られていることを実感してもらうためにZFからペアノの公理のモデルでも構成するか」とか思ってたの、難しすぎ感あるな。
(引用終わり)
で、正則公理使ったらやれるよと書いんだよね、私は

で、それにいちゃもん付けたの�
1025 名前：ﾍ、あなた（＾＾ （>>775より） (引用開始) 要するにこの数学的帰納法の公理と数学的帰納法は同値やねんけど、この数学的帰納法の公理を使うことで 「自然数の整列性自然数の任意の空でない部分集合は最小元をもつ。」 略 数学的帰納法が成立することと自然数が整列集合であると言うことは同値 (引用終り) これで （整列集合より）「整列順序とは整礎な全順序関係のことである」 （整礎関係より）「ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである」 を認めれば、 整礎は、正則性公理から出るので、 あとは、自然数が通常の"<=" について、全順序関係になることを示すだけで良い それは、ZF公理系で可能だろうと しかし、「自然数の整列性自然数の任意の空でない部分集合は最小元をもつ」を、正則性公理を使わずに、他のZFだけで言えるのか？ 言えるというなら、証明頼むよ（＾＾ みんな、楽しみにしているんだよ がんばれ、サイコパスピエロ！ https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 (抜粋) 集合 S 上の整列順序関係とは、S 上の全順序関係 "<=" であって、S の空でない任意の部分集合が必ず <= に関する最小元をもつものをいう。 あるいは同じことだが、整列順序とは整礎な全順序関係のことである。 https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82 整礎関係 (抜粋) 定義 集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。 ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。 []: [ここ壊れてます]
1026 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 14:45:26.16 ID:BYoawKw5.net]: スレ主には数学に干渉する力、カオステラーの力が有るのだよ。
1027 名前：１３２人目の素数さん [2019/03/07(木) 14:55:29.91 ID:8UJbn5Oi.net]: >>937
＞で、正則公理使ったらやれるよと書いんだよね、私は
数学が分からないスレ主でもwikipedia↓くらい読めるだろ？ｗ
＞その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ZF公理系と他のいくつかの命題が独立であることを証明する際にその効果を発揮する。
これ、スレ主の主張「正則公理使ったら構成できる」と真逆じゃんｗ
1028 名前：１３２人目の素数さん [2019/03/07(木) 15:05:05.51 ID:8UJbn5Oi.net]: 未だ分からん?
スレ主の主張「正則性公理を使ったら構成できる」
は明らかに
「正則性公理を使わなかったら構成できない」
を意図しており、ということは「正則性公理はZF公理系を拡張する」はずだよなｗ
それはwikipediaの主張「正則性の公理は必ずしもZF公理系を拡張するために必要なものではない」
と真っ向矛盾するｗ

まあ、このようなディベートが不服なら、証明を自分で読めばいいだけ、そこらじゅうに転がってるんだからｗ
読めなかったとしたら自分の学力のせいだから自業自得ｗ
1029 名前：１３２人目の素数さん [2019/03/07(木) 15:11:48.46 ID:okrkfgAs.net]: お前らがスレ主にわかるように優しく噛み砕いて説明するという方法もあるぞ
1030 名前：１３２人目の素数さん [2019/03/07(木) 15:13:02.58 ID:8UJbn5Oi.net]: >>937
＞言えるというなら、証明頼むよ（＾＾
証明はそこら中に転がってるよｗ
別に特殊な論文を取り寄せないといけないなんてことは無いｗ
但しスレ主の学力で読めるかは保証の限りでないｗ
1031 名前：１３２人目の素数さん [2019/03/07(木) 15:13:48.40 ID:8UJbn5Oi.net]: >>941
反例　時枝証明ｗ
1032 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 15:15:10.37 ID:BYoawKw5.net]: そもそも数学、数学的証明というのはスレ主の様な口が達者なだけの分からず屋、詭弁家を黙らせる道具として、古代ギリシアが発明したものなのだがw
1033 名前：１３２人目の素数さん [2019/03/07(木) 15:17:17.22 ID:okrkfgAs.net]: >>943
お前らが十分に優しく噛み砕けてない可能性が払拭できない以上反例にはならないだろ

>>944
つまり数学はその発明の目的を達成できなかったのか
1034 名前：１３２人目の素数さん [2019/03/07(木) 15:18:10.41 ID:8UJbn5Oi.net]: 皆が寄ってたかって3年間も指導したのにスレ主は一歩も理解に近づかなかった。
俺たちは学んだ。「バカも度を越えると矯正しようが無い」ってことを。
1035 名前：１３２人目の素数さん [2019/03/07(木) 15:25:06.85 ID:SmjIbxyE.net]: >>929
>どの公理からペアノの５番目の公理が導けるか

自然数の定義

定義から出てくることを集合論の公理とは言わない

スレ主はそんなこともわからん白痴か？
1036 名前：１３２人目の素数さん [2019/03/07(木) 15:26:30.30 ID:8UJbn5Oi.net]: スレ主は啓蒙書的なものだけ読んで理解しようとするから間違うｗ
証明そのものを読めばいいんだよ。
まあ学力が追い付かないんだろうが、人の指導を聞く耳持たないスレ主は自力で学力つけるしか無い。全て自業自得。
1037 名前：１３２人目の素数さん [2019/03/07(木) 15:28:42.93 ID:SmjIbxyE.net]: >>937
>「自然数の整列性自然数の任意の空でない部分集合は最小元をもつ」
>を、正則性公理を使わずに、他のZFだけで言えるのか？

言える

自然数はその定義から整楚
スレ主が定義を知らずに馬鹿なこと口走ってるだけ
正則性定理は必要ない
1038 名前：１３２人目の素数さん [2019/03/07(木) 15:34:16.90 ID:SmjIbxyE.net]: >>940
>スレ主の主張「正則性公理を使ったら構成できる」
>は明らかに「正則性公理を使わなかったら構成できない」
>を意図しており

そうだな。だからそれは誤りだといっている

ZFA（ZFから正則性公理を取り除き、正則でない集合の存在を認める公理を追加したもの）
でも自然数は構成できるし、それらが整楚であることも、その整列性も示せる
つまり、「全ての集合が整楚である」という性質は必要ない

スレ主は思考が嫌いだから、不必要に強い性質を使いたがる悪癖がある
しかし、それは数学の健全な発展を阻害する
思考が嫌いなヤツは学問は無理だから、数学板から去れ！
1039 名前：１３２人目の素数さん [2019/03/07(木) 15:38:25.95 ID:SmjIbxyE.net]: >>945
>>数学、数学的証明というのは
>>口が達者なだけの分からず屋、詭弁家を黙らせる道具として、
>>古代ギリシアが発明したものなのだが
>数学はその発明の目的を達成できなかったのか

スレ主は論理が理解できない人間失格の畜生だから仕方ない

数学的証明を理解できるのは人間だけ　虫ケラのスレ主には到底無理ｗ
1040 名前：１３２人目の素数さん [2019/03/07(木) 15:40:43.11 ID:okrkfgAs.net]: >>951
虫ケラにレスつけるなんてガイジそのものじゃんお前
なんでそんな無駄なことしてんの？
1041 名前：１３２人目の素数さん [2019/03/07(木) 15:49:24.52 ID:8UJbn5Oi.net]: N := 0 を含むあらゆる帰納的集合の共通部分
より、
0 := {}∈N
が言え、
∀n∈N に対して、n∈/{}
だから、Nは整楚である。
1042 名前：１３２人目の素数さん [2019/03/07(木) 16:32:25.52 ID:SmjIbxyE.net]: >>952
おまえ、スレ主だろｗ
今度は、正則性公理が必要、とか弁護しないのか？
1043 名前：１３２人目の素数さん [2019/03/07(木) 16:32:26.06 ID:8UJbn5Oi.net]: ＞N := 0 を含むあらゆる帰納的集合の共通部分
ちなみに「0を含む帰納的集合」の存在は無限公理により保証される。
スレ主は「数学的帰納法成立には無限公理が必要」とでもカマせばよかったんだよｗ
それなら「当たり前だろ？」と言われることはあっても「間違えんなバカ」と言われることは無かったｗ
1044 名前：１３２人目の素数さん [2019/03/07(木) 16:48:52.45 ID:8UJbn5Oi.net]: しかし酷いもんだな。
スレ主は数学的帰納法も選択公理も正則性公理も分かっていなかった。
分からないなら黙ってればいいのになんで天下に赤っ恥を晒したがるのか、そこが謎であるｗ
1045 名前：１３２人目の素数さん [2019/03/07(木) 16:57:53.81 ID:okrkfgAs.net]: >>954
また混同するの？
1046 名前：１３２人目の素数さん [2019/03/07(木) 17:14:34.40 ID:SmjIbxyE.net]: >>956
スレ主は
「帰納法が公理でないなら、
　集合論の公理から導かれなければならない」
という狂った思い込みがある

実際は自然数やら順序数やらの定義に基づく推論なんで
集合論の公理がどうこうとかいうことではないのだが
スレ主は馬鹿のくせに自分が賢いと自惚れる悪癖があるから
自分の誤りを決して認められない

正真正銘の負け犬なんだな
1047 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 17:49:16.25 ID:XFOY0rap.net]: >>934
>空集合はZFにおいて「原子」みたいなもの

確かに
それはそうかもね（＾＾
1048 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 17:52:11.03 ID:XFOY0rap.net]: >>937

これ書いた人が、どんなレベルの人かは、知らないが
”定理 8 (自然数の正則性).ω に属する x について、x not ∈ x。
(注: これは正則性の公理を使えばすぐにわかることであるが、この記事では正則性の公理について説明しないので、代わりに数学的帰納法を用いて証明する。
数学的帰納法が機能すること自体が正則性の公理に依存しているので、本来ならば数学的帰納法を使わずに直接正則性の公理を使うべきである。)”
だってよ（＾＾
https://unaguna.jp/article/archives/15#theorem_basis_n
U-naguna
(抜粋)
集合論の言葉による自然数の表現

定理 8 (自然数の正則性).ω に属する x について、x not ∈ x。
(注: これは正則性の公理を使えばすぐにわかることであるが、この記事では正則性の公理について説明しないので、代わりに数学的帰納法を用いて証明する。
数学的帰納法が機能すること自体が正則性の公理に依存しているので、本来ならば数学的帰納法を使わずに直接正則性の公理を使うべきである。)

(証明)　
x について数学的帰納法を用いる。
まず 0 not ∈ 0 は明らか。
次に x not ∈ x とする。このとき x∪{x}∈x∪{x} とすると矛盾することを示す。
この仮定より
x∪{x}∈x か x∪{x}=x
のいずれかが成立する。
前者の場合は自然数の推移性と x∈x∪{x} より x∈x となって数学的帰納法の仮定に矛盾する。
後者の場合は x∈x∪{x} より x∈x となってやはり数学的帰納法の仮定に矛盾する。
いずれにしても矛盾するので x∪{x} not ∈ x∪{x}。
(引用終わり)

つづく
1049 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 17:53:09.23 ID:XFOY0rap.net]: >>960

つづき

自然数が、全順序関係を持つことを証明しているのだが
背理法「正則性の公理に矛盾」って書いてあるよ（＾＾
https://unaguna.jp/article/archives/27
U-naguna
(抜粋)
13.全順序関係

定義 2 (自然数の大小関係).

定理 3.上で定義した関係 R は全順序関係である。
(証明)　全順序関係の定義に則って確かめる。まず a=<a を示す。a=a より、a=<a。
次に a=<b, b=<c から a=<c を導く。a=<b より a∈b と a=b のいずれかが成立し、b=<c より c∈d と c=d のいずれかが成立する。もし a=b, b=c であれば a=c であるので a=<c。
もし a=b, b∈c であれば a∈c であるので a=<c。もし a∈b, b=c であれば a∈c であるので a=<c。
もし a∈b, b∈c であれば自然数の推移性より a∈c であるので a=<c。

次に a=<b, b=<a
1050 名前：から a=b を背理法で導く。 a≠b とすると a=<b, b=<a より a∈b, b∈a (注: この時点で正則性の公理に矛盾しているがこの記事シリーズでは正則性の公理を詳しく説明していないので、正則性の公理に依存する別の定理を使う)。 このとき自然数の推移性より a∈a であるが、これは自然数の正則性に矛盾する。したがって a=b。 最後に a=<b, b=<a のいずれかが成立することを a についての数学的帰納法で示す。 まず命題より 0∈b と 0=b のいずれかが成立するので 0=<b。 次に固定された a について a=<b, b=<a のいずれかが成立すると仮定する。 このとき a=b, b∈a, a∈b のいずれかが成立している。もし a=b なら a∈a∪{a} より b∈a∪{a} であるので b=<a∪{a}。 もし b∈a なら a∈a∪{a} と自然数の推移性より b∈a∪{a} であるので b=<a∪{a}。もし a∈b であるなら、命題より a∪{a}=<b。 以上よりいずれにしても a∪{a}=<b, b=<a∪{a} のいずれかが成立する。 (引用終わり) 以上 []: [ここ壊れてます]
1051 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 17:58:21.76 ID:XFOY0rap.net]: >>961 追加

下記の証明で
「実数Rの部分集合として下に有界です」のところは、（任意の部分集合に対する）正則性公理を使っていると思うがどう？（＾＾
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1194834851
(抜粋)
anj********さん2012/9/2903:18:07 yahoo 知恵袋
あなたは自然数の集合Nが整列集合であることを証明できますか？

ベストアンサーに選ばれた回答
tok********さん 2012/10/512:00:09
はい。実際に証明してみます。

まず整列集合の定義から。
整列集合Sとは、整列順序、
すなわちS上の全順序関係「＜'」であって、Sの空でない任意の部分集合が必ず＜'に関する最小元をもつもの、
を備えた集合のことをいいます。

つまり、自然数の集合Nに整列順序＜'を定義できればいいわけです。
自然数の場合、通常の順序「=<」が整列順序となります。
以下でこれを証明します。

まず「=<」が全順序、すなわち任意の自然数a,bに対し、
a=<bまたはb=<aが必ず成り立ち、両方が成り立つならばa=b、
であるということは明らかです。

次に、Nの空でない任意の部分集合Xが必ず=<に関する最小元をもつ
ということを示します。

Xは0未満の元を持たないので、
実数Rの部分集合として下に有界です。
従って実数の性質から、Xは実数R上に下限infXが存在します。
さて、infXを中心とした開区間(infX-1/2,infX+1/2)を考えると、
この区間の内部に自然数は高々1個しか存在しません。
また、下限の定義より、この区間内にXの元が存在します。
よって、(infX-1/2,infX+1/2)∩X={x}を満たすx∈Xがあります。
infX≠xならば、上の開区間上にx以外のXの元があることになり矛盾。
よってinfX=xとなり、xはXの最小元。
ゆえに任意のNの部分集合Xに最小元が存在することが示せました。

以上でNが=<を整列順序とする整列集合であることが証明できました。
(引用終わり)
1052 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 18:01:44.14 ID:XFOY0rap.net]: >>961 補足
>最後に a=<b, b=<a のいずれかが成立することを a についての数学的帰納法で示す。

　「数学的帰納法で示す」ってところも、アウトだね
∵数学的帰納法と自然数が整列集合であることは、公理として同値だからね（＾＾；
1053 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 18:06:00.05 ID:XFOY0rap.net]: >>957
パトロール隊長、どうもありがとう
そいつは、キチガイサイコパスだから、適当にあしらっておきな
まともに相手する必要なし！（＾＾；
1054 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 18:14:24.67 ID:XFOY0rap.net]: >>961 補足

念のため、全順序の定義下記な
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合
(抜粋)
目次
1 定義
1.1 前順序・半順序・全順序

定義
全順序集合、半順序集合、およびこれらよりさらに弱い概念である前順序集合の定義を述べる為にまず以下の性質を考える。
ここで P は集合であり、「=<」を P 上で定義された二項関係とする。

・反射律：P の任意の元 a に対し、a =< a が成り立つ。
・推移律：P の任意の元 a, b, c に対し、a =< b かつ b =< c ならば a =< c が成り立つ。
・反対称律：P の任意の元 a, b に対し、a =< b かつ b =< a ならば a = b が成り立つ。
・全順序律：P の任意の元 a, b に対し、a =< b または b =< a が成り立つ。

「=<」が全順序律を満たさない場合、「a =< b」でも「b =< a」でもないケースがある。このようなケースにあるとき a と b は比較不能 (incomparable) であるという。

前順序・半順序・全順序
P を
1055 名前：集合とし、=< を P 上で定義された二項関係とする。 ・=< が反射律と推移律を満たすとき、=< を P 上の前順序（英語版）という。 ・=< が前順序でありさらに反対称律を満たすとき、=< を P 上の半順序という。 ・=< が半順序でありさらに全順序律を満たすとき、=< を P 上の全順序という。 =< が前順序であるとき (P, =<) を前順序集合という。 同様に =< が半順序なら (P, =<) は半順序集合、全順序なら (P, =<) は全順序集合という。 また集合 P は (P, =<) の台集合 (underlying set) あるいは台 (support) と呼ばれる。 紛れがなければ =< を省略し、P の事を（いずれかの意味で）順序集合という。 (引用終わり) []: [ここ壊れてます]
1056 名前：１３２人目の素数さん mailto:sage [2019/03/07(木) 18:18:39.27 ID:ZWzKVcJS.net]: 全くもうスレ主は理解出来ないから、要約が出来ない。
丸写しの引用しか出来ないんだろうな。
1057 名前：１３２人目の素数さん [2019/03/07(木) 18:28:48.96 ID:8UJbn5Oi.net]: >>960 >>961 >>962 >>963 >>965
だからなに？
1058 名前：１３２人目の素数さん [2019/03/07(木) 18:33:05.06 ID:SmjIbxyE.net]: >>960
＞数学的帰納法が機能すること自体が正則性の公理に依存しているので、
＞本来ならば数学的帰納法を使わずに直接正則性の公理を使うべきである。

これ誤り

数学的帰納法が成立することは、自然数が整礎であることに依存している
これは正則性の公理より真に弱い条件である
1059 名前：１３２人目の素数さん [2019/03/07(木) 18:37:32.91 ID:SmjIbxyE.net]: >>966
スレ主はそもそも論理が分かってない
だから丸ごと引用の馬鹿丸出しなことしかできない
中身は彼自身全然理解できてないんだろう

数学する意味がない　スレ主の人生は無意味
1060 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 20:25:00.09 ID:c0bwFOdp.net]: >>969
ぐだぐだ言っても、証明無ければ、それ数学じゃないよね
落ちこぼれさん（＾＾；
ピエロちゃん、あんたの負けだなｗ（＾＾
1061 名前：１３２人目の素数さん [2019/03/07(木) 20:37:42.44 ID:8UJbn5Oi.net]: >>970
間違い連発のお前が「あんたの負けだなｷﾘｯ」ってｗ
お前面の皮の厚さなら超一流だなｗ
1062 名前：１３２人目の素数さん [2019/03/07(木) 20:39:22.00 ID:8UJbn5Oi.net]: スレ主よ、辞書で調べてごらん、「厚顔無恥」ってｗ
1063 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 20:41:17.36 ID:c0bwFOdp.net]: 複数ＩＤ使い分けてんのか
ご苦労だね
1064 名前：１３２人目の素数さん [2019/03/07(木) 20:48:37.41 ID:SmjIbxyE.net]: >>970
証明の必要がないと認識できない時点で
スレ主には数学を学ぶ能力がない

死ね　畜生
1065 名前：１３２人目の素数さん [2019/03/07(木) 20:49:37.66 ID:SmjIbxyE.net]: スレ主は馬鹿のくせに自惚れが強い

生きる価値もない畜生　死ね
1066 名前：１３２人目の素数さん [2019/03/07(木) 20:55:53.42 ID:8UJbn5Oi.net]: >>973
それお前ｗ　バレてないと思ってた？ｗ
自分の悪癖が他人にもあると疑う気持ちは分からないでもないが　っぷ
1067 名前：１３２人目の素数さん [2019/03/07(木) 21:00:25.10 ID:SmjIbxyE.net]: >>973
他人はお前ほど卑劣な嘘つきじゃない
死ね　サイコパス！
1068 名前：１３２人目の素数さん [2019/03/07(木) 21:00:30.68 ID:8UJbn5Oi.net]: スレ主は以前自分で自分をアホバカと言ってたよな？
なのになんでそんなに上から目線なん？
バカならバカなりに教えを乞うたらええやん
仕方ないやん、バカなんだから
1069 名前：１３２人目の素数さん [2019/03/07(木) 21:04:52.32 ID:SmjIbxyE.net]: >>978
＞なんでそんなに上から目線なん？
スレ主は自惚れがないと生きていけないチキンなんだろ

負け犬の証拠　勝者は自惚れない
1070 名前：１３２人目の素数さん [2019/03/07(木) 21:06:13.31 ID:8UJbn5Oi.net]: >>973
スレ主が自演してるのなんて皆とっくに気付いてるんだよｗ
気付いてて心の中でｸｽｸｽ笑ってるだけｗ
なのに自分から言ってどうするｗ　ホントバカだねｗ
1071 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 21:43:36.86 ID:c0bwFOdp.net]: >>915
よくぞ、フォン・ノイマンの正則性公理につっかかってくれましたね（＾＾
今度は完全にこちらが一本取ったぜ（＾＾；

(>>921-922より)
じゃ、ＺＦで、正則性公理抜きで、ペアノ公理を導いてみなよｗ（＾＾；
(引用終り)

証明まだぁ～ｗ（＾＾

（>>930より）
・おれは、あんたの証明は信用できないので、典拠を要求します。証明できるなら、当然すでにだれかがやっていると思うから。典拠をよろしく
(引用終り)

がんばれ、サイコパスピエロ～！ｗ（＾＾

サイコパスのいじりネタができたな～（＾＾
1072 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 21:47:53.34 ID:c0bwFOdp.net]: 次スレもしばらく、ＺＦＣネタで遊べそうだな～ｗ（＾＾
1073 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 22:30:16.19 ID:c0bwFOdp.net]: 次スレ立てました（＾＾

現代数学の系譜工学物理雑談古典ガロア理論も読む62
https://ri
1074 名前：o2016.5ch.net/test/read.cgi/math/1551963737/ []: [ここ壊れてます]
1075 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 22:30:44.95 ID:c0bwFOdp.net]: まあ、ここは適当に埋めますかね（＾＾
1076 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/07(木) 23:04:53.86 ID:c0bwFOdp.net]: みんな、新スレへ
ここは、適当に埋めますから
おっと、サイコパスは残って、ＺＦからペアノ公理を導く証明を考えなさい（＾＾
1077 名前：１３２人目の素数さん [2019/03/08(金) 06:19:16.33 ID:ULwq4qbD.net]: >>981
>今度は完全にこちらが一本取ったぜ

馬鹿丸出し

>ＺＦからペアノ公理を導く証明

自然数の定義から「ペアノの公理」は導かれる
ＺＦは自然数論と違って、自然数以外の対象もあるから
自然数論における「ペアノの公理」がそのまま
集合論の公理になるわけではない　馬鹿はそこに気づけない
1078 名前：１３２人目の素数さん mailto:sage [2019/03/08(金) 13:10:18.12 ID:ULwq4qbD.net]: スレ主はZFではNが正則でないモデルがあると思ってるのか

アホか？ｗ
1079 名前：１３２人目の素数さん mailto:sage [2019/03/08(金) 14:34:23.63 ID:nHTjj5G+.net]: Nのモデルを
…∈ 10 ∈9 ∈8 ∈7 ∈6 ∈5 ∈4 ∈3 ∈2 ∈1 ∈0
となるように作ろう！
1080 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/08(金) 18:10:07.75 ID:HVq5OYm0.net]: >>988
そうそう、それ正しい（＾＾
1081 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 07:25:00.08 ID:0l/16VXN.net]: >>989
バカが嘘と正しいと喚いてるな

フチノ氏もいってるように

α∈β≣α＜β

向きを逆にすればいいとか
馬鹿丸出しなこといってんじゃねえ
この白痴が！
1082 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 08:46:39.46 ID:Z3LA7nbb.net]: >>990
この件についてはお前さんもスレ主と同類。
てか、この馬鹿さはスレ主の自演かw
Nの順序が順序数のそれと一致する必要は微塵も無い。
通常はその方が便利で自然だからそうしてるだけだ。
ノイマンの構成は自然数を順序数の特殊な物ωとして扱うわけだが。
1083 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 08:56:03.88 ID:67PyZOMf.net]: 空集合が0にならない自然数の構成って何だかなぁ。
1084 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 11:44:33.47 ID:xZO8oSCy.net]: >>990
左から書くか、右から書くかの違いだけ
1085 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 12:28:10.89 ID:0l/16VXN.net]: >>991
＞Nの順序が順序数のそれと一致する必要は微塵も無い。

わかってないね

∈をつかって順序を定義したとしても
正則性公理は必要ない、といってるんだよ
1086 名前：１３２人目の素数さん [2019/03/09(土) 12:38:41.63 ID:WVYUnpng.net]: お？場外バトルか？
1087 名前：１３２人目の素数さん mailto:sage [2019/03/09(土) 14:19:30.55 ID:bzfw3jZD.net]: >>994
それは正しい。
1088 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2019/03/10(日) 11:27:14.78 ID:rk/29Zdt.net]: 場外バトルか
こっちの方が、新スレよりレベル高そう（＾＾；
1089 名前：１３２人目の素数さん mailto:sage [2019/03/10(日) 17:35:47.19 ID:GIdC0pS8.net]: スレ主は自分の間違いも認められぬ弱虫
1090 名前：１３２人目の素数さん [2019/03/11(月) 01:44:14.42 ID:nNoBlF3v.net]: それ未だに俺をスレ主と混同して自演認定してるガイジにも言ってやれよ
1091 名前：１３２人目の素数さん [2019/03/11(月) 22:58:54.73 ID:9Zvgr2VT.net]: スレ主の自演癖は目に余る
バレてないと思ってるのがイタイ
1092 名前：１３２人目の素数さん [2019/03/11(月) 23:17:04.10 ID:nNoBlF3v.net]: >>1000
>>998
1093 名前：1001 [Over 1000 Thread.net]: このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 22日 1時間 4分 38秒
1094 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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