- ベストアンサー
線形代数学 ベクトル(0,1,1)を軸とするθの回転を与える行列
線形代数学を最近学び始めて、いきずまってしまいました。 任意のベクトル（でいいのかな）を軸とするθの回転を与える行列を求める問題です。 問題として ３次元ユークリッド空間に直交座標x,y,zを入れて考える。 （１）x軸の周りのπ／４だけの回転を表す行列Qを求めよ。 （２）ベクトル(0,1,1)を軸とするθの回転を与える行列Q(-1)Rz（θ）Qを計算せよ。 ※Q(-1)はQの逆行列です。Rz(θ）はｚ軸の周りのθ回転の行列です。 （２）がわからなくて困っています。 行列Q(-1)Rz（θ）Qという形は対角化の形に似ているのですが、 これは、対角化を考えた時に、ベクトルが(0,1,1)がx軸と直角に交わっているからQが直行行列になるのかな～とか、思うのですが、 θ回転するのに対角行列が出てくる意味が少しわからないので、 （２）でなぜ行列Q(-1)Rz（θ）Qになるのか、解説をお願いします。 ちょっとわかりにくい文章になってしまってるかもしれませんが、 申し訳ありません・・・。
- acyui0423
- お礼率77% (7/9)
- 数学・算数
- 回答数4
- ありがとう数5
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
> ２）がわからなくて困っています > 行列Q(-1)Rz（θ）Qという形は対角化の形に似ているのですが、 式は似てるけど、対角化とは全然関係ありません。 ベクトルXを列ベクトルで扱う場合は、 (1)で求めた行列Qは、 回転軸のベクトルt(0,1,1) (tは転置を表すもので行ベクトルを列ベクトルにするため転置をとっている)をx軸の周りにπ/4回転してZ軸に重ねる回転移動行列になります。 Qt(0,1,1)はベクトルt(0,1,1)を回転回転移動してz軸に一致させた列ベクトルを表します。 これにz軸の周りの反時計回りにθ回転する行列Rz(θ)を前からかけると 回転軸ベクトルは Rz(θ)Qt(0,1,1) となります。 さらに、x軸の周りに-π/4だけ時計回りに回転移動する行列は Q(-1)であるから、回転軸ベクトルは Q(-1)Rz(θ)Qt(0,1,1) で元のt(0,1,1)にもどる。 最後尾の回転軸列ベクトルを除いた Q(-1)Rz(θ)Q が合成移動ベクトルになりますね。 #1さんの説明も合っていますね。
その他の回答 (3)
- kabaokaba
- ベストアンサー率51% (724/1416)
というか・・・ そもそも「向き」を考慮してるんだろうか． 単純なケースなら「偶然」で正解するんだろうけどね． あとは。。。いちいち軸回転にしなくたって 線型写像なんだから基底の像，今回は (1,0,0), (0,1,0), (0,0,1)の像さえ 計算できれば十分だと思う． 計算そのものは高校レベルだけども 向きだけが問題． ＃「自然な向き」である像をどうやって選ぶということ
お礼
基底の像ですか、ちょっと頭から離れていました。 今回の問題で、皆さんにお答えいただいて、もう少し回転の原理（？）や 像について理解を深めたほうが良いなと思いました。 回答ありがとうございます。
- arrysthmia
- ベストアンサー率38% (442/1154)
対角化とは、似ているのですが… 対角化すると、この場合 固有値が虚数ですから、 対角行列も変換行列も 複素成分になってしまいます。 この場合、するべきは 「実ジョルダン化」です。
お礼
固有値のことを考えていませんでした！ 形が似ているってだけで勝手に判断してしまいお恥ずかしい限りです・・・。 実ジョルダン化は初耳なので調べたいと思います。 回答ありがとうございました！
- orcus0930
- ベストアンサー率41% (62/149)
(0,1,1)を軸にしたままで、回転する前の座標と回転した後の座標がわかればいいんですが、 わかりにくいので、(0,1,1)をx,y,zのいずれかの軸に回転移動させて、θ回転させて、軸を(0,1,1)に戻せばいいんです。 (0,1,1)をｘ軸周りに45°回転させたらz軸と重なるので、z軸周りにθ回転させて、θ周りに-45°回転させればいいんです。 Q：45°まわして、 Rz(θ)Q:θまわして Q^(-1)Rz(θ)Q:元の軸に戻す でこの計算が出てくるわけです。 同様に考えれば、Q*Ry(θ)*Q^(-1)でも同じ結果が得られます。
お礼
そういうことだったんですね!!! なぜ45度のやつなんだろーっていうのも気になっていたので すっきりしました！ ありがとうございます＾＾
関連するQ&A
- 線形代数 行列 対称 回転
3次元（xyz）におけるX軸に対する軸対称(回転対称)は、 3次元の回転行列を用いて、 1 0 0 0 cosθ -sinθ 0 sinθ cosθ θ=πとすると 1 0 0 0 -1 0 0 0 -1 と教えて頂きました。 前回の質問：http://okwave.jp/qa/q7596237.html その他の、y軸，z軸対称も同様に、y軸の回転行列 でθ=π，z軸の回転行列でθ=πとすれば導けるでしょうか？ また、2次元（xy）における回転行列は、 cosθ -sinθ sinθ cosθ です。 これにθ=πを代入すると、 -1 0 0 -1 となります。 しかし、2次元における軸対称は 1 0 0 -1 となると思います。 どこが間違っているのでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形代数 直交行列 回転行列
直交行列と回転行列について質問させて頂きます。 直交行列の定義は、 行列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でしょうか？ 直交行列であるが回転行列ではない場合というのはあるのでしょうか？ 回転行列だが直交行列でない場合というのは存在しないと思います。 以上、質問文が読みづらいかと思いますがご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形代数がわかりません・・・
線形代数がわかりません・・・ A? = －A となる行列を歪エルミート行列という。 (1) 歪エルミート行列の固有値は全て純虚数であることを示せ。 (2) 歪エルミート行列の相異なる固有値に関する固有空間は互いに直交することを示せ。 (3) 歪エルミート行列はユニタリ行列で対角化できることを示せ。 がわかりません。。。おねがいします＞＜
- 締切済み
- 数学・算数
- 行列の固有ベクトルについて
線形代数を勉強しています。 ある行列の固有ベクトルが、異なるものが二つ存在したとします。 その固有ベクトルは必ず互いに直交しますか？ テキストには直交する例のみ載っているのですが、 直交しない場合も想像出来るので、悩んでおります。
- 締切済み
- 数学・算数
- 線形代数と行列の関係
行列は、大学では線形代数、ベクトル(？)と関係があると聞いたのですが、これはどういう意味なのでしょうか？ 教科書には線形代数・ベクトルとの関係はでてないので？です。 また行列は、数学では関数がよく関連してますが、関数とも関係があるのでしょうか？ ちなみに今高３です。 宜しくお願いしますm(__)m
- ベストアンサー
- 数学・算数
- オイラー角 回転行列
オイラー角 回転行列 オイラー角と回転行列の関係が良く理解出来ないので 質問させて下さい。 工学や物理学で使われるオイラー角の回転順序は Z-X-Zが一般的だと認識しています。 ここで、3次元空間でのX軸、Y軸、Z軸周りの回転を 表す回転行列は、 1 0 0 Rx= 0 cosθ -sinθ 0 sinθ cosθ cosθ 0 sinθ Ry= 0 1 0 -sinθ 0 cosθ cosθ -sinθ 0 Rz= sinθ cosθ 0 0 0 1 です。 それぞれのθが、その軸での回転だと認識しています。 ここで、回転の方向はRxはY軸をZ軸に向ける方向、 RyはZ軸をX軸に向ける方向、RzはX軸をY軸に向ける方向。 Z-X-Zとは、 Rz・Rx・Rzの積という認識で良いでしょうか？ 例えば、 Rx：Y軸をZ軸に向ける方向にπ/2 Ry：Z軸をX軸に向ける方向にπ/3 Rz：X軸をY軸に向ける方向にπ/4 回転させたとします。 Rz・Rx・Rzの積でなぜ、Ryの回転 が表現できるのですか？ また、オイラー角はα，β，γと表記される事もありますが、 これは、X軸回転をα、Y軸回転をβ、Z軸回転をγで表して いるという事なのでしょうか？ 分からない点だらけで申し訳御座いませんが、ご回答何卒よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線型代数
Aを実３次直交行列(ただしA≠E)としたとき、行列(A－E)のランクはいくつになるのでしょうか？ 私は、以下の(直感的な)理由で(A－E)のランクは２になると思ったのですが、ちゃんとした証明がわからないので、教えてもらえないでしょうか？ (直感的な)理由 Aを実３次直交行列なので、Aによる線型変換A:R^3→R^3は長さと内積を保つ変換です。だから、この線型変換のイメージは「R^3の原点を通る直線を軸とした回転」という感じがします。(AはEと異なるから回転しないということはない。) だから、ker(A-E)={x∈R^3|(A-E)x=0}={x∈R^3|Ax=x}は幾何的なイメージとして回転軸、すなわち直線をあらわすと思ったので、dim ker(A-E)=1です。よって、rank(A-E)=3-dim ker(A-E)=3-1=2となる。
- 締切済み
- 数学・算数
- 任意の軸に回転するための角度を知りたい
右手系の直交座標系で基準のベクトル(0,0,1)があったとします。 ｘ軸周り、ｙ軸周り、ｚ軸周りの順番で基準のベクトルを回転してベクトル（x,y,z）にする時、ｚ軸周りの回転角度は決まっていて、残りのx軸とy軸をそれぞれ何度回せばいいのか計算する方法を教えて下さい。
- ベストアンサー
- 数学・算数
お礼
対角化とは関係なかったんですかー偶然同じような形になっただけだったんですね。 少し前に対角化の問題をやっていたもので、一緒だ！と思い込んでしまってました； 詳しい解説ありがとうございます＾＾ これですっきりしました。