绝对值的定义和性质