在线性方程组的讨论中，我们看到，线性方程组的一些重要性质反映在它的 系数矩阵和增广矩阵的性质上，并且解线性方程组的过程也表现为变换这些矩阵 的过程.除了线性方程组之外，还有大量的各种各样的问题也都提出矩阵的概念， 并且这些问题的研究常常反映为有关矩阵的某些方面的研究

即矩阵乘积的行列式等于它的因子的行列式的乘积 用数学归纳法,定理1可以推广到多个因子的情形,即有 推论1设A1,A2,…A是数域P上的mXn矩阵,于是 1A1A2…AHA1‖A2|…|A 定义6数域P上的n×n矩阵A称为非退化的,如果|A|≠0,否则称为退化

在这一节，我们来介绍一个处理级数较高的矩阵时常用的方法，即矩阵的分 块.有时候，我们把一个大矩阵看成是由一些小矩阵组成的，就如矩阵是由数组 成的一样.特别在运算中，把这些小矩阵当作数一样来处理.这就是所谓矩阵的分 块

将分块乘法与初等变换结合就成为矩阵运算中极端重要的手段

一、二次型的标准型 二次型中最简单的一种是只包含平方项的二次型

一、正定二次型 定义 4 实二次型

一、线性空间的定义. 例 1 在解析几何里,讨论过三维空间中的向量.向量的基本属性是可以按平行四边形规律相加，也可以与实数作数量算法.不少几何和力学对象的性质是可以通过向量的这两种运算来描述的

在 n 维线性空间中，任意 n 个线性无关的向量都可以取作空间的基.对于不 同的基，同一个向量的坐标一般是不同的.随着基的改变，向量的坐标是怎样变 化的

定理 5 如果 V1 ,V2 是线性空间 V 的两个子空间，那么它们的交 V1 V2 也是 V 的子空间

设E1,E2,…,E是线性空间V的一组基,在这组基下,V中每个向量都有确定 的坐标,而向量的坐标可以看成P元素,因此向量与它的坐标之间的对应实质 上就是V到P的一个映射.显然这个映射是单射与满射,换句话说,坐标给出了 线性空间V与P的一个双射.这个对应的重要性表现在它与运算的关系上