- ベストアンサー
既約、可約とは
量子の勉強をしているのですが… 『状態ベクトルにかかる回転の演算子をD(α)として (x',y') = D(α)(x,y) とするとき、この２次元表現を既約表現の基底で表せ。』 という問題に出会ったのですが、そもそも既約、可約の意味がわかりません。 ネットで調べても、群論をやればわかることしかわかりません。 簡単にでいいので、この問題について教えてもらえませんか？ また、物性系の研究室に行きたくて量子をやっているのですが、やはり群論もいずれはきちんと学ばねばならぬのでしょうか？
- samidare01
- お礼率46% (131/283)
- 物理学
- 回答数3
- ありがとう数2
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (2)
- nananotanu
- ベストアンサー率31% (714/2263)
- nananotanu
- ベストアンサー率31% (714/2263)
群論が判らないと、生き残れませんよ
お礼
工学系を目指す初学者にお薦めの教科書があれば是非教えていただきたいのですが？
補足
重いお言葉、胸にしみます。群論やろっと！笑
関連するQ&A
- 基本ベクトルと基底の違い
基本ベクトルである（1,0,0),(0,1,0),(0,0,1)は理解できました。 これがそのまま基底となるケースも理解できました。 いや、基本ベクトルと基底の違いに気付いていませんでした。 x(1,0,2),y(0,1,1)などで表現される基底が分かりません。 基本ベクトルだけではなぜダメなのでしょうか？ 二次なら、基本ベクトルだけで平面が張れます。 どんな座標でも２つの基本ベクトルのスカラー倍と和で表現できます。 基本ベクトルのようなシンプルなものでなく、ちょっと複雑な基底がわざわざ必要な意味がわかりません。 最初は、座標面そのものが固定されているものなので、基底が便利なのかなと思ったのですが、 座標面は、いかようにも存在するといいますか、 座標の面は、どんな角度でも存在するといいますか、 あれ？もしかして、3次元から2次元の平面図を意識すると、基底が意味を持ってくるのでしょうか？ 3次元の中に、どう平面を置くか（意識するか）という感じで。 2次元だけの世界なら、別にどこに2次元の平面があろうと、あくまでも2次元平面は１つしか存在しなくて、 1次元である線を、どこに置くかによって基底が意味を持ってくるといいますか。 ひとつの次元の中で、その次元のことだけを考えるなら、基本ベクトルが基底と同等で、原点もどこにあろうか自由、原点なんかここにあっても、１００ｋｍ先にあっても関係ない。 が、ひとつの次元の中で、上や下や、違う次元を考えるなら、原点が必要になってくるので、 基底が必要になるってことでしょうか？
- 締切済み
- 数学・算数
- ２階対称テンソル演算子
群論の本を読んでいて、ウィグナーエッカルトの公式のところを読んでいたところです。 添付画像の式は２階対称テンソル量に対応する演算子で、独立成分５個、既約表現j=2に属する量なのですが、群論の本を読んでいたら、この式の右辺がその対角和（トレース）を０にするように調整してあるのは、x^2がスカラー量(j=0)だから、それを差し引いておかないとTabは既約表現になり得ないという解説がありました。(jはウェイトmの上限) 既約表現であることと、スカラー量を差し引いておくことの関係がつかめないでおります。 いろんな本をあさっていると、４極モーメントという言葉が出てきますが、それ以上よくわかりません。 手掛かりがありましたら教えてください。
- ベストアンサー
- 数学・算数
- fundamental orthogonality
群論を勉強していてfundamental orthogonality relationなるものが出てきました。 U_νとU_μを２つの同値でない既約表現を伴うG-moduleがあって、AをU_ν→U_μの線形写像として演算子 B=Σ(T^μ(g))A(T^ν(g^-1)) （Σは常にgに関する和です） を定義します。Tは既約表現に対応する線形演算子です。このとき(T^μ(h))B=B(T^ν(h))となるのでμ≠νならSchurの補題よりB=O、μ＝νならもう一つのSchurの補題からB=λEとなります。よってTに対応する行列Dを用いて B=Σ(D^μ(g))A(D^ν(g^-1))=(λ^μ_A)δ^{μν}・１ と書けます。AをA_{lm}=δ_{lr}δ_{ms}とすると... という流れで議論が進んでいるのですが、この辺りでついていけなくなります。 ２つのUというのは一般には次元も異なると思います。次元が同じだとしても異なる線形空間だと理解しています。(μ＝νのときのみ同じ空間） 一つ目の質問は、μとνは規約表現のラベルにも使われていますが、U^μに対して既約表現というのは一つしかなくT^μしかないのでしょうか？ 二つ目の質問はAという線形写像は一般には次元も異なる線形空間の間の写像を与えるはずですが、それは行列で書けるのでしょうか？それともAを行列化したところで右辺はμ＝νでしか効いてこないので次元は等しいと見ているのでしょうか？
- ベストアンサー
- 数学・算数
- Lorentz群の表現
(1)ローレンツ群の6個の生成子M^{μν}から２つの独立したSU(2)に分解？しますよね。 便宜上SU(2)L×SU(2)RとするとそれぞれのSU(2)は既約表現はよく知られているように |j,m>のようになるので全体としては|j,m>|j',m'>というテンソル積で表現が書けるということでしょうか？ (2)そうだとして、その表現は一般に可約ですよね？SU(2)Lの既約表現はjで、SU(2)Rはj'で指定されるのでSU(2)L×SU(2)Rの表現は(j,j')で指定できますが、(1/2,1/2)はベクトル場に対する表現で既約だと教科書に書いてありました。(1)が正しいならこれは可約でSU(2)のスピン1表現とスピン0表現に既約分解できるとおもいます。どちらが正しいのでしょうか？
- ベストアンサー
- 物理学
- x1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底,{y1,y2,y3}がその双対基底でx=(0,1,0)の時,y1(x),y
[問] ベクトルx1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底とする。 {y1,y2,y3}がその双対基底でx=(0,1,0)の時、 y1(x),y2(x),y3(x)を求めよ。 という問題の解き方をお教え下さい。 双対基底とは {f;fはF線形空間VからFへの線形写像} という集合(これをV*と置く)において、 V(dimV=nとする)の一組基底を{v1,v2,…,vn}とすると fi(vj)=δij(:クロネッカーのデルタ)で定めるV*の部分集合 {f1,f2,…,fn}はV*の基底となる。これを{v1,v2,…,vn}の双対基底と呼ぶ。 まず、 C^3の次元は6(C^3の基底は(1,0,0),(0,1,0),(0,0,1),(i,0,0),(0,i,0),(0,0,i)) だと思うので上記のx1,x2,x3は基底として不足してると思うのです(もう3ベクトル必要?)。 うーん、どのようにしたらいいのでしょうか?
- ベストアンサー
- 数学・算数
- ベクトルで外積の逆演算、外商ってある？
３次元ベクトルにおいて、 a=(a[x],a[y],a[z]),b=(b[x],b[y],b[z]) の外積 a×b=(a[y]b[z]-a[z]b[y], a[z]b[x]-a[x]b[z], a[x]b[y]-a[y]b[z]) が定義できます。いくつかの性質もあります。 http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%82%B9%E7%A9%8D ところで、逆演算も定義としてはありえると思います。 a÷b=xとは、 x×b=aとなる３次元ベクトルx ただ、そのようなxは一意的には存在しません。 しかし、外積を内積に変えて、 x・b=a（aは実数）となる３次元ベクトルx を考えると、そのようなxの集合は、３次元空間で平面になります。 ちょっととっぴにいうと、内積の逆演算、内商a：bは、平面になるということもできます。 では、 x×b=aとなる３次元ベクトルx を考えると、そのようなxの集合はどうなるのでしょうか？ また、平方根を制限したものを√で表したりするように、逆演算はしばしば制限したものを考えます。 なにか制限することで、外積の逆演算、外商を考えれないでしょうか?なにか制限することで、内積の逆演算、内商を考えれないでしょうか? 他に発展的なことは考えれないでしょうか?
- ベストアンサー
- 数学・算数
- 4次元空間上での平面の式
任意の点を(x,y,z,u)とした4次元空間で (1)3次元の立体を表す式は ax+by+cz+du=e でいいですか? (2)2次元の平面を表す式は一般にどのような形になりますか? 上記のことに疑問を持った理由。 2次元空間で1次元の直線を表す式は、一般にax+by=cとなる。 これは、2点(x,y),(xo,yo)を通り、方向ベクトルが(a',b')で媒介変数tとして x=a't+xo y=b't+yo と書くこともできる。 3次元空間で2次元の平面を表す式は、一般にax+by+cz=d となる。 これは、 平面上の2点(x,y,z)と(xo,yo,zo)を結ぶベクトルとこの平面に垂直な直線の方向ベクトル(a,b,c)の内積が0であるという条件より導かれる。 実際に計算すると a(x-xo)+b(y-yo)+c(z-zo)=0 ax+by+cz=axo+byo+czo になり、ax+by+cz=dという形と同値であることが確認できる。 【別な考え】 3次元空間内の平面は、異なる3つの点によって決定するので、異なる3点を P(xo,yo,zo)、Q(x1,y1,z1)、R(x2,y2,z2) とする。この平面上の任意の点X(x,y,z)は、媒介変数t,sを使って OX↑=OP↑+tPQ↑+sPR↑ と書ける。 成分表示にするために OP↑=(xo,yo,zo) PQ↑=(a,b,c) PR↑=(a',b'c') と方向ベクトルを定義すると、 x=xo+at+a's......(1) y=yo+bt+b's......(2) z=zo+ct+c's......(3) という書き方も平面を表す式である。 実際に(1)と(2)から未知数t,sについてx,yの式で表すことができるので、それを(3)式に代入すれば、(1)(2)(3)式は、一つの式 a"x+b"y+c"z=d'という形になる。 直線を表す式は、媒介変数tを使って x=at+xo y=bt+yo z=ct+zo または、 (x-xo)/a=(y-yo)/b=(z-zo)/c=t となる。 4次元空間で同じように、 直線や平面や立体を考えてみた。 2次元では、(1,0)と(0,1)が直交の基底ベクトル。 3次元では、(1,0,0)と(0,1,0)と(0,0,1)が直交の基底ベクトル。 したがって、 4次元では、(1,0,0,0)と(0,1,0,0)と(0,0,1,0)と(0,0,0,1)が直交の基底ベクトル。 4次元空間では、点は4つの成分で表される。 4次元空間での直線について。 直線は2点が与えられば書ける。 2点(x,y,z,u)と(xo,yo,zo,uo)を通り、その直線の方向ベクトルが(a,b,c,d)だとしたら、媒介変数tを使って、 x=at+xo y=bt+yo z=ct+zo u=dt+uo となって (x-xo)/a=(y-yo)/b=(z-zo)/c=(u-uo)/d=t 次に4次元空間での３次元立体について。 ２次元空間では、それより一つ次数が低い1次元の直線は一つの式 ax+by=c で与えられた。 3次元空間では、それより一つ次数の低い２次元の平面は、一つ式 ax+by+cz=d で表さられた。 したがって、4次元空間では、それより一つ次数の低い3次元の立体は、 ax+by+cz+du=e で表されるだろう。 【別な考え】 4次元空間では、ある方向ベクトル(a,b,c,d)に直交する立体は一つしかない。なぜなら、4次元空間での基底ベクトルは4つで空間(立体)は3つの基底ベクトルで決定されて、残り一つが残っているからだ。 立体上の2点(x,y,z,u)と(xo,yo,zo,uo)を結ぶベクトルとこの立体に垂直な直線の方向ベクトル(a,b,c,d)の内積が0であるという条件で計算すると a(x-xo)+b(y-yo)+c(z-zo)+d(u-uo)= 0 ax+by+cz+du=axo+byo+czo+duo になり、ax+by+cz+du=eという形になる。 2次元の平面はどうだろうか？ (ここからが本題) 4次元空間では、ある方向ベクトル(a,b,c,d)に直交する平面は、２つあるはずだ。 なぜなら、4次元空間での基底ベクトルは4つで平面は2つの基底ベクトルで決定されて、残り2つが残っていて、それはこの平面に直交するように選べるからだ。 平面は、異なる3つの点によって決定するので、異なる3点を P(xo,yo,zo,uo)、Q(x1,y1,z1,u1)、R(x2,y2,z2,u2)、 とする。この平面上の任意の点X(x,y,z,u)は、媒介変数t,sを使って OX↑=OP↑+tPQ↑+sPR↑ と書ける。 成分表示にするために OP↑=(xo,yo,zo,uo) PQ↑=(a,b,c,d) PR↑=(a',b',c',d') と方向ベクトルを定義すると、 x=xo+at+a's......(1) y=yo+bt+b's......(2) z=zo+ct+c's......(3) u=uo+dt+d's.....(4) という書き方も平面を表す式である。 (1)と(2)を連立して、未知数t,sについてx,yの式で表すことができるので、それを(3)式と(4)式代入すれば、(1)(2)(3)(4)式は、２つの式 a"x+b"y+c"z+d"u=e' a"'x+b"'y+c"'z+d"'u=e" になる。 この２つの式からuを消去すれば、結局、 Ax+By+Cz=D という形になる。 zを消去すれば、 Ax+By+Cu=D yを消去すれば、 Ax+Bu+Cz=D xを消去すれば、 Au+By+Cz=D
- ベストアンサー
- 数学・算数
- Schurの補題１
「群Gの2つの既約表現をD(1),D(2)としそれぞれが作用する ベクトル空間をV1(n次元）、V2(m次元）とする。V1上のベクトルを V2上のベクトルに写すnxm行列Mが MD(1)(g)=D(2)(g)M を満たすならばMはV1からV2への同型写像であるか、M=0である。」 という Schurの補題１について教えてください。 (i)「群Gの2つの既約表現をD(1),D(2)」とはGの表現D(g)がD(1)と D(2)が直和であるという意味であって、D(g)の２つの同値表現と いう意味ではないですよね。（確認） (ii)「V1の部分空間W上の∀ベクトルwに対してD(1)(g) w∈W かつD(1)が既約であるならWはV1または0である。」 ことが証明に用いられていると思いますが、これは 自明のことですか？ (iii) 「Mの核W={w∈V1|Mw=0}が空集合ならn=mでMは同型写像である。」 なぜですか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 三次元空間ベクトルの基底
はじめまして. 皆様のお知恵を借りたく投稿しました. 今、丁度大学のテスト前で過去問を解いていました。 そこでどうしてもわからない問題がありました。 三次元ベクトル空間内の解空間 x [ y ] / x + 2y - 3z = 0 z の基底を一組求めよ。 どうやったらいいのかさっぱり分かりません・・・ 皆様、ぞうぞお力添えを・・・・
- 締切済み
- 数学・算数
お礼
返信が遅くなって申し訳ありません。 ありがとうございます！買ってやってみますね。