アフィン群のソースを表示

[[数学]]において、[[可換体|体]] {{mvar|K}} 上の {{mvar|n}} 次元'''アフィン群'''{{sfn|河添|2000|loc=4.8 {{math|''ax'' + ''b''}} 群}}（アフィンぐん、{{lang-en-short|''affine group''}}）とは、{{mvar|n}} 次元[[アフィン空間]] {{mvar|A}} 上の正則[[アフィン変換]]全体の成す群である。一般アフィン群（{{lang-en-short|''general affine group''}}）あるいはアフィン変換群{{sfn|ドゥージン|チェボタレフスキー|2000|loc=6.1 アフィン変換}}ともいう。{{math|1}} 次元アフィン群に属する正則アフィン変換は
:<math> A \to A,\ x \mapsto ax + b \quad (a \in K^\times,\ b \in K) </math>
という形をしているので {{math|''ax'' + ''b''}} 群とも呼ばれる{{sfn|河添|2000|loc=4.8 {{math|''ax'' + ''b''}} 群}}。

アフィン群は体 {{mvar|K}} が実または複素（あるいは四元）数体であるとき、[[リー群]]を成す。

== 一般線型群との関係 ==
=== 一般線型群からの構成 ===
ベクトル空間 ''V'' が与えられたとき、''V'' の原点を「忘れる」ことにより ''V'' の台となる[[アフィン空間]] ''A'' が得られ、''V'' は ''A'' に[[平行移動]]として作用する。このとき、''V'' 上の[[一般線型群]] GL(''V'') を ''V'' に自然に作用させれば、その元による線型変換は自己同型となるから、半直積を定義することができて、''A'' のアフィン変換群が ''V'' の GL(''V'') による[[半直積]]
:<math>\mathrm{Aff}(A) = V \rtimes \mathrm{GL}(V)</math>
として書き表される。

''V'' の基底をとって行列の形で考えれば、
:<math>\mathrm{Aff}(n,K) = K^n \rtimes \mathrm{GL}(n,K)</math>
と書くことができる。ここでの GL(''n'', ''K'') の ''K''<sup>''n''</sup> への自然な作用は行列のベクトルとの積である。

=== 点の等方部分群 ===
アフィン空間 ''A'' とその上のアフィン変換群が与えられたとき、''A'' の一点 ''p'' に対する[[等方部分群]]（固定部分群、安定部分群）は同じ次元の一般線型群に同型である（たとえば、Aff(2, '''R''') における点の等方部分群は GL(2, '''R''') に同型）。特定の点を原点として指定することでアフィン空間はベクトル空間となることに注意すれば、これはベクトル空間 (''A'', ''p'') 上の一般線型群である。

固定する点 ''p'' を ''q'' に取り替えることで（一意的に）得られる部分群はすべて互いに共軛となるが、しかしどの点も ''A'' における特別な点（内在的な原点）ではないので、それらの部分群のどれもが同等であり、それらのなかに自然に選ばれる特定の部分群というものは存在しない。これは横断的部分群 {{lang|en|(transverse subgroup)}} または[[短完全列]]
:<math>1 \to V \to V \rtimes \mathrm{GL}(V) \to \mathrm{GL}(V) \to 1</math> 
の分裂写像のとり方が複数あることに対応している。

いっぽう、上でやったように「はじめにベクトル空間 ''V'' を与えて」そこからアフィン群を構成した場合には、（ベクトル空間 ''V'' には原点という特別な点がもともと内在するので）''V'' の原点を固定する等方部分群は、もともとの ''V'' 上の一般線型群 GL(''V'') そのものである。

== 行列表現 ==
アフィン群を ''V'' の GL(''V'') による半直積として表現すれば、半直積の構成にしたがって、各元は GL(''V'') に属する行列 ''M'' と ''V'' に属するベクトル ''v'' の組 (''M'', ''v'') で表され、乗法は
:<math>(M,v) \cdot (N,w) = (MN, v+Mw)</math>
で与えられる。この乗法は、(''n'' + 1)&times;(''n'' + 1) の[[ブロック行列]]として

:<math>\left( \begin{array}{c|c} M & v\\ \hline 0 & 1 \end{array}\right) </math>

