[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ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 とは、同一人物か
そうすると、>>683ID: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