[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
290(1): １３２人目の素数さん [sage] 2017/12/19(火) 18:03:55.90 ID:bELCiM4Y(5/5) AAS
(>>289の続き)
[命題] Iを開区間とする。任意のIの有理点で不連続、かつ任意のIの無理点で微分可能となる実関数 f(x) は存在しない。
証明) [第６段]：Iを定義域とし、任意のIの有理点で不連続、かつ任意のIの無理点で微分可能となる実関数 f(x) が存在するとする。
すると、上で示した命題の対偶を取って考えると、連結な距離空間 R から誘導される通常の位相について、
高々1個の正の実数εに対し、高々2個のIの異なる有理点 a,b に対してそれぞれ定まって得られるような、
連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] を完全集合とすることは出来ない。
つまり、連結な距離空間 R から誘導される通常の位相について、高々1個の正の実数εに対し、高々2個のIの異なる有理点 a,b に対して
それぞれ定まって得られるような、連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] を完全集合とはならない。
しかし、連結な距離空間 R から誘導される通常の位相について、連結距離空間 R 上の閉区間は完全集合である。
従って、連結な距離空間 R から誘導される通常の位相について、任意の正の実数εに対し、任意のIの異なる2個の有理点 a,b に対して
それぞれ定まって得られるような、連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] は完全集合となる。
これは矛盾である。背理法が適用出来るから、任意のIの有理点で不連続、かつ任意のIの無理点で微分可能となる実関数 f(x) は存在しない。
302: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/19(火) 21:58:31.56 ID:sQLguKoZ(3/7) AAS
>>286-290
おっちゃん、どうも、スレ主です。
いつも、熱心な証明ありがとう（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s