向量
线性相关的判别
向量的线性表示
线性相关与线性无关的证明
秩与极大线性无关组
正交化、正交矩阵
* 向量
* 加法
* 数乘
* 内积
* 长度
* 线性组合、线性表出
* 向量组等价
* 线性相关、线性无关
* n个n维向量相关 <-> 行列式等于0
* n+1个n维向量必相关
* k个向量相关，k+1个向量必相关
* k个向量无关，延伸组必无关
* k个向量相关，至少有一个向量能由其他k-1个线性表示
* 极大线性无关组
* 无关组的向量个数是向量组的秩
* 施密特正交化