证明维度定理

定理描述：

如果$n$维向量集$a_1,a_2,...,a_k$是线性无关的，则有$k⩽n$.

证明：

利用数学归纳法来证明：

• 当 $n=1$ 时：
  假设有1维的向量集$a_1,a_2,...,a_k$是线性无关的，则必有$a_i\ne 0$。这时就会得到$a_i=\left(\frac{a_i}{a_1}\right)\ast a_1$，所以$k=1$是必然的，否则就与$a_1,a_2,...,a_k$是线性无关这个假设矛盾。故当$n=1$时结论成立。
• 当 $n⩾2$ 时：
  假设 $n-1$ 维时结论成立。
  此时假设有$n$维的向量集$a_1,a_2,...,a_k$是线性无关的，这里只需要证明$k⩽n$则结论得证。
  首先把每个向量分成两块：
  $$a_i=\left[\begin{array}{c}{b}_i\\ {\alpha }_i\end{array}\right]，i=1,2,...,k$$
  其中$b_i$是一个$n-1$维的向量而${\alpha }_i$是个标量。
  接下来分成两步来证明.
  • 首先假设${\alpha }_1=\cdots ={\alpha }_k=0$.
    紧接着假设存在${\beta }_1,{\beta }_2,...,{\beta }_k$使得${\sum }_{i=1}^k{\beta }_i{a}_i=0$，也即等价于使得${\sum }_{i=1}^k{\beta }_i{b}_i=0$。由于$b_1,b_2,...,b_k$是$n-1$维的向量，而$n-1$维时定理是成立的，故此时有$k⩽n-1$，也即$k⩽n$，所以定理得证。
  • 接下来假设${\alpha }_i,\cdots ,{\alpha }_k$不全为0.
    假设${\alpha }_j\ne 0$，定义$k-1$个$n-1$维向量集:
    $$c_i=b_i-\frac{{\alpha }_i}{{\alpha }_j}{b}_j,i=1,...,j-1$$ $$c_i=b_i-\frac{{\alpha }_{i+1}}{{\alpha }_j}{b}_j,i=j,...,k-1$$
    假设存在${\beta }_1,{\beta }_2,...,{\beta }_{k-1}$使得${\sum }_{i=1}^{k-1}{\beta }_i{c}_i=0$,也即代表有如下等式成立：
    $$\sum _{i=1}^{j-1}{\beta }_i\left[\begin{array}{c}{b}_i\\ {\alpha }_i\end{array}\right]-\frac{1}{{\alpha }_j}(\sum _{i=1}^{j-1}{\beta }_i{\alpha }_i+\sum _{i=j+1}^k{\beta }_{i-1}{\alpha }_i)\left[\begin{array}{c}{b}_j\\ {\alpha }_j\end{array}\right]+\sum _{i=j+1}^k{\beta }_{i-1}\left[\begin{array}{c}{b}_i\\ {\alpha }_i\end{array}\right]=0$$
    设$\gamma =-\frac{1}{{\alpha }_j}({\sum }_{i=1}^{j-1}{\beta }_i{\alpha }_i+{\sum }_{i=j+1}^k{\beta }_{i-1}{\alpha }_i)$，那么上式可以简化为：
    $$\sum _{i=1}^{j-1}{\beta }_i\left[\begin{array}{c}{b}_i\\ {\alpha }_i\end{array}\right]+\gamma \left[\begin{array}{c}{b}_j\\ {\alpha }_j\end{array}\right]+\sum _{i=j+1}^k{\beta }_{i-1}\left[\begin{array}{c}{b}_i\\ {\alpha }_i\end{array}\right]=0$$
    由于$a_i=(b_i,{\alpha }_i)$是线性无关的，则${\beta }_i$和$\gamma$均等于0，这也就意味着$c_1,c_2,...,c_{k-1}$这$k-1$个$n-1$维的向量是线性无关的，而$n-1$维时定理是成立的，所以就有不等式$k-1⩽n-1$，也即$k⩽n$.故$n$维时定理也是成立的。

综上所述，如果n维向量集$a_1,a_2,...,a_k$是线性无关的，则有$k⩽n$.定理得证!