线性空间和线性变换的学习，首先要建立宏观的思想，并一直用这种思想去思考问题，一步一步真正理解每个概念的含义和知识间的成因关系。 对于线性空间和线性变换的学习，我用来更好的理解矩阵—它到底为什么这样以及这样做有什么意义。建立这种宏观的思想，指导以后的工作。

“只要不是线性的东西，我们基本上都不会” “非线性问题对人类来说极为困难” 常见的思想：将非线性转换成线性。

矩阵乘法：

m ∗ n 的 矩 阵 A m ∗ n 乘 以 n ∗ k 的 矩 阵 B n ∗ k 得 到 新 的 矩 阵 C ， 是 一 个 m ∗ k 大 小 的 矩 阵 。 m*n的矩阵A_{m*n}乘以 n*k 的矩阵B_{n*k}得到新的矩阵C，是一个m*k大小的矩阵。 m∗n的矩阵Am∗n​乘以n∗k的矩阵Bn∗k​得到新的矩阵C，是一个m∗k大小的矩阵。 C i j = ∑ a = 1 n A i a ∗ B a j C_{ij}=\displaystyle\sum_{a=1}^{n} A_{ia}*B_{aj} Cij​=a=1∑n​Aia​∗Baj​

矩阵乘法运算：

矩阵运算构成环。 矩阵运算是封闭的！

矩阵是线性空间中的线性变换。

了解了矩阵乘法和加法等运算的定义后，有助于线性空间的定义和理解。

线性空间是整个线性变换的基础。对线性空间的理解十分重要。 线性空间：一个集合配上一个数域，对空间中元素(向量)的“加法”和“数乘运算”做约束，形成如下八条法则。

设V是一个非空集合，它的元素用 x ⃗ 、 y ⃗ \vec x、\vec y x 、y ​表示。K是一个数域，它的元素用 k 、 m 、 l k、m、l k、m、l表示。若集合V满足如下条件： (a) V中定义一个加法运算，即当 x ⃗ 、 y ⃗ ∈ V \vec x、\vec y \in V x 、y ​∈V时，有唯一的 x ⃗ + y ⃗ ∈ V \vec x+\vec y \in V x +y ​∈V，（集合上加法满足封闭性），且向量加法满足如下:   1) ( x ⃗ + y ⃗ ) + z ⃗ = x ⃗ + ( y ⃗ + z ⃗ ) (\vec x+\vec y)+\vec z=\vec x+(\vec y+\vec z) (x +y ​)+z =x +(y ​+z ) -结合律   2) x ⃗ + y ⃗ = y ⃗ + x ⃗ \vec x+\vec y=\vec y+\vec x x +y ​=y ​+x -交换律   3) ∃ 0 ⃗ ， 使 得 0 ⃗ + x ⃗ = x ⃗ \exist\vec 0，使得\vec 0+\vec x=\vec x ∃0 ，使得0 +x =x -零元   4) ∀ x ⃗ ， ∃ y ⃗ ， 使 得 x ⃗ + y ⃗ = 0 ⃗ \forall \vec x，\exist\vec y，使得\vec x+\vec y=\vec0 ∀x ，∃y ​，使得x +y ​=0 -负元 (b) 在V上定义数乘运算，即当 x ⃗ ∈ V ， k ∈ K \vec x\in V，k\in K x ∈V，k∈K时，有唯一的 k x ⃗ ∈ V k\vec x \in V kx ∈V，（集合上数乘满足封闭性），且数乘满足如下:   5) k ( x ⃗ + y ⃗ ) = k x ⃗ + k y ⃗ k(\vec x+\vec y)=k\vec x+k\vec y k(x +y ​)=kx +ky ​ -分配律   6) ( k + l ) x ⃗ = k y ⃗ + l x ⃗ (k+l)\vec x=k\vec y+l\vec x (k+l)x =ky ​+lx -分配律   7) k ( l x ⃗ ) = ( k l ) x ⃗ k(l\vec x)=(kl)\vec x k(lx )=(kl)x -结合律   8) 1 x ⃗ = x ⃗ 1\vec x=\vec x 1x =x -数乘单位元

