完備距離空間とは、 「任意のコーシー列が収束する距離空間」のことです。

離散距離空間（証明付き）

ユークリッド空間は距離空間