転置行列の証明について

前へ 次へ
このQ&Aのポイント
  • 転置行列の証明について知恵袋にあった証明を引用させて頂きます。
  • 転置行列の証明では、行列の積の交換を理解する必要があります。
  • t(AB)=tBtAの関係式は、t(AB)の(i,j)成分とtBtAの(i,j)成分が等しいことを示しています。
回答を見る
  • ベストアンサー

転置行列　証明

転置行列　証明 t(AB)=tBtAの証明について 知恵袋にあった証明を引用させて頂きます。 行列の積が定義できることを前提に、各行列の(i,j)成分を次のようにおきます。 A : a_ij B : b_ij tA : a_ij(t) = a_ji ＿＿＿＿ (1) tB : b_ij(t) = b_ji ＿＿＿＿ (2) 行列の積の定義から、ABの(i,j)成分は Σ a_ik*b_kj すると、t(AB)の(i,j)成分は Σ a_jk*b_ki = Σ b_ki*a_jk ＿＿＿＿ 積の交換 = Σ b_ik(t)*a_kj(t) ＿＿＿＿ (1)と(2)から明らか この関係式は、t(AB)の(i,j)成分がtBtAの(i,j)成分と等しいことを示しています。よって t(AB)=tBtA Σ a_jk*b_ki＝Σ b_ki*a_jk について積の交換をした理由が知りたいです。 t(AB)=tBtAだから、なんとなく交換したのではなくて交換しなければ成らない理由があると思うのですが その点について教えていただけませんでしょうか？ 以上、よろしくお願い致します。

  • RY0U
  • お礼率40% (436/1071)

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

  • ベストアンサー
  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.4

とんでもない。 正方行列は、交換可能じゃないです。 大多数の A, B について、AB ≠ BA です。 行列の寸法という意味では、 A が L 行 m 列 B が m 行 n 列のとき、 積 AB が定義されますが、このとき、 tB が n 行 m 列 tA が m 行 L 列になるので、 (tB)(tA) も、問題無く定義されます。 もともと、質問文の証明は、 それが目に見える形で書いてありますよ。 Σ の項数に注目。

RY0U
質問者

お礼

ご回答ありがとうございます。 理解できました。

その他の回答 (4)

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

この証明のどこで「正方行列が可換」ということを使っているんでしょうか?

noname#117170
noname#117170
回答No.3

実数もしくは複素数どうしの掛け算の順番を変えただけじゃん。

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.2

「交換をした理由」？ 交換したかった理由は、 t(AB) の各成分が (tB)(tA) に行列積の定義をあてはめた Σ b_ik(t) * a_kj(t) と同じ式になることを示したかったからでしょう。 この式には、b が左に a が右に現われていますね？ 交換できた理由は、 スカラーの積が可換だからでしょう。

RY0U
質問者

補足

ご回答ありがとうございます。 理解できました。 つまり、行列の積Σ a_ik*b_kjを当てはめる為の交換なのですね。 ところで、正方行列は常に交換可能ですが、交換可能でない 行列の積でも同様に転置行列の証明をして良いのでしょうか？ 例えば、A=（2行2列）とB=（2行1列）の行列は積をとることはできますが、 交換できないと思います。 この行列も同じで順で転置行列の証明を行って良いのでしょうか？

  • naniwacchi
  • ベストアンサー率47% (942/1970)
回答No.1

こんばんわ。 ＞= Σ b_ki*a_jk ＿＿＿＿ 積の交換 ＞= Σ b_ik(t)*a_kj(t) ＿＿＿＿ (1)と(2)から明らか ここは、上下逆に書いた方がわかりやすいような気がしますね。 つまり、 Σ a_jk*b_ki ＝ Σ[k] a_kj(t)* b_ik(t)　（∵(1)より a_jk＝ a_kj(t)、(2)より b_ki＝ b_ik(t)） ＝ Σ[k] b_ik(t)* a_kj(t)　（積の交換） と書いた方がわかりやすいということです。 Σの後ろの [k]は、kについて和をとることを表しています。 あとは、行列の積の成分表示に従って（内側同士になっている kについて和をとることで）、tB tAであることが示されます。

RY0U
質問者

補足

