范数的运算公式是什么时候学的