[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
880
: 2020/06/08(月)16:41
ID:ZNiOPlY2(2/2)
AA×
>>878
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
880: [sage] 2020/06/08(月) 16:41:00.36 ID:ZNiOPlY2 >>878 (反例の非存在の証明) 「箱入り無数目」記事に従って、100列それぞれから1箱を選ぶ このうち、代表元と一致しない箱はたかだか1箱である なぜなら、自列の決定番号dが他の列の決定番号の最大値Dより 大きくなる列はたかだか1列しか存在しないからである もしd>Dとなる列が2列以上あるとすると di>dj かつ dj>diとなる 自然数di,djが存在することになるが これは自然数の全体が全順序集合であることと矛盾する 馬鹿は、自然数が全順序集合でないといいたいようだwww http://rio2016.5ch.net/test/read.cgi/math/1576852086/880
反例の非存在の証明 箱入り無数目記事に従って100列それぞれから1箱を選ぶ このうち代表元と一致しない箱はたかだか1箱である なぜなら自列の決定番号が他の列の決定番号の最大値より 大きくなる列はたかだか1列しか存在しないからである もしとなる列が列以上あるとすると かつ となる 自然数が存在することになるが これは自然数の全体が全順序集合であることと矛盾する 馬鹿は自然数が全順序集合でないといいたいようだ
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 122 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.029s