[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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に示しました）
82(1): 2019/10/05(土)17:32 ID:o3FGv8uB(4/4) AAS
それじゃ、おっちゃんもう寝る。
83(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)18:24 ID:JrhjRl4x(37/46) AAS
>>14
(引用開始)
冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
ここで、{Φ,{a}}から、{{a}}という集合を作ることができるということを認めることにしましょう
（注：{Φ,{a}}から、元Φを取り除くだけですけど（多分、分出公理を使う）
あるいは、 P({Φ,{a}})={Φ,{Φ},{{a}},{Φ,{a}}}としても、{{a}}は作ることができる ）
省22
84: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)18:24 ID:JrhjRl4x(38/46) AAS
>>83
つづき
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
注釈
2．^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。
省7
85: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)18:25 ID:JrhjRl4x(39/46) AAS
>>82
おっちゃん、どうも、ガロアスレのスレ主です。
おっちゃん、おやすみ（＾＾
86(1): 2019/10/05(土)18:35 ID:o3KPqddg(6/8) AAS
>>83
まだダメ。
wikiの下の方にちゃんと
‘冪集合をとる操作を超限的に繰り返したもの’
を数学的にどう定義するか述べられてるでしょ？
それと同じ事をやらなけりゃダメ。
87: 2019/10/05(土)19:11 ID:kZwmbLNI(35/44) AAS
>>77
＞空集合Φに冪集合の演算を超限回繰り返して得られる」
＞集合 {・・・{Φ}・・・}（{}が無限重になっている集合）
＞は存在します
嘘をいくら書かれても真実にはなりませんね
証明できますか？できませんよ
88: 2019/10/05(土)19:13 ID:kZwmbLNI(36/44) AAS
>>80
＞列
＞Φ＝0∈1∈2∈3・・・∈n・・・∈N
＞の長さが有限？
ええ
あなたがいつまでも「・・・∈N」と∈の左側を書かないから
自分の誤りに気づけないのです
省2
89: 2019/10/05(土)19:20 ID:kZwmbLNI(37/44) AAS
>>83
＞フォン・ノイマン宇宙の
＞「0に冪集合の演算を超限回繰り返して得られる集合」
＞を認める
＞空集合Φに、ω回冪集合の演算を繰り返した集合として、ω重集合
＞ω回P({・・・{Φ}・・・})={Φ,{・・・{Φ}・・・}}→{{・・・{Φ}・・・}}（ω重集合）
＞”{{・・・{Φ}・・・}}（ω重集合）”を定義します
省13
90: 2019/10/05(土)19:22 ID:kZwmbLNI(38/44) AAS
>>86
◆e.a0E5TtKE氏は
wikiのフォンノイマン宇宙の記述を読まずに
フォンノイマン宇宙に関する嘘をつき続けるとか
知的誠実さに著しく欠けていると言わざるを得ませんね
91(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)21:31 ID:JrhjRl4x(40/46) AAS
>>77
ツェルメロ構成
批判はされているけれど（＾＾
外部ﾘﾝｸ:plato.stanford.edu
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory
First published Tue Jul 2, 2013
省13
92(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)21:35 ID:JrhjRl4x(41/46) AAS
>>91 補足
”The natural numbers are represented by Zermelo as by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these.
Moreover, it seems that, since both the set of natural numbers and the power set axiom are available, there are enough sets to represent the rationals and the reals, functions on reals etc.
What are missing, though, are the details: how exactly does one represent the right equivalence classes, sequences etc.?”
ツェルメロ自然数構成
批判はされているけれど（＾＾
・by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these
省4
93(1): 2019/10/05(土)21:40 ID:bWNxCkT0(1) AAS
白痴くんに質問
{{…{}…}}（{}が無限重）
の最初に現れる}は（左から）何文字目ですか？
94(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)21:44 ID:JrhjRl4x(42/46) AAS
>>92 補足
”The natural numbers are represented by Zermelo as by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these.”
これで、無限集合ができるなら、{・・・{Φ}・・・}と無限多重の{}カッコが加わった集合が構成されうるってことですよ
それがなければ、有限集合にしかならんわな
だから、くどいけど、Stanford大 URL見ると Michael Hallett さんて方らしいが、ツェルメロ構成で実数まで到達できると言っているんだから
{・・・{Φ}・・・}と無限多重の{}カッコが加わった集合が構成されうるってことですよ（＾＾
95(3): 2019/10/05(土)21:51 ID:kZwmbLNI(39/44) AAS
>>91-92
英語読めませんか？
Infinity
This final axiom asserts the existence of an infinitely large set which contains the empty set, and for each set a that it contains, also contains the set {a}. (Thus, this infinite set must contain ∅, {∅}, {{∅}}, ….)
つまり>>29で述べたω’(＝{{},{{}},{{{}}},…})
∃ω’.{}∈ω’∧(∀x.x∈ω’⇒{x}∈ω’)
だといってます
省1
96(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)21:53 ID:JrhjRl4x(43/46) AAS
>>93
無限集合って定義というか公理なんだからさ、そういう質問は関係ないよね（＾＾
それ、同じ質問、ノイマン構成でも同じ質問できるよね？
ノイマン構成で無限集合ができました
それで小さい元を左に大きい元を右に並べて、一番右の数字は何か？答えられないならなに？ ノイマン構成の無限集合が存在できないとでも？ （＾＾；
97: 2019/10/05(土)21:56 ID:kZwmbLNI(40/44) AAS
ついでにいうと{{},{{}},{{{}}},…}の
左から順に元を削除していって、
最後の１個を残す、というやり方で
{・・・{Φ}・・・}を作ることはできません
なぜなら最後の１個が存在しないからです
98(1): 2019/10/05(土)21:58 ID:kZwmbLNI(41/44) AAS
>>96
＞小さい元を左に大きい元を右に並べて、一番右の数字は何か？答えられないならなに？
＞ノイマン構成の無限集合が存在できないとでも？
一番右の要素が存在しなくても集合として存在します
99(1): 2019/10/05(土)22:01 ID:kZwmbLNI(42/44) AAS
集合について要素の数を「横方向」、{}の深さを「縦方向」と呼ぶことにすると
横方向は可算無限だろうが、非可算無限だろうが、いくらでも広がりますが
縦方向は必ず有限です
上下前次1-新書関写板覧索設栞歴
あと 903 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s