[過去ログ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
730
(4): 2016/08/11(木)21:23 ID:j8ttIyO2(12/15) AAS
>>728
> Q^Nは、集合の濃度としては非加算だな。

気付いたねw

じゃあ最後に確認させてほしい。

『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』

スレ主の主張は上で間違いないね?
下に引用した文章を読むとそうとしか読めないから、間違いないと思うけど。
YES/NOで返答をもらえればと思います。
よろしくお願いします。
省7
732
(4): 現代数学の系譜11 ガロア理論を読む 2016/08/11(木)21:49 ID:AONA9sxo(43/47) AAS
>>730
>じゃあ最後に確認させてほしい。
>『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』

Yes
そう思っている
証明は求めないでくれ。証明は考えても良いが、このスレで書く気は無いし
737
(1): 2016/08/11(木)22:30 ID:j8ttIyO2(14/15) AAS
>>732
> >>730
> >じゃあ最後に確認させてほしい。
> >『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』
>
> Yes
> そう思っている
> 証明は求めないでくれ。証明は考えても良いが、このスレで書く気は無いし

何度でも言うがお前は豪快に間違えている。
証明は求めない。間違いだから。
省2
743
(2): 2016/08/12(金)00:49 ID:gpIv5Fwv(1/7) AAS
R^N/〜は非可算なので可算選択公理を適用できないことはすでに述べた。
可算族に限定"しない"選択公理を用いなければ時枝記事にある代表系は構成できない。
決定性公理は選択公理とは相容れないので、時枝の記事の文脈で決定性公理を持ち出すのは全くナンセンス。

ちなみにスレ主は
>>732
> >>730
> >じゃあ最後に確認させてほしい。
> >『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』
>
> Yes
省7
763: 2016/08/12(金)20:45 ID:gpIv5Fwv(7/7) AAS
スレ主さ、俺のこと嫌いで悔しいのは分かるけど、間違いは間違いと認めようよ

> >>732
> >>730
> >じゃあ最後に確認させてほしい。
> >『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』
>
> Yes
> そう思っている
> 証明は求めないでくれ。証明は考えても良いが、このスレで書く気は無いし
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s