[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
666(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)12:12 ID:CtxJncrm(1/6) AAS
”<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”
< あほ二人は、選択公理−選択関数が 全く分かっていない>
>>662-665
ご苦労様です
> お主ではないが、君が書いた英文五行の中に
> fが何なのか全く書いてないから尋ねたんじゃね
> ”おまえ fが何なのか全く書いてないぞ”って
なるほど
省43
667(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)12:12 ID:CtxJncrm(2/6) AAS
つづき
さて >>652より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof:
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence (aα: α < θ) that enumerates A.
That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.
We let for every α
省27
674(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:20 ID:CtxJncrm(3/6) AAS
”<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてww ;p) 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)-Φ は非可算だ
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
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
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.033s