Palamuse Amme on its lower course.
擁有範數的向量空間就是賦範向量空間。