[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
674(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:20 ID:CtxJncrm(3/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ご苦労様です。
>>668-670
>それは P(A)-Φから要素を選ぶ選択関数fそのまま
それ、”選択”という日常語に 流されている
選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
省22
675: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:24 ID:CtxJncrm(4/6) AAS
>>674 タイポ訂正
いま Aの濃度が可算であるとするして べき集合P(A)-Φ は非可算だ
↓
いま Aの濃度が可算であるとして べき集合P(A)-Φ は非可算だ
676: 01/27(月)13:25 ID:T6In1xa/(5/15) AAS
>>674
>選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
>”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
馬鹿だねえ君は
P(A)-ΦはAの空でない部分集合全体からなる集合族だろ
なんで馬鹿アピールやめられないの？ もう十分だと言ってるのに
677: 01/27(月)13:43 ID:T6In1xa/(6/15) AAS
>>674
f:P(A)-Φ→AはAの空でない任意の部分集合の代表元を定めている選択関数なんだよ
このfを用いて
a0=f(A)
a1=f(A-{a0})
a2=f(A-{a0,a1})
・・・
でAの元を並べ、α<β⇔aα<aβで(A,<)を定義することで、Aとsup{α|aα is defined}との順序同型写像を構成してるんだよ
それによってAが整列集合であることが言えるのさ
君、ぜんぜん分かってないね もう黙れば？ 口開くとアホなことしか言わないから
678: 01/27(月)13:51 ID:zED1d/2g(1/4) AAS
>>674
＞Aに 順序数の付番付け をするために、そのべき集合P(A)-Φの 順序数の付番付け が必要とする考え
だれも、そんな●ったことは言ってないが？
幻聴が聞こえるのか？ ●ル
679: 01/27(月)13:53 ID:zED1d/2g(2/4) AAS
>>674
> Jech氏の意図は、べき集合P(A)-Φの部分集合として{A,A-{a1},A-{a2},・・・} が、置換公理で取り出せるってことだね
どこにもそんなこと書いてないが
幻聴が聞こえるのか？ ●ル
680: 01/27(月)13:57 ID:zED1d/2g(3/4) AAS
>>674
fを決めれば、a1、a2、・・・は一意だが
681(1): 01/27(月)13:58 ID:zED1d/2g(4/4) AAS
>>674
> as desired
●ルは英語も読めんのか 「望みどおり 整列が得られる」という意味だろ
683(1): 01/27(月)14:12 ID:T6In1xa/(7/15) AAS
>>674
これは酷い
>さて、以前にも書いたが
そしてまた間違えた
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s