の形に書くことができる。ここで各ブロックを成す行列は、''M'' が ''K'' 上の ''n''-次正方行列、''v'' は ''n''-成分列ベクトル、0 は ''n''-成分零行ベクトル、1 は 1-次単位行列である。

厳密に言えば、''V'' を ''V'' &oplus; ''K'' にアフィン平面 { (''v'', 1) | ''v'' &isin; ''V'' } として埋め込むとき、Aff(''V'') はこの平面を保つ変換全体からなる GL(''V'' &oplus; ''K'') の部分群に自然に同型で、このような実現により上記の行列表現が得られる。特に、行列の ''n''-次正方ブロックと 1-次正方ブロックは直和分解 ''V'' &oplus; ''K'' に対応している。

相似な表現として、どの列も成分の和が 1 に等しい (''n'' + 1)&times;(''n'' + 1) 行列で表すこともできる<ref>David G. Poole, "The Stochastic Group'", ''American Mathematical Monthly'', volume 102, number 9 (November, 1995), pages 798&ndash;801</ref>。さきほどの表現からこの種の表現を得るには、変換行列 ''P'' として (''n'' + 1)-次単位行列の一番下の行をすべて 1 に取り替えたものをとって[[相似変換]]すればよい。

これら二種類のブロック行列はそれぞれ通常の行列の乗法について閉じている。

== 各種のアフィン群 ==
=== 一般の場合 ===
[[一般線型群]] GL(''V'') の任意の部分群 ''G'' が与えられたとき、記号を流用してしばしば Aff(''G'') と表されるアフィン群を、
: <math>\text{Aff}(G) := V \rtimes G</math>
と定義することができる。もっと一般かつ抽象的に、任意の群 ''G'' と線型空間 ''V'' を表現空間とする ''G'' の[[群の表現|表現]] &rho;: ''G'' &rarr; GL(''V'') が与えられたとき対応するアフィン群
: <math>V \rtimes_\rho G</math>
がえられる{{efn|GL(''V'') が Aut(''V'') の部分群であることによる（[[線型表現]]を参照）。なおこの包含関係は一般には狭義の包含である。なぜなら、ここでいう「自己同型」は ''V'' の加法群構造に関しての自己同型で、和や原点を保つがスカラー倍とは必ずしも両立しなくてもいいからである。実際、'''R''' 上で考えればこれらの群は異なる。}}こうして得られたアフィン群は「線型表現による[[群の拡大]]」であり、上述のごとく短完全列
:<math>1 \to V \to V \rtimes_\rho G \to G \to 1</math>
が存在する。

=== 特殊アフィン群 ===
{{main|特殊アフィン群}}
固定された体積要素を保つ正則アフィン変換全体の成す部分集合、あるいは半直積の言葉で述べれば、元 (''M'', ''v'') で ''M'' の行列式が 1 となるもの全体の成す部分集合は、アフィン群の部分群を成し、[[特殊アフィン群]]と呼ばれる。

=== ポワンカレ群 ===
{{main|ポワンカレ群}}
[[ポワンカレ群]]は[[ローレンツ群]] ''O''(1, 3) のアフィン群
: <math>\mathbb{R}^{1,3}\rtimes O(1,3)</math>

である。ポワンカレ群は[[相対性理論]]において非常に重要である。

== 脚注 ==
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
{{reflist}}
* {{cite book
    |和書
    |last               = 河添
    |first              = 健
    |year               = 2000
    |title              = 群上の調和解析
    |series             = すうがくの風景
    |publisher          = 朝倉書店
    |isbn               = 4-254-11551-2
    |ref                = harv
}}
* {{cite book
    |和書
    |last1              = ドゥージン
    |first1             = S.
    |last2              = チェボタレフスキー
    |first2             = B.
    |translator         = 名倉真紀
    |year               = 2000
    |title              = 変換群入門
    |publisher          = シュプリンガー・フェアラーク東京
    |isbn               = 4-431-70907-X
    |ref                = harv
}}
* R.C. Lyndon, ''Groups and Geometry'', Cambridge University Press, 1985, ISBN 0-521-31694-4.  Section VI.1.

{{DEFAULTSORT:あふいんくん}}
[[Category:アフィン幾何学]]
[[Category:群論]]
[[Category:リー群論]]
[[Category:数学に関する記事]]