Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
67: 06/13(土)12:15 ID:2JsZZZYS(18/29) AAS
テンプレ入りです
>色々と紆余曲折があったが、
>結局ロナルド・グラハムの定理と
>ロナルド・グラハムの定理について
>代数的無理数を無限級数で表すことへの一般化により
>オイラーの定数γはリウヴィル数ではない超越数であって、
>また、ワイルの一様分布定理よりγは正規数であった
>泥臭い計算をした甲斐はあって何よりだった
>↓
>>ロナルド・グラハムの定理
省30
68: 06/13(土)12:15 ID:2JsZZZYS(19/29) AAS
>（できたできたまたできたしか言わないんじゃどうにもならんなコイツ）
>（結論しか書いてないのにそれが正しいか間違ってるか考えることは誰にもできないんだって分かってんのかなコイツ）
>（間違いの指摘をされるのをイヤがってるってことは内心自分が間違っていることを認めてるってことだって誰もが思うんだって理解できないのかなコイツ）
>↓
>何度も懇切丁寧に同じことを繰り返しても
>全く自分で分かろうとしない人間に対して、
>私はいつまでも教える気はしない
>こんなことを繰り返しても、
>対価は何も得られないし、
>労力の無駄遣いというモノだ
69: 06/13(土)12:16 ID:bRm+noww(2/4) AAS
雷注意報
発令中
70: 06/13(土)12:16 ID:2JsZZZYS(20/29) AAS
テンプレです
>よって、背理法により、2γ−log(5/2)＜γ である
>故に、γ−log(5/2)＜0 である
>ところで、2γ−log(5/2)＞0 が得られているから、−log(5/2)＞−γ
>の両辺にγを足せば、γ−log(5/2)＞0 である
>故に、γ−log(5/2)＞0 と S[m]−γ＜0 とを組合せれば
>S[m]−γ＜γ−log(5/2)＜0 を得る
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は
>コーシー列の収束を証明するのに重要な役割をしている
上下前次1-新書関写板覧索設栞歴
あと 104 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s