前言
第一次接触线性代数是在大一的第一学期，学完以后分数不低，但是在结束考试后我就有点心虚，在这一段时间因为有个阿姨来问我线性代数，又温习了一遍，心里边变得更心虚。我觉得自己仿佛没有学到东西，记忆当中也只有那些零零散散的计算公式，所以这一段时间为了帮助阿姨，自己又重新学习了一遍线性代数，对线性代数的实质稍微有了一点基础，下面的行文思路是我在看MIT的线性代数的一个基础视频的总结笔记，期间会穿插着一些我自己对于线性代数的一些理解，一方面希望可以希望帮助像我和阿姨一样的同学了解线性代数计算后面的本质，另一方面是为了快速帮助自己总结复习回忆起以前的知识点！
注意：在这个文章中，因为我自身的水平有限，所以想去讨论一下像计算性这样的东西，比如关于解的存在，唯一性等，因为这样的定理都有充分地理论进行判定依据，要求解的话又可以有cramer法则，实在不行我们用MATLAB这样的数学软件也都可以解决，在这里我更想的是了解一些计算的本质，因为比较基础，感谢各位大牛们给我指教，以此来帮助我和阿姨们共同进步。OK，话不多说，开写；
1：线性方程组
线性方程组的特点：方程是未知数的一次齐次式，方程组的数目s和未知数的个数n可以相同，也可以不同。
关于线性方程组的解，有三个问题值得讨论：
（1）、方程组是否有解，即解的存在性问题；
（2）、方程组如何求解，有多少个解
（3）、方程组有不止一个解时，这些不同的解之间有无内在联系，即解的结构问题。
（4）
高斯消元法，最基础和最直接的求解线性方程组的方法，其中涉及到三种对方程的同解变换：（1）、把某个方程的k倍加到另外一个方程上去；
（2）、交换某两个方程的位置；
（3）、用某个常数k乘以某个方程。我们把这三种变换统称为线性方程组的初等变换。
任意的线性方程组都可以通过初等变换化为阶梯形方程组。
由具体例子可看出，化为阶梯形方程组后，就可以依次解出每个未知数的值，从而求得方程组的解。
对方程组的解起决定性作用的是未知数的系数及其相对位置，所以可以把方程组的所有系数及常数项按原来的位置提取出来，形成一张表，通过研究这张表，就可以判断解的情况。我们把这样一张由若干个数按某种方式构成的表称为矩阵。
可以用矩阵的形式来表示一个线性方程组，这至少在书写和表达上都更加简洁。
系数矩阵和增广矩阵。
高斯消元法中对线性方程组的初等变换，就对应的是矩阵的初等行变换。阶梯形方程组，对应的是阶梯形矩阵。换言之，任意的线性方程组，都可以通过对其增广矩阵做初等行变换化为阶梯形矩阵，求得解。
阶梯形矩阵的特点：左下方的元素全为零，每一行的第一个不为零的元素称为该行的主元。
对不同的线性方程组的具体求解结果进行归纳总结（有唯一解、无解、有无穷多解），再经过严格证明，可得到关于线性方程组解的判别定理：首先是通过初等变换将方程组化为阶梯形，若得到的阶梯形方程组中出现0=d这一项，则方程组无解，若未出现0=d一项，则方程组有解；在方程组有解的情况下，若阶梯形的非零行数目r等于未知量数目n，方程组有唯一解，若r
在利用初等变换得到阶梯型后，还可进一步得到最简形，使用最简形，最简形的特点是主元上方的元素也全为零，这对于求解未知量的值更加方便，但代价是之前需要经过更多的初等变换。在求解过程中，选择阶梯形还是最简形，取决于个人习惯。
常数项全为零的线性方程称为齐次方程组，齐次方程组必有零解。
齐次方程组的方程组个数若小于未知量个数，则方程组一定有非零解。
利用高斯消元法和解的判别定理，以及能够回答前述的基本问题（1）解的存在性问题和（2）如何求解的问题，这是以线性方程组为出发点建立起来的最基本理论。
对于n个方程n个未知数的特殊情形，我们发现可以利用系数的某种组合来表示其解，这种按特定规则表示的系数组合称为一个线性方程组（或矩阵）的行列式。行列式的特点：有n!项，每项的符号由角标排列的逆序数决定，是一个数。
通过对行列式进行研究，得到了行列式具有的一些性质（如交换某两行其值反号、有两行对应成比例其值为零、可按行展开等等），这些性质都有助于我们更方便的计算行列式。
用系数行列式可以判断n个方程的n元线性方程组的解的情况，这就是克莱姆法则。
总而言之，可把行列式看作是为了研究方程数目与未知量数目相等的特殊情形时引出的一部分内容。
在利用高斯消元法求解线性方程组的过程中，涉及到一种重要的运算，即把某一行的倍数加到另一行上，也就是说，为了研究从线性方程组的系数和常数项判断它有没有解，有多少解的问题，需要定义这样的运算，这提示我们可以把问题转为直接研究这种对n元有序数组的数量乘法和加法运算。
数域上的n元有序数组称为n维向量。设向量a=(a1,a2,...,an)，称ai是a的第i个分量。
n元有序数组写成一行，称为行向量，同时它也可以写为一列，称为列向量。要注意的是，行向量和列向量没有本质区别，只是元素的写法不同。
矩阵与向量通过行向量组和列向量组相联系。
对给定的向量组，可以定义它的一个线性组合。线性表出定义的是一个向量和另外一组向量之间的相互关系。
利用矩阵的列向量组，我们可以把一个线性方程组有没有解的问题转化为一个向量能否由另外一组向量线性表出的问题。同时要注意这个结论的双向作用。
从简单例子（如几何空间中的三个向量）可以看到，如果一个向量a1能由另外两个向量a2、a3线性表出，则这三个向量共面，反之则不共面。为了研究向量个数更多时的类似情况，我们把上述两种对向量组的描述进行推广，便可得到线性相关和线性无关的定义。
通过一些简单例子体会线性相关和线性无关（零向量一定线性无关、单个非零向量线性无关、单位向量组线性无关等等）。
从多个角度（线性组合角度、线性表出角度、齐次线性方程组角度）体会线性相关和线性无关的本质。
部分组线性相关，整个向量组线性相关。向量组线性无关，延伸组线性无关。
回到线性方程组的解的问题，即一个向量b在什么情况下能由另一个向量组a1,a2,...,an线性表出？如果这个向量组本身是线性无关的，可通过分析立即得到答案：b, a1, a2, ..., an线性相关。如果这个向量组本身是线性相关的，则需进一步探讨。
任意一个向量组，都可以通过依次减少这个向量组中向量的个数找到它的一个部分组，这个部分组的特点是：本身线性无关，从向量组的其余向量中任取一个进去，得到的新的向量组都线性相关，我们把这种部分组称作一个向量组的极大线性无关组。
如果一个向量组A中的每个向量都能被另一个向量组B线性表出，则称A能被B线性表出。如果A和B能互相线性表出，称A和B等价。
一个向量组可能又不止一个极大线性无关组，但可以确定的是，向量组和它的极大线性无关组等价，同时由等价的传递性可知，任意两个极大线性无关组等价。
注意到一个重要事实：一个线性无关的向量组不能被个数比它更少的向量组线性表出。这是不难理解的，例如不共面的三个向量（对应线性无关）的确不可能由平面内的两个向量组成的向量组线性表出。
一个向量组的任意两个极大线性无关组所含的向量个数相等，我们将这个数目r称为向量组的秩。
向量线性无关的充分必要条件是它的秩等于它所含向量的数目。等价的向量组有相同的秩。
有了秩的概念以后，我们可以把线性相关的向量组用它的极大线性无关组来替换掉，从而得到线性方程组的有解的充分必要条件：若系数矩阵的列向量组的秩和增广矩阵的列向量组的秩相等，则有解，若不等，则无解。
向量组的秩是一个自然数，由这个自然数就可以判断向量组是线性相关还是线性无关，由此可见，秩是一个非常深刻而重要的概念，故有必要进一步研究向量组的秩的计算方法。
鉴于每篇文章内容不宜过长，后续的线性相关，矩阵乘法，空间变换，特征值与特征向量等知识会后续连载几篇文章。谢谢阿姨的观看，阿姨一定要学好哈！
�b���E�h