线性代数的连加号运算性质是什么