从集合到线性空间 （用集合的观点描述数学概念） 线性空间首先是一个集合，这个集合需要配有一个数域（实数域、复数域、有理数域等），且这个集合中的每个元素都是一个向量。

eg: 非常规的线性空间—函数空间： (重新审视八条定义)

回忆高中时候学习的三维空间中，我们常常以 e ⃗ x 、 e ⃗ y 、 e ⃗ z \vec e_x、\vec e_y、\vec e_z e x​、e y​、e z​为三个基底，使得三维空间中任何一个向量 α ⃗ \vec \alpha α 都可以被表示: α ⃗ \vec \alpha α = a e ⃗ x + b e ⃗ y + c e ⃗ z a\vec e_x+b\vec e_y+c\vec e_z ae x​+be y​+ce z​。   — 矢量展开 → \to →线性表出

任何一个混乱矩阵都能通过初等变换得到一个上三角矩阵或下三角矩阵。 通过初等变换，可以很容易得到矩阵的秩。 （初等变换不会改变矩阵的秩）。

如图示： - 初等变换的规则：

（1）对调某两行/列； （2）对某行/列乘以系数k； （3）对某一行/列加上(减去)某一行/列的k倍。 使之变成一个上三角矩阵或下三角矩阵。

利用初定变换的规则，我们可以求出一个矩阵的最大线性无关组，最终目的是引出对“秩”的理解和定义。

三维空间中，有向量 e ⃗ x 、 e ⃗ y 、 e ⃗ z ， ∃ \vec e_x、\vec e_y、\vec e_z，\exist e x​、e y​、e z​，∃系数 a 1 、 a 2 、 a 3 a_1、a_2、a_3 a1​、a2​、a3​，且不全为0，使得 a 1 e ⃗ x + a 2 e ⃗ y + a 3 e ⃗ z = 0 a_1\vec e_x+a_2\vec e_y+a_3\vec e_z=0 a1​e x​+a2​e y​+a3​e z​=0，则说明 e ⃗ x 、 e ⃗ y 、 e ⃗ z \vec e_x、\vec e_y、\vec e_z e x​、e y​、e z​线性相关。 线性空间中， ∃ \exist ∃系数 a 1 、 a 2 、 a 3 、 . . . a n a_1、a_2、a_3、...a_n a1​、a2​、a3​、...an​，且不全为0，使得 a 1 e ⃗ x + a 2 e ⃗ y + . . . + a n e ⃗ k = 0 a_1\vec e_x+a_2\vec e_y+...+a_n\vec e_k=0 a1​e x​+a2​e y​+...+an​e k​=0，则说明 e ⃗ x 、 e ⃗ y 、 . . . 、 e ⃗ k \vec e_x、\vec e_y、...、\vec e_k e x​、e y​、...、e k​线性相关。

线性相关说明基向量中有多余，存在冗余信息。

三维空间中，有向量 e ⃗ x 、 e ⃗ y 、 e ⃗ z ， \vec e_x、\vec e_y、\vec e_z， e x​、e y​、e z​，不 ∃ \exist ∃系数 a 1 、 a 2 、 a 3 a_1、a_2、a_3 a1​、a2​、a3​(不全为0)，使得 a 1 e ⃗ x + a 2 e ⃗ y + a 3 e ⃗ z = 0 a_1\vec e_x+a_2\vec e_y+a_3\vec e_z=0 a1​e x​+a2​e y​+a3​e z​=0，则说明 e ⃗ x 、 e ⃗ y 、 e ⃗ z \vec e_x、\vec e_y、\vec e_z e x​、e y​、e z​线性无关。 线性空间中，不 ∃ \exist ∃系数 a 1 、 a 2 、 a 3 、 . . . a n a_1、a_2、a_3、...a_n a1​、a2​、a3​、...an​(不全为0)，使得 a 1 e ⃗ x + a 2 e ⃗ y + . . . + a n e ⃗ k = 0 a_1\vec e_x+a_2\vec e_y+...+a_n\vec e_k=0 a1​e x​+a2​e y​+...+an​e k​=0，则说明 e ⃗ x 、 e ⃗ y 、 . . . 、 e ⃗ k \vec e_x、\vec e_y、...、\vec e_k e x​、e y​、...、e k​线性无关。

