まぁでも元の質問者の完備は距離空間の完備だと思うよ
フレッシェ空間になる証明のうち完備性の部分がわからないって話だったから
いつでも距離化可能と勘違いしてたのか、書き漏れなのかは知らんけど