線形代数 直交行列 回転行列

直交行列と回転行列について質問させて頂きます。

直交行列の定義は、
行列Aの転置行列がAの逆行列に等しい行列。
つまり、t^A=A^-1。よって、t^AA=At^A=Eが成り立つ。
このとき、行列Aは直交行列である。
また、直交行列の行列式は1である。

また、以前直交行列における「直交」の意味を質問
させて頂きました。
ご回答頂いた内容は、
＞直交行列では A が含む列ベクトルが互いに
＞直交し、大きさが全て 1 になります。
＞直交行列では A が含む行ベクトルが互いに
＞直交し、大きさが全て 1 になります。
です。ご回答頂いた内容は理解できています。


回転行列の定義
Wikipediaによれば、
回転行列は、常に実数を成分とする正方行列である。
代数学的には、n-次元空間での回転行列はn × nの直交行列であり、
その行列式は1である。

回転行列は常に実数を成分とするとあるのですが、
これはなぜなのでしょうか？

直交行列におけるベクトルの基礎体はCだが、
回転行列におけるベクトルの基礎体はRに限定
されるのでしょうか？

列成分で表される複素数を含む3×3直交行列があったとします。
第一列の成分が、
（a）
（b+ic）
（d）
で表される場合の第一列の大きさ（ノルム）は、
（a）
（b+ic）
（d）
と
（a）
（b-ic）
（d）
の内積の平方根と言う認識でOKでしょうか？


直交行列であるが回転行列ではない場合というのはあるのでしょうか？
回転行列だが直交行列でない場合というのは存在しないと思います。


以上、質問文が読みづらいかと思いますがご回答よろしくお願い致します。

No.2 回答者： itukadarekato 回答日時： 2012/07/05 22:41

基本的な誤解があるようです

>また、直交行列の行列式は1である。

間違いです　

>直交行列におけるベクトルの基礎体はCだが

通常、直交行列という語も実行列の概念です

複素行列では転置行列は実行列の時のような
働きができませんから
共役転置行列(誰もが認める定まった用語ではありませんが)
というものを考えます
これを用いた直交行列の拡張概念がユニタリ行列です

この2つの区別がついていません

>直交行列であるが回転行列ではない場合というのはあるのでしょうか？

たとえば、2行2列で平面をy軸で折り返す変換を表す行列を考えてください

(1,0)→(-1,0),(0,1)→(0,1)

となる行列です。

この変換を表す行列は直交行列で行列式の値は -1 です

この回答への補足

ご回答本当にありがとうございます。

直交行列の行列式は1であると言う事に関して、
t^AA=At^A=E
の行列式をとると、
det（t^AA）=det（At^A）=det（E）=1
となります。
どこが間違いなのでしょうか？

＞たとえば、2行2列で平面をy軸で折り返す変換を表す行列を考
＞えてください
＞(1,0)→(-1,0),(0,1)→(0,1)
＞となる行列です。
＞この変換を表す行列は直交行列で行列式の値は -1 です
(1,0)→(-1,0),(0,1)→(0,1)についてよくわかりません・・・
(-1,0),(0,1)はベクトルですか？
t^AA=At^A=Eは満たすのでしょうか？


＞直交行列という語も実行列の概念です。
そのように定義されているのでしょうか？
そう考えるとすごくすっきりします。


以上、お手数ですがご回答よろしくお願い致します。

補足日時：2012/07/06 00:00

No.1 回答者： ddtddtddt 回答日時： 2012/07/05 19:45

＞回転行列は常に実数を成分とするとあるのですが、これはなぜなのでしょうか？

　定義の問題ではあるのですが、成分に複素数を許す直交行列を、ユニタリー行列と言います。この立場では、実ユニタリー行列が回転行列になり、ユニタリー行列を直交行列と言ったとしても、回転行列とは余り言わない気がします。実際ユニタリー行列は、複素ベクトル空間の中の回転を表し（←ひどい言い方ですよね・・・(^^；)）、実空間の中の回転とは少々違います。なので、直交行列＝回転行列という立場もあり得ます。

＞直交行列におけるベクトルの基礎体はCだが、回転行列におけるベクトルの基礎体はRに限定されるのでしょうか？

　なので、回転行列におけるベクトルの基礎体はRに限定される訳ではなく、複素ベクトル空間の中で単に、実ユニタリー行列を考えただけだとなるのですが、実ベクトル空間と回転行列のペアが、最も素直なのは事実です。


＞列成分で表される複素数を含む3×3直交行列があったとします。
＞第一列の成分が、
＞（a）
＞（b+ic）
＞（d）
＞で表される場合の第一列の大きさ（ノルム）は、
＞（a）
＞（b+ic）
＞（d）
＞と
＞（a）
＞（b-ic）
＞（d）
＞の内積の平方根と言う認識でOKでしょうか？

　OKです。こういうのを歪内積（のノルム）と言い、実ベクトル空間における内積を、複素ベクトル空間に拡張する標準的な方法です。歪内積においては、ノルム2乗は必ず正の実数値になり、歪内積の結果は一般に複素数ですが、歪内積０のときは直交なので、計量空間（内積を持った実ベクトル空間）は、複素計量空間（歪内積を持った複素ベクトル空間）へと拡張されます。

　でもちょっとだけ面倒臭い場面があって、複素ベクトル空間の部分空間に限定すると、複素ベクトル空間（部分空間）に（歪内積でなく）内積を適用した方が有用な時もあります。その例がミンコフスキー空間です。

　ミンコフスキー空間の（歪でない）内積は、常に実数値の結果を与えますが、ノルムの2乗が負のケースも許すので、擬似ユークリッド空間と言われたりします。

　擬似ユークリッド空間のような例もない事はないのですが、物理でもやってない限り、余り深刻に考える必要はないと思います。歪内積を持った、複素計量空間が基本です。

この回答への補足

ご回答本当にありがとうございます。

おおよそ理解できました。
理解できない点に関して追加質問させて下さい。

複素数を成分に含む直交行列をユニタリ行列というのですね。
itukadarekatoさんの仰るように直交行列もやはり実行列の概念
なのでしょうか？


ミンコフスキー空間についてですが、
これはミンコフスキー時空と言われるものですか？
私の認識では相対性理論を定式化する上で用いられた
3次元ユークリッド空間に時間の概念をあわせたものと認識しています。


擬似ユークリッド空間とはアフィン空間のことでしょうか？


以上、お手数ですがご回答よろしくお願い致します。

補足日時：2012/07/05 23:52