泛函数与范数的定义