[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
449(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/18(日) 08:16:13.18 ID:kvRHpDhK(2/3) AAS
>>442 蛇足
>下記 stackexchange に落ちていた
裏話だが
1）日本語情報より、英語情報が100倍と言われる
2）そこで google翻訳で 検索キーワードを 英語に訳して 検索した
キーワード”Real function Continuous function Determined by the values of rational points”
で 冒頭が
”Why is every continuous function on the reals determined ...
Mathematics Stack Exchange
https://math.stackexchange.com›...このページを訳す
2013/05/03 — Since the rationals are dense in the reals, we can construct a sequence (qn)∞1 of rational numbers approaching any real number x∈R.
Must a continuous function with rational image be ...
回答 2 件
2022年6月12日
Can there be two distinct, continuous functions that ...
回答 4 件
2010年7月22日
math.stackexchange.com からの検索結果”
で、>>442の投稿の通り
3）なお、”一意性の証明”のスジは、下記の通り
”次にそのような対象がもう一つあり（例: a と b） a=b を示す”だね
さらに もう一つ a=bを示すときに、>>442のように
”Alternatively, you can show that f(x)−g(x)=0”
とするのも 一つの手スジであって、
a-b＝0 を示す方が エレガントでスッキリしている場合が多いってこと
(参考)
https://ja.wikipedia.org/wiki/%E4%B8%80%E6%84%8F%E6%80%A7_(%E6%95%B0%E5%AD%A6)
一意性 (数学)
一意性の証明
ある対象が一意性を満たすかどうかを証明する方法は、
始めに目的の条件を持つ対象が存在することを証明し、
次にそのような対象がもう一つあり（例: a と b）、
それらが互いに等しいこと（すなわち
a=b）を示すことで得られる。
456(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/19(月) 14:45:56.37 ID:q68wgaXf(1/2) AAS
>>449 裏話さらに追加
>>399より
Q：”「実数から実数への連続関数は
すべての有理数の点の上での値だけで特定できる」”
この問題で、まず浮かんだ 典型例が よく知られた ディリクレの関数、トマエ関数など病的関数で
（ https://ja.wikipedia.org/wiki/%E7%97%85%E7%9A%84%E3%81%AA_(%E6%95%B0%E5%AD%A6)
（上記wikipediaより”「病的な関数」の古典的な例の一つに、至る所で連続であるが至る所微分不可能な、ワイエルシュトラス関数と呼ばれるものがある”）
ディリクレの関数は、有理点で1、無理数点で0を取る関数で、いたるところ不連続
トマエ関数は、有理点で1/q (at p/q(既約分数))、無理数点で0を取る関数で、無理数点で連続で 有理点で不連続
さらに （下記）"Modifications of Thomae's Function and Differentiability"があって、これ旧ガロアすれで 取り上げたことがある（10年ほど前に）
下記は、要するに 有理点で1/q よりも 早く減衰する場合（例えば 2乗 (1/q^2) など）は、無理数点で微分可能にできる ということだ
なので、今の場合に当てはめると、このような病的な場合を抑えるには
単なる連続では足りないのでは？ と思ったわけです
（てっきり 病的な場合のヒッカケを警戒していたのだがｗｗ）
その視点で、ちょっと検索すると
>>414の”定理 稠密集合上での一様連続関数は一意に拡張できる”
”はてなブログ Branched Evolution
2020/08/16 — 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる”
がヒットしたので、”一様連続”が必要と思った次第
>>423の”Copilot”の証明など 全く信用するに足りないので
（”Copilot”が、一様連続と （単なる）連続 の微妙な 機微を理解しているわけないからなぁ〜ｗｗ ；ｐ）
なので、”Copilot”の証明を受けて 再度検索してみたが、和文では めぼしい文献がヒットしなかったのです
そこで、>>442のように 英文で検索すると stackexchange がヒットして なるほどと思ったわけだ
余談>>428より
”匿名なので正直にぶっちゃけるが・・・
正直、定理については知ってたが、証明は知らんかったｗ”
ここは、こちらも 正直 その定理は初耳だったよ
和文の情報は なかなかヒットしなかったし
英文でも 下記の”Mathematical Statistics”の付録で
”(b) A continuous function is determined by its values on any dense subset of R (in other words: if D is a dense subset of R and if two continuous functions f,g are equal on D, then they must be equal on R, so f = g).”
がヒットするくらいなのだ
勉強不足のいいわけだが、機会あれば 和書の実解析の本 チラ見してみるわｗ ；ｐ）
多分、日本だと 上記”距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる”
のついでに教えているのかもね・・（少ない講義時間で 寄り道をしていると ”寄り道の多い数学”者 と言われるかもだろう ；ｐ）
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s