距离，范数，内积，完备性