[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
770: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)07:39 ID:BvQtIPz4(1/5) AAS
>>769
ありがとう
ご苦労さま
775(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)09:08 ID:BvQtIPz4(2/5) AAS
>>763-764
＞限り無く∞に近いが決して∞では無い 有限数
いいね。その考えは、
コンパクト化という考えだね
1)数学セミナー 2019年12月号に記事がある
2)拡張実数を考え、∞を導入すると、実数をコンパクト化できる
3)1/∞＝0と定めることができる
4)「位相空間としては、実数直線は開区間 (0, 1) に同相である」（下記）
5)拡張実数で、
自然数：1 ,2 ,3 ,・・,n ,・・, ∞
逆数 ：1/1,1/2,1/3,・・,1/n,・・,1/∞＝0
6)順序数で考えると、全ての有限自然数の後のωに相当するのが∞
7)ノイマンの自然数構成で、ω（＝∞）が構成できた
8)この無限長の列は、当然正則性公理には反しない
9)同じ事が、Zermelo構成でできる。正則性公理には反しない!!
ＱＥＤ
（＾＾；
https://www.nippyo.co.jp/shop/magazine/8170.html
数学セミナー 2019年12月号
コンパクト／有限と無限の橋渡し 薄葉季路 22
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡張実数は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
無限大は、（通常の）実数ではない。
省9
783(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:03 ID:BvQtIPz4(3/5) AAS
>>775 補足
(>>725より)
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々
(>>728より)
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
(>>690より)
１．無限公理を適用して、全ての後者関数を含む無限集合の存在を認める
２．そうすると、無限集合はできるが
このままでは、過剰な後者を含んでいる
欲しいのは、ジャスト自然数の集合N
３．従って、自然数集合Nには不要な、過剰な後者を取り除きます
で、<ノイマン構成>で自然数集合Nができる
N：＝{0,1,2・・n・・} （全ての有限の自然数nを集めたもの）
当然、要素の全ての有限の自然数nは、後者関数により生成されている
上昇列：0,1,2・・n・・
これは、可算無限長だが、整礎であり、正則性公理には反しない
省13
784(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:10 ID:BvQtIPz4(4/5) AAS
>>779
どうも、レスありがとう
＞知らない１/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
うん、高校では、「∞は数じゃない」とかいうんだよね。教育的観点から
１/∞＝0 は、可なんだけど
１/0 ＝∞ は、不可なんだ
で、大学入試対策上、
「１/0 ＝∞ は、不可」を強調しておく必要がある
ゼロ（0）の割り算を避けるように場合分けが必要な問題が出題されたりするからね
省2
794(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20 ID:BvQtIPz4(5/5) AAS
>>783 補足
(>>420より)
<Zermelo構成>
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。
空集合を 0 と定義する。
0:=Φ ={}
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
(>>783より)
<Zermelo構成>
0,1,2,3,・・・たちを集合として見たら
(可算無限長の)上昇列：0∈1∈2∈3∈4∈…
が構成される
上昇列は、正則性公理には反しない（>>783）
シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s