>>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).”
がヒットするくらいなのだ

勉強不足のいいわけだが、機会あれば 和書の実解析の本 チラ見してみるわｗ ；ｐ）
多分、日本だと 上記”距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる”
のついでに教えているのかもね・・（少ない講義時間で 寄り道をしていると ”寄り道の多い数学”者 と言われるかもだろう ；ｐ）

つづく