一个应用范德蒙行列式的例子

问题

在实数域上线性空间$C[-\pi ,\pi ]$内判断下列向量组是否线性相关，并求它的秩：$$1,sinx,sin2x,sin3x,\cdots ,sinnx$$

引理

设$f_i(x)$是数域$K$上的$i$次多项式，其首项系数为$a_i(i=0,1,2,\cdots ,n-1)$.又设$b_1,b_2,\cdots ,b_n$是$K$内一组两两互不相同的数。则下列$n$阶矩阵：$$\left[\begin{array}{cccc}{f}_0(b_1)& f_0(b_2)& \cdots & f_0(b_n)\\ f_1(b_1)& f_1(b_2)& \cdots & f_1(b_n)\\ ⋮& ⋮& & ⋮\\ f_{n-1}(b_1)& f_{n-1}(b_2)& \cdots & f_{n-1}(b_n)\end{array}\right]$$
满秩。

引理证明

记$f_i(x)={\sum }_{k=0}^{n-1}{a}_{ik}{x}^{i-k}$,其中，$a_{ik}\in K,a_{i0}=a_i$且$i<k$时，$a_{ik}=0$。规定$f_i(0)=0$。
有$$\begin{gathered} \left|\begin{array}{cccc}{f}_0(b_1)& f_0(b_2)& \cdots & f_0(b_n)\\ f_1(b_1)& f_1(b_2)& \cdots & f_1(b_n)\\ ⋮& ⋮& & ⋮\\ f_{n-1}(b_1)& f_{n-1}(b_2)& \cdots & f_{n-1}(b_n)\end{array}\right| \\ =\left|\begin{array}{cccc}{\sum }_{k_0=0}^{n-1}{a}_{0k_0}{b}_1^{0-k_0}& {\sum }_{k_0=0}^{n-1}{a}_{0k_0}{b}_2^{0-k_0}& \cdots & {\sum }_{k_0=0}^{n-1}{a}_{0k_0}{b}_n^{0-k_0}\\ {\sum }_{k_1=0}^{n-1}{a}_{1k_1}{b}_1^{1-k_1}& {\sum }_{k_1=0}^{n-1}{a}_{1k_1}{b}_2^{1-k_1}& \cdots & {\sum }_{k_1=0}^{n-1}{a}_{1k_1}{b}_n^{1-k_1}\\ ⋮& ⋮& & ⋮\\ {\sum }_{k_{n-1}=0}^{n-1}{a}_{n-1k_{n-1}}{b}_1^{n-1-k_{n-1}}& {\sum }_{k_{n-1}=0}^{n-1}{a}_{n-1k_{n-1}}{b}_2^{n-1-k_{n-1}}& \cdots & {\sum }_{k_{n-1}=0}^{n-1}{a}_{n-1k_{n-1}}{b}_n^{n-1-k_{n-1}}\end{array}\right| \\ =\sum _{k_0=0}^{n-1}\sum _{k_1=0}^{n-1}\cdots \sum _{k_{n-1}=0}^{n-1}\left|\begin{array}{cccc}{a}_{0k_0}{b}_1^{0-k_0}& a_{0k_0}{b}_2^{0-k_0}& \cdots & a_{0k_0}{b}_n^{0-k_0}\\ a_{1k_1}{b}_1^{1-k_1}& a_{1k_1}{b}_2^{1-k_1}& \cdots & a_{1k_1}{b}_n^{1-k_1}\\ ⋮& ⋮& & ⋮\\ a_{n-1k_{n-1}}{b}_1^{n-1-k_{n-1}}& a_{n-1k_{n-1}}{b}_2^{n-1-k_{n-1}}& \cdots & a_{n-1k_{n-1}}{b}_n^{n-1-k_{n-1}}\end{array}\right| \\ =\left|\begin{array}{cccc}{a}_0& a_0& \cdots & a_0\\ a_1{b}_1& a_1{b}_2& \cdots & a_1{b}_n\\ a_2{b}_1^2& a_2{b}_2^2& \cdots & a_2{b}_n^2\\ ⋮& ⋮& & ⋮\\ a_{n-1}{b}_1^{n-1}& a_{n-1}{b}_2^{n-1}& \cdots & a_{n-1}{b}_n^{n-1}\end{array}\right| \\ =\prod _{i=0}^{n-1}{a}_i\left|\begin{array}{cccc}1& 1& \cdots & 1\\ b_1& b_2& \cdots & b_n\\ b_1^2& b_2^2& \cdots & b_n^2\\ ⋮& ⋮& & ⋮\\ b_1^{n-1}& b_2^{n-1}& \cdots & b_n^{n-1}\end{array}\right| \\ =\prod _{i=0}^{n-1}{a}_i\prod _{1\le j<k\le n}(b_k-b_j) \end{gathered}$$
由题$a_i$为多项式的首项系数，故不为零。又$b_j\ne b_k$,所以上式不为0，引理得证。

上述证明用到了行列式的行线性。在对每一行根据多项式的不同次项分拆行列式时，如果该行留下的不是最高次项，不妨记该行为第i行，那么该行列式的前i行中最多有（i-1）个不同次项，即必有两行留下了相同次项，将这两行的系数提出后会得到相同的两行，即该拆分后的行列式为0.

解答

判断实数域上线性空间中向量组是否线性相关，即判断是否存在一组不全为零的实数$k_0,k_1,k_2,\cdots ,k_n$,满足$k_0+{\sum }_{i=1}^n{k}_{i}sinix=0$,记为(1)式，该式对$\forall x\in [-\pi ,\pi ]$都成立。

将x=0代入即得$k_0=0$。于是只要判断对$\forall x\in [-\pi ,\pi ]$，是否存在一组不全为零的实数$k_1,k_2,\cdots ,k_n$,满足${\sum }_{i=1}^n{k}_{i}sinix=0$。

不难找到$[-\pi ,\pi ]$上（n+1）个数$x_1,x_2,\cdots ,x_{n+1}$,使得$i\ne j（i,j=1,2,\cdots ,n+1)$时，$sin{x}_i\ne sin{x}_j$。

将上述（n+1）个数分别代入(1)式，即得一个实数域上由（n+1）个方程组成的（n+1）元线性齐次方程组，$k_1,k_2,\cdots ,k_{n+1}$为其变元。该方程组的系数矩阵为$$A=\left[\begin{array}{ccccc}1& sin{x}_1& sin2x_1& \cdots & sinn{x}_1\\ 1& sin{x}_2& sin2x_2& \cdots & sinn{x}_2\\ ⋮& ⋮& ⋮& & ⋮\\ 1& sin{x}_{n+1}& sin2x_{n+1}& \cdots & sinn{x}_{n+1}\end{array}\right]$$由于上述线性齐次方程组有非零解等价于矩阵A不满秩，从而问题转变为研究矩阵A是否满秩。

注意到$$\begin{gathered} sinnx=\frac{(cosx+isinx{)}^n-(cosx-isinx{)}^n}{2i} \\ =\frac{{\sum }_{k=0}^n(cosx{)}^{n-k}[(isinx{)}^k-(-isinx{)}^k]}{2i} \\ =-i\sum _{\begin{array}{c}k=0\\ 2\nmid k\end{array}}^n(cosx{)}^{n-k}(isinx{)}^k, \end{gathered}$$当n为奇数时，$（n-k）$为偶数，$(cosx{)}^{n-k}=[1-(sinx{)}^2{]}^{\frac{n-k}{2}}$,sinnx为复数域上关于sinx的n次多项式。
从而可令$f_i(x)=sinix$,令$f_0(x)=1$,则$$A^{\prime }=\left[\begin{array}{cccc}{f}_0(x_1)& f_0(x_2)& \cdots & f_0(x_{n+1})\\ f_1(x_1)& f_1(x_2)& \cdots & f_1(x_{n+1})\\ ⋮& ⋮& & ⋮\\ f_n(x_1)& f_n(x_2)& \cdots & f_n(x_{n+1})\end{array}\right],$$A’表示A的转置。
由引理可知A满秩。
从而向量组$1,sinx,sin2x,sin3x,\cdots ,sinnx$线性无关。
当n为偶数时，(n+1)为奇数,向量组$1,sinx,sin2x,sin3x,\cdots ,sin(n+1)x$线性无关,从而向量组$1,sinx,sin2x,sin3x,\cdots ,sinnx$线性无关。
所以对任意正整数n，向量组$1,sinx,sin2x,sin3x,\cdots ,sinnx$线性无关。
该线性无关向量组包含(n+1)个向量，所以它的秩为(n+1)。

出处

本题出自蓝以中《高等代数简明教程》第二版上册第四章习题一第6题(5)。引理出自同一本书第三章习题一第27题。