附录2数域命题量词 1数域 一个含有数0,1的数集F,如果其中任意两个数关于数的四则运算封闭除法的除数不为零),即它们的和,差,积,商仍是F中的数,则数集F就称为一个数域

矩阵运算中定义了加法和负矩阵,就可以定义矩阵的减法.那么定义了矩阵的乘法,是否可以定义矩阵的除法呢?由于矩阵乘法不满足交换律,因此我们不能一般地定义矩阵的除法 .在数的运算中,当数a≠0时,aa-1=a-1a=1,这里 a-1=1/a称为a的倒数,(或称a的逆);在矩阵乘 法运算中,单位矩阵I相当于数的乘法中的1, 则对于一个矩阵A,是否存在一个矩阵A-1,使 得AA-1=A-1A=1呢?如果存在这样的矩阵A-1, 就称A是可逆矩阵,并称A-1是A的逆矩阵

应注意矩阵与行列式的本质区别.行列式是一 个算式,一个数字行列式经过计算可求得其值 ,而矩阵是一个数表,它的行数和列数也可以 不同.对于n阶方阵,虽然有时也要算它的行列 式,记作A或detA,但是方阵A和方阵A的行列 式是不同的概念

例1上三角行列式(i时,a1=0 这是因为上三角行列式的转置是下三角行列

二次型就是二次多项式.在解析几何中讨论的 有心二次曲线,当中心与坐标原点重合时,其 一般方程是

定义6设A为n阶方阵,如果ATA=1,就称A为正交 定理4A为n阶正交矩阵的充分必要条件是A的 证设

3.4齐次线性方程组有非零解的条件及解的结构对于以mxn矩阵A为系数矩阵的齐次线性方程 组 AX-0 (3.15) 如果把A按列分块为A=[a1,a2an,它就可以 表示为向量等式 (3.16) 因此,(3.15)有非零解的充分必要条件是 a12,…a线性相关, 秩(A)=秩{a1,a2an}