[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
●ルは英語も読めんのか 「望みどおり 整列が得られる」という意味だろ
682(1): 01/27(月)14:01 ID:VZyTU7BU(1) AAS
●ルに引導
1.Aを整列するのに、P(A)-φからAへの選択関数fは必要だが、P(A)-φ全体の整列など不要
2.上記の選択関数fを決めれば、Aの整列は一意に決まるが、逆にAの整列から、上記の選択関数fは一意に決まらない
683(1): 01/27(月)14:12 ID:T6In1xa/(7/15) AAS
>>674
これは酷い
>さて、以前にも書いたが
そしてまた間違えた
684(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)15:02 ID:CtxJncrm(5/6) AAS
”<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”
< あほ二人は、選択公理−選択関数が 全く分かっていない>
>>676-683
>>682 ID:VZyTU7BUと >>681 ID:zED1d/2g とは、同一人物か
そうすると、>>683 の ID:T6In1xa/ と合わせて、相手は ”例の”あほ二人かw ;p)
さて
1)”P(A)-ΦはAの空でない部分集合全体からなる集合族だろ”で
いま、問題は 関数の定義域だろ?
省12
685(1): 01/27(月)15:17 ID:rUPCt/3e(1) AAS
>>684
>>684
> P(A)-Φから、その部分集合を作り出す 置換公理の関数
何勝手にJechが行ってないこと妄想してんだw
そもそもJechの本の証明はもともとZermeloのもので
置換公理とか出てくる以前
686(1): 01/27(月)15:34 ID:aGjuVqGz(1) AAS
●ルのウソ理屈は意味不明の戯言だから全部流すよ
687: 01/27(月)16:04 ID:LSdHrjXv(1) AAS
だったら何も書くな
688: 01/27(月)17:10 ID:T6In1xa/(8/15) AAS
>>684
>いま、問題は 関数の定義域だろ?
定義域はP(A)-Φで何の問題も無い
道理の分らぬ馬鹿が言いがかり付けてるだけ
689(1): 01/27(月)17:12 ID:T6In1xa/(9/15) AAS
>>684
>2)一方、P(A)-Φから、その部分集合を作り出す 置換公理の関数は
> あくまで 定義域は ただ一つ P(A)-Φ のみ
こそが意味不明のたわごと
690(1): 01/27(月)17:14 ID:T6In1xa/(10/15) AAS
なんで雑談くんは馬鹿自慢がとまらないんだ?
頭オカシイのか?
691: 01/27(月)17:26 ID:AW0Zd0to(4/5) AAS
>>690
高校時代、数学秀才だったことが忘れられないんでしょうな
高校までの数学なんて、「算数」なのにね
692(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)18:28 ID:CtxJncrm(6/6) AAS
>>685-691
”<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”
< あほ二人は、選択公理−選択関数が 全く分かっていない>
>だったら何も書くな
ID:LSdHrjXv は、御大か
午後の巡回ご苦労様です
箱入り無数目スレで、いかにも自分たちが
選択公理−選択関数が分かっているかのように ほざくが
省19
693(1): 01/27(月)18:41 ID:T6In1xa/(11/15) AAS
>>692
見解もクソもJechの証明の通り。
君の見解とやらがアホなだけ。
どうアホかは既に書いたから読んで理解しな。馬鹿を治したいならね。
694(1): 01/27(月)18:46 ID:AW0Zd0to(5/5) AAS
>>692
>Jechの証明を、是とするか あるいは否とするか? 立場をはっきりさせろ
●ルよ、おまえがJechを否定してんだよ 馬鹿!
上下前次1-新書関写板覧索設栞歴
あと 308 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.021s