高等代数:线性空间,是不是一定可以定义范数?