19/03/06 06:24:34.36 pk0FhySK.net
>>900
>フォン・ノイマンの正則性公理と数学的帰納法および超限帰納法との関係
またなんかおかしなことをいいだしたね
文章が読めない文盲は困ったものだね
1001:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 12:15:37.81 ct5wrn7i.net
ピエロちゃん、必死だな（＾＾
>>877-878は、なかなか良いアシストだったよ
それだけは認めるよ（＾＾
それだけ、ありがとう
1002:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 12:18:30.04 ct5wrn7i.net
ピエロちゃんも、数学的帰納法やペアノ公理と、ZFとの関係、あんまり分かってなかったみたいだね（＾＾
1003:１３２人目の素数さん
19/03/06 12:37:17.71 YORX/TVf.net
可算選択公理ってのがプロっぽいぜスレ主
1004:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 20:45:47.04 NUjaXEYj.net
>>918
どうも。スレ主です。
どなたか知らないが、レスありがとう
実は、「可算選択公理ってのがプロっぽい」かも知れないが
この手の話しはキライじゃない。結構うるさいんだ（＾＾
高校のときに、ゲーデルの不完全性定理の解説本を読んだりした
ブラウアーの直観主義（排中律を使わない）の話しとかも、読んでたり
もちろん、独学だから、知識に穴が空いているだろうし
基礎論を専攻している人には敵わないと思うけどね
高校からなんで、年季だけは入っているんだ
”選択公理”の話しも、耳タコでね。最初に聞いたのがいつだったか、思い出せない。多分、大学の集合論だったかも・・（＾＾
もちろん、大学の数学の集合論では、”選択公理”なんてほとんど、お話しだけで終わった
で、選択公理についての、なにか本は読んだ気がする。内容は忘れたがね、ネットで落としたＰＤＦとか読むと、「ああ、この話しは、どこかで読んだね」と思い出すこともあるんだよね（＾＾
1005:１３２人目の素数さん
19/03/06 20:52:44.45 pk0FhySK.net
スレ主は話だけで肝心の選択公理の式を読まないから何も学べない
正則性公理についても同様 同じ間違いを二度繰り替えすとか貴様は白痴か？
1006:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 21:00:28.46 NUjaXEYj.net
>>915
別に難しいことは言っていない
話しは単純で
ペアノの公理で、自然数の集合で
（>>867より）
自然数が整列集合＝数学的帰納法成立 （公理として同値）
とすれば、
ＺＦから、”自然数が、整列集合 or 数学的帰納法成立”が導けなければいけない
ＺＦだけでね
普通の高校や大学の集合論では、「数学的帰納法は、当然です」と、まあ公理にするか、触れずにすますか（触れても触れなくても似たようなものでしょうが）
それはともかくとして、触れてもせいぜ
1007:いペアノ公理くらいでお茶濁す で、ＺＦで、「自然数が整列集合＝数学的帰納法」 （公理として同値なので、どちらを導いても良いが） に直結するＺＦ中の公理が、フォン・ノイマンの正則性公理だよというだけのことです
1008:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 21:02:14.00 NUjaXEYj.net
>>920
じゃ、ＺＦで、正則性公理抜きで、ペアノ公理を導いてみなよｗ（＾＾；
1009:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 21:04:34.29 NUjaXEYj.net
>>920 追加
因みに、おれは>>902で、正則性公理使えば可能と書いたよｗ（＾＾
1010:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/06 21:07:26.48 NUjaXEYj.net
補足
正則性公理で、整礎的までが言えて、さらに自然数Ｎが全順序だと言わないといけないと思うけどね（＾＾
1011:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 00:44:01.21 c0bwFOdp.net
>>923
>因みに、おれは>>902で、正則性公理使えば可能と書いたよｗ（＾＾
自然数が整列集合であることは、正則性公理を使わなくても可能かもしれんね～ｗ（＾＾
選択公理が、有限の場合には、公理でなく、証明可能な定理だというが如し。（勿論、公理だから、有限の場合に、選択公理は（証明なしで）適用可能だが）
それと同様に、自然数が整列集合であることは、正則性公理なしで証明可能かも知れない
だが、正則公理を認めて、自然数が整礎的であることを前提として、あと、”全順序”だけを証明することにすれば、証明が短く話しは簡単でしょ?（＾＾
まあ、ともかく、正則性公理無しの証明たのむよ！（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
(抜粋)
整列順序付けられた集合または整列集合とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 とは、S 上の全順序関係 "<=" であって、S の空でない任意の部分集合が必ず <= に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, <=) を慣例に従ってしばしば単純に S で表す。
(引用終り)
関係ないけど、下記ご参考
URLﾘﾝｸ(fuchino.ddo.jp)
渕野 昌
URLﾘﾝｸ(fuchino.ddo.jp)
間違いと真理: 解析学と集合論の場合 渕野 昌 神戸大 2018
(抜粋)
このテキストは，数学セミナー 2018 年 9 月号に掲載された，同じタイトルの解説の拡張版です．
目 次
1.ライプニッツは間違っていたのか?
2.初等埋め込みと超準解析
3.完全性定理の超冪での置き換え
4.初等埋め込みと巨大基数
5.ラインハートは間違っていたのか?
参考文献
P5
ZFC の公理のうちの基礎の公理(正則性の公理と呼ばれることもある)
により，集合の全体のクラスはVα, α ∈ On の和と一致する9) ．
注）
8) On で順序数(超限順序数を含む) の全体を表わす．
9) すべての集合からなるクラスはV と表わされることが多いので，ここでの主張はV = ∪_α∈ On (Vα) と書ける．
(引用終り)
1012:１３２人目の素数さん
19/03/07 03:56:35.47 8UJbn5Oi.net
>>823
で？スレ主は数学的帰納法を使う時に選択公理でどこから何を選択するつもりなの？
1013:１３２人目の素数さん
19/03/07 06:10:29.32 SmjIbxyE.net
>>925
>正則公理を認めて、自然数が整礎的であることを前提として、
>あと、”全順序”だけを証明することにすれば、
>証明が短く話しは簡単でしょ?（＾＾
馬鹿丸出し
自然数の構成が整礎的なのだから、正則性公理は必要ない
0={} 整礎的！
1={}∪{{}}＝{{}} 整礎的！
2={{}}∪{{{}}}={{},{{}}} 整礎的！
・・・
頭オカシイのか？
1014:１３２人目の素数さん
19/03/07 06:13:29.21 SmjIbxyE.net
>>926
>基礎の公理(正則性の公理と呼ばれることもある) により，
>集合の全体のクラスはVα, α ∈ On の和と一致する
自然数が整礎的だというのに、集合全体が整礎的である必要はない
自然数が整列集合であるのに、集合全体が整列可能である必要が無いのと同じ
スレ主、貴様は二度同じ過ちを繰り返した
貴様が論理を全く理解してない証拠だ
貴様に数学は無理 諦めてここから出ていけ！
1015:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 07:28:59.71 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:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 07:33:50.71 c0bwFOdp.net
>>929 追加
(テンプレ>>19より)
いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
(引用終わり)
・おれは、あんたの証明は信用できないので、典拠を要求します。証明できるなら、当然すでにだれかがやっていると思うから。典拠をよろしく
がんばれ、サイコパスピエロ～！ｗ（＾＾
1018:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 07:40:23.88 c0bwFOdp.net
>>929 補足
(>>927より 引用開始)
自然数の構成が整礎的なのだから、正則性公理は必要ない
0={} 整礎的！
1={}∪{{}}＝{{}} 整礎的！
2={{}}∪{{{}}}={{},{{}}} 整礎的！
・・・
(引用終り)
これ、>>929のペアノの公理5を使っているでしょ？ｗ（＾＾
問題は、ペアノの公理5、つまり、数学的帰納法の原理＝自然数の整列性 （公理として同値）
を、ＺＦ公理系から導けって話しですよね。それも、正則性公理を使わずにね！
どうぞｗ（＾＾
おっと、出典さがしてね～（＾＾
自分で証明しなくていいからｗ（＾＾
がんばれ、サイコパスピエロ～！ｗ（＾＾
1019:１３２人目の素数さん
19/03/07 08:02:33.14 87m9j2n+.net
実数や自然数が内部構造を持つことに不安を感じたり、
不満を持つやつ結構多いよな。
特にトウシロウ。
ただでさえ頭が悪いのに、
数が原子的でないと思考に無駄なストレスがかかってパーが亢進するようだw
1020:１３２人目の素数さん
19/03/07 08:03:07.20 SmjIbxyE.net
>>931
＞>>929のペアノの公理5を使っているでしょ？
そりゃ誤解だな
Xが整礎的ならX∪{X}も整礎的だといってるだけ
つまり、ペアノの公理５は、
・{}(=0)が自然数である
・Xが自然数ならX∪{X}(=X+1)が自然数である
という自然数の定義から出てくる
これ基本
わからんならスレ主は白痴
1021:１３２人目の素数さん
19/03/07 08:09:50.08 oH+GC9gq.net
元を持たない唯一の集合、空集合はZFにおいて「原子」みたいなものか。
純粋なZFに原子なんて無いのだが。
1022:１３２人目の素数さん
19/03/07 14:28:47.41 8UJbn5Oi.net
>>922
定義されたNがペアノ公理を満たす証明なんて普通にありふれているから、
正則性公理など不要であることを自分自身で確認しなさい。
まあスレ主が確認するまでもなくwikipediaには
＞その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではない
って書いてあるけどなｗ
1023:１３２人目の素数さん
19/03/07 14:32:00.15 8UJbn5Oi.net
数学的帰納法の原理の証明も分からないバカに数学は無理だから諦めなさい。
もう数学板には書き込まないでね。
1024:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 14:45:21.04 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:１３２人目の素数さん
19/03/07 14:45:26.16 BYoawKw5.net
スレ主には数学に干渉する力、カオステラーの力が有るのだよ。
1027:１３２人目の素数さん
19/03/07 14:55:29.91 8UJbn5Oi.net
>>937
＞で、正則公理使ったらやれるよと書いんだよね、私は
数学が分からないスレ主でもwikipedia↓くらい読めるだろ？ｗ
＞その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ZF公理系と他のいくつかの命題が独立であることを証明する際にその効果を発揮する。
これ、スレ主の主張「正則公理使ったら構成できる」と真逆じゃんｗ
1028:１３２人目の素数さん
19/03/07 15:05:05.51 8UJbn5Oi.net
未だ分からん?
スレ主の主張「正則性公理を使ったら構成できる」
は明らかに
「正則性公理を使わなかったら構成できない」
を意図しており、ということは「正則性公理はZF公理系を拡張する」はずだよなｗ
それはwikipediaの主張「正則性の公理は必ずしもZF公理系を拡張するために必要なものではない」
と真っ向矛盾するｗ
まあ、このようなディベートが不服なら、証明を自分で読めばいいだけ、そこらじゅうに転がってるんだからｗ
読めなかったとしたら自分の学力のせいだから自業自得ｗ
1029:１３２人目の素数さん
19/03/07 15:11:48.46 okrkfgAs.net
お前らがスレ主にわかるように優しく噛み砕いて説明するという方法もあるぞ
1030:１３２人目の素数さん
19/03/07 15:13:02.58 8UJbn5Oi.net
>>937
＞言えるというなら、証明頼むよ（＾＾
証明はそこら中に転がってるよｗ
別に特殊な論文を取り寄せないといけないなんてことは無いｗ
但しスレ主の学力で読めるかは保証の限りでないｗ
1031:１３２人目の素数さん
19/03/07 15:13:48.40 8UJbn5Oi.net
>>941
反例 時枝証明ｗ
1032:１３２人目の素数さん
19/03/07 15:15:10.37 BYoawKw5.net
そもそも数学、数学的証明というのはスレ主の様な口が達者なだけの分からず屋、詭弁家を黙らせる道具として、古代ギリシアが発明したものなのだがw
1033:１３２人目の素数さん
19/03/07 15:17:17.22 okrkfgAs.net
>>943
お前らが十分に優しく噛み砕けてない可能性が払拭できない以上反例にはならないだろ
>>944
つまり数学はその発明の目的を達成できなかったのか
1034:１３２人目の素数さん
19/03/07 15:18:10.41 8UJbn5Oi.net
皆が寄ってたかって3年間も指導したのにスレ主は一歩も理解に近づかなかった。
俺たちは学んだ。「バカも度を越えると矯正しようが無い」ってことを。
1035:１３２人目の素数さん
19/03/07 15:25:06.85 SmjIbxyE.net
>>929
>どの公理からペアノの５番目の公理が導けるか
自然数の定義
定義から出てくることを集合論の公理とは言わない
スレ主はそんなこともわからん白痴か？
1036:１３２人目の素数さん
19/03/07 15:26:30.30 8UJbn5Oi.net
スレ主は啓蒙書的なものだけ読んで理解しようとするから間違うｗ
証明そのものを読めばいいんだよ。
まあ学力が追い付かないんだろうが、人の指導を聞く耳持たないスレ主は自力で学力つけるしか無い。全て自業自得。
1037:１３２人目の素数さん
19/03/07 15:28:42.93 SmjIbxyE.net
>>937
>「自然数の整列性 自然数の任意の空でない部分集合は最小元をもつ」
>を、正則性公理を使わずに、他のZFだけで言えるのか？
言える
自然数はその定義から整楚
スレ主が定義を知らずに馬鹿なこと口走ってるだけ
正則性定理は必要ない
1038:１３２人目の素数さん
19/03/07 15:34:16.90 SmjIbxyE.net
>>940
>スレ主の主張「正則性公理を使ったら構成できる」
>は明らかに 「正則性公理を使わなかったら構成できない」
>を意図しており
そうだな。だからそれは誤りだといっている
ZFA（ZFから正則性公理を取り除き、正則でない集合の存在を認める公理を追加したもの）
でも自然数は構成できるし、それらが整楚であることも、その整列性も示せる
つまり、「全ての集合が整楚である」という性質は必要ない
スレ主は思考が嫌いだから、不必要に強い性質を使いたがる悪癖がある
しかし、それは数学の健全な発展を阻害する
思考が嫌いなヤツは学問は無理だから、数学板から去れ！
1039:１３２人目の素数さん
19/03/07 15:38:25.95 SmjIbxyE.net
>>945
>>数学、数学的証明というのは
>>口が達者なだけの分からず屋、詭弁家を黙らせる道具として、
>>古代ギリシアが発明したものなのだが
>数学はその発明の目的を達成できなかったのか
スレ主は論理が理解できない人間失格の畜生だから仕方ない
数学的証明を理解できるのは人間だけ 虫ケラのスレ主には到底無理ｗ
1040:１３２人目の素数さん
19/03/07 15:40:43.11 okrkfgAs.net
>>951
虫ケラにレスつけるなんてガイジそのものじゃんお前
なんでそんな無駄なことしてんの？
1041:１３２人目の素数さん
19/03/07 15:49:24.52 8UJbn5Oi.net
N := 0 を含むあらゆる帰納的集合の共通部分
より、
0 := {}∈N
が言え、
∀n∈N に対して、n∈/{}
だから、Nは整楚である。
1042:１３２人目の素数さん
19/03/07 16:32:25.52 SmjIbxyE.net
>>952
おまえ、スレ主だろｗ
今度は、正則性公理が必要、とか弁護しないのか？
1043:１３２人目の素数さん
19/03/07 16:32:26.06 8UJbn5Oi.net
＞N := 0 を含むあらゆる帰納的集合の共通部分
ちなみに「0を含む帰納的集合」の存在は無限公理により保証される。
スレ主は「数学的帰納法成立には無限公理が必要」とでもカマせばよかったんだよｗ
それなら「当たり前だろ？」と言われることはあっても「間違えんなバカ」と言われることは無かったｗ
1044:１３２人目の素数さん
19/03/07 16:48:52.45 8UJbn5Oi.net
しかし酷いもんだな。
スレ主は数学的帰納法も選択公理も正則性公理も分かっていなかった。
分からないなら黙ってればいいのになんで天下に赤っ恥を晒したがるのか、そこが謎であるｗ
1045:１３２人目の素数さん
19/03/07 16:57:53.81 okrkfgAs.net
>>954
また混同するの？
1046:１３２人目の素数さん
19/03/07 17:14:34.40 SmjIbxyE.net
>>956
スレ主は
「帰納法が公理でないなら、
集合論の公理から導かれなければならない」
という狂った思い込みがある
実際は自然数やら順序数やらの定義に基づく推論なんで
集合論の公理がどうこうとかいうことではないのだが
スレ主は馬鹿のくせに自分が賢いと自惚れる悪癖があるから
自分の誤りを決して認められない
正真正銘の負け犬なんだな
1047:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 17:49:16.25 XFOY0rap.net
>>934
>空集合はZFにおいて「原子」みたいなもの
確かに
それはそうかもね（＾＾
1048:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 17:52:11.03 XFOY0rap.net
>>937
これ書いた人が、どんなレベルの人かは、知らないが
”定理 8 (自然数の正則性).ω に属する x について、x not ∈ x。
(注: これは正則性の公理を使えばすぐにわかることであるが、この記事では正則性の公理について説明しないので、代わりに数学的帰納法を用いて証明する。
数学的帰納法が機能すること自体が正則性の公理に依存しているので、本来ならば数学的帰納法を使わずに直接正則性の公理を使うべきである。)”
だってよ （＾＾
URLﾘﾝｸ(unaguna.jp)
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:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 17:53:09.23 XFOY0rap.net
>>960
つづき
自然数が、全順序関係を持つことを証明しているのだが
背理法「正則性の公理に矛盾」って書いてあるよ（＾＾
URLﾘﾝｸ(unaguna.jp)
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:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 17:58:21.76 XFOY0rap.net
>>961 追加
下記の証明で
「実数Rの部分集合として下に有界です」のところは、（任意の部分集合に対する）正則性公理を使っていると思うがどう？（＾＾
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
(抜粋)
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:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 18:01:44.14 XFOY0rap.net
>>961 補足
>最後に a=<b, b=<a のいずれかが成立することを a についての数学的帰納法で示す。
「数学的帰納法で示す」ってところも、アウトだね
∵数学的帰納法と自然数が整列集合であることは、公理として同値だからね（＾＾；
1053:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 18:06:00.05 XFOY0rap.net
>>957
パトロール隊長、どうもありがとう
そいつは、キチガイ サイコパスだから、適当にあしらっておきな
まともに相手する必要なし！（＾＾；
1054:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 18:14:24.67 XFOY0rap.net
>>961 補足
念のため、全順序の定義下記な
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
(抜粋)
目次
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:１３２人目の素数さん
19/03/07 18:18:39.27 ZWzKVcJS.net
全くもうスレ主は理解出来ないから、要約が出来ない。
丸写しの引用しか出来ないんだろうな。
1057:１３２人目の素数さん
19/03/07 18:28:48.96 8UJbn5Oi.net
>>960 >>961 >>962 >>963 >>965
だからなに？
1058:１３２人目の素数さん
19/03/07 18:33:05.06 SmjIbxyE.net
>>960
＞数学的帰納法が機能すること自体が正則性の公理に依存しているので、
＞本来ならば数学的帰納法を使わずに直接正則性の公理を使うべきである。
これ誤り
数学的帰納法が成立することは、自然数が整礎であることに依存している
これは正則性の公理より真に弱い条件である
1059:１３２人目の素数さん
19/03/07 18:37:32.91 SmjIbxyE.net
>>966
スレ主はそもそも論理が分かってない
だから丸ごと引用の馬鹿丸出しなことしかできない
中身は彼自身全然理解できてないんだろう
数学する意味がない スレ主の人生は無意味
1060:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 20:25:00.09 c0bwFOdp.net
>>969
ぐだぐだ言っても、証明無ければ、それ数学じゃないよね
落ちこぼれさん（＾＾；
ピエロちゃん、あんたの負けだなｗ（＾＾
1061:１３２人目の素数さん
19/03/07 20:37:42.44 8UJbn5Oi.net
>>970
間違い連発のお前が「あんたの負けだな ｷﾘｯ」ってｗ
お前面の皮の厚さなら超一流だなｗ
1062:１３２人目の素数さん
19/03/07 20:39:22.00 8UJbn5Oi.net
スレ主よ、辞書で調べてごらん、「厚顔無恥」ってｗ
1063:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 20:41:17.36 c0bwFOdp.net
複数ＩＤ使い分けてんのか
ご苦労だね
1064:１３２人目の素数さん
19/03/07 20:48:37.41 SmjIbxyE.net
>>970
証明の必要がないと認識できない時点で
スレ主には数学を学ぶ能力がない
死ね 畜生
1065:１３２人目の素数さん
19/03/07 20:49:37.66 SmjIbxyE.net
スレ主は馬鹿のくせに自惚れが強い
生きる価値もない畜生 死ね
1066:１３２人目の素数さん
19/03/07 20:55:53.42 8UJbn5Oi.net
>>973
それお前ｗ バレてないと思ってた？ｗ
自分の悪癖が他人にもあると疑う気持ちは分からないでもないが っぷ
1067:１３２人目の素数さん
19/03/07 21:00:25.10 SmjIbxyE.net
>>973
他人はお前ほど卑劣な嘘つきじゃない
死ね サイコパス！
1068:１３２人目の素数さん
19/03/07 21:00:30.68 8UJbn5Oi.net
スレ主は以前自分で自分をアホバカと言ってたよな？
なのになんでそんなに上から目線なん？
バカならバカなりに教えを乞うたらええやん
仕方ないやん、バカなんだから
1069:１３２人目の素数さん
19/03/07 21:04:52.32 SmjIbxyE.net
>>978
＞なんでそんなに上から目線なん？
スレ主は自惚れがないと生きていけないチキンなんだろ
負け犬の証拠 勝者は自惚れない
1070:１３２人目の素数さん
19/03/07 21:06:13.31 8UJbn5Oi.net
>>973
スレ主が自演してるのなんて皆とっくに気付いてるんだよｗ
気付いてて心の中でｸｽｸｽ笑ってるだけｗ
なのに自分から言ってどうするｗ ホントバカだねｗ
1071:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 21:43:36.86 c0bwFOdp.net
>>915
よくぞ、フォン・ノイマンの正則性公理につっかかってくれましたね（＾＾
今度は完全にこちらが一本取ったぜ（＾＾；
(>>921-922より)
じゃ、ＺＦで、正則性公理抜きで、ペアノ公理を導いてみなよｗ（＾＾；
(引用終り)
証明まだぁ～ｗ（＾＾
（>>930より）
・おれは、あんたの証明は信用できないので、典拠を要求します。証明できるなら、当然すでにだれかがやっていると思うから。典拠をよろしく
(引用終り)
がんばれ、サイコパスピエロ～！ｗ（＾＾
サイコパスのいじりネタができたな～（＾＾
1072:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 21:47:53.34 c0bwFOdp.net
次スレもしばらく、ＺＦＣネタで遊べそうだな～ｗ（＾＾
1073:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 22:30:16.19 c0bwFOdp.net
次スレ立てました（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62
URLﾘﾝｸ(ri)
1074:o2016.5ch.net/test/read.cgi/math/1551963737/
1075:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 22:30:44.95 c0bwFOdp.net
まあ、ここは適当に埋めますかね（＾＾
1076:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/07 23:04:53.86 c0bwFOdp.net
みんな、新スレへ
ここは、適当に埋めますから
おっと、サイコパスは残って、ＺＦからペアノ公理を導く証明を考えなさい（＾＾
1077:１３２人目の素数さん
19/03/08 06:19:16.33 ULwq4qbD.net
>>981
>今度は完全にこちらが一本取ったぜ
馬鹿丸出し
>ＺＦからペアノ公理を導く証明
自然数の定義から「ペアノの公理」は導かれる
ＺＦは自然数論と違って、自然数以外の対象もあるから
自然数論における「ペアノの公理」がそのまま
集合論の公理になるわけではない 馬鹿はそこに気づけない
1078:１３２人目の素数さん
19/03/08 13:10:18.12 ULwq4qbD.net
スレ主はZFではNが正則でないモデルがあると思ってるのか
アホか？ｗ
1079:１３２人目の素数さん
19/03/08 14:34:23.63 nHTjj5G+.net
Nのモデルを
…∈ 10 ∈9 ∈8 ∈7 ∈6 ∈5 ∈4 ∈3 ∈2 ∈1 ∈0
となるように作ろう！
1080:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/08 18:10:07.75 HVq5OYm0.net
>>988
そうそう、それ正しい（＾＾
1081:１３２人目の素数さん
19/03/09 07:25:00.08 0l/16VXN.net
>>989
バカが嘘と正しいと喚いてるな
フチノ氏もいってるように
α∈β≣α＜β
向きを逆にすればいいとか
馬鹿丸出しなこといってんじゃねえ
この白痴が！
1082:１３２人目の素数さん
19/03/09 08:46:39.46 Z3LA7nbb.net
>>990
この件についてはお前さんもスレ主と同類。
てか、この馬鹿さはスレ主の自演かw
Nの順序が順序数のそれと一致する必要は微塵も無い。
通常はその方が便利で自然だからそうしてるだけだ。
ノイマンの構成は自然数を順序数の特殊な物ωとして扱うわけだが。
1083:１３２人目の素数さん
19/03/09 08:56:03.88 67PyZOMf.net
空集合が0にならない自然数の構成って何だかなぁ。
1084:１３２人目の素数さん
19/03/09 11:44:33.47 xZO8oSCy.net
>>990
左から書くか、右から書くかの違いだけ
1085:１３２人目の素数さん
19/03/09 12:28:10.89 0l/16VXN.net
>>991
＞Nの順序が順序数のそれと一致する必要は微塵も無い。
わかってないね
∈をつかって順序を定義したとしても
正則性公理は必要ない、といってるんだよ
1086:１３２人目の素数さん
19/03/09 12:38:41.63 WVYUnpng.net
お？場外バトルか？
1087:１３２人目の素数さん
19/03/09 14:19:30.55 bzfw3jZD.net
>>994
それは正しい。
1088:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/10 11:27:14.78 rk/29Zdt.net
場外バトルか
こっちの方が、新スレよりレベル高そう（＾＾；
1089:１３２人目の素数さん
19/03/10 17:35:47.19 GIdC0pS8.net
スレ主は自分の間違いも認められぬ弱虫
1090:１３２人目の素数さん
19/03/11 01:44:14.42 nNoBlF3v.net
それ未だに俺をスレ主と混同して自演認定してるガイジにも言ってやれよ
1091:１３２人目の素数さん
19/03/11 22:58:54.73 9Zvgr2VT.net
スレ主の自演癖は目に余る
バレてないと思ってるのがイタイ
1092:１３２人目の素数さん
19/03/11 23:17:04.10 nNoBlF3v.net
>>1000
>>998
1093:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 22日 1時間 4分 38秒
1094:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています