• ベストアンサー

自己随伴写像の表現行列が対称行列とならない例は?

宜しくお願い致します。 [問]Vを有限次元実内積空間(dimV=n)とする。 γ={x1,x2,…,xn}は任意のVの基底とする。 VからVへの線形写像fが自己随伴(∀x,y∈V,<f(x),y>=<x,f(y)>(<,>は内積))である時, fの表現行列Aは対称行列となる。 の真偽判定の問題です。 正解は偽のようなですがこの反例としてどのようなものが挙げられますでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.1

真ですよ？ 内積空間の係数体は、実数体または複素数体ですが、 実内積空間の自己随伴線型写像は、対称行列、 複素内積空間の自己随伴線型写像は、エルミート行列 を表現行列に持ちます。 Ｖの正規直交基底から、２個のベクトルをとって ∀x,y∈Ｖ, <f(x),y> = <x,f(y)> の x,y にあてはめてみれば、わかります。

Nnarumi
質問者

お礼

> Ｖの正規直交基底から、２個のベクトルをとって > ∀x,y∈Ｖ, <f(x),y> = <x,f(y)> > の x,y にあてはめてみれば、わかります。 {e1,e2,…,en}:正規直交基底で <Aei,ej>=<ei,Aej> と当てはめてみて内積の定義から (aij)=(aji) と上手くいきました。 どうもありがとうございました。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 自己随伴写像の表現行列が共役転置になる命題が示せません

    宜しくお願い致します。 [命題] 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> から先に進めません。この命題はどのようにして証明すればいいのでしょうか?

  • 再)自己随伴写像の表現行列が対称行列とならない例は?

    http://okwave.jp/qa3969275.html で質問した者です。 どこかのサイトで反例として基底がそれぞれ {t(1,0),t(0,1)}と{t(1,1),t(1,0)} (tは転置行列を表す) の時の表現行列が 1,1 1,-1 と 0,1 2,0 となり,後者の場合は対称行列にならないので 従って偽となっていたのですが、、、 御意見いただければ幸いでございます。　m(＿ ＿)m

  • 随伴写像の存在性の証明は?

    随伴写像についての質問です。 [随伴写像とは] A∈L(V)({=f∈Map(V,V);f is linear}),∃1C∈L(V')(V'はF線形空間Vの双対空間);∀(x,y)∈V×V',y(Ax)=(Cy)(x)(∈F) (i.e. [Ax,y]=[x,Cy]) (⇔def) C をAのadjoint(随伴写像)と言い、adjA:=Cと示す。 ここで 「A∈L(V)({=f∈Map(V,V);f is linear})に対して∀(x,y)∈V×V',y(Ax)=(Cy)(x)(∈F) (i.e. [Ax,y]=[x,Cy]) を満たすようなC∈L(V')(V'はF線形空間Vの双対空間)が一意的に存在する」 を示したいのですが どうやって存在性を示せばいいかわかりません。 Cをどのように採ればいいのでしょうか?

  • 線形変換にて自己随伴とは?

    VをF上の線形空間とする。 [随伴写像とは] A∈L(V)({=f∈Map(V,V);f is linear}),∃1C∈L(V')(V'はF線形空間Vの双対空 間);∀(x,y)∈V×V',y(Ax)=(Cy)(x)(∈F) (i.e. [Ax,y]=[x,Cy]) (⇔def) C をAのadjoint(随伴写像)と言い、adjA:=Cと示す。 (∃1は"一意的に存在する"を意味する) が随伴写像の定義だと思います。 と随伴写像の定義までわかりましたが自己随伴変換(self-adjoint transformation)の定義が分かりません。 上記で特にA=Cの場合(つまりadjA=Aの場合),CはAの"自己随伴である" と言ったりするのでしょうか? 自己随伴の定義をご教示ください。

  • 線形写像での基底に関する表現行列

    線形写像f:V→Wでの，ある基底に関する表現行列に関しての質問です。 まずVの基底をΓV，Wの基底をΓWとしたときの， 「基底ΓV，ΓWに関する表現行列Ｔ1を求めよ」と， 「基底ΓVに関する表現行列Ｔ2を求めよ」という違いがよくわかりません。 「基底ΓV，ΓWに関する～」は，「Vで基底ΓVのものを線形写像fした場合，Ｗで基底ΓWになるような表現行列Ｔ１を求めよ」のようにイメージしているんですけど，これだと，「基底ΓVに関する～」の方がイメージできません。このイメージがもう間違っているんでしょうか？ また，理屈抜きでT=[Ｔ(e1) T(e2) ・・・]で，「基底ΓVに関する～」を求めてみようと思ったのですが，標準基底以外のときうまくいきません。この公式は標準基底のときのみに使えるものなのでしょうか？

  • 線形写像と行列についての質問です

    線形空間 K3 から線形空間 K3 への線形写像 T が(x,y,z) =(z,x,y)とし、K³ の基底を【(1,－1,0),(0,1,－1) ,(1,1,1)】とすると、この基底に関する線型写像 T の行列を求めよ。 この問題が分かりません…

  • 行列表示と取替写像の定理

    線形代数を勉強しています。 http://www22.atwiki.jp/linearalgebra/pages/53.html このサイトの17-6-3行列表示と取替写像の命題の証明が分かりません。 具体的には、P*基底(x1',x2'...,xn') = 基底(x1,x2,...,xn) になるのが分かりません。 Pを、E→E'の写像と定義したなら、P*基底(x1,x2,...,xn) = (x1',x2'...,xn')になるのでは、と思ってしまいます。 そこが分かればわかりそうなのですが・・・。 よろしくお願いします。

  • 表現行列の正確な意味とは?

    宜しくお願い致します。 [Q]Let T∈L(V).Write down matrix representation of [T]_β and [T]_β' given the following basis: β:v1,v2,…,vn β':v'1,v'2,…,v'n という問題なのですがこの場合の表現行列とは何を意図するのかはっきりわかりません。 『[定義] n次元F線形空間Vの基底を{v1,v2,…,vn}とし、map g:V→F^nを V∋∀Σ[i=1..n]civi→g(Σ[i=1..n]civi):=t(c1,c2,…,cn) (tは転値行列を表す) でgを与えるとgは同型写像となる。 ここで{v1,v2,…,vn}の順序を変えるとgは別物になってしまうのでこの順序を込めた 基底 {v1,v2,…vn}をβ:=[v1,v2,…,vn]と表す事にし、このgをβによって決まる同型写像 と呼ぶ事にする。 m次元F線形空間Wの基底をβ':=[w1,w2,…,wm]によって決まる同型写像をh:W→F^mと し、 線形写像f:V→Wに対し、合成写像hfg^-1:F^n→F^mは線形写像となる。 行列表現とは始集合のF線形空間Vの基底[v1,v2,…,vn]=:βと終集合のF線形空間Wの 基底[w1,w2,…,wm]=:β'とし、f∈L(V,W)において f(vj)=Σ[i=1..m]aijwi (j=1,2,…,n)で定まる行列(aij)=:Aを βからβ'へのfによる行列表現という』 だと思います。 つまり、表現行列を正確に述べるには"基底何々から基底何々への線形写像何々による表現行列" という風に3項目はっきり述べないといけないと思います。 さて、線形変換の場合, 上記の問題文で[T]_βと書いた時、これは (1)基底βからβへの線形写像Tの表現行列 (2)基底βからβ'への線形写像Tの表現行列 (3)基底β'からβへの線形写像Tの表現行列 のどれを意図しているのでしょうか?

  • 線形変換(随伴変換)に関する質問です

    「線形空間Ｖのひとつの基底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)はψの逆写像の意です。

  • 表現行列について

    「次の線形代数の指定された基底に関する表現行列を求めよ。」 という問題がの解き方がわかりません。 　┌x┐ 　 　　┌ 　　　　 ┐ f(│y│ ) =　 │5x+ y 　 │ 　│z│ 　 　 │2x+4y　　│ 　 └ ┘ 　　 └ 　 　　　 ┘ 　　　　 ┌ 　 ┐ ┌ ┐ 基底:{ │ 1　│ │1 │ 　　　　│-2　│ │1 │ 　　　　└ 　 ┘, └ 　 ┘ 答えは、 ┌ 　 ┐ │3 0│ │0 6│ なのですが、それを導くまでの過程が └ 　 ┘　　 どうしてもわかりません。 　　　　　　教えては頂けないでしょうか よろしくお願いします。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する