I. 映射(Mapping)
1. 单射(Injective)
例子： f(x) = x+5 从实数集\(R\)到\(R\)是个单射函数。
这个函数很容易被还原：f(3) = 8，即 已知 8 可以返回 3
2. 满射(Surjective)
值域里的每个元素都至少有一个定义域元素与之对应。
例子：函数 f(x) = 2x 从自然数集\(N\)到非负偶数是个满射函数。
但 f(x) = 2x 从自然数集\(N\)到\(N\)不是满射，因为没有一个自然数\(N\)可以被这个函数映射到 3。
3. 双射(Bijective)
例子： 函数 \(f(x) = x^2\) 从正实数到正实数是单射，也是满射，所以它是双射。
但从实数集\(R\)就不是，因为f(2)=4，并且f(-2)=4
II. 同态&同构
对于向量空间\(V,W\),若有映射\(\Phi :V→W\)满足如下条件，则我们称\(\Phi\)为线性映射(linear mapping)(或者向量空间同态(vector space Homomorphism) 或 linear transform):
\[\forall{x,y}∈V, \lambda,\psi∈R:\Phi(\lambda x+\psi y)=\lambda \Phi(x) + \psi \Phi(y)\]
基于上面已经介绍了的映射的概念，我们现在可以更好地直观理解同态和同构的定义，它们分别如下：
- \(\Phi:V→W \,\,\, linear\): 同态 (Homomorphism)
- \(\Phi:V→W \,\,\, linear \,\, and \,\, injective\): 单一同态 (Monomorphism)
- \(\Phi:V→W \,\,\, linear \,\, and \,\, surjective\): 满同态 (Surjective Homomorphism)
- \(\Phi:V→W \,\,\, linear \,\, and \,\, bijective\): 同构 (Isomorphism)
- \(\Phi:V→V \,\,\, linear\): 自同态 (Endomorphism)
- \(\Phi:V→V \,\,\, linear \,\, and \,\, injective\): 单一自同态 (Monomorphic Endomorphism)
- \(\Phi:V→V \,\,\, linear \,\, and \,\, surjective\): 满自同态 (Surjective Endomorphism)
- \(\Phi:V→V \,\,\, linear \,\, and \,\, bijective\): 自同构 (Automorphism)
假设现在有三个向量空间分别为\(V,W,X\),那么它们有如下性质：
- 如果有线性映射\(\Phi:V→W\)和\(\Psi:W→X\),那么映射\(\Phi◦\Psi:V→X\)也是线性映射；
- 如果\(\Phi:V→W\)是同构(isomorphsim),那么\(\Phi^{-1}:V→W\)也是同构；
- 如果\(\Phi:V→W,\Psi:V→W\)都是线性映射，那么\(\Psi+\Phi\)和\(\lambda\Phi,\lambda∈R\)也都是线性的。
1. 线性映射的矩阵表示
坐标(Coordinates) 的定义：
变换矩阵(Transform Matrix) 的定义:
所以向量空间\(V\)中的坐标矢量\(x\)与\(W\)中的坐标矢量\(y\)有如下变换关系:\(y=A_{\Phi}x\)
2. 基变换(Basis Change)
定义:
3. 核(kernel)与象(Image)
先看定义:
核(Kernel/null space):
什么意思呢？就是说经过映射后,\(V\)中的一些值被映射到\(W\)的零点(如下图示)，而\(V\)这些值组成的集合(即左边橘黄色部分)就称为kernel。
- 象(Image/Range)
\[Im(\Phi)=\Phi(V)=\{w∈W|\exists v∈V:\Phi(v)=w\}\]
怎么理解象呢？就是说整个向量空间\(V\)在经过映射后在向量空间\(W\)上得到的集合，也就是右边黄色部分。
另外需要注意的有如下推论:
- 始终有\(\Phi(0_V)=0_W\)，即\(0_V∈ker(\Phi)\)
- \(Im(\Phi),Ker(\Phi)\)分别是\(W,V\)的子空间
- 当且仅当\(Ker(\Phi)=\{0\}\)时，\(\Phi\)是单射。
如果用matrix来说的话，假设A是一个n*n的matrix，则:\(rank(A)+nullity(A)=n\)
再通俗点说就是对A进行初等变换后得到的echelon form（行阶梯形式），不为0的行数加上全部为0的行数等于这个矩阵的行数。当然因为一般的matrix的row rank和column rank相等，所以变成column echelon form之后用列来计数也是一样的。
III. 仿射空间(Affine Spaces)
前面提到的映射都是经过零点的，下面介绍的仿射空间是偏离原点的空间。
1. 仿射子空间(Affine Subspaces)
定义: