「既約表現」の版間の差分
ARAKI Satoru (会話 | 投稿記録) m編集の要約なし |
m 外部リンクの修正 http:// -> https:// (archive.org) (Botによる編集) |
||
(8人の利用者による、間の14版が非表示) | |||
1行目: | 1行目: | ||
[[数学]]のとくに[[群 (数学)|群]]あるいは[[体上の多元環|多元環]]の[[表現論]]における(代数的構造の)'''既約表現'''(きやくひょうげん、{{lang-en-short|''irreducible representation''}}; '''irrep''') とは、真の閉部分表現を持たない非零表現を言う。 |
[[数学]]のとくに[[群 (数学)|群]]あるいは[[体上の多元環|多元環]]の[[表現論]]における(代数的構造の)'''既約表現'''(きやくひょうげん、{{lang-en-short|''irreducible representation''}}; '''irrep''') とは、真の閉部分表現を持たない非零表現を言う。 |
||
[[エルミート形式|複素内積]][[ベクトル空間]] ''V'' 上の任意の有限次元[[ユニタリ表現]]は、既約表現の |
[[エルミート形式|複素内積]][[ベクトル空間]] ''V'' 上の任意の有限次元[[ユニタリ表現]]は、既約表現の[[加群の直和|直和]]である。既約表現は常に'''直既約'''である(すなわち、別の表現の直和にかくことができない)であり、この二つはしばしば混同されるが、例えば上半三角冪零行列として作用する実数の二次元表現など、一般には可約だが直既約な表現が無数に存在する。 |
||
== 歴史 == |
== 歴史 == |
||
群の表現論は1940年代頃から{{仮リンク|リチャード・ブラウアー|en|Richard Brauer}}により一般化され、行列作用素が([[実数|実]]または[[複素数]]を成分とするベクトルではなく)任意[[標数]]の[[体 |
群の表現論は1940年代頃から{{仮リンク|リチャード・ブラウアー|en|Richard Brauer}}により一般化され、行列作用素が([[実数|実]]または[[複素数]]を成分とするベクトルではなく)任意[[標数]]の[[可換体|体]] ''K'' 上作用する[[モジュラー表現論]]が与えられた。そうした理論における既約表現の類似構造物を[[単純加群]]と呼ぶ。 |
||
== 概観 == |
== 概観 == |
||
{{ |
{{main|群の表現}} |
||
ρ を[[体 |
ρ を[[可換体|体]] ''F'' 上のベクトル空間 ''V'' における群 ''G'' の[[表現論|表現]] ρ: ''G'' → GL(''V'') とする。''V'' の基底をとれば、ρ を群から正則行列からなる適当な集合の上への写像([[準同型]])と見做すことができて、この文脈では'''行列表現'''と呼ばれるが、基底をとらずに空間 ''V'' を考えるほうが物事は非常に単純になる。 |
||
''V'' の[[線型部分空間]] ''W'' が''' ''G''-不変'''であるとは、任意の {{math|''g'' ∈ ''G''}} および {{math|''w'' ∈ ''W''}} に対して {{math|''gw'' ∈ ''W''}} が成り立つことを言う。表現 ρ を ''G''-不変部分空間 ''W'' へ |
''V'' の[[線型部分空間]] ''W'' が''' ''G''-不変'''であるとは、任意の {{math|''g'' ∈ ''G''}} および {{math|''w'' ∈ ''W''}} に対して {{math|''gw'' ∈ ''W''}} が成り立つことを言う。表現 ρ を ''G''-不変部分空間 ''W'' へ[[写像の制限|制限]]したものは'''部分表現'''と呼ばれる。表現 ρ: ''G'' → GL(''V'') が'''既約'''であるとは、それが自明でない部分表現を持たないことをいう(任意の表現は自明な ''G''-不変部分空間、つまり全体空間 ''V'' と[[零ベクトル空間|{0}]] を部分表現として必ず含むことに注意)。 真の非自明な不変部分空間を持つ表現 ρ は、'''可約''' (''reducible'') であると言う。 |
||
=== 群表現の記法と語法 === |
=== 群表現の記法と語法 === |
||
30行目: | 30行目: | ||
表現が'''直可約''' (decomposable) であるとは、その表現の任意の行列を[[対角化]]する相似行列 ''P'' による[[行列の相似|相似変換]]<ref name="Wigner p 73">{{cite book| author=E.P. Wigner|title=Group theory and its application to the quantum mechanics of atomic spectra|year=1959|series=Pure and applied physics|page=73|publisher=Academic press|isbn=}}</ref> |
表現が'''直可約''' (decomposable) であるとは、その表現の任意の行列を[[対角化]]する相似行列 ''P'' による[[行列の相似|相似変換]]<ref name="Wigner p 73">{{cite book| author=E.P. Wigner|title=Group theory and its application to the quantum mechanics of atomic spectra|year=1959|series=Pure and applied physics|page=73|publisher=Academic press|isbn=}}</ref> |
||
: <math> D(a) \mapsto P^{-1} D(a) P</math> |
: <math> D(a) \mapsto P^{-1} D(a) P</math> |
||
によって表現の各行列が同じパターンの対角ブロックに写されることを言う(各ブロックが互いに独立な群の表現を与える)。表現行列 ''D''(''a'') と ''P''<sup>−1</sup>''D''(''a'')''P'' は'''同値な表現'''であるという<ref>{{cite book|author= W.K. Tung|title=Group Theory in Physics|page=32|publisher=World Scientific|year=1985|url= |
によって表現の各行列が同じパターンの対角ブロックに写されることを言う(各ブロックが互いに独立な群の表現を与える)。表現行列 ''D''(''a'') と ''P''<sup>−1</sup>''D''(''a'')''P'' は'''同値な表現'''であるという<ref>{{cite book|author= W.K. Tung|title=Group Theory in Physics|page=32|publisher=World Scientific|year=1985|url=https://books.google.co.uk/books?id=O89tgpOBO04C&printsec=frontcover&dq=group+theory+in+physics&hl=en&sa=X&ei=Xsd-UdmjONKg0wW96ICwBg&redir_esc=y#v=onepage&q=group%20theory%20in%20physics&f=false|isbn=997-1966-565}}</ref>。表現行列が ''k'' 個の{{仮リンク|行列の直和|en|direct sum of matrices}} |
||
: <math>D(a) = \begin{pmatrix} |
: <math>D(a) = \begin{pmatrix} |
||
D^{(1)}(a) & 0 & \cdots & 0 \\ |
D^{(1)}(a) & 0 & \cdots & 0 \\ |
||
44行目: | 44行目: | ||
表現行列がこのようなブロック対角行列にできないとき、その表現は'''直既約''' (indecomposable) であると言う<ref name="Wigner p 73"/><ref name="Tung 33">{{cite book|author= W.K. Tung|title=Group Theory in Physics |
表現行列がこのようなブロック対角行列にできないとき、その表現は'''直既約''' (indecomposable) であると言う<ref name="Wigner p 73"/><ref name="Tung 33">{{cite book|author= W.K. Tung|title=Group Theory in Physics |
||
|page=33|publisher=World Scientific|year=1985|url= |
|page=33|publisher=World Scientific|year=1985|url=https://books.google.co.uk/books?id=O89tgpOBO04C&printsec=frontcover&dq=group+theory+in+physics&hl=en&sa=X&ei=Xsd-UdmjONKg0wW96ICwBg&redir_esc=y#v=onepage&q=group%20theory%20in%20physics&f=false|isbn=997-1966-565}}</ref>。 |
||
== リー群 == |
== リー群 == |
||
65行目: | 65行目: | ||
== 関連項目 == |
== 関連項目 == |
||
=== 結合代数 === |
=== 結合代数 === |
||
* |
*[[単純加群]] |
||
* |
*[[直既約加群]] |
||
* |
*[[結合代数の表現]] |
||
=== リー群 === |
=== リー群 === |
||
* |
* [[リー代数の表現|リー代数の表現論]] |
||
* {{仮リンク|SU(2)の表現論|en|Representation theory of SU(2)}} |
* {{仮リンク|SU(2)の表現論|en|Representation theory of SU(2)}} |
||
* {{仮リンク|SL(2)の表現論|en|Representation theory of SL2(R)}} |
* {{仮リンク|SL(2)の表現論|en|Representation theory of SL2(R)}} |
||
81行目: | 81行目: | ||
=== 図書 === |
=== 図書 === |
||
*{{cite book|author=[[Hermann Weyl|H. Weyl]]|title=The theory of groups and quantum mechanics|page=203|publisher=Courier Dover Publications|year=1950|url= |
*{{cite book|author=[[Hermann Weyl|H. Weyl]]|title=The theory of groups and quantum mechanics|page=203|publisher=Courier Dover Publications|year=1950|url=https://books.google.co.uk/books?id=jQbEcDDqGb8C&pg=PA203&dq=magnetic+moments+in+relativistic+quantum+mechanics&hl=en&sa=X&ei=X1h4Uc79Dcb40gWI1YDwCg&redir_esc=y#v=onepage&q=magnetic%20moments%20in%20relativistic%20quantum%20mechanics&f=false}} |
||
*{{cite book|author=A. D. Boardman, D. E. O'Conner, P. A. Young|title=Symmetry and its applications in science|page=|publisher=McGraw Hill|year=1973|isbn=0-07-084011-3}} |
*{{cite book|author=A. D. Boardman, D. E. O'Conner, P. A. Young|title=Symmetry and its applications in science|page=|publisher=McGraw Hill|year=1973|isbn=0-07-084011-3}} |
||
*{{cite book|author=V. Heine|title=Group theory in quantum mechanics: an introduction to its present usage|page=|publisher=Dover|year=republished: 2007 original: 1960|url= |
*{{cite book|author=V. Heine|title=Group theory in quantum mechanics: an introduction to its present usage|page=|publisher=Dover|year=republished: 2007 original: 1960|url=https://archive.org/details/GroupTheoryInQuantumMechanics|isbn=0-07-084011-3}} |
||
*{{cite book|author=V. Heine|title=Group Theory in Quantum Mechanics: An Introduction to Its Present Usage |
*{{cite book|author=V. Heine|title=Group Theory in Quantum Mechanics: An Introduction to Its Present Usage |
||
|page=|publisher=Courier Dover Publications|year=1993|url= |
|page=|publisher=Courier Dover Publications|year=1993|url=https://books.google.co.uk/books?id=NayFD34uEu0C&pg=PA363&dq=lorentz+group+in+relativistic+quantum+mechanics&hl=en&sa=X&ei=8MZ-Ua-uNqaK0AX57YGYCA#v=onepage&q=lorentz%20group%20in%20relativistic%20quantum%20mechanics&f=false|isbn=048-6675-858}} |
||
*{{cite book|title=Quantum Mechanics|author=E. Abers|publisher=Addison Wesley|year=2004|page=425|isbn=978-0-13-146100-0}} |
*{{cite book|title=Quantum Mechanics|author=E. Abers|publisher=Addison Wesley|year=2004|page=425|isbn=978-0-13-146100-0}} |
||
*{{cite book| author=B. R. Martin, G.Shaw|title=Particle Physics|edition=3rd|publisher=Manchester Physics Series, John Wiley & Sons|pages=3|isbn=978-0-470-03294-7}} |
*{{cite book| author=B. R. Martin, G.Shaw|title=Particle Physics|edition=3rd|publisher=Manchester Physics Series, John Wiley & Sons|pages=3|isbn=978-0-470-03294-7}} |
||
102行目: | 102行目: | ||
| first = S |
| first = S |
||
| year = 1996 |
| year = 1996 |
||
| month = 8 |
|||
| title = The Quantum Theory of Fields |
| title = The Quantum Theory of Fields |
||
| volume = 2 |
| volume = 2 |
||
|publisher=Cambridge university press |
|publisher=Cambridge university press |
||
|isbn = 0-521- |
|isbn = 0-521-58555-4 |
||
}} |
}} |
||
*{{citation |
*{{citation |
2022年11月18日 (金) 21:33時点における最新版
数学のとくに群あるいは多元環の表現論における(代数的構造の)既約表現(きやくひょうげん、英: irreducible representation; irrep) とは、真の閉部分表現を持たない非零表現を言う。
複素内積ベクトル空間 V 上の任意の有限次元ユニタリ表現は、既約表現の直和である。既約表現は常に直既約である(すなわち、別の表現の直和にかくことができない)であり、この二つはしばしば混同されるが、例えば上半三角冪零行列として作用する実数の二次元表現など、一般には可約だが直既約な表現が無数に存在する。
歴史
[編集]群の表現論は1940年代頃からリチャード・ブラウアーにより一般化され、行列作用素が(実または複素数を成分とするベクトルではなく)任意標数の体 K 上作用するモジュラー表現論が与えられた。そうした理論における既約表現の類似構造物を単純加群と呼ぶ。
概観
[編集]ρ を体 F 上のベクトル空間 V における群 G の表現 ρ: G → GL(V) とする。V の基底をとれば、ρ を群から正則行列からなる適当な集合の上への写像(準同型)と見做すことができて、この文脈では行列表現と呼ばれるが、基底をとらずに空間 V を考えるほうが物事は非常に単純になる。
V の線型部分空間 W が G-不変であるとは、任意の g ∈ G および w ∈ W に対して gw ∈ W が成り立つことを言う。表現 ρ を G-不変部分空間 W へ制限したものは部分表現と呼ばれる。表現 ρ: G → GL(V) が既約であるとは、それが自明でない部分表現を持たないことをいう(任意の表現は自明な G-不変部分空間、つまり全体空間 V と{0} を部分表現として必ず含むことに注意)。 真の非自明な不変部分空間を持つ表現 ρ は、可約 (reducible) であると言う。
群表現の記法と語法
[編集]群の元は行列として表現することができる。この文脈で「表現する」というのは特定の明確な意味を持つことに注意すべきである。群の表現は、群の元全体の成す集合から行列の成す一般線型群への写像のことを言う。記法として、G の元はラテン小文字 a, b, c, … で表し、群の乗法は記号を省略して G の元 ab とは a と b との積のこととする。表現を D とするとき、群の元 a の表現行列は
の形に書ける。群の表現の定義により、群の元の積の表現行列は
として各元の表現行列の積に翻訳される。群の単位元 e(即ち ae = ea = a を満たす元)に対し、D(e) は単位行列あるいは同じことだが単位行列からなるブロック行列にならなければいけないことが、
から分かる(群の他の元についても同様である)。
直可約および直既約表現
[編集]表現が直可約 (decomposable) であるとは、その表現の任意の行列を対角化する相似行列 P による相似変換[1]
によって表現の各行列が同じパターンの対角ブロックに写されることを言う(各ブロックが互いに独立な群の表現を与える)。表現行列 D(a) と P−1D(a)P は同値な表現であるという[2]。表現行列が k 個の行列の直和
に分解できるとき(つまり D(a) が直可約のとき)、各直和因子行列には D(n)(a) (n = 1, 2, …, k) のように普通は上付きの添字を括弧書きするが、括弧を付けないで書く文献もある。
D(a) の次元は、各ブロックの次元の総和
に一致する。
表現行列がこのようなブロック対角行列にできないとき、その表現は直既約 (indecomposable) であると言う[1][3]。
リー群
[編集]ローレンツ群
[編集]J を回転の生成系、K を励起の生成系としたとき、D(K) と D(J) の既約表現はローレンツ群のスピン表現を作ることに使うことができる。なぜならば、量子力学のスピン行列と関係しているからである。このことから相対論的波動方程式を導出することができる。[4]
関連項目
[編集]結合代数
[編集]リー群
[編集]参考文献
[編集]- ^ a b E.P. Wigner (1959). Group theory and its application to the quantum mechanics of atomic spectra. Pure and applied physics. Academic press. p. 73
- ^ W.K. Tung (1985). Group Theory in Physics. World Scientific. p. 32. ISBN 997-1966-565
- ^ W.K. Tung (1985). Group Theory in Physics. World Scientific. p. 33. ISBN 997-1966-565
- ^ T. Jaroszewicz, P.S Kurzepa (1992年). “Geometry of spacetime propagation of spinning particles”. Annals of Physics (California, USA)
図書
[編集]- H. Weyl (1950). The theory of groups and quantum mechanics. Courier Dover Publications. p. 203
- A. D. Boardman, D. E. O'Conner, P. A. Young (1973). Symmetry and its applications in science. McGraw Hill. ISBN 0-07-084011-3
- V. Heine (republished: 2007 original: 1960). Group theory in quantum mechanics: an introduction to its present usage. Dover. ISBN 0-07-084011-3
- V. Heine (1993). Group Theory in Quantum Mechanics: An Introduction to Its Present Usage. Courier Dover Publications. ISBN 048-6675-858
- E. Abers (2004). Quantum Mechanics. Addison Wesley. p. 425. ISBN 978-0-13-146100-0
- B. R. Martin, G.Shaw. Particle Physics (3rd ed.). Manchester Physics Series, John Wiley & Sons. pp. 3. ISBN 978-0-470-03294-7
- Weinberg, S (1995), The Quantum Theory of Fields, 1, Cambridge university press, pp. 230–231, ISBN 0-521-55001-7
- Weinberg, S (1996-8), The Quantum Theory of Fields, 2, Cambridge university press, ISBN 0-521-58555-4
- Weinberg, S (2000), The Quantum Theory of Fields, 3, Cambridge university press, ISBN 0-521-66000-9
- R. Penrose (2007). The Road to Reality. Vintage books. ISBN 0-679-77631-1
- P. W. Atkins (1970). Molecular Quantum Mechanics (Parts 1 and 2): An introduction to quantum chemistry. 1. Oxford University Press. pp. 125–126. ISBN 0-19-855129-0
論文
[編集]- Bargmann, V.; Wigner, E. P. (1948). “Group theoretical discussion of relativistic wave equations”. Proc. Natl. Acad. Sci. U.S.A. 34 (5): 211–23 .
- E. Wigner (1937). “On Unitary Representations Of The Inhomogeneous Lorentz Group”. Annals of Mathematics 40 (1): 149 .
関連文献
[編集]- Artin, Michael (1999年). “Noncommutative Rings”. 2013年12月11日閲覧。
外部リンク
[編集]- (2010) Commission on Mathematical and Theoretical Crystallography, Summer Schools on Mathematical Crystallography
- Some notes on group theory
- Representation Theory
- Some Notes on Young Tableaux as useful for irreps of su(n)
- Irreducible Representation (IR) Symmetry Labels
- Representations of Lorentz Group
- Representations of Lorentz and Poincaré groups
- Quantum Mechanics for Mathematicians: Representations of the Lorentz Group
- Representations of the Symmetry Group of Spacetime
- Lie Algebra for the Poincaré, and Lorentz, Groups
- The unitary representations of the Poincaré group in any spacetime dimension
- “McGraw-Hill dictionary of scientific and technical terms”. 2013年12月11日閲覧。