[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
130(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/16(土) 16:30:16.01 ID:/2xvBEHK(39/58) AAS
>>125
おっちゃん、どうも、スレ主です。
１．
おっちゃんの定理
（>>96より）
”このとき、Iを定義域とし、任意のIの有理点で不連続、かつ任意のIの無理点で連続となる実関数 f(x) は存在しない。”
２．
トマエ関数
（>>106より）
定理
トマエ関数は次の性質を持つ:
有理数で不連続
無理数で連続．
この１と２は、矛盾しないのかと、聞いているのだが？
131(2): １３２人目の素数さん [sage] 2017/12/16(土) 16:43:09.16 ID:9/yG/0pd(5/6) AAS
>>130
私が示したのは
>開区間Iを定義域とし、任意のIの有理点で不連続、かつ任意のIの無理点で連続となる実関数 f(x) が存在ならば、
>連結な距離空間 R から誘導される通常の位相について、高々1個の正の実数εに対し、
>高々2個の開区間Iの異なる有理点 a,b に対してそれぞれ定まって得られるような、
>連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] を完全集合とする「ことは出来ない」。
の方(の対偶)だよ。トーメ関数及びそれによく似た性質を持つ関数は数学的に存在するから何も問題ないだろ。
132: １３２人目の素数さん [sage] 2017/12/16(土) 16:58:17.31 ID:9/yG/0pd(6/6) AAS
>>130
一応、>>131の
>トーメ関数及びそれによく似た性質を持つ関数は数学的に存在するから何も問題ないだろ。
の部分は
>(任意の)閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] は完全集合だから問題ないだろ。
と書くべきだった。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s