>>446
>その結論は正しいですね。セタさんは「一様連続」という概念が好きらしい。
>それには一理あると思いますよ。
>もしご自分でその理由が説明できれば感心しますが。

ID:LhBQrX7V さん、投稿ありがとう
スレ主です
固有名詞の話は別として
理由は、簡単で 下記の通り
　記
　>>427の はてなブログ Branched Evolution で
”2020/08/16 — 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる．”
で、「一様連続関数」とあるから、この命題では 「一様連続」は外せないと読んだ
（なお、今見ると >>207にも 完備距離空間 ja.wikipedia で
”完備距離空間は、完備化の普遍性
「任意の完備距離空間 N と M から N への一様連続写像が与えられたとき、M′ から N への一様連続写像 f′ で f の延長となるものが一意に存在する」
という普遍性を持つ。”とある（同様の記述が >>173にもあるね））

感心するほどではなく
”完備距離空間での 完備化の普遍性”として ”一様連続”は 覚えておくべき そして 理解しておくべきことだね

もし ”一様連続”という条件を外すと、>>432の通りで
https://en.wikipedia.org/wiki/Cauchy-continuous_function
の”Examples and non-examples”の記載の通り non-exampleの存在が示せる ってこと だね