行列についての質問
- 行列についての質問です。参考書にはエルミット行列やユニタリ行列の条件が書かれていますが、その記述は正しいでしょうか?また、実ユニタリ行列は実数で作られたユニタリ行列と解釈してもよいのでしょうか?
- 参考書に書かれているエルミット行列とユニタリ行列の条件は正しいのか疑問です。また、実ユニタリ行列は実数で作られたユニタリ行列と解釈してもよいのでしょうか?
- エルミット行列とユニタリ行列の条件について質問です。参考書の記述が正しいかどうか調べているのと、実ユニタリ行列は実数で作られたユニタリ行列と考えてもいいのか知りたいです。
- ベストアンサー
行列について質問です。
ある参考書には A*=Aを満足する正方行列Aをエルミット行列(A*を随伴行列) とくにAが実行列のときAがエルミット行列という条件はAT=A(ATを転置行列) AA*=A*A=Eを満足する正方行列Aをユニタリ行列 とくに、Aが実行列であるとき、Aがユニタリ行列という条件はAAT=ATA=Eである。 と書かれていました。 しかし、一方で、ある参考書には AT=A*ならばエルミット行列(A*を複素共役行列)、AT=-A*ならば反エルミット行列 転置と複素共役とを同時に行って得られる行列をエルミット共役行列といい、Atで表す この記法をつかえば、エルミット行列はAt=Aである 正方行列AはAt≡(A*)T=A^-1(A^-1を逆行列)またはAtA=Eをみたすときユニタリ行列という 実ユニタリ行列は直行行列と呼ばれる つまり直行行列はAT=A^-1またはATA=Eによって定義される 長文になりましたが、これらの参考書の記述はあっていますか? おそらく、随伴行列とエルミット共役行列が同じなのではないかとも思っていますが、どうでしょうか? また、実ユニタリ行列は実数でつくられたユニタリ行列であると解釈してもよろしいでしょうか?
- tm70
- お礼率77% (48/62)
- 数学・算数
- 回答数2
- ありがとう数2
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
本によって、随伴行列と言ったり、エルミート共役行列と言ったり しますが、同じものです。貴方の理解でよいと思います。ただし、 行列 A のエルミート共役を At と書いていることは感心しません。 転置行列とたいへん紛らわしいです。随伴行列と同じく A* と書く のがよいでしょう。同じものですから、同じ記号でかまいません。 したがって、At = (A*)T は間違いで、正しくは、At = A* です。 ユニタリ行列の定義は、(A*)T = A^-1 ではなく、A* = A^-1 ですね。
その他の回答 (1)
- FT56F001
- ベストアンサー率59% (355/599)
>ある参考書には >A*=Aを満足する正方行列Aをエルミット行列(A*を随伴行列) こちらの本,(第一参考書としましょう)で随伴行列はどう定義されていますか? 私の持っている本では,複素共役を取って転置した行列を 随伴行列 と定義しています。 それならば > 一方で、ある参考書には > 転置と複素共役とを同時に行って得られる行列をエルミット共役行列 こちらの本(第二参考書)のエルミット共役行列と,回答者の本の随伴行列は,同じ定義です。 本によって記号が違っていたり,用語が違っていたり, 使う側はいちいち混乱するので,しっかり統一して欲しいなぁ
お礼
ありがとうございました。
関連するQ&A
- ユニタリ行列って??
ユニタリ行列ってなんですか?ユニタリを満たすと、量子力学や、線形代数学において、どのような意味をもつのでしょうか?行列の要素に簡単な数値を用いて説明してもらえるとうれしいです。 次の文章は、自分で調べてみたけど、いまいち意味がわからなかったことです。 複素正方行列をUとすると、そのエルミート共役がその逆数に等しいとき、ユニタリと呼ばれるんですか? U^†=U^(-1) (1)エルミート行列Aの対角要素は相似(ユニタリ)変換により、要約される。 D=U^†AU ここでUは列が行列Aの直交ベクトルであるユニタリ行列で、実数対角行列で、対角要素は行列Aの固有値である とありました。
- ベストアンサー
- 物理学
- 行列の問題です。よろしくお願いします。
ωを実数、iを虚数単位、行列Aを A=| 0 iω| |-iω 0 | とする。 1)適当なユニタ行列Uをもちいて、 A=U|λ1 0|Ut |0 λ2| の形に表せ。ここでλ1とλ2はAの固有値、Utは行列Uの随伴行列を表し、行列Uがユニタリであるとは、U^-1(逆行列)=Utであることをいう。 2)一般に正方行列Xの指数関数e^Xは無限級数 e^X=E+X+(1/2!)X^2+・・・+(1/n!)X^n+・・・ で定義される。 ここでEは単位行列を表す。 1)の結果を利用して、行列e^iAs(sは任意の実数)を求めよ。 以上です。 よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の問題です。
ωを実数、iを虚数単位、行列Aを A=| 0 iω| |-iω 0 | とする。 1)適当なユニタ行列Uをもちいて、 A=U|λ1 0|Ut |0 λ2| の形に表せ。ここでλ1とλ2はAの固有値、Utは行列Uの随伴行列を表し、行列Uがユニタリであるとは、U^-1(逆行列)=Utであることをいう。 2)一般に正方行列Xの指数関数e^Xは無限級数 e^X=E+X+(1/2!)X^2+・・・+(1/n!)X^n+・・・ で定義される。 ここでEは単位行列を表す。 1)の結果を利用して、行列e^iAs(sは任意の実数)を求めよ。 以上です。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素正方行列の対数
複素正方行列の指数関数は、実数域でのマクローリン展開を単純に拡張して xが実数のとき、 exp(x) = 1 + x + x^2/2 + x^3/6 + x^4/24 + ... より、Aが複素正方行列のとき (Eは単位行列) exp(A) = E + A + A^2/2 + A^3/6 + A^4/24 + ... と、できることがわかりました。 一方、対数関数に関しても同様に、 xが実数のとき、 log(1+x) = x - x^2/2 + x^3/3 - x^4/4 + x^5/5 - x^6/6 + ... より、Aが複素正方行列のとき (Eは単位行列) log(E+A) = E - A^2/2 + A^3/3 - A^4/4 + A^5/5 - A^6/6 + ... で、単純に可能かと思ったのですが違いました。 例えば、具体的に、実数正方行列 { 2, 3 } { 4, 5 } の対数は、 { -0.304+2.195i, 1.302-1.248i } { 1.736-1.664i, 0.997+0.947i } となりますが、前記のように単純にマクローリン展開を拡張した方法では、 実数係数の行列から複素係数が出てくることはありえないことからも、 簡単に間違っていることがわかります。 ということで、複素正方行列のマクローリン展開の方法または、 具体的な計算方法(アルゴリズム)をご存知の方がおられましたら ご教示ください。
- 締切済み
- 数学・算数
- n次元の正方行列Aの行列式と、Aの転置行列A’の行列式が同じであること
n次元の正方行列Aの行列式と、Aの転置行列A’の行列式が同じであることを、 簡単に証明することはできるのでしょうか?
- ベストアンサー
- 数学・算数
- (Ax,y)=0ならAは零行列なのはなぜ?
n次正方行列Aに関する内積の問題です。今まで当たり前のように思ってきたのですが証明できませんでした。知っておられる方、教えてください。 (x,y)=「x」と「yの複素共役」の積を足したもの(内積)
- 締切済み
- 数学・算数
- 複素行列と内積の関係
お世話になります。よろしくお願いします。 Aを2次の複素正方行列、X、Yを2次の複素縦ベクトルとし、記号「・」が内積を表し、Aの転置行列をtA、Aの全ての成分を共役複素数 に置き換えたものを<A>とします その時「(AX)・Y=X・t<A>Y」となるらしいのですが、 これが分かりません。 ーーーーー以下私の考えです。ーーーーーーー まず複素数の内積の定義として、 X・Y=(tX)<Y> (tXは2次の複素横ベクトル) これを踏まえて 与式の左辺=(AX)・Y=t(AX)<Y>=tXtA<Y>=X・tA<Y>となり、 X・t<A>Yと一致しません。 何か勘違いしていると思うのですが、 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 共役複素数を成分にもつ行列Aの性質について
こんにちは. ================================================== 行列Aの成分をa(ij)とします. その共役複素数a-(ij)を成分とする行列をA-とします. すると, Aは,実対称行列なので,A-=Aが成立し,そして, Aの転置行列,すなわち,t(A)=Aとのことです. 実対称行列とはどういう意味でしょうか? どうして,A-=A,t(A)=A が成立するのでしょうか? ================================================== どうぞ,よろしくお願いいたします.
- ベストアンサー
- 数学・算数
お礼
すっきりしました。 ありがとうございました。