[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (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
上下前次1-新書関写板覧索設栞歴
あと 764 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s