ご回答ありがとうございます。 理解できました。 ＞Σ a_jk*b_ki ＞＝ Σ[k] a_kj(t)* b_ik(t)　（∵(1)より a_jk＝ a_kj(t)、(2)より b_ki＝ b_ik(t)） ＞＝ Σ[k] b_ik(t)* a_kj(t)　（積の交換） 行列の積Σ a_ik*b_kjに当てはめるための交換なのですね。 ところで、正方行列は常に交換可能ですが、交換可能でない 行列の積でも同様に転置行列の証明をして良いのでしょうか？ 例えば、A=（2行2列）とB=（2行1列）の行列は積をとることはできますが、 交換できないと思います。 この行列も同じで順で転置行列の証明を行って良いのでしょうか？

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 転置行列　証明

    転置行列 証明 t（AB）=t（B）t（A） の証明について。 （l,m）行列をAとしてAの(i,j）成分をa（i，ｊ） （m，n）行列をBとしてBの(i,j）成分をb（i，j） 2つの行列の積の(i,j)成分は Σ[k=1～m]a（ik）b（kj）と定義されます。 ABの転置行列t（AB）の（i，ｊ）成分t（AB）（i，ｊ）＝（AB）（ｊ，i） よって、 Σ[k=1～m]a（ｊk）b（ki）・・・(1) =Σ[k=1～m]t（a（ｊk））t（b（ki））・・・(2) =Σ[k=1～m]a（kj）b（ik）・・・(3) =Σ[k=1～m]b（ik）b（kj）・・・(4) =t（B）t（A） 上は参考書などでよく見る証明なのですが、(3)ってそもそも計算できるのですか？ (1)～(4)までの流れは理解できるのですが、(3)を等式でつないでいいのかと気になりました。 （l,m）行列と（m，n）行列の積は（l，n）行列と定義されますが、(3)とは関係ないのでしょうか？ ご回答よろしくお願い致します。

  • 転置行列　証明　行列の積

    転置行列の証明について疑問点があるので 質問させて頂きます。 t（AB）=t（B）t（A） の証明について。以下に示します。 行列 A の (i,j) 成分を A[i,j] と書くことにします。 行列Bも同様。 (t(AB))[i,j] = (AB)[j,i] = Σ A[j,k] B[k,i] = Σ (tA)[k,j] (tB)[i,k]　　…(1) = Σ (tB)[i,k] (tA)[k,j]　　…(2) = ((tB)(tA))[i,j] よって、 t(AB) = (tB)(tA) （1）についてよくわかりません。 行列の積は、 （l,m）行列と（m，n）行列の積は（l，n）行列と定義されますが （1）は（m,l）行列と（n,m）行列の積を計算することに ならないのでしょうか？ （m,l）行列と（n,m）行列の積は定義されないので等式でつないでは いけないのでは？と考えた次第です。 以上、ご指摘、ご回答よろしくお願い致します。

  • 行列　積　定義

    行列　積　定義 Ａ＝(a_ij) を (l,m) 行列，Ｂ＝(b_ij) を (m,n) 型の行列とする．このとき C = AB の (i, j) 成分 cij は、 　　　m c_ij = Σ a_ik*b_kj＝（a_i1*b_1j）+（a_i2*b_2j）・・・（a_im*b_mk）で与えられる． 　　　k=1 と有るのですが・・・・ 式の意味がさっぱり分かりません・・・ kってなんでしょうか？ なぜ、 a_ik*b_kjの総和を考えているのでしょうか？ 2×2行列を具体的に考えて良く分からなかったので、ご教示頂けるとありがたいです。 ご回答よろしくお願い致します。

  • 行列の問題です。

    行列の問題です。 e[ij]をn*n行列でi行j列成分のみ１で他は０であるとする。 i≠jのとき e[ij]^a=E+ae[ij]とする。ただしE＝単位行列、a∈R (1)e[ij]*e[hk]=δ[jh]e[ik]を示せ。 ※δjhはクロネッガーのデルタ。 (2)(e[ij]^a)*(e[ij]^b)=(e[ij]^x)となるxをa,bを使って書け。 (3)e[ij]^aの逆行列を求めよ。 よろしくお願いします。

  • 行列

    成分が０か１の行列Aが、行和がすべてtで、対角成分が全て0、A_ij≠A_ji のとき、行基本変形でAが対称行列にできるのはなぜですか？

  • 転置行列の成分について

    線形代数学の転置行列について質問です A=(aij),B=(bij)を（m,n）型行列とするとき、Bの転置行列ｔBの第i行の成分を書き下せ。 という問題なのですが、 僕は「ｔBの第i行成分はBの第i列成分と等しいので b1i ,b2i ,…,bmiとなる」のだと思っていたのですが、友達に聞くと 「b1j,b2j,…,bmj」だと言われました。 そもそも「tB1の～」という部分が僕の考え間違いなのでしょうか。 どなたかわかりやすく教えてください、よろしくお願いします。

  • ハミルトニアンの行列表示

    量子力学の論文を読んでおり、フェルミ演算子c+(i),c(i)（iは成分)をもちいて行列表記でハミルト二アンを H=Σ(i,j){c+(i)A(ij)c(j)+1/2(c+(i)B(ij)c(j)+h.c) Σ(i,j):i,jに関する総和・A(ij),B(ij):行列A&Bのi行j列成分を差しており、行列A・Bは共にN次の正方行列とする。 行列Aはエルミート行列・行列Bは反対称行列 h.cはエルミート共役。 このとき、 trH=２の(N-1)乗×Σ(i)A(ii) となるのはどうしてでしょうか？よろしくお願いいたします。また、数式がたいへんよみにくく、申し訳ありません。

  • 上三角行列同士をかけたときの積も上三角行列となることを示すには？

    正方行列AとBがともに上三角行列であるとき、積ABもまた上三角行列となることを示せ。 という問題がわかりません。 自分で解こうとしましたが、以下のような状態で、証明できていません(^_^;) 行列式|A|はAの対角成分を掛け合わせたもの。同様に行列式|B|はBの対角成分を掛け合わせたものになっている。また、|AB|=|A||B|より、積ABの行列式はAとBの全ての対角成分を掛け合わせたものとなる。よって、|AB|はAとBの対角成分のみから構成されているので、積ABもまた上三角行列である？？？

  • 歪対象行列の小行列式について

    わからない問題あります。 わかる方いたらぜひ教えてください。 宜しくお願いします。 ５×５の歪対称行列 　　　　0 　 　a_01 　 a_02 　a_03 　a_04 　　-a_01 　　0 　 　a_12 　a_13 　 a_14 Ａ＝-a_02 　 -a_12 　0 　　a_23 　a_24 　　-a_03 　 -a_13 -a_23 　　 0 　a_34 　　-a_04 　 -a_14 -a_24 　-a_34 　 0 という行列Ａがある。 P_0= a_23a_14+a_31a_24+a_12a_34 P_1=a_34a_20+a_42a_30+a_23a_40 P_2=a_40a_31+a_03a_41+a_34a_01 P_3=a_01a_42+a_14a_02+a_40a_12 P_4=a_12a_03+a_20a_13+a_01a_23 という５つの多項式があって、ここでa_31は-a_13と定義されるとする。 行列Ａのi番目とj番目の行、k番目とl番目の列を削除することによって得られる小行列式をＡ_ij,klとする。（i,j,k,l,mはすべて異なるとする） このとき次が成り立つことを示せ。 １、 Ａ_ij,ik ＝　a_lm × p_i ２、 Ａ_jk,lm　＝ a_ji × p_j + a_ki × p_k ＝ a_il × p_l + a_im × p_m この２つをどう示せばいいのかわかりません。

  • 行列式と置換

    Ａ：p次行列、　Ｂ：(p,q)行列、　Ｃ＝０、　Ｄ：q次行列 p + q = n 、Ｘ＝(x_ij)のもとで 　 　｜ＡＢ｜ |Ｘ|＝　｜ＣＤ｜　＝｜Ａ｜X｜Ｄ｜ になる証明のプロセスについて質問します。 ------------------------------------------------------- i＼j p q p　 ｜ＡＢ｜ q　 ｜ＣＤ｜ i > p, j≦p ⇒ x_ij＝０ よって行列式の定義式　Σsign(σ) a_σ(1),1 ... a_σ(n),n において j≦p ⇒ σ(j)≦p　 であるようなσに対する項だけが残る　(ここまでは多分大丈夫です) この条件をみたすσは{１,・・・,p}の置換σ1と{p+1,・・・,n} の置換σ2の積として表わされる　・・・（*） (*)の部分がよく分かりません。 説明していただけないでしょうか、お願いします。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する