[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (802ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2019/10/05(土)09:57 ID:JrhjRl4x(1/46) AAS
関連スレ
１）現代数学はインチキのデパート
2chｽﾚ:math
直接には、ここの28からの続き
２） １）の前スレ
現代数学はインチキだらけ
2chｽﾚ:math
省3
2: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:00 ID:JrhjRl4x(2/46) AAS
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
3(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:01 ID:JrhjRl4x(3/46) AAS
スレを移すと、先に書いたことへのリンクが面倒になるが、まあ、やむなしですね（＾＾
4(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:05 ID:JrhjRl4x(4/46) AAS
さて、>>1に関連した議論の続きです
現代数学はインチキのデパート より
2chｽﾚ:math
どうも、ガロアスレのスレ主です（＾＾
昨日のID:4Fu/lmU2さん（>>21）と
今日のID:kZwmbLNIさん（>>25）と
が、同一人物かどうか？ それが分からない
省17
5: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:09 ID:JrhjRl4x(5/46) AAS
>>4 補足
ああ、
（>>3より）などのリンクは、
元のスレの現代数学はインチキのデパートのものです
今後も、そういう類いがあると思いますが、
おかしなリンクと思ったときは、元のスレの「現代数学はインチキのデパート」
2chｽﾚ:math
省1
6(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:16 ID:JrhjRl4x(6/46) AAS
>>4
つづき
１）の論点の
「正則性公理(>>16)は、無限下降列である x∋x1∋x2∋・・・ を禁止する
が、無限上昇列を禁止するものではない」
について
ノイマン構成の∈の2項関係の列
省16
7(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:22 ID:JrhjRl4x(7/46) AAS
>>6
つづき
まず、タイポ訂正
そして、無限上昇列が出来たら、それを逆に辿る、無限下降列でしょ
↓
そして、無限上昇列が出来たら、それを逆に辿ると、無限下降列でしょ
分かると思うが（＾＾
省19
8(1): 2019/10/05(土)10:31 ID:kZwmbLNI(1/44) AAS
1様、スレ立て ご苦労様です
ところで私は昨日のID:4Fu/lmU2氏とは別人です
私は「ガロアスレ」には書いたことはありません
なお、宜しければHNを変更していただけますでしょうか？
このスレッドはガロアスレではありませんので
「古典ガロア理論も読む」は削除してほしいのです
省1
9(3): 2019/10/05(土)10:44 ID:kZwmbLNI(2/44) AAS
>>4
＞１）正則性公理は、無限下降列である x∋x1∋x2∋・・・ を禁止する
＞ （が、無限上昇列を禁止するものではない）
ええ
＞なお、無限上昇列から、ノイマン構成により自然数N＝ωの構成が認められる
いいえ
無限上昇列だけでは、ノイマン構成によるN=ωの存在は云えません
省13
10(1): 2019/10/05(土)10:54 ID:kZwmbLNI(3/44) AAS
>>6
＞ノイマン構成の∈の2項関係の列
＞0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N＝ω
＞これは、正則性公理には反しない
>>9でも述べたとおり、「∈N」の左側に要素ｍを記入した列
0∈1∈2∈3∈・・・∈n∈n+1・・・m∈N＝ω （ｍは自然数）
は、正則性公理に反しません。
省18
11(3): 2019/10/05(土)10:58 ID:o3KPqddg(1/8) AAS
ますそもそもω使うのやめてよ。
この議論では必然的に通常の数学のωと、今話題のωが両方出てきてどっちの話してんのかわけわかめになる。
12(1): 2019/10/05(土)10:59 ID:kZwmbLNI(4/44) AAS
>>7
＞「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、
＞ あるいは超限回繰り返して得られる集合全体のクラス」
＞という存在を認めることにしましょう
上記を認めても、1の言われる
{{…{}…}}（{}が無限重）
がフォン・ノイマン宇宙に入っていないので
省1
13(1): 2019/10/05(土)11:02 ID:kZwmbLNI(5/44) AAS
>>11
ごもっともです。
今後ωは、無限公理で存在が認められる集合
{{},{{}},{{},{{}}},…}
を表すこととしましょう。
{{…{}…}}（{}が無限重）
については、1が主張していることなので
省1
14(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)11:03 ID:JrhjRl4x(8/46) AAS
>>7
つづき
>「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
>という存在を認めることにしましょう
さて、この前提で
下記より、冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
省23
15: 2019/10/05(土)11:04 ID:kZwmbLNI(6/44) AAS
>>13への付記
なお、>>9-10は、無限公理のωについて述べているので問題ないでしょう
16(2): 2019/10/05(土)11:12 ID:kZwmbLNI(7/44) AAS
>>14
＞フォン・ノイマン宇宙の
＞「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」
＞を認めると、空集合Φ={}に、ω回冪集合の演算を繰り返して
＞ツェルメロ構成で、集合 {{…{}…}}（{}の多重無限）が、出来ました
出来ません
Vωのことなら、その要素は遺伝的有限集合になりますが、すべて{}は有限重です
省8
17(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)11:12 ID:JrhjRl4x(9/46) AAS
>>8
ID:kZwmbLNIさん、どうも
お付き合い頂きありがとうございます（＾＾
「古典ガロア理論も読む」は削除、雑談は残しました
あなたくらいまともなレベルで議論できる人が、いまの５CH数学板には居なくなりましたね（＾＾
よろしくお願い致します
なお、繰返しますが、適度にやりましょう
省5
18(8): 2019/10/05(土)11:14 ID:o3KPqddg(2/8) AAS
一部修正して再掲
ーωの定義ー
順序対<x,y>の定義
∀z <x,y>:⇔z=x ∨ (∀w w∈z ⇔ w=x ∨ w=y)
関数の定義
f:x→y:⇔∀z ∀a∈x ∃!b∈y <a,b>∈f
関数が単射の定義
省14
19(1): 2019/10/05(土)11:16 ID:kZwmbLNI(8/44) AAS
ノイマン宇宙のV_ωには
{}、{{}}、{{{}}}、…
という{}の有限重の集合は全て存在する
しかし、{}の無限重の集合は存在しない
P(V_ω)=V_ω+1を作っても、その中には
{{}、{{}}、{{{}}}、…}
とかいう無限集合は存在するが
省1
20(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)11:18 ID:JrhjRl4x(10/46) AAS
>>11
>この議論では必然的に通常の数学のωと、今話題のωが両方出てきてどっちの話してんのかわけわかめになる。
私は、今話題のωと通常の数学のωとは、同じ意味で使っていますよ
>>12
＞ 上記を認めても、1の言われる
その「1の言われる」とかいう表現やめてもらえますかね？
「1の言われる」という表現は、いままでサル石しか使っていません
省3
21(1): 2019/10/05(土)11:22 ID:kZwmbLNI(9/44) AAS
>>18
＞{{…{}…}}（{}の多重無限）を現代数学での議論の範囲内で議論するつもりなら
＞現代数学でいうところの ‘well defined’ と呼べる定義を与えて下さい。
（注：原文で‘ツェルメロ構成のω’ とあるところを
{{…{}…}}（{}の多重無限）に置き換えました）
ごもっともです。
ただ、うまく書き表せるでしょうか？私には思いつきません
省1
22(1): 2019/10/05(土)11:30 ID:kZwmbLNI(10/44) AAS
>>20
＞私は、今話題のωと通常の数学のωとは、同じ意味で使っていますよ
それは認められませんね
あなたのいう集合は、無限公理の集合ωとは異なりますから、区別願います
＞その「1の言われる」とかいう表現やめてもらえますかね？
では、あなたが呼ばれたい名前を示してくださいますか
HNが長いので、そのままでは書きづらいのです
省2
23(3): 2019/10/05(土)11:33 ID:o3KPqddg(3/8) AAS
兎にも角にも数学の話したいなら数学の論理式で表された定義与えないと何にも始まんないでしょ？
数学の話したいの？
数学っぽい与太話ができればそれで満足なん？
24(2): 2019/10/05(土)11:35 ID:kZwmbLNI(11/44) AAS
>>22の追記
もし、あなた（◆e.a0E5TtKE 氏）が
{{…{}…}}（{}の多重無限）をωと呼びつづけるなら
誠意がないものとして、「議論」を打ち切ります
少なくとも呼び名の問題よりもはるかに本質的なことですから
25(2): 2019/10/05(土)11:41 ID:kZwmbLNI(12/44) AAS
>>23
{{…{}…}}（{}の多重無限）を数学の論理式で表そうとすると
ω(＝{{},{{}},{{},{{}}},…})や、ω’(＝{{},{{}},{{{}}},…})とは
根本的に異なる困難に突き当たることに気づけますね。
26(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)11:42 ID:JrhjRl4x(11/46) AAS
>>18
どうも、ガロアスレのスレ主です（＾＾
ああ、貴方が
現代数学はインチキのデパート
2chｽﾚ:math
のID:4Fu/lmU2さんだったか（＾＾
１）もし可能なら、前スレ21とか>>18の出典 手元のテキストでもなんでも良いですが
省10
27: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)11:49 ID:JrhjRl4x(12/46) AAS
>>23-25
>誠意がないものとして、「議論」を打ち切ります
ええ、結構ですよ
５CHでの「議論」には、それほど価値を置いていませんので
そもそも、お二人の数学の資格とレベルは？
それが、この数学板で証明できますか？
証明できないなら、どこのだれもと知れないですよね
省4
28(5): 2019/10/05(土)11:50 ID:yY/gQRZe(1/3) AAS
>>20
> 今話題のωと通常の数学のωとは、同じ意味で使っていますよ
{a}は記法上は{}をつけているだけだが意味はaを要素と持つ集合という意味
「通常の」ωは「全ての有限順序数(= 自然数)を要素に持つ集合」から定義される
「1の言う」ωは異なる定義なんでしょう？
つまりω = {?}と書くのなら何を要素に持っているの？ということを
書いてくれと他の人は言っているんですよ
省12
29(1): 2019/10/05(土)11:52 ID:kZwmbLNI(13/44) AAS
ω(＝{{},{{}},{{},{{}}},…})
∃ω.{}∈ω∧(∀x.x∈ω⇒x∪{x}∈ω)
ω’(＝{{},{{}},{{{}}},…})
∃ω’.{}∈ω’∧(∀x.x∈ω’⇒{x}∈ω’)
さて{{…{}…}}（{}の多重無限）はどう表せるのか？
そもそも、{}は上記の集合の要素か？ {{}}は？ {{{}}}は？
30(2): 2019/10/05(土)11:55 ID:o3KPqddg(4/8) AAS
>>26
出展もクソも>>18の内容は数学科なら最初の2,3ヶ月目までに絶対習う内容で(順序数は微妙だけど)まさに何にでも載ってるし誰でも知ってる話だけど。
しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？
あなた掲示板だからある程度はコンセンサスとれてるとして効率的に行こうといってる。
まさにそこは正論なんだけど、だからこそ理学部数学科では自分ではコッチの方がいいかなぁと思いつつもそこは世間一般で通用してる定義を採用する。
しかしもちろんどうしてもそうでないものを採用せざるを得ない場面はあるし、その場合には必ず数学的な定定義を与えてから議論を始めないと数学にならない。
あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。
省2
31(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:08 ID:JrhjRl4x(13/46) AAS
>>19
(引用開始)
ノイマン宇宙のV_ωには
{}、{{}}、{{{}}}、…
という{}の有限重の集合は全て存在する
しかし、{}の無限重の集合は存在しない
(引用終り)
省20
32(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:11 ID:JrhjRl4x(14/46) AAS
>>28
>つまりω = {?}と書くのなら何を要素に持っているの？ということを
>書いてくれと他の人は言っているんですよ
そうあせらないで（＾＾
そのうち、しばらくすれば、分かってきますから
定義も、準備が必要なんです（＾＾
33(1): 2019/10/05(土)12:20 ID:kZwmbLNI(14/44) AAS
>>28
＞(1)有限集合をただ1つ要素に持つのならば
＞ω = {ある1つの有限集合} : 順序数は有限
＞(2)無限集合をただ1つ要素に持つのならば
＞ω = {ある1つの無限集合} : 順序数はω+1以上
：の後の「順序数は…」はどういう意味？
34(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:20 ID:JrhjRl4x(15/46) AAS
>>30
どうも、ありがとう
>しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな？
あなたは、なかなか誠実な人ですね
よく分かりました
>あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。
>論理式を用いて正確に定義してください。
省11
35(1): 2019/10/05(土)12:23 ID:kZwmbLNI(15/44) AAS
>>30
＞あなたのω（{{…{}…}}（{}の多重無限））を仮にΩと書くなら、
＞このΩは数学の世界では全くコンセンサスは取れてません。
少なくとも、ZFCにおける集合ではないですね
◆e.a0E5TtKE氏は{{…{}…}}（{}の多重無限）を
別の記号であらわすことを拒否したので、
我々が決めましょう Ωとあらわすことでもいいですか？
36(1): 2019/10/05(土)12:34 ID:kZwmbLNI(16/44) AAS
>>31
＞公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる
「Vωでは」と書いているので、
フォンノイマン宇宙の定義を読んで確認しましょう
確認なしの「感想」は無意味ですから
フォン・ノイマン宇宙
外部ﾘﾝｸ:ja.wikipedia.org
省18
37(2): 2019/10/05(土)12:35 ID:o3KPqddg(5/8) AAS
>>35
では頑張って定義見つけて下さい。
面白そうな定義が見つかればまた拝見します。
38: 2019/10/05(土)12:37 ID:kZwmbLNI(17/44) AAS
>>31
＞ノイマンの自然数構成N＝ω
＞0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N＝ω
相変わらず「 ∈N」の左側を・・・と書いていますが
そういうことをしている限り、あなたは間違いに気づけませんよ
ｍ∈N で、ｍは自然数です
したがって
省2
39: 2019/10/05(土)12:46 ID:kZwmbLNI(18/44) AAS
>>34
＞{・・{}・・}と、多重かつ可算無限（厳密には最小のω）に{}が重なった集合
＞が存在しうるかどうか？私は、存在しうると考えています
１．「存在しうる」が「ZFCで証明できる」の意味なら、
ZFCでの証明を示しましょう。
２．「存在しうる」が「ZFCと矛盾しない」の意味なら
最低でも上記の証明の存在を示す公理となる論理式を示しましょう
省7
40: 2019/10/05(土)12:51 ID:kZwmbLNI(19/44) AAS
>>37
はっきりいって、いい定義が見つかるなら
とっくに数学者が見つけて研究しているでしょうね
「要素が分からない」というのは、決して横道ではなく本質ですよね
Ω＝{・・{}・・}で、
{}∈Ωでない
{{}}∈Ωでない
省5
41: 2019/10/05(土)12:55 ID:kZwmbLNI(20/44) AAS
>>32
＞定義も、準備が必要なんです
>>34
＞そうあせらないで
ろくに定義もせずに、あせって
{{…{}…}}（{}の多重無限）
と書いたのは◆e.a0E5TtKEさん、あなたです
省3
42(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)14:02 ID:JrhjRl4x(16/46) AAS
>>6
(引用開始)
ID:kZwmbLNIさん
現代数学はインチキのデパート
2chｽﾚ:math
(抜粋)
ｍ∈Nで、ｍは自然数であるなら
省37
43(2): ID:1lEWVa2s 2019/10/05(土)14:03 ID:nXP5HvWD(1) AAS
そっ閉じ
44: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)14:05 ID:JrhjRl4x(17/46) AAS
>>37
ID:o3KPqddgさん、どうも
>では頑張って定義見つけて下さい。
>面白そうな定義が見つかればまた拝見します。
そうそう
しばし、ご猶予を
また、お願いします（＾＾
45: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)14:07 ID:JrhjRl4x(18/46) AAS
>>43
閉集合、開集合、位相空間ですか？(゜ロ゜;
46(1): 2019/10/05(土)14:19 ID:kZwmbLNI(21/44) AAS
>>43
>あなたの上記証明は、「ωは、極限点」という性質を反映していませんね
ええ
まず、位相は考えていません 集合論ですから
次に、極限順序数というのは、そもそもωが最初ですが
ωは無限公理によってはじめて定められるものです
ωには最大の要素というものはありません
省7
47: 2019/10/05(土)14:32 ID:kZwmbLNI(22/44) AAS
ツェルメロの自然数
0={},1={{}},2={{{}}},…
において
1の要素は0のみ
2の要素は1のみ
…
ｎの要素はｎ-1のみ
省14
48(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)14:48 ID:JrhjRl4x(19/46) AAS
>>31
さて、
「自然数 ノイマン構成の集合Nから、{・・・{Φ}・・・}（{}はω重）なる集合が取り出せる」話（＾＾
・自然数
ノイマン構成
0：Φ
1：{Φ｝
省37
49(2): 2019/10/05(土)14:57 ID:kZwmbLNI(23/44) AAS
>>48
＞ω：N＝{Φ,{Φ},{Φ,{Φ}},・・・}→{・・・{Φ}・・・}（一番右以外のΦを除くことを繰返す。{}はω重）
◆e.a0E5TtKEさん、あなたの躓いた石を見つけましたよ
N={Φ,{Φ},{Φ,{Φ}},・・・}に一番右の要素は存在しません
したがって、そのやり方では
{・・・{Φ}・・・}
はできません
省5
50(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:07 ID:JrhjRl4x(20/46) AAS
>>46
＞反駁するなら集合論の中でやってください
えーと、これなんかどうしょうか
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
順序数の大小関係
省16
51(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:11 ID:JrhjRl4x(21/46) AAS
>>49
>◆e.a0E5TtKEさん、あなたの躓いた石を見つけましたよ
>N={Φ,{Φ},{Φ,{Φ}},・・・}に一番右の要素は存在しません
いえいえ
極限ですよ
有限の
n：{Φ,{Φ},{Φ,{Φ}},・・}→{・・{Φ}・・}（一番右以外のΦを除くことを繰返す。{}はn重）
省3
52(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:17 ID:JrhjRl4x(22/46) AAS
>>42
補足します
閉区間[0,1]内の数列
0=1-1/1,1-1/2,1-1/3,・・,1-1/n,・・
を考えます。n→∞で、1-1/n→1に収束します。そして、[0,1]の点1は、集積点です
１）nが任意の自然数では、数列は、半開区間[0,1 ）内です
２）nが自然数Nの全ての要素を渡りきって、ωに到達したときに、1-1/n→1に到達します
省1
53(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:26 ID:JrhjRl4x(23/46) AAS
>>4
（再録）
なお、議論の前提として、ある程度、標準的に認められている現代数学の成果
テキストや、ウェブサイトにある、現代数学の成果は認めるものとしましょう
（そうしないと、全てを公理からの構成や厳密な証明を求めるようなことをすると、余白が足りない（時間も足りない））
(引用終り)
これ思い出しておいてくださいね
省19
54(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:35 ID:JrhjRl4x(24/46) AAS
>>50 >>53
補足します
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
省14
55: 2019/10/05(土)15:37 ID:kZwmbLNI(24/44) AAS
>>51
＞＞>N={Φ,{Φ},{Φ,{Φ}},・・・}に一番右の要素は存在しません
＞いえいえ、極限ですよ
極限は、N自体であって、Nの要素の中にはありませんよ
無限公理の式
∃ω．{}∈ω∧∀x.x∈ω⇒x∪{x}∈ω
とくにx∈ω⇒x∪{x}∈ωのところ
省4
56(3): 2019/10/05(土)15:40 ID:o3FGv8uB(1/4) AAS
おっちゃんです。
>>52
>いえいえ
>極限ですよ
>
>有限の
>n：{Φ,{Φ},{Φ,{Φ}},・・}→{・・{Φ}・・}（一番右以外のΦを除くことを繰返す。{}はn重）
省6
57(1): 2019/10/05(土)15:40 ID:kZwmbLNI(25/44) AAS
>>53
＞議論の前提として、ある程度、標準的に認められている
＞現代数学の成果は認めるものとしましょう
あなたは無限公理の式を読みましたか？理解しましたか？
わたしにはとてもそうは思えません
もし一度でも読んで理解したなら
「ωの一番右の元」なんて存在しないものを
省3
58: 2019/10/05(土)15:45 ID:o3FGv8uB(2/4) AAS
>>51
>>56の訂正：極限は極限は → 極限は
>>56は>>51宛て。
まあ、どっちもスレ主だが。
59: 2019/10/05(土)15:46 ID:kZwmbLNI(26/44) AAS
>>53
＞外部ﾘﾝｸ:ja.wikipedia.org
＞極限順序数
”極限順序数は他にもいろいろなやり方で定義できる”のところで
引用するならまずここでしょう。読みましたか？
・最大元を持たない非零順序数。
「最大元を持たない」と書かれていますね
省5
60(1): 2019/10/05(土)15:53 ID:kZwmbLNI(27/44) AAS
>>54
＞最小の超限順序数 ωから、下の有限順序数ｎの世界へ行くのに
＞無限上昇列を逆に辿れば、無限に降下する列になる
いつまで、その嘘を書き続けるおつもりですか？
まず
0,1,2,…
という無限列にはωは現れません
省19
61(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:58 ID:JrhjRl4x(25/46) AAS
>>54 追加
さて
・正則性公理では、「無限下降列である x∋x1∋x2∋・・・ は存在しない」と規定するが
・順序数では、「順序数からなる空でない集合には必ず最小元が存在する」
一方
「0, 1, 2, 3, ............, ω」
「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
省24
62: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:58 ID:JrhjRl4x(26/46) AAS
>>61
つづき
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
順序数の大小関係に関して次が成り立つ：
5.順序数からなる空でない集合には必ず最小元が存在する。
省6
63(1): 2019/10/05(土)15:58 ID:kZwmbLNI(28/44) AAS
>>56
＞可算無限集合Nの存在性の保証はペアノの公理で済む。
これ、誤りですね
自然数全体の集合は可算無限集合ですから
そしてまさにその集合の存在を認めるのが無限公理
ペアノの公理は、集合論の公理ではなく自然数論の公理です
つまり自然数論では対象は自然数しかないのですが
省1
64: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:00 ID:JrhjRl4x(27/46) AAS
>>56
おっちゃん、どうも、スレ主です。
ようこそ
お元気そうでなによりです
65(1): 2019/10/05(土)16:02 ID:kZwmbLNI(29/44) AAS
>>61
＞一方
＞「0, 1, 2, 3, ............, ω」
＞「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
＞（ここでノイマン構成では
＞0∈1∈2∈ 3∈ ............∈ω となる順序が形成されている）
＞となる
省7
66: 2019/10/05(土)16:06 ID:kZwmbLNI(30/44) AAS
>>61
＞ 正則性公理の無限下降列には、最小元が存在しない
＞ 順序数の無限下降列には、最小元が存在する
あなたのいう「順序数の無限下降列」が
0∈1∈2∈ 3∈ ............∈ω
のことなら、そもそも無限下降列ではないので嘘です
通常であれば「誤り」というところですが、
省6
67: 2019/10/05(土)16:08 ID:o3FGv8uB(3/4) AAS
>>63
>ペアノの公理は、集合論の公理ではなく自然数論の公理です
テキストに書いてあると思うが、ペアノの公理は素朴集合論の公理だろ？
ペアノの公理で可算無限集合Nは構成出来る。
68(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:09 ID:JrhjRl4x(28/46) AAS
>>57 >>60
あなたが必死に否定しようとしている
無限に関する
{・・・{Φ}・・・}（{}はω重）
なる集合の存在に対する論法
まるで、哀れな素人さんの論法そっくりですよ
69: 2019/10/05(土)16:14 ID:kZwmbLNI(31/44) AAS
>>61
＞１）順序数の無限下降列には、最小元が存在するから、
＞ もともと、正則性公理には反していない
そもそもあなたのいう
0∈1∈2∈ 3∈ ............∈ω
は「∈ω」の左側の元を記載した瞬間、
有限列になるので、無限下降列にはなりません。
省16
70(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:20 ID:JrhjRl4x(29/46) AAS
>>65
>順序数の順序の列と∈列は異なります
ノイマン構成では、順序数の順序の列と∈列は一致するのでは？（＾＾
下記より
”集合 x について以下はZFで同値である。
・x は順序数である。
・x は推移的集合であり帰属関係 ∈ に関する整列集合である。 (ジョン・フォン・ノイマンの定義)[3][4]”
省21
71: 2019/10/05(土)16:22 ID:kZwmbLNI(32/44) AAS
>>68
HN「哀れな素人」氏の主張の全てが
誤っているわけではありませんよ
彼の主張で誤っているところがあるとすれば、それは
「無限集合が存在するならば矛盾する」という点でしょうか
（矛盾しない、と断言できるわけではないが、
少なくとも矛盾の証明がないのに矛盾するというのは誤り）
省12
72(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:23 ID:JrhjRl4x(30/46) AAS
分出公理、冪集合公理、無限公理、貼っておきます（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
(抜粋)
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。
分出公理 任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する：
省18
73: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:23 ID:JrhjRl4x(31/46) AAS
>>72
つづき
外部ﾘﾝｸ:ja.wikipedia.org
無限公理
(抜粋)
定義
ZF公理系における公式な定義は次の通りである。
省15
74(1): 2019/10/05(土)16:25 ID:kZwmbLNI(33/44) AAS
>>70
＞ノイマン構成では、順序数の順序の列と∈列は一致するのでは？
ωについていえば、一致しません
ｎ∈ω （ｎは自然数）しかいえませんから
あなたの主張は整礎性の否定であり、超限帰納法の否定です
つまり集合論の根幹を全面的に否定する暴挙です
75: ID:1lEWVa2s 2019/10/05(土)16:26 ID:ldsFcLYg(1) AAS
この話すると怖いから
76: 2019/10/05(土)16:31 ID:kZwmbLNI(34/44) AAS
>>70
＞一方、ツェルメロ構成では、(順序数の順序の列と∈列は)一致しない。
すでに、>>74にてノイマン構成でも、ωで一致しないと述べたので
不一致が問題ということではありません
問題は
「無限公理のωでは、ｎ∈ωはいえるが
あなたのいうΩでは、ｎ∈Ωがいえない」
省7
77(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:57 ID:JrhjRl4x(32/46) AAS
>>49
(引用開始)
＞つまり、ノイマン構成とツェルメロ構成とは、一対一に対応していますよ。当たり前ですが
自然数の範囲では一対一に対応しますが、
Nに対する{・・・{Φ}・・・}は存在しません
(引用終り)
あなたのやろうとしていること、そもそも無理ゲーですよ
省22
78(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)17:20 ID:JrhjRl4x(33/46) AAS
>>77
補足
”アレフ0 = ω は自然数全体の濃度であり、選択公理の下で最小の無限基数である．”
なんですよね
そして、アレフ0が、可算無限集合 自然数の濃度なんですよね
外部ﾘﾝｸ[pdf]:konn-san.com
集合論への招待＊
省9
79(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)17:26 ID:JrhjRl4x(34/46) AAS
>>78
追加
”・N の順序型を ω で表す．最小の無限順序数で，N そのものと同一視できる．”
だな
自然数ノイマン構成
Φ＝0∈1∈2∈3・・・∈n・・・∈N(＝有限の自然数の全てを含む最小の集合)＝ω（最小の極限順序数として）
ですよね
省8
80(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)17:27 ID:JrhjRl4x(35/46) AAS
>>79
追加
列
Φ＝0∈1∈2∈3・・・∈n・・・∈N
の長さが有限？
あなた
なんとかの素人さんですか？
81: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)17:29 ID:JrhjRl4x(36/46) AAS
>>77 タイポ訂正
３）冪集合を使って、{a}から{{a}}というカッコ{}を一つ集合を作ることができる（>>14に示しました）
↓
３）冪集合を使って、{a}から{{a}}というカッコ{}を一つ増やした集合を作ることができる（>>14に示しました）
上下前次1-新書関写板覧索設栞歴
あと 721 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s