>>18
任意のコーシー列が収束すること
点列がコーシー列であるとは任意の正数に対して
それより先の任意の2点の距離がその正数より小さいようにできるということ
点列が収束列であるとはある点があって任意の正数に対して
それより先の任意の点が当該点との距離がその正数より小さいようにできるということ
任意の収束列はコーシー列だが逆は必ずしも成り立たない
だからそれが成り立つという性質を以って空間に名前を付けたのが
ヒルベルト空間とかバナッハ空間