[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
775
(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)09:08 ID:BvQtIPz4(2/5) AAS
>>763-764
>限り無く∞に近いが決して∞では無い 有限数

いいね。その考えは、
コンパクト化という考えだね

1)数学セミナー  2019年12月号に記事がある
2)拡張実数を考え、∞を導入すると、実数をコンパクト化できる
3)1/∞=0と定めることができる
省25
776: 2019/12/15(日)09:27 ID:PRdnkv5o(5/16) AAS
>>775
>7)ノイマンの自然数構成で、ωが構成できた

次者関数S(x)=x∪{x}だけではできないよ

無限公理
{}∈ω∧(x∈ω⇒x∪{x}∈ω)
を認めることではじめて構成できる

>8)この無限長の列は、当然正則性公理には反しない
省13
777: 2019/12/15(日)10:33 ID:pulS0MYz(1/6) AAS
>>775
ω→∞→1/∞≒ほぼ0=特異点。。。?

結局やっぱり ω≒∞ キャン玉なんですね♪

   心のキャン玉は∞!!!
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}} = { {}, {{}} }
省31
842
(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/17(火)10:33 ID:MhI4YabZ(1/4) AAS
>>820
>正負の無限大。。。? 

下記な
「別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。」

>>775より)
外部リンク[html]:www.nippyo.co.jp
数学セミナー 2019年12月号
省13
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s