>>178
(引用開始)
>Ｑ上連続だが一様連続でない関数のうち
>Q上の任意の閉区間で一様連続であるとき、そのときに限り
>R上連続関数に拡張でき、その拡張は一意的である
「Ｑ上連続だが一様連続でない関数のうち」はいらない
(引用終り)

ID:LXFVxBjuは、御大か
赤ペン先生 ご苦労さまです
さすがですね
すぐ気がつくんだ

で、”閉区間”という限定について
『抽象的な距離空間における 稠密な部分集合上で定義された 連続関数があったとして
それを、完備距離空間上の連続関数に拡張する問題』として考えると
”閉区間”という限定なしで、この問題は解ける
それが、>>176で 詳細は >>173-174 であり >>165-166だということ
勿論、この系として ”閉区間”に限定することも可能ということ

それだけのこと（全ては>>176記載の通り）