[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
752(1): 01/28(火)18:32 ID:SFFxcmct(21/28) AAS
>>749
>だから、濃度でなく 整列順序の長さ つまりは 順序数との対応を考えるから
>添え字の大きさ の方が正解です
だから長さはsup{α|aα is defined}だと何度言えば分るの？
そもそもfの定義域P(A)-{{}}の元に添え字付けなんて要らない。なんで使ってもいない添え字が要ると思うの？ 馬鹿なの？
>下記の 尾畑研 東北大 の１〜１６章を全部百回音読してね
何回音読しても君の持論が正しくなることは無い。
753(1): 01/28(火)18:33 ID:SFFxcmct(22/28) AAS
> >>739より
>Aが可算⇔全単射f:N→Aが存在する。
>∀n,m∈N.n<m⇔f(n)<f(m) によって(A,<)を定義したとき、
>∀B⊂A.f(minf^(-1)(B))=min<B∈B だから、Aは整列集合。
>(引用終り)
>なるほど、その証明は 成り立っているようだが（Nを順序数の一部と見れば Jechの証明と同じかな）
ぜんぜん違うけどｗ
Jechの証明は選択公理を使っている。>>739は使っていない。天と地ほど違う。馬鹿なの？
>そもそも、”Aが可算集合”の範囲が問題となる
意味不明。
省7
754(1): 01/28(火)18:46 ID:SFFxcmct(23/28) AAS
>>751
>現代的関数の定義は、対応関係で ”一定の法則性を持たせる必要はない”（下記）
>とあるよ
一定の法則性を持たせていないからまったくナンセンス。
そもそも選択関数は存在しか言えないのに、なんで一定の法則性という話になるんだよ。まったく分かってないね。
>f：A-{aξ：ξ<α} → aα
>で 終わってない？
終わってるのは君。
aα=f(A-{aξ：ξ<α}) は、aαを使ったfの定義ではなく、fを使ったaαの定義。
aαの定義にfが使われてるんだからaαを使ってfを定義したら循環参照になるだろと言ってるんだけど、人の話を聞けないの？ 認知症かい？
755(1): 01/28(火)18:48 ID:SFFxcmct(24/28) AAS
もう認知症ザルは口開かなくていいよ。
人の話を聞かずに独善持論を繰り返してもまったくナンセンスだから。
756(1): 01/28(火)18:50 ID:SFFxcmct(25/28) AAS
認知症ザルに聞きたいんだけど
君、a0∈Aをどう選ぶつもり？
762(1): 01/28(火)21:29 ID:SFFxcmct(26/28) AAS
>>760
>Aから一つずつ Aの要素を取り出して
だからどうやって取り出すのか聞いてるんだけど
>集合族A-{aξ：ξ<α}を作る
（中略）
>そこが弱い
まったくデタラメのゴミ駄文。
任意の集合Aとある順序数λとの間に全単射が存在するなら整列順序(A,>)を構成できる。
Aが可算なら定義から自明にλ=ω。
任意の集合Aに対し選択関数を使ってλ=sup{α|aα is defined}を構成してるのがJechの証明。
764: 01/28(火)23:27 ID:SFFxcmct(27/28) AAS
>>763
>>>Aから一つずつ Aの要素を取り出して
>>だからどうやって取り出すのか聞いてるんだけど
>aα=f(A-{aξ：ξ<α})
つまり a0=f(A) じゃん
つまり a0はfを使って取り出してるじゃん
つまり a0,a1,a2,・・・ のいずれもfを使って取り出してるじゃん
つまり a0,a1,a2,・・・ のいずれもfが未定義なら取り出せないってことじゃん
で、おまえは a0,a1,a2,・・・ を使ってfを定義すると？ それ循環参照じゃん だってfでfを定義すると言ってるんだから
馬鹿なおまえでも分かっただろ？ これで分からなきゃ死んだ方がいいよ
省2
765: 01/28(火)23:38 ID:SFFxcmct(28/28) AAS
人の話を聞く耳持たない独善ザルは無事に公開処刑されますた
R.I.P.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s