![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
宜しくお願い致します。
[命題] Vをn次元内積空間,f∈L(V):={f;線形写像f:V→V},β:={x_1,x_2,…,x_n}をVの正規直交基底
とする。
内積<f(x),y>=<x,g(y)>(∀x,y∈V)の時,f=g(即ち,gはfの自己随伴写像)ならば
(a_ij)=(a~_ji) ((a_ij)はfのβにおける表現行列,(a~_ji)は(a_ij)の共役転置) となる事を示せ。
という問題に難儀しています。
題意よりf(x_j)=Σ[i=1..n]a_ijx_iと書け、
内積の定義は複素線形空間Vの任意の要素x,yに対して複素数<x,y>が定まり,次の4条
件を満たす時<x,y>をxとyの内積といい,内積が定義されている空間Vを内積空間と言
う。
(i) <x,x>≧0; <x,x>=0⇔x=0
(ii) <x,y>=<y,x>~ (~はバーを表す)
(iii) <x+y,z>=<x,z>+<y,z>
(iv) <αx,y>=α<x,y>
から先に進めません。この命題はどのようにして証明すればいいのでしょうか?
No.1ベストアンサー
- 回答日時:
そこまで準備してあるのならば、どこにも難儀する部分はない
ように思いますが…
βの元 x_ i, x_ j について
< f(x_ i), x_ j > = < x_ i, f(x_ j) > の両辺を成分計算してみれば、
そのまま a_ ij = (a_ ji)~ という式になります。
> βの元 x_ i, x_ j について
> < f(x_ i), x_ j > = < x_ i, f(x_ j) > の両辺を成分計算してみれば、
> そのまま a_ ij = (a_ ji)~ という式になります。
有難うございます。
仮定より
<f(x_i),x_j>=<x_i,f(x_j)>と書ける。これより
<Σ[i=1..n]a_ijx_i,x_j>=<x_i,Σ[j=1..n]a_jix_j>
⇔
Σ[i=1..n]a_ij<x_i,x_j>=(Σ[j=1..n]a_ji)~<x_i,x_j>
⇔
Σ[i=1..n]a_ij<x_i,x_j>=Σ[j=1..n]a_ji~<x_i,x_j>
⇔
(Σ[i=1..n]a_ij-Σ[j=1..n]a_ji~)<x_i,x_j>=0
⇔
(Σ[i=1..n]a_ij-Σ[j=1..n]a_ji)δ_ij=0(∵{x_1,x_2,…,x_n}は正規直交基底)
今,iとjは任意なので
Σ[i=1..n]a_ij-Σ[j=1..n]a_ji=0
⇔
Σ[i=1..n]a_ij=Σ[j=1..n]a_ji
⇔
(a_ij)(e_1 e_2 … e_n)=(a_ji~)(e_1 e_2 … e_n)
(tは転置行列, e_1,e_2,…,e_nは単位ベクトル)
⇔
E_n(a_ij)=(a_ji~)E_n (E_nは単位行列)
⇔
(a_ij)=(a_ji~)
でいいのですね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 t=tan(x/2)の置換積分について質問です。写真の問題では、(1)でt=tan(x/2)として、 6 2022/11/21 22:59
- 数学 数II 質問 放物線y=3-x²(-√3≦x≦√3)とx軸に平行な直線が異なる2点A,Bで交わるとき 3 2023/08/16 18:17
- 数学 中1 数学 空間における平面と直線の問題です 2 2023/04/14 20:44
- 計算機科学 Mathematica 行列の積(内積) Mathematicaで行列の積(内積)を計算したいのです 1 2022/12/05 01:41
- 数学 写真の(3)の問題の解説の1行目についてですが、 ①なぜ、曲線Kの囲む図形は、cos(-θ)と表せる 5 2023/01/26 00:36
- 宇宙科学・天文学・天気 四次元空間について 1 2022/07/01 17:11
- アニメ 四次元空間について 1 2022/07/01 16:06
- 数学 画像の問題について質問です。問題式を楕円の式に変形して、積分範囲を0<=x<=a √(z^2-1) 3 2022/08/29 13:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
f^(-1)(f(P))=Pを示したい
-
基本的な事ですが…(単射、全射...
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
同型写像の証明問題
おすすめ情報