現代数学の系譜 カントル 超限集合論他 3at MATH
現代数学の系譜 カントル 超限集合論他 3 - 暇つぶし2ch395:132人目の素数さん
21/11/19 12:03:23.80 ROqwSPWq.net
>>393
>結局、順序数xがシングルトンであらわせるのは
>xが後続順序数であるとき、そのときに限るのよ
だったら、シングルトンと呼ばなければいいだけのこと
>注)空集合{}は要素ないからシングルトンではない
意味を拡張すれば、いいだけ。”シングルトン”なんて、自然言語の命名にすぎない
{}を0シングルトン
{{}}を1シングルトン
{・・・{}・・・}={・・{Φ}・・}({}がn重)をnシングルトン
{・・・・{}・・・・}={・・・{Φ}・・・}({}がω重)をωシングルトン
とでも、命名すればいいだけのこと
ノイマン構成に戻る
N(=ω)={0,1,2・・n・・・}(全ての自然数を含む)として
{}を外せば、0,1,2・・n・・・ ができる
これは、整列集合だ
”n・・・”みたく、無限上昇列を、作ったんだ。ノイマンは
だから、時枝の無限個の箱>>345も可能です
□0,□1,□2・・□n・・・ となる(□nのように、箱に附番されている)
同様、カッコでもあり
}0,}1,}2・・}n・・・ とできる(}nのように、右カッコに附番されている)
鏡写しで、左カッコも同様にして。合わせると
・・・n{・・2{1{0{ }0}1}2・・}n・・・ とできる
"・・・"の部分は、ずっと無限に続く
そういうものをノイマンは導入したのだから、存在しないとか文句いうのがおかしい
そして
{・・・n{・・2{1{0{ }0}1}2・・}n・・・}が出来て
シングルトンと呼びたくなければ、呼ばなければいいだけのこと


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch