对向量值函数有没有定义乘法运算