也即是说只有当系数全为0时，才能使得等式成立。 线性无关下，向量才能被是唯一的表出。

  假设对一组基底 a ⃗ 1 、 a ⃗ 2 、 . . . 、 a ⃗ n \vec a_1、\vec a_2、...、\vec a_n a 1​、a 2​、...、a n​线性相关，存在一组系数 k 1 、 k 2 、 . . . 、 k n k_1、k_2、...、k_n k1​、k2​、...、kn​且不全为0，则有：     k 1 a ⃗ 1 + k 2 a ⃗ 2 + . . . + k n a ⃗ n = 0 k_1\vec a_1+k_2\vec a_2+...+k_n\vec a_n=0 k1​a 1​+k2​a 2​+...+kn​a n​=0 成立。 此时，对于某个不为0的系数 k i k_i ki​，则 a ⃗ i \vec a_i a i​可表示为：     a ⃗ i = k 1 a ⃗ 1 + k 2 a ⃗ 2 + . . . + k i − 1 a ⃗ i − 1 + k i + 1 a ⃗ i + 1 + . . . + k n a ⃗ n k i \vec a_i=\frac{k_1\vec a_1+k_2\vec a_2+...+k_{i-1}\vec a_{i-1}+k_{i+1}\vec a_{i+1}+...+k_{n}\vec a_{n}}{k_i} a i​=ki​k1​a 1​+k2​a 2​+...+ki−1​a i−1​+ki+1​a i+1​+...+kn​a n​​   扣除 a ⃗ i \vec a_i a i​，…反复扣除，   直到剩下的基底 a ⃗ k ( 1 ) 、 a ⃗ k ( 2 ) 、 . . . 、 a ⃗ k ( s ) \vec a_{k(1)}、\vec a_{k(2)}、...、\vec a_{k(s)} a k(1)​、a k(2)​、...、a k(s)​线性无关。

‘s’是一个重要的数字，代表着最大线性无关组的元素个数，即是秩-rank(M)。 矩阵中“秩”的概念，就是从线性空间的线性相关和线性无关的概念中得到的。 （不区分行秩和列秩）

满足上述八条规则。

对偶空间是线性空间。 对偶空间 V ∗ V^* V∗基于某一线性空间 V V V延伸。 将线性空间中的 V V V所有向量映射到实数空间： v ⃗ ∈ V → v ∗ R \vec v∈V \to^{v^*} \R v ∈V→v∗R 中的线性映射是对偶空间中的一个向量，把所有的线性映射放到一起，构成对偶空间。 行向量可以当做是列向量的线性映射。 线性空间经过对偶得到对偶空间，对偶空间再对偶又回到原线性空间。

欧氏空间是线性空间。 定义在 R n \R^n Rn上， v ⃗ = ( k 1 , k 2 , . . . , k n ) \vec v=(k_1,k_2,...,k_n) v =(k1​,k2​,...,kn​)。 欧氏空间的特殊运算： （1）内积 （2）模长 （3）夹角

闵氏空间是线性空间，欧氏空间上一点小变化产生。 与欧氏空间的不同点在内积运算上。 是对客观物理世界更好的描述方式。

详见：线性代数学习笔记（二）：线性变换的理解

详见： 线性代数学习笔记（三）：矩阵的理解之— 矩阵的秩与行列式

线性代数学习笔记（四）：矩阵的理解之— 矩阵的特征值与特征向量

线性代数学习笔记（五）：矩阵的理解之— 线性代数核心定理