• ベストアンサー

行列の積の可換条件

線形代数で二つのn次正方行列が可換になる条件とはどんなものなのか? 特に対角化できない行列Aに対し、交換可能な行列Bはどんなものか? それについて詳しく書いてある本を教えてください。お願いします。

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

  • ベストアンサー
回答No.1

 本じゃないですが、 http://www.junko-k.com/collo/collo185.htm ...は一つの手がかりになるかも知れません(参考文献を含む)。  対角化不可能な場合に関しては、ちょっと考えが浮かばないですね。  数学的には興味深い問題だと思います。  ホンの露払いまで。

threetree
質問者

お礼

いままでべき級数だけが、交換可能なのかと疑問に思っていたので、 世界が広がりました。ありがとうございました。

threetree
質問者

補足

なるほど面白いですね。 固有値の違うジョルダン標準形が交換可能だとおもっていなかったので 読むのに時間がかかってしまいました。 追加で質問なんですが式(23)の右矢印は、証明していませんよね?

その他の回答 (1)

  • adinat
  • ベストアンサー率64% (269/414)
回答No.2

対角化可能なときは、同時対角化ができることが必要十分条件です。したがって、一般には対角化できない行列に対して、同時固有分解あるいは同時標準化(たとえばジョルダン標準形)ができることが必要十分だと思います(こちらは詳しくは知らない)。同時三角化できることなら容易に分かります。たぶん東大出版の線形代数演習(有名な線形代数の方ではない)か何かに載っていたように思います。 たぶんスペクトル分解をするときの単位の分解(射影分解)で共通なものが取れることが鍵になると思うので、関数解析の本とか読めば参考になるかも知れません。

threetree
質問者

お礼

固有分解はスペクトル分解とは別の概念なのですね。 固有値分解ではなく、固有空間分解のようですね。 ありがとうございました。

threetree
質問者

補足

No.1さんの参考サイトを見てみると、どうやら同時標準化あたりが鍵のようですね。 ところで同時固有値分解がよくわからなかったのですが、 スペクトル分解ともいいますか? その場合、正規変換だけに適用できるんでしたっけ?

関連するQ&A

  • 【行列】積の可換性について

    2つのn次の正方行列A,Bの積について,可換であるための要素に関する条件って簡単に書くことできますか? 2次の場合,3次の場合,・・・とやってくことは出来そうですが,一般に表すとどのようになるか,もし面白い表現(?)ありましたら教えて下さい。 ちなみに,2次の場合において, A=   a_11 a_12   a_21 a_22 に対し, B=~ であればA,Bは可換という条件は出しました。 ただ,一般のn次に対してきれいな条件にはならなそうです。

  • 行列式(入門)の証明

    問.Aをn次正方行列とする。   零ベクトルでないn項列ベクトルbによって、   Ab=b が成り立っていれば |A|=0 であることを   証明せよ。 線形代数について学習し始めたばかりで、考え方や証明の仕方 に慣れていません。 Ab=b ということは、行列Aが単位行列であることと関係があるのでしょうか。 いろいろ教えていただけると助かります。お願いします。

  • 可換

    A={{a[1, 1], a[1, 2], a[1, 3]}, {a[2, 1], a[2, 2], a[2, 3]}, {a[3, 1], a[3, 2], a[3, 3]}} と交換可能(可換)な正方行列をすべて求めてください.

  • クロネッカー積の固有値と逆行列について

    タイトルどおり、クロネッカー積の固有値と逆行列について教えてください。 A=N*N正方行列、B=M*M正方行列のクロネッカ積C=A*Bの固有値と逆行列について解説されているサイトや文献がありましたら教えてもらえませんか。 ちなみに線形代数は学部1年で習う程度しか知りません。またN=M=2の場合は確認したのですが、一般的なものが知りたいので、よろしくお願いいたします。 クロネッカー積の基本は http://www.aichi-gakuin.ac.jp/~chino/anova/chapter1/sec1-4-7.html に書いています。

  • 3次正方行列が対角化不可能になる条件

    3次正方行列A A= (2 a 1) (1 2 1) (0 0 1) Aが対角化不可能であるとき、パラメーターaの満たすべき条件を求めよ。 という問題です。 また、Aが対角化できない場合のaに対して、AのJordan標準形を求める問題もその続きに ありますけれども、 Jordan標準形っていうのはAを上三角化してできた行列のことですか? 対角化不可能な3次正方行列はどんな行列なのかわからなくて、問題が進められません。 上三角化ならなんとかできます。 では、ご指導よろしくお願いします!

  • マトリックスの積と行列式の積

    X=ABCでX,A,B,Cはすべてマトリックスとします。サフィックスで表示するならば、 X(i,j)=A(i,m)B(m,n)C(n,j) ということかと思いますが。 この場合、 det(X)=det(A)det(B)det(C)になるとのことですが、簡単に証明できるでしょうか。線形代数の教科書を見れば必ず載っていると思うのですが、これは何も見ないで出来なくちゃと思って考え込んでいます。 X=ABの場合だけ証明できたらあとは何回積があっても同じかとは思いますが。行列式なので小行列などを用いて考えるのだろうと思いますが、パッと思いつきません。よろしくお願いします。

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

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

  • ユニタリ行列って??

    ユニタリ行列ってなんですか?ユニタリを満たすと、量子力学や、線形代数学において、どのような意味をもつのでしょうか?行列の要素に簡単な数値を用いて説明してもらえるとうれしいです。 次の文章は、自分で調べてみたけど、いまいち意味がわからなかったことです。 複素正方行列をUとすると、そのエルミート共役がその逆数に等しいとき、ユニタリと呼ばれるんですか? U^†=U^(-1) (1)エルミート行列Aの対角要素は相似(ユニタリ)変換により、要約される。 D=U^†AU ここでUは列が行列Aの直交ベクトルであるユニタリ行列で、実数対角行列で、対角要素は行列Aの固有値である とありました。

  • 行列式おねがいします

    A=b 1 1 ・・・ 1 1 a 1 ・・・ 1 1 1 a ・・・ 1 ・ ・ ・・・・・・   1 1 1 ・・・ a a,bを実数 nを自然数とし a≠1 2≦n n次正方行列A 行列Aの対角成分はa11のみb あとはaです (1)n=3のときのAの行列式|A|を求めよ (2)nが一般の時のAの行列式|A|を求めよ (3)Aの階数rankAを求めよ (3)を回答お願いします

  • 行列の積がわかりません。

    来年、線形代数学をやるのですが行列がほとんどわかりません。特に積がややこしくてわかりません。基礎だけでもかためたいので行列の積を教えてください。