>>403 追加
google検索：定理 稠密集合上での一様連続関数は一意に拡張できる

一様連続関数を完備化した空間に拡張する
はてなブログ Branched Evolution
https://evolite.はてなブログ.com › entry
2020/08/16 — 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる．


なお、藤岡敦 関西大学システム理工学部数学科
下記2011年 一橋大学時代か。これ 一橋大の講義か？ もしそうなら 一橋大 おそるべし（＾＾；
https://www2.itc.kansai-u.ac.jp/~afujioka/
藤岡敦 関西大学システム理工学部数学科
https://www2.itc.kansai-u.ac.jp/~afujioka/hit/hit.html
２０１１年度 一橋大学時代のもの
https://www2.itc.kansai-u.ac.jp/~afujioka/hit/ms/ms.html
２０１１年度冬学期「数理構造II」一橋大学時代のもの
　§１．Euclid 空間　１０月７日分資料（１０月７日修正版）
　§２．距離空間と位相空間　１０月１４日分資料（１０月７日版）
　§３．連続写像　１０月２１日分資料（１０月１４日版）
　§４．実連続関数　１０月２８日分資料（１０月２１日版）
　§５．完備性　１１月１１日分資料（１０月２８日版）
　§６．Dini の定理　１１月２５日分資料（１１月２５日修正版）
　§７．Ascoli-Arzela の定理　１２月２日分資料（１１月２５日版）
　§８．代数的構造　１２月９日分資料（１２月５日版）
　§９．Stone-Weierstrass の定理　１２月１６日分資料（１２月９日版）
　§１０．Urysohn の補題　１月６日分資料（１２月１６日版）
　§１１．Tietze の拡張定理　１月２０日分資料（１月６日版）
　§１２．コンパクト開位相　１月２７日分資料（１月２５日修正版）
https://www2.itc.kansai-u.ac.jp/~afujioka/hit/ms/111111ms.pdf
２０１１年１１月１１日数理構造II（藤岡敦担当）授業資料1
§5. 完備性
実連続関数全体の集合は完備な距離空間と同様の性質をもつ.まず, 距離空間の完備性について述べよう.

さて, 実連続関数全体の集合について考えよう.定義 (X,O)を位相空間とし,C(X)の一様収束位相を考える.
{fn}をC(X)の点列とする. 任意のε>0に対しあるN ∈Nが存在し,n≥Nならばfn∈B(fN;ε)となるとき,{fn}n∈Nを一様Cauchy列とよぶ.
距離空間の場合と同様に,C(X)の一様収束する点列は一様Cauchy列であることが分かる.
また, Xがコンパクトなときは一様Cauchy列は距離空間(C(X),d)のCauchy列に他ならない.
次に示すようにC(X)は完備な距離空間と同様の性質をもつ.
定理 C(X)の一様Cauchy列は一様収束する.
証明
略す