[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
418
(1): 2017/11/20(月)11:35 ID:Brtx3QWc(1/5) AAS
>>397-398
おっちゃんです。

>関数を f(x) を挙げるだけなら、出来た(>>153の通り)
>が、証明はできなかったね(^^
残念でした。私が考えていた f(x) は>>153の関数ではございません。最初に想定していた
>区間 [0,1] において、xが有理数のとき不連続、xが無理数のとき微分可能
>となるような[0,1] で定義された関数 f(x) を挙げる問題
省12
419: 2017/11/20(月)11:54 ID:Brtx3QWc(2/5) AAS
>>397-398
まあ、>>418で私が書いた「>>153」は「>>146」とした方が適切だろうな。
423
(2): 2017/11/20(月)18:28 ID:Brtx3QWc(3/5) AAS
>>421-422
あ、まだ詳細な証明を書いて確認してはいなかったんだけど、例えば
f(0)=f(1)=1、
任意の既約な有理数 x=p/q∈(0,1) に対して f(p/q)=p/q、
超越数aを任意に取り任意の無理数 x∈(0,1) に対して f(x)=a
というようにして区間 [0,1] で定義された実関数 f(x) を考えていたんだけど、x=0,1 のときはともかく、
x∈(0,1 )が無理数、b=p/q∈(0,1) が有理数のときも |(f(x)−f(b))/(x−b)|=1 となって間違いなのか。
省8
424: 2017/11/20(月)18:32 ID:Brtx3QWc(4/5) AAS
あ、最後の行に「1」が付いていた。
425: 2017/11/20(月)18:45 ID:Brtx3QWc(5/5) AAS
今日はおっちゃん寝る。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.032s