• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:線形代数 線形空間の問題)

線形代数 線形空間の問題解説

このQ&Aのポイント
  • 線形代数の問題で、4×4行列を定義しています。
  • 行列の行列式が0の場合、要素は一次従属していることを示すことが目標です。
  • 解法についてわからないので、教えてほしいという質問です。

質問者が選んだベストアンサー

  • ベストアンサー
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.3

[※] ax^3 + bx^2 + cx + d = (1, x, x^2, x^3) (d, c, b, a)^t (^t は転置) と書けることを使って行列 V を 2つの行列の積に分解します. 分解して得られる 2つの行列のうち左のものがファンデルモンドの行列式に現れる行列 (かその転置). 右にあるのは係数を並べた行列です. ここで両辺の行列式をとると係数行列の行列式が 0 であることが分かります. 最後に [※] を使うために左から (1, x, x^2, x^3) を掛ければ終わり. やってみればわかります.

すると、全ての回答が全文表示されます。

その他の回答 (2)

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.2

どこからファンデルモンドの行列式がでてくるかはわかりますか? これがわかれば「f_1~f_4 の係数からなる行列」の行列式が 0 であることがわかります. つまり, この係数行列の kernel には 0 でないベクトル t が含まれ, これを使うと (f_1 f_2 f_3 f_4) t = 0 がいえます. つまり一次従属です.

dino14dino
質問者

補足

すみません、「ファンデルモンドの行列式」というのがすでにわからなかったです。一応検索して、わかったつもりですが。 det(V)=0のとき、Vt=0を満たす0でないベクトルtが存在するって言うのはわかるんですが、このときに(f_1 f_2 f_3 f_4) t = 0 となる理由がわからないです。 ファンデルモンドの行列式がどこに出てくるかもわからないです。 すみません。

すると、全ての回答が全文表示されます。
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

R{x}[3] は「x を変数とする高々 3次の実係数多項式の集合」かな? だとsたら det(AB) = det(A) det(B) とファンデルモンドの行列式が 0 でないことからほぼ自明.

dino14dino
質問者

補足

回答ありがとうございます。 ですが、私にはなぜ自明なのかわかりません。 よろしければご説明お願いします。

すると、全ての回答が全文表示されます。

関連するQ&A