[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
567(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/26(火) 13:49:33.95 ID:oeOow6Ma(4/5) AAS
>>564
「ぷふ」さん、どうもスレ主です。
早速のレスありがとう（＾＾
>可算集合の補集合で微分可能→ある開区間で連続
ここを詳しく書くと
A:稠密可算集合Q（有理数）で不連続で、その補集合（無理数）で微分可能→B:（ある条件を満たせば、必ず（例え補集合が不連続であってかつ稠密であっても））ある開区間で連続（命題Aは”ある条件を満たす”）→矛盾
というわけですね
だが、命題「B:（ある条件を満たせば、必ず（例え補集合が不連続であり（定理1.7 ではリプシッツ不連続だが）かつ稠密であっても））ある開区間で連続」で、
キモは、”例え補集合が不連続であり（定理1.7 ではリプシッツ不連続）かつ稠密であっても”ってところが、証明できちんと言えているかどうかですよね
そういう目で、証明を見て行かないと、すら〜と流してしまうと、ギャップがあっても見えない
「ぷふ」さんの目で見て、そこはどうなんですかね？
571(1): １３２人目の素数さん [] 2017/12/26(火) 19:13:34.92 ID:84+rbTu3(1/8) AAS
>>567
>>可算集合の補集合で微分可能→ある開区間で連続
>
>ここを詳しく書くと
>A:稠密可算集合Q（有理数）で不連続で、その補集合（無理数）で微分可能→B:（ある条件を満たせば、必ず（例え補集合が不連続であってかつ稠密であっても））ある開区間で連続（命題Aは”ある条件を満たす”）→矛盾
Qで不連続は不要です
（ある条件）とは？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s