α_1,α_2,…,α_n が非零の時,e^(α_1t),e^(α_2t),…,e^(α_nt)が一次独立を示す問題です
Let α_1,α_2,…,α_n be distinct numbers, ≠0. Show that the functions
e^(α_1t),e^(α_2t),…,e^(α_nt) are lineraly independent over the complex numbers.
[Hint: Suppose we have a linear relation
c_1e^(α_1t)+c_2e^(α_2t)+…+c_ne^(α_nt)=0
with constants c_i,valid for all t. If not all c_i are 0,without loss of generality,we may assume that none of them is 0.Differentiate the above relation n-1 times. You get a system of linear equations. The determinant of its coefficients must be zero.(Why?) Get a contradiction from this.]
と言うe^(α_1t),e^(α_2t),…,e^(α_nt)が一次独立を示す問題です。
(もし,c_iの一つでも非零なら全c_iも非零である事を使ってよいようです)
n-1回微分して得られる一次連立方程式の係数行列の行列式は
とりあえずn-1回微分してみましたらその係数行列の行列式が0でなければならない事から
矛盾を引き出せと述べてあります。
係数行列Aは
A:=
(c_1,c_2,…,c_n)
(c_1α_1,c_2α_2,…,c_2α_n)
(c_1α_1^2,c_2α_2^2,…,c_nα_n^2)
:
(c_1α_1^(n-1),c_2α_2^(n-1),…,c_nα_n^(n-1))
と書けると思います。
そして,その一次連立方程式は
At^(e^α_1t,e^α_2t,…,e^α_nt)=0
と書けます。
(但しtは転置行列を表す)
このdet(A)=0でなければならないのは何故なのでしょうか?
そしてdet(A)=0ならどうして矛盾なのでしょうか?
