线性空间的对偶空间

1 线性函数

$n$维线性空间$V$上的线性函数是指把$V$中的元素映射为实数的函数，且满足以下特性，
$$\begin{gathered} f(\beta +\gamma )=f(\beta )+f(\gamma ) \\ f(k\beta )=kf(\beta ) \end{gathered}$$
所有线性函数构成一个集合$Q$。

尝试在这个集合上定义加法如下，
$$(f+g)(\beta )=f(\beta )+g(\beta )$$
可以验证，两个线性函数的和，仍然是线性函数，验证如下，
$$\begin{gathered} (f+g)(\beta +\gamma )=f(\beta +\gamma )+g(\beta +\gamma )=f(\beta )+f(\gamma )+g(\beta )+g(\gamma )=[f(\beta )+g(\beta )]+[f(\gamma )+g(\gamma )]=(f+g)(\beta )+(f+g)(\gamma ) \\ (f+g)(k\beta )=f(k\beta )+g(k\beta )=kf(\beta )+kg(\beta )=k(f+g)(\beta ) \end{gathered}$$
因此，集合$Q$对此种定义的加法封闭，定义的加法是合理的，并且显然，该加法满足交换律。

尝试在集合上定义数乘如下，
$$(kf)(\beta )=kf(\beta )$$
可以验证，一个线性函数的数乘结果，仍然是线性函数，验证如下，
$$\begin{gathered} (kf)(\beta +\gamma )=kf(\beta +\gamma )=kf(\beta )+kf(\gamma )=(kf)(\beta )+(kf)(\gamma ) \\ (kf)(c\beta )=kf(c\beta )=kcf(\beta )=ckf(\beta )=c(kf)(\beta ) \end{gathered}$$
因此，集合$Q$对此种定义的数乘封闭，定义的数乘是合理的。

集合$Q$中的零元是把任何$V$中的元素映射为实数0的线性函数，可以证明，该零元是唯一的。线性空间需要满足的其它条件比较容易验证。

综上所述 ，集合$Q$是线性空间。

定义了加法和数乘，$Q$中元素的线性组合，仍然是$Q$中的元素。

2 对偶空间

2.1 取坐标函数

给定$n$维线性空间$V$一组基
$${\alpha }_1,{\alpha }_2,{\alpha }_3...{\alpha }_n$$
则每个向量$\beta$都有一个坐标表达，
$$\beta =a_i{\alpha }_i$$
自然有唯一（向量在固定基下坐标的唯一性）一组$n$个取坐标函数$f_i(\beta )=a_i$ 。

命题：存在两组不同的基对应相同的一组取坐标函数。因为每个取坐标函数定义域都是线性空间$V$，所以此命题等价于线性空间$V$中存在两组不同的基使所有的向量在这两组基下的坐标相同，易证此命题为假。虽然存在线性空间$V$的一个子集中的所有向量在两组不同基下的坐标相等的情况，比如两组基的过渡矩阵的逆矩阵有等于1的特征值时。

另有一个向量$\gamma =c_i{\alpha }_i$及任意实数$k$，对任一$f_j$有如下关系，
$$\begin{gathered} f_j(\beta +\gamma )=f_j(a_i{\alpha }_i+c_i{\alpha }_i)=f_j((a_i+c_i){\alpha }_i)=a_j+c_j=f_j(\beta )+f_j(\gamma ) \\ {f}_j(k\beta )=f_j(k{a}_i{\alpha }_i)=k{a}_j=k{f}_j(\beta ) \end{gathered}$$
故取坐标函数$f_i$是线性函数，即$f_i\in Q$。

2.2 取坐标函数张出线性空间

取坐标函数$f_i\in Q$线性无关，证明如下，

假设线性相关，即存在一组不全为0的实数$c_i$使得下式成立，
$$c_i{f}_i=0$$
则对于任一向量$\beta =a_j{\alpha }_j$
$$(c_i{f}_i)(\beta )=c_i{f}_i(\beta )=c_i{a}_i=0$$
上式对任意$\beta$恒成立，因此$c_i=0$ ，与"一组不全为0的实数$c_i$"矛盾，所以取坐标函数$f_i\in Q$线性无关。$f_i$张成的$n$维线性空间$V^{\ast }$是$Q$的子空间。

对$Q$中任一元素$g$，
$$g(\beta )=g(a_i{\alpha }_i)=a_{i}g({\alpha }_i)=f_i(\beta )g({\alpha }_i)=(g({\alpha }_i)f_i)(\beta )$$
即
$$g=g({\alpha }_i)f_i$$
$g$可以表达为$f_i$的线性组合，因此$g\in V^{\ast }$，所以$V^{\ast }=Q$，把$V^{\ast }$（即$V$上所有线性函数组成的线性空间）称为$V$的对偶空间，$f_i$称为${\alpha }_i$的对偶基。

3 对偶性

线性空间$V$与其对偶空间$V^{\ast }$维数相等，$V$中的任意一组基${\alpha }_i$在$V^{\ast }$中有且仅有一组对偶基$f_i$，并且不同的两组基对应两组不同的对偶基，即基与对偶基是一一对应的。基与其对偶基有如下关系，
$$f_i({\alpha }_j)={\delta }_{ij}$$
对于$V$中的任一向量$\beta =a_i{\alpha }_i$
$$f_j(\beta )=a_j$$
对于$V^{\ast }$中的任一向量$g=c_i{f}_i$
$$g({\alpha }_j)=c_j$$
即$f_i$是$V$中向量的取坐标函数，同时${\alpha }_i$是$V^{\ast }$中向量的取坐标函数。

向量$g$作用于向量$\beta$如下，是坐标对应相乘求和，相当于一个双线性函数，这个函数的值依赖于基的选择，体现不出明显的对偶性。
$$g(\beta )=(c_i{f}_i)(a_j{\alpha }_j)=c_i{a}_j{f}_i({\alpha }_j)=c_i{a}_i$$
若向量$g$与向量$\beta$坐标相同均为$c_i$，则$g(\beta )=c_i{c}_i$，即坐标平方和，也没什么特别之处，所以一般没有$V$中某一向量与$V^{\ast }$中某一向量有对偶关系的说法，但”坐标相同“确实构造了一个$V$与$V^{\ast }$之间的一个线性双射（同构映射），并且”坐标相同“在$V^{\ast }$与$V^{\ast }$的对偶空间$V^{\ast \ast }$之间同样构造了一个同构映射，从而在$V$与$V^{\ast \ast }$间建立了一个同构映射，这个映射在$V$的基变换下保持不变，故叫做自然同构映射。另外自然同构映射的象、原象分别与$V^{\ast }$中的任一元素作用值相等，故可以把$V$与$V^{\ast \ast }$等同起来，所以有$V$经过两次对偶又回到自身的意思。