ユニタリ行列の定義と性質についての質問
- ユニタリ行列の定義について質問があります。線形代数の本を読むと、ユニタリ行列の定義は UU^*=I(単位行列)を満たす行列Uであると書かれています。
- しかし、本によっては UU^*=U^*U=I という記述が追加されている場合があります。これはどちらが正しい定義なのでしょうか?
- もし(a)である場合、(1)か(3)のどちらかを定義として採用すればいいのか、またその場合一方から他方を導く方法を教えていただきたいです。
- ベストアンサー
ユニタリ行列
ユニタリ行列 ユニタリ行列の定義に関して質問です.線形代数の本を読むと,ユニタリ行列の定義は UU^*=I(単位行列) (1) を満たす行列Uである,というようなことを書いてあります.ところが,本によっては UU^*=U^*U=I (2) というように U^*U=I (3) という記述が追加されている場合があります,これは (a)定義としては(1)だけで十分だが,(1)を満たすUは(3)も満たすので,まとめて(2)のように書いてある (b)(1)と(3)の両方を満たすUがユニタリ行列である のどちらでしょうか?(a)である場合,(1)か(3)のどちらかを定義として採用すればいいということになると思いますが,その場合一方から他方を導くやり方を教えていただきたいです. よろしくおねがいします.
- 数学・算数
- 回答数2
- ありがとう数3
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- ユニタリ行列って??
ユニタリ行列ってなんですか?ユニタリを満たすと、量子力学や、線形代数学において、どのような意味をもつのでしょうか?行列の要素に簡単な数値を用いて説明してもらえるとうれしいです。 次の文章は、自分で調べてみたけど、いまいち意味がわからなかったことです。 複素正方行列をUとすると、そのエルミート共役がその逆数に等しいとき、ユニタリと呼ばれるんですか? U^†=U^(-1) (1)エルミート行列Aの対角要素は相似(ユニタリ)変換により、要約される。 D=U^†AU ここでUは列が行列Aの直交ベクトルであるユニタリ行列で、実数対角行列で、対角要素は行列Aの固有値である とありました。
- ベストアンサー
- 物理学
- ユニタリ行列と対角化について
A= ( cosθ -sinθ) ( sinθ cosθ ) この2×2行列の固有値、固有ベクトルを求め ユニタリ行列Uを用いて対角化するというものなのですが まずdet(λE-A)=0 から λ=cosθ ± i|sinθ| が求まり そこから固有ベクトルを求めようとしたのですが sinθの正負で場合わけすると ひとつの固有値に対して固有ベクトルが二つでてきて それから先に進めません・・・。 通常の対角化と違うやり方をおこなわないといけないのでしょうか? 行列についてあまり詳しくないのでわかりやすく教えていただけるとうれしいです。 よろしくお願いしますm(__)m
- ベストアンサー
- 数学・算数
- 対称行列とその対角化行列
対称行列とその対角化行列 行列要素が複素数である行列Aが(A^T)=A(Tは転置)を満たすなら,Aは対称行列といいますか?(ネットで見る限りではA^T=Aなどという場合,行列要素は実数である場合が多いようなのですが.) 実対称行列は直交行列で対角化できて,正規行列はユニタリ行列で対角化できますが,行列要素が複素数でA^T=Aを満たすような行列はどのような行列で対角化可能なのでしょうか?普通にユニタリ行列でしょうか?それとも,要素が複素数で(U^T)U=I(単位行列)なる行列Uによってできるのでしょうか? 要素が複素数で(U^T)U=Iなる行列Uに名前はついているのでしょうか? よろしくおねがいします.
- ベストアンサー
- 数学・算数
- 直交行列…など行列の名前
線形代数を勉強しています.様々な特徴を持つ行列の名前がたくさん出てきてどうも混乱してしまいます. 「単位行列」「逆行列」「対称行列」「転置行列」 などは,直感的に意味するところがわかります.しかし,次にあげるような行列はなぜこの名前が付いているのでしょうか? 「直交行列」「エルミート行列」「ユニタリ行列」 初歩的なことなのかもしれませんが,何冊も教科書をみても書いていなかったので教えてください.おねがいします.
- ベストアンサー
- 数学・算数
- 反ユニタリ演算子について質問です。
Uをヒルベルト空間上の反ユニタリ演算子とする。 すなわち (UΦ, Uψ)=(Φ, ψ)*, U(ξΦ+ηψ)=ξ*UΦ+η*Uψ であるとする。また、反線形演算子Aの共役は、 (Φ,A^†ψ)≡(AΦ, ψ)* と定義する。 このとき U^†=U^(-1) となることを示せ。
- ベストアンサー
- 数学・算数
- 行列の問題です。
ωを実数、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は任意の実数)を求めよ。 以上です。 よろしくお願いします。
- 締切済み
- 数学・算数
- 右逆行列の存在証明
線形代数で行列の「正則」で悩んでいます。 手持ちの線形代数の本ではどの本も 「正則」の「定義」が 正方行列 A に対して XA = AX = E(単位行列) となる X が存在する場合 A は「正則」である。 と定義し、これを出発点として様々な定義を導いています。 これはこれでよいのですが、しかし、よく考えてみると 1) XA=E が存在する場合 A は正則とする(左逆行列による正則の定義) 2) XA=E が存在する場合AX'=E が存在する(右逆行列の存在定理) 3) X = X' (左逆行列 と 右逆行列の同一性の定理) というように、定義は基本的な定義と2個の定理に 分解できるような気がします。 定理なら証明が必要と思い、いろいろ考えてみたのですが、 1),かつ2) ⇒ 3) は XAX' = X = X' なので簡単なのですが、 2) をどうしても証明できません。 そもそもこのような定義から出発するのは間違っているのでしょうか? また、2)の証明が載っている参考書はありませんでしょうか? 以上よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形代数学のユニタリ行列の質問
大学の授業でユニタリ行列の問題をやったのですが、聞いていてもいまいち理解できませんでした。 とりあえず板書を写しておいたので問題と解答を載せます。 それでわからない箇所の説明をしていただきたいのです。 問題 ※画像を見てください。 答え U=(u1,u2,u3) tU=(v1,v2,v3) (v1,v3) = -(i × a/√3)+ 2i/6 = 0 a = (√3/i) × i/3 =1/√3 (u3,u2) = (i/√12)- (c/√2) = 0 c = √2 × i/√12 =i/√6 (u1,u2)= - (i × a/√2) - b/√2 = 0 b = - i × a = - i/√3 質問 (1)U=(u1,u2,u3)とは何でしょうか? u1,u2,u3 が何をさしているのかもよくわかりません。 同様にtU = (v1,v2,v3)もよくわかりません。 tがつくことで何が違うのですか? (2)(v1,v3)の計算がよくわかりません。 これはv1,v3をさしているものがわかればわかるかもしれないのですが、一応教えてください。 お手数ですがよろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
どうもありがとうございました!