[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
404(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)18:45 ID:yCcyDMub(5/12) AAS
>>310より再録と補足
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be
A, and let
省34
405(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)18:49 ID:yCcyDMub(6/12) AAS
>>404 タイポ訂正
f： A∖{aξ∣ξ<α} → A∖{aξ∣ξ<α} となる
↓
f： A∖{aξ∣ξ<α} → aα となる
406(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)18:58 ID:yCcyDMub(7/12) AAS
>>391-392
>ま、>>313-315を書いたのはわたしですが。
ご苦労さまでした
良い指摘でしたね （＾＾
>では、最初から部分族の濃度の選択公理でこと足りるかというと
>そうはいかないだろう、というちょっと不思議な話。
いやいや
省9
422(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)11:09 ID:RlRmaz0L(6/9) AAS
>>404 戻る
(引用開始)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
Let the set we are trying to well-order be A,
(in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α∣aα is defined}.
省30
574(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/24(金)18:01 ID:BCvEAUed(9/10) AAS
>>558 補足
(引用開始)
> それ、論点先取
> 問われてるのは、まさにある集合の濃度を持つかどうかだから
そうかも
いま、基礎論の教科書を書いているとする
そうすると、整列可能定理の証明前に、任意集合Aが なんらかの濃度を持つという
省40
583(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)09:00 ID:vKwDmbNO(2/11) AAS
>>580
うーん
(引用開始)
>>557 ID:knZwyXgJ さん
>>553
> いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう（ZFC内ではね）
それ、論点先取
省35
594(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)13:11 ID:vKwDmbNO(6/11) AAS
>>593
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>404より
海賊版サイトより （.pdf 正確なリンクは貼らない。著作権問題は 各人の責任でお願いいたします）
Set Theory
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.471s*