[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
82(4): 04/22(火)09:47 ID:kLLE5N21(1/2) AAS
>>75
(引用開始)
>>ツェルメロの順序数で、順序の性質を満たす二項関係Ｒを定義してみせなくちゃ話にならない
> ある集合Aから 任意の順で元を取り出して 並べて それを 整礎な全順序とすることができる by 整列可能定理
> 整列可能定理の正体は、選択公理の化身です。つまり、公理だ。
> これが、二項関係Ｒの定義についての答えです。
> 整列可能定理を使えばできるよと
省26
85(3): ●●女子大数学科１年 04/22(火)10:21 ID:2aFpo5FF(5/5) AAS
>>82
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
> ↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すればRについての 推移性 は、矛盾なく定義できる
>by 整列可能定理
三行目「かように…」はウソね 置換するだけでは推移性は定義できない
省7
91: 04/23(水)03:05 ID:46VexLHs(1/11) AAS
>>82
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
> ↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すれば
>Rについての 推移性 は、矛盾なく定義できる by 整列可能定理
それがバカだと言われてるのに聞く耳持たないからヒトになれないサル
92(4): 04/23(水)07:23 ID:LnSdWTTF(1) AAS
>>85
(引用開始)
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
> ↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すればRについての 推移性 は、矛盾なく定義できる
>by 整列可能定理
省22
94(1): 04/23(水)10:29 ID:46VexLHs(2/11) AAS
>>92
>１）”自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる”とある
> 上記”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、ツェルメロの順序数の構成>>82 だから、整列であることは 整列原理の通り
ツェルメロの自然数な。ツェルメロの自然数は順序数ではない。用語の定義を知らずに用語使うなバカ。
> 別に、”（選択公理に同値な）整列可能定理”によるとしてもよい
だからそれがバカだと何度言われるんだよ。いいかげん勉強しろ。
>２）”任意の集合が整列順序付け可能であること”は、整列可能定理で保証されている（選択公理を認めれば）
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s