Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
71: 06/13(土)12:16 ID:2JsZZZYS(21/29) AAS
テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
省1
72: 06/13(土)12:16 ID:2JsZZZYS(22/29) AAS
テンプレ入りです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾
73: 06/13(土)12:17 ID:2JsZZZYS(23/29) AAS
テンプレ入りです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
74: 06/13(土)12:17 ID:2JsZZZYS(24/29) AAS
これもテンプレ入りかな？
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようｗ
75: 06/13(土)12:17 ID:2JsZZZYS(25/29) AAS
テンプレ入りです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
76: 06/13(土)12:17 ID:2JsZZZYS(26/29) AAS
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で 外部ﾘﾝｸ:en.wikipedia.org
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで
77: 06/13(土)12:17 ID:2JsZZZYS(27/29) AAS
テンプレ入りかな？
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）
78: 06/13(土)12:18 ID:2JsZZZYS(28/29) AAS
テンプレ入りです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？
79: 06/13(土)12:19 ID:ZOZ1R6H9(2/3) AAS
ヤンボーマーボー
天気予報
80: 06/13(土)12:22 ID:bRm+noww(3/4) AAS
２８℃
晴れのちくもり
81(1): 06/13(土)12:23 ID:2JsZZZYS(29/29) AAS
>>56
>天かす入りです
これ使わせて貰おっと
82: 06/13(土)12:24 ID:bRm+noww(4/4) AAS
２８℃
晴れのちくもり
83: 06/13(土)12:26 ID:ZOZ1R6H9(3/3) AAS
>>81
しゃーないな、特別だぞw
84: [age] 06/13(土)23:02 ID:SPSc7vy9(1) AAS
AA省
85: 06/14(日)05:58 ID:k784Ly9S(1/2) AAS
２２℃
くもり
86: 06/14(日)06:15 ID:iVhZ8xXP(1) AAS
天カス入りです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
87: 06/14(日)10:35 ID:lllE6ioS(1) AAS
ウマそうやねw
88(4): 06/14(日)14:29 ID:9MBHxaBE(1/5) AAS
バカチョンw
👇
IUT理論の形式化検証 一縷の緊張も心配も見えない （すでに）勝者の余裕ある姿😁
89(2): 06/14(日)14:30 ID:9MBHxaBE(2/5) AAS
IUTgtrってマスチョンの別垢？w
90(2): 06/14(日)20:00 ID:9MBHxaBE(3/5) AAS
朝鮮の人が名前に「哲」「敏」「仁」「貞」「正」などというの漢字を好むのは何故にですか？
上下前次1-新書関写板覧索設栞歴
あと 100 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s