在赋范空间中，向量列的依范数收敛等价于向量列按范数诱导的距离收敛.