- ベストアンサー
線形変換が直交変換であることの証明
ネットで拾った問題です。自分の教科書には載っていないタイプの問題なので解き方がよくわかりません。 T が直交変換であることを証明するためには内積 (T(a↑),T(b↑)) をシコシコ計算し ( (a↑),(b↑) ) = ( T(a↑),T(b↑) ) を証明すればいいとは思うのですが、 (T(a↑),T(b↑)) を計算するのはだいぶメンドイです。他に方法はないのでしょうか。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
- tmppassenger
- ベストアンサー率76% (285/372)
(1)を解くなら、(T(a↑),T(b↑)) をシコシコ計算すればよい。そこまで面倒ではない。わざわざ成分計算をする必要もない。
お礼
丁寧な回答まことにありがとうございました。
関連するQ&A
- 直交変換はノルムを保つ
教科書に 「線型変換 f について、f が直交変換であるための必要十分条件は f がノルムを保つことである」 という定理が載っているのですが、どうも理解できません。 教科書には簡単な証明が載っており、 「f が直交変換ならば、明らかに f はノルム(長さ)を保っている」と記載されています。 直交変換とは内積も保つような線型変換のことですよね？ 内積を保つ = ノルム(長さ)を保つ ということが明らかとなる説明をどなたかお願いします。 私は、内積を保っても、なす角が保たれなければ、ノルム(長さ)も保たれないと思ってしまいます。。。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 直交変換で標準形を求める
直交変換x = Tyを用いて f = 2(x1)^2+5(x2)^2+4(x1)(x2)…[1] （x1とx2はそれぞれ要素です） の標準形を求め、さらにTを求めよという問題です。 標準形については[1]式を (x1 x2) |2 2| (x1 x2)^t = xAx^t |2 5| と変形して、Aの固有値を求めλ=1、6となりました。 固有値から標準形は f = (y1)^2+6(y2)^2 と求めました。 このときT = A =|2 2| |2 5| という答えにしていいのでしょうか。 これではただ標準形にしただけで、間違っているような気がします。 直交変換について調べてみても T(a)・T(b) = a・b が成り立つTのこと、ということしかわかりませんでした。 どなたか教えてください。
- ベストアンサー
- 数学・算数
- 直交行列について
A~A=AA~=Iを満たすAは直交行列(~は転置 n次元の正規直交基底をn個並べたものは直交行列 とあります 正規直交基底a1,a2,,,,anを並べた行列をAとすると A~Aは各ベクトルの内積を考えることになって ノルムは1 直交するから0→単位行列だってのはわかりますが AA~は内積を考えてるわけではないです でも計算してみると内積っぽい形をしているわけで y1をa1,a2,a3...anの第一成分を並べたベクトル ynをa1,a2,a3...anの第n成分を並べたベクトル と見れば AA~はyi(i=1,2,3...n) の各内積を考えることになり これも単位行列になるんだから結局yiも正規直交基底になっています これはなんでですか？ A~A=AA~=Iだからで片付けられるとなんだか面白くないので 他に証明のやりかたあったら教えてください
- ベストアンサー
- 数学・算数
- 線形変換
4次元実ベクトル空間R^4の標準的な内積を（,）で表す。 即ち、 x=t^（x1 x2 x3 x4）、y=t^（y1 y2 y3 y4）に対して、 （x,y）=(x1)(y1)+(x2)(y2)+(x3)(y3)+(x4)(y4)とする 。 R^4のベクトルaを、a=t^（1 1 1 1）とし、R^4からR^4への写像Tを T（x）=x-｛2（x,a）/（a,a）｝a で定める。 上で定めたTは、R^4からR^4への線形変換であることを示せ。 という問題で、T(px+qy)=pT(x)+qT(y)となることを証明すればよいのだと思います。(p,qはスカラー、x,yはｖに属するベクトル) 成分に立ち返って計算すれば証明できることはわかるんですけど、そのやり方だとかなり手間がかかります。 成分に立ち返らなくても証明できる方法があったらやり方を教えてください。
- ベストアンサー
- 数学・算数
- 直交変換と回転は同じものなの？
座標の回転が直交変換なのは任意の回転がｘ軸の回転とｙ軸の回転とｚ軸の回転の組み合わせであることから理解できます しかしその逆が分からないのです つまり直交変換は座標の回転なのかどうかです ３次元直交座標Ａと３次元直交座標Ｂがある 空間に点Ｐがある ＰのＡによる座標を（ｘ，ｙ，ｚ）＝ａ＾Ｔとし ＰのＢによる座標を（Ｘ，Ｙ，Ｚ）＝ｂ＾Ｔとする そこで質問します 「Ｕ＾Ｔ・Ｕ＝Ｅかつ｜Ｕ｜＝１である３次正方実行列Ｕがあり任意のＰについてａ＝Ｕ・ｂならばＢはＡを原点を中心に回転したものである」 は正しいのですか？ 正しければどうしてなのですか？ 正しくなければどうしてなのですか？ よろしくお願いします
- 締切済み
- 数学・算数
- 正規直交基底
(問題) ３つのベクトルa=(1,1,1,1) b=(1,-1,1,-1) c=(1,1,-1,-1)がある。（表記が違いますが、列ベクトルです） 1.a,b,cが互いに直交していることを示せ。 2.a,b,cの正規直交基底を求めよ。 3.a,bc,の全てに直交するベクトルを1つ求めよ。 というものなのですが。疑問点があるので答えて頂ければ幸いです。 1.の直交を示すことはそれぞれ内積a・b a・c b・ｃが0であることから示せます。（これは正しいと思います） 2.の正規直交基底なのですが、これは互いに直交しているため、それぞれの大きさを1になるように正規化すれば良く、複雑な計算は必要ないですよね？ また、問題は四次元のベクトルですが、3つだけで正規直交基底と言えるのですか？ R^4の正規直交基底と問題2が示す正規直交基底は別物ですか？ また、3で全てに直交するベクトルを1つ求めよとありますが、このベクトルを正規化すれば、 それらを全て合わせてR^4の正規直交基底ということでよろしいのですか？ ちなみに全てに直交するベクトルdは(1,-1,-1,1)となりました。 質問を煩雑に羅列してしまい申し訳ないですが解答よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 線形変換(随伴変換)に関する質問です
「線形空間Ｖのひとつの基底E=<e[1],e[2],・・・e[n]>を選べば、 ＶからＫ^nへの同型写像ψが決まるから、この意味で、基底(E;ψ)と言うことにする。 Ｖをユニタリ空間、ＴをＶの線形変換とし、ある正規直交基底に関するＴの行列をＡとする。この基底に関して、 Ａの随伴行列Ａ^*によって表現されるＶの線形変換をＴの随伴変換と言い、Ｔ^*で表す。 Ｔ^*は、Ｖの任意の二元x,yに対して内積に関する等式 [T^*(x),y]=[x,T(y)]・・・※ が成立することで特徴づけられる。 実際、この基底を(E;ψ)とすれば [A^*(ψ(x)),ψ(y)]=[ψ(x),A(ψ(y))]より※が成立。」 という記述が教科書にあったのですが、 ※の成立を示すのに [A^*(ψ(x)),ψ(y)]=[ψ(x),A(ψ(y))]を示している理由を 私は [T^*(x),y]=[ψ^(-1)(A^*(ψ(x)),ψ^(-1)(ψ(x))] 今、ψ^(-1)は計量同型写像であるから [ψ^(-1)(A^*(ψ(x)),ψ^(-1)(ψ(x))]=[A^*(ψ(x)),ψ(y)] 同様に [x,T(y)]=[ψ(x),A(ψ(y))]なので 結局、※は[A^*(ψ(x)),ψ(y)]=[ψ(x),A(ψ(y))]に帰着される・・。 と考えたのですが、これであっていますか？ ψが計量同型写像だからそのい逆写像も計量同型写像であるので [ψ^(-1)(a),ψ^(-1)(b)]=[a,b]である というのを使っているのかな？と思ったのですが。 どなたか詳しい方、添削よろしくお願い致します。 ※[,]は内積、ψ^(-1)はψの逆写像の意です。
- ベストアンサー
- 数学・算数
お礼
丁寧な回答まことにありがとうございました。