>>115
(引用開始)
>>111
>「実数から実数への連続関数は
>　すべての有理数の点の上での値だけで特定できる」
>だったろ？ ここで有限区間の指定なし
「有限区間」というだけでは一様連続性は言えないぞ
例えば、開区間(a,b)では「連続ならば一様連続」とはいえない
(引用終り)

ふっふ、ほっほ
こんな話は、世の中 至る所に落ちていて
例えば 下記の ハテナブログ Branched Evolution Competitive Programming in Python 2020-08-16
”一様連続関数を完備化した空間に拡張する”を、ごらんあれ ｗ ；ｐ）

下記では、”有限区間の指定なし”！！
つまり、『一様連続関数を完備化した空間に拡張する』が、定理として成り立つ
有限区間[a,b]の指定は本質ではない
『高木先生は おそらく 教育的配慮から 問題をグレードダウンしているのだろうね』(>>111より)

下記の ハテナブログ を百回音読してね
その後、>>111を 読み返せ！ｗ

なお、下記 ハテナブログ では 実数値関数を扱っているが
複素数値関数 f:X→C (Cは複素数の集合)
でも同様だな （君のレベルが上がれば それが分かるだろう ；ｐ）

『問(5)も、問(6)も、実数の定義から分かる基本問題』>>117かよｗ
君は、さすが ”学部１年の１日目で詰んだ男”と言われるだけあるわｗ ；ｐ）

追伸：
下記 最後の”また，距離空間上の連続関数は稠密な部分集合上での値によって一意に決まるから，この拡張は一意的である．”が、>>83の 問（5）な （＾＾

(参考)
https://evolite.ｈａｔｅｎａｂｌｏｇ.com/entry/20200816/1597542858
Branched Evolution Competitive Programming in Python
2020-08-16
一様連続関数を完備化した空間に拡張する
関数解析 集合と位相

距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる．

補題： 略す

定理
距離空間
(X,d) 上に定義された一様連続関数
f:X→R は
(X,d) の完備化
​(X^,d^) 上の一様連続関数
​f​^​​ :​X​^​​ →R に一意的に拡張できる．

証明
X は ​X​^​​ の稠密な部分集合として埋め込めるから，
x∈​X​^​​ に収束する
X の点列
{x​n} がとれる．
{x​n} は収束するから，Cauchy 列であり，補題より
{f(x​n)} も Cauchy 列である．
R の完備性より，
{f(x​n)} は収束し，その収束先は点列
{x​n} のとり方によらないから，
f^ を ​f​^​​ (x)=​lim​​ ​n→∞ f(x​n) で定義できる．
また，距離空間上の連続関数は稠密な部分集合上での値によって一意に決まるから，この拡張は一意的である．

参考
Aliprantis, Charalambos D., Border, Kim, Infinite Dimensional Analysis