>>576
収束先がすぐに特定できない場合でも、収束性を示すことができるから。
あるいはコーシー列が収束しないような空間もあるから(有理数体など)