[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
494
:
現代数学の系譜 雑談 ◆yH25M02vWFhP
01/21(火)18:05
ID:N2eH+PDU(5/6)
AA×
>>490
>>491
>>486
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/21(火) 18:05:43.61 ID:N2eH+PDU <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) >>490 >いわゆる選択公理を使えば整列できるよ >Rの任意の空でない部分集合からその要素を取りだす関数fの存在が選択公理から言えるから いま、選択公理→整列可能定理 の証明中で ”選択公理→整列可能定理”を 先取りしたら、まずいぜw ;p) >濃度Xの極限と 濃度2^Xの極限は一致する 意味不明陳述 濃度Xの極限? 濃度2^Xの極限? なんだ それ?ww ;p) >>491 > だから、任意の空でない部分集合の全体を集合族としてとるしかない > 集合族 A∖{aξ∣ξ<α}というのは、選択関数があるからできることであって 発狂してる?w ;p) 任意集合Xに対する 任意の空でない部分集合の全体 は、べき集合2^X\Φ (Φは 空集合、2^XはXのべき集合) で? 順序数 ξ∣ξ<α との対応付けを、事前にやれるだって? どうするの? 集合Xの べき集合2^X\Φ に、順序数 ξ∣ξ<α との対応付けを、事前にやれるってことは >>486に書いたけど、任意集合Xの要素についても 順序数 ξ∣ξ<α との対応付けが 出来ていることになるよ そしたら ”→整列可能定理”の部分は、そこで証明終わっているぞ ;p) (参考) ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88 冪集合 定義 集合 S が与えられたとき、S のすべての部分集合からなる集合 (注:空集合Φを含む) http://rio2016.5ch.net/test/read.cgi/math/1735693028/494
公開処刑 続く 上で実数は どこまで定義可能なのか?に向けて と あほ二人のアナグマの姿焼き に向けて いわゆる選択公理を使えば整列できるよ の任意の空でない部分集合からその要素を取りだす関数の存在が選択公理から言えるから いま選択公理整列可能定理 の証明中で 選択公理整列可能定理を 先取りしたらまずいぜ 濃度の極限と 濃度の極限は一致する 意味不明陳述 濃度の極限? 濃度の極限? なんだ それ? だから任意の空でない部分集合の全体を集合族としてとるしかない 集合族 というのは選択関数があるからできることであって 発狂してる? 任意集合に対する 任意の空でない部分集合の全体 はべき集合 は 空集合はのべき集合 で? 順序数 との対応付けを事前にやれるだって? どうするの? 集合の べき集合 に順序数 との対応付けを事前にやれるってことは に書いたけど任意集合の要素についても 順序数 との対応付けが 出来ていることになるよ そしたら 整列可能定理の部分はそこで証明終わっているぞ 参考 集合 定義 集合 が与えられたとき のすべての部分集合からなる集合 注空集合を含む
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 508 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.053s