群作用のソースを表示
←
群作用
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[File:Group action on equilateral triangle.svg|right|thumb|[[正三角形]]が与えられたとき、三角形の重心を中心とする反時計回りの 120° 回転は、三角形の各頂点を別な頂点に移す写像として三角形の頂点集合の上に作用する。]] [[数学]]における'''群作用'''（ぐんさよう、{{lang-en-short|''group action''}}）は、[[群 (数学)|群]]を用いて対象の[[対称性]]を記述する方法である。 == 導入 == 物体の本質的な要素を[[集合]]によって表し、物体の対称性をその集合上の{{仮リンク|対称変換群|en|Symmetry group|label=対称性の群}}（その集合の[[全単射]]な[[変換 (数学)|変換]]からなる群）によって記述するとき、この群は（特に集合が[[有限集合]]であるとき）'''[[置換群]]''' {{lang|en|(''permutation group'')}} あるいは（特に集合が[[ベクトル空間]]で、群作用が[[線型変換]]などであるとき）'''変換群''' {{lang|en|(''transformation group'')}} と呼ばれる。 群作用は、群の各元がある集合上の全単射な変換（対称変換）の如く「作用」するけれども、それがそのような変換と同一視される必要は無いという点において、{{仮リンク|対称変換群|en|Symmetry group|label=対称性の群}}の柔軟な一般化となっている。これにより、物体の対称性のより包括的な記述が可能になる。これはたとえば[[多面体]]に対して、その[[頂点]]全体の成す集合、[[辺]]全体の成す集合、[[面 (幾何学)|面]]の成す集合といったいくつかの異なる集合に同じ群を作用させることによって得られる。 ''G'' が群で ''X'' が集合であるとき、群作用は ''G'' から ''X'' の[[対称群]]への[[群準同型]]として定義することができる。この作用は群 ''G'' の各元に対して ''X'' の[[置換 (数学)|置換]]を以下のように割り当てる。 * 群 ''G'' の[[単位元]]に対応する ''X'' 上の置換は、''X'' 上の[[恒等変換]]である。 * 群 ''G'' におけるふたつの元の積 ''gh'' に対応する ''X'' 上の置換は、''g'' および ''h'' にそれぞれ対応する置換の[[写像の合成|合成]]である。 ここでは ''G'' の各元が置換として表現されているので、このような群作用は群の'''置換表現''' {{lang|en|(''permutation representation'')}} としても知られる。 群作用を考えることによって得られる[[抽象化 (数学)|抽象化]]は、幾何学的な考え方をより抽象的な対象にも応用できるという面で非常に強力である。多くの数学的対象はその上で定義される自然な群作用というものを持っており、特に群は別な群や自分自身への群作用を考えることができる。このような一般性を持つにもかかわらず、群作用の理論は（軌道-安定化群定理 {{lang|en|(orbit stabilizer theorem)}} のような）適用範囲の広い定理を含み、さまざまな分野での深い結果を示すのに用いられる。 == 定義 == ''G'' を[[群 (数学)|群]]、''X'' を集合とするとき、''G'' の ''X'' への'''左群作用''' {{lang|en|(''left group action'')}} とは、外部[[二項演算]] :<math>L\colon G \times X \to X;\quad(g,x)\mapsto L(g,x)=:g\bullet x = L_g(x)</math> で、以下の二つの公理 # ''G'' の任意の元 ''g'', ''h'' および ''X'' の任意の元 ''x'' に対して (''gh'')• ''x'' = ''g'' •(''h'' • ''x'') が成り立つ # ''G'' の[[単位元]] ''e'' と ''X'' の任意の元 ''x'' に対して、''e'' • ''x'' = ''x'' が成り立つ を満たすものを言う。このとき、集合 ''X'' は'''左 ''G''-集合''' {{lang|en|(''left'' ''G''-''set'')}} と呼ばれ、また群 ''G'' は ''X'' に（左から）'''作用''' {{lang|en|(''act'')}} するという。紛れの虞が無いならば ''g'' • ''x'' などの演算を省略して ''gx'' のようにしばしば略記する。 二つの公理から、''G'' の各元 ''g'' に対して ''x'' ∈ ''X'' を ''g'' • ''x'' へ写す写像は ''X'' から ''X'' への[[全単射]]となることが従う（[[逆写像]]が ''x'' を ''g''<sup>−1</sup>• ''x'' に写す写像によって与えられる）。したがって、群 ''G'' の ''X'' への作用を、群 ''G'' から ''X'' 上の全単射全体の成す[[対称群]] Sym(''X'') への[[群準同型]]として定義することもできる。 まったく同様に、群 ''G'' の集合 ''X'' への'''右群作用''' {{lang|en|(''right group action'')}} を写像 ''R'': ''X'' × ''G'' → ''X''; (''x'', ''g'') ↦ ''R''(''x'', ''g'') =: ''x'' • ''g'' と二つの公理 # ''x'' •(''gh'') = (''x'' • ''g'')• ''h'' # ''x'' • ''e'' = ''x'' によって定義することができる。右作用と左作用の違いは、''gh'' のような積の ''x'' への作用の順番であり、左作用ならば ''h'' を先に作用させてから ''g'' が作用するが、右作用では ''g'' が先に作用してから ''h'' が作用する。右作用に群の反転演算を合わせれば左作用が得られる。実際、''R'' が右作用ならば :<math>G \times X \to X;\quad (g, x) \mapsto R(x, g^{-1}) = R_g(x)</math> は左作用である。これは :<math>\begin{align} R_{gh}(x) & := R(x, (gh)^{-1}) = x\bullet (h^{-1}g^{-1})\\ & \,= (x\bullet h^{-1}) \bullet g^{-1} = R_h(x) \bullet g^{-1} = (R_g\circ R_h)(x),\\ R_e(x) & := R(x, e^{-1}) = x \bullet e = x \end{align}</math> から確認できる。同様に任意の左作用を右作用にすることもできる。したがって、右作用を考えることで新しく得られるものは特に無いため、理論上は左群作用のみを主に考え、これを単に群作用と称する。 == 例 == * 任意の群 ''G'' に対して'''自明な作用''' {{lang|en|(''trivial action'')}} は、群 ''G'' 全体が ''X'' 上の[[恒等写像|恒等変換]]を誘導する、つまり ''G'' の任意の元 ''g'' と ''X'' の任意の元に対して ''g'' • ''x'' = ''x'' が成立することをいう。 * 任意の群 ''G'' は ''G'' 自身への自然だが本質的に異なる二種類の作用<div style="margin: 1ex auto auto 2em;">''g'' • ''x'' = ''gx'' (∀''x'' ∈ ''G'')</div><div style="margin: auto auto 1ex 2em;">''g'' • ''x'' = ''gxg''<sup>−1</sup> (∀''x'' ∈ ''G'')</div>を持つ。後者の作用は[[内部自己同型]]による作用、両側移動作用 {{lang|en|(twosided translation)}}、'''共軛作用''' {{lang|en|(''conjugation'')}} あるいは'''随伴作用''' {{lang|en|(''adjoint action'')}} などと呼ばれ、この右作用版はよく[[冪記法]]を使って ''x''<sup>''g''</sup> = ''g''<sup>−1</sup>''xg'' のように書かれる。これは (''x''<sup>''g''</sup>)<sup>''h''</sup> = ''x''<sup>''gh''</sup> を満足する。 * [[対称群]] ''S''<sub>''n''</sub> とその[[部分群]]は、集合{ 1, ..., ''n'' } に元の置換として作用する。 * 対称群 ''S''<sub>''n''</sub> は集合 Ω = { 1, …, ''n'' } への作用を介して[[冪集合]] 2<sup>Ω</sup> にも作用する。冪集合の ''k'' 点からなる部分集合全体を <math> \textstyle \binom{\Omega}{k} </math> と表すと <math> \textstyle 2^\Omega = \binom{\Omega}{0} + \binom{\Omega}{1} + \dotsb + \binom{\Omega}{n} </math> が成り立つ（[[直和]]）が、これは対称群の作用に関する冪集合の[[#軌道と等方部分群|軌道分解]]になっている。 * [[多面体]]の{{仮リンク|対称変換群|en|Symmetry group|label=対称性の群}}は、多面体の頂点集合に作用し、多面体の面集合にも作用する。 * 任意の幾何学的対象の対称性の群は、その対象の点集合の上に作用する。 * [[ベクトル空間]]、[[グラフ (数学)|グラフ]]、[[群 (数学)|群]]、[[環 (数学)|環]]などの[[自己同型群]]はそれぞれ、そのベクトル空間、グラフの頂点集合、その群、その環などに作用する。 * [[一般線型群]] ''GL''(''n'', '''R'''), [[特殊線型群]] ''SL''(''n'', '''R'''), [[直交群]] ''O''(''n'','''R''') および[[特殊直交群]] ''SO''(''n'', '''R''') は '''R'''<sup>''n''</sup> に作用する[[リー群]]である。 * [[体の拡大]] ''E''/''F'' の[[ガロア群]] Gal(''E''/''F'') は大きいほうの体 ''E'' に作用する。ガロア群の任意の部分群も同様である。 * [[実数]]全体の成す加法群 ('''R''', +) は[[古典力学]]（およびもっと一般の[[力学系]]）における「[[well-behaved|よく振舞う]]」系の[[相空間]]に作用する。これは '''R''' の元 ''t'' と相空間の元 ''x'' に対して、系の状態を記述する ''x'' に対して、''t'' • ''x'' は ''t'' 秒後（''t'' が負なら ''t'' 秒前）の状態を表すものと定義することで得られる。 * 実数全体の成す加法群 ('''R''', +) は実函数全体の成す集合に作用する。作用 ''g'' • ''f'' はその任意の ''x'' における値を、たとえば<div style="margin: 1ex auto 1ex 2em"><math>f(x + g),\quad f(x)+ g,\quad f(x e^g),\quad f(x) e^g,\quad f(x+g) e^g,\quad f(x e^g)+g</math></div>などと定めればよい。ただし ''f''(''xe''<sup>''g''</sup> + ''g'') では作用にならない。 * [[絶対値]]が 1 の[[四元数]]全体は乗法群として '''R'''<sup>3</sup> に作用する。そのような任意の四元数<div style="margin: 1ex auto 1ex 2em"><math>z = \cos(\alpha/2) + \sin(\alpha/2)\hat{\mathbf{v}}</math></div>に対して、写像 ''f''('''x''') = ''z'''''x'''''z''<sup>∗</sup> は '''v'''-軸に関して反時計回りに角 α の回転を与える（−''z'' も同じ回転を与える）。<!-- see [[quaternions and spatial rotation]]. --> * 平面上の等長変換全体は平面画像や平面パターン全体の成す集合に作用する。これは、画像やパターンというものを（例えば、色の集合に値をとる位置の函数であるといったように）特定すればもう少し精密に定義ができる。 * より一般に、全単射 ''g'': ''V'' → ''V'' からなる群は、写像 ''x'': ''V'' → ''W'' 全体からなる集合に (''gx'')(''v'') = ''x''(''g''<sup>−1</sup>(''v'')) によって作用する（全体でなくこの群作用について閉じているような写像の集合に制限して考えてもいい）。従って、ある空間の全単射からなる群は、その空間に属する「物体」の集合への作用を誘導する。 == 作用の種類 == 群 ''G'' の ''X'' への作用が、 * '''推移的'''あるいは'''可移''' {{lang|en|(''transitive'')}} であるとは、''X'' が[[空集合|空]]でなく、''X'' の任意の元 ''x'' に対して ''Gx'' = ''X'' が成り立つときに言う。ここで ''Gx'' = {''gx'' | ''g'' ∈ ''G''} は ''x'' の ''G'' による軌道である。 ** '''鋭推移的''' {{lang|en|(''sharply transitive'')}} であるとは ''X'' の各元 ''y'' に対して、''gx'' = ''y'' となるような ''g'' が一意であるときにいう。これは後述の正則性と同値。 * ''n''-'''重推移的''' {{lang|en|(''n''-''transitive'')}} であるとは、''X'' が少なくとも ''n'' 個の元を持ち、どの二つも相異なる任意の ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub> とどの二つも相異なる ''y''<sub>1</sub>, ..., ''y''<sub>''n''</sub> に対して ''g'' ∈ ''G'' で ''gx''<sub>''k''</sub> = ''y''<sub>''k''</sub> (1 ≤ ''k'' ≤ ''n'') が成り立つものが取れるときに言う。 ** '''鋭 ''n''-重推移的''' {{lang|en|(''sharply'' ''n''-''transitive'')}} であるとは、''n''-重推移的かつその定義における ''g'' がちょうど一つであるときにいう。 <!-- See also [[sharply triply transitive group]]s. --> * '''忠実''' {{lang|en|(''faithful'')}} あるいは'''効果的''' {{lang|en|(''effective'')}} であるとは、''G'' の相異なるどのような二元 ''g'', ''h'' に対しても ''x'' ∈ ''X'' を適当に選べば ''gx'' ≠ ''hx'' となるようにできるときにいう。これは ''g'' ≠ ''e'' なる ''G'' の各元に対して ''x'' ∈ ''X'' で ''gx'' ≠ ''x'' となるものが存在するといっても同じことである。これは直観的には、''G'' の異なる元が ''X'' の異なる置換を引き起こすということを言っている。 * '''自由''' {{lang|en|(''free'')}} あるいは'''半正則''' {{lang|en|(''semiregular'')}} であるとは、''X'' の任意の元 ''x'' に対して「 ''gx'' = ''hx'' となるのは ''g'' = ''h'' であるときに限る」が成立することをいう。これは ''X'' の任意の元 ''x'' に対して「 ''gx'' = ''x'' ならば ''g'' は単位元である」が成り立つと言い換えてもよい。 * '''正則''' {{lang|en|(''regular'')}} あるいは'''単純推移的''' {{lang|en|(''simply transitive'')}} であるとは、自由かつ推移的であるときにいう。すなわち、''X'' の任意の二元 ''x'', ''y'' に対し、''g'' ∈ ''G'' がちょうど一つ存在して ''gx'' = ''y'' とできるということである。このとき、''X'' は ''G'' の{{仮リンク|主等質空間|en|Principal homogeneous space}}あるいは ''G''-トーサーと呼ばれる。 * '''局所自由''' {{lang|en|(''locally free'')}} であるとは、''G'' が[[位相群]]で、''G'' の単位元 ''e'' の適当な近傍 ''U'' が存在して、作用の ''U'' への制限が自由、すなわち ''X'' の適当な元 ''x'' と ''U'' の適当な元 ''g'' に対して ''gx'' = ''x'' となるならば ''g'' = ''e'' であることをいう。 * '''既約''' {{lang|en|(''irreducible'')}} であるとは、''X'' がある環 ''R'' 上の自明でない[[環上の加群|加群]]で、''G'' の作用が ''R''-線型であって、''X'' は自明でない真の ''G''-不変部分加群をもたないときにいう。 空でない集合上の任意の自由作用は忠実である。群 ''G'' の ''X'' への作用が忠実であるための[[必要十分条件]]は、群準同型 ''G'' → Sym(''X'') の[[核 (代数学)|核]]が自明であることである。従って、''G'' の ''X'' への忠実な作用があれば、''G'' は ''X'' 上の[[置換群]]のある部分群（''G'' の Sym(''X'') における像）に同型である。 任意の群 ''G'' の左からの乗法による自身への作用は正則であり、したがって忠実でもある。従って、任意の群 ''G'' はそれ自身の元上の対称群 Sym(''G'') に埋め込める（これは[[ケイリーの定理]]として知られる）。 群 ''G'' が ''X'' に忠実に作用しない場合も、群を少し変更して忠実作用を得ることができる。''N'' = {''g'' ∈ ''G'' | ''gx'' = ''x'' (∀''x'' ∈ ''X'')} と置けば、''N'' は ''G'' の[[正規部分群]]である（実際、これは群準同型 ''G'' → Sym(''X'') の核になっている）。[[剰余群]] ''G''/''N'' は (''gN'') • ''x'' := ''gx'' と置くことにより ''X'' に忠実に作用する。''X'' への ''G'' のもともとの作用が忠実であることと ''N'' = {''e''} であることとは同値である。 == 軌道と等方部分群 == [[File:Compound of five tetrahedra.png|thumb|In the [[compound of five tetrahedra]], the symmetry group is the (rotational) [[icosahedral group]] ''I'' of order 60, while the stabilizer of a single chosen tetrahedron is the (rotational) [[tetrahedral group]] ''T'' of order 12, and the orbit space ''I''/''T'' (of order 60/12 = 5) is naturally identified with the 5 tetrahedra – the coset ''gT'' corresponds to which tetrahedron ''g'' sends the chosen tetrahedron to.]] 群 ''G'' が集合 ''X'' に作用しているとき、''X'' の点 ''x'' の'''軌道''' {{lang|en|(''orbit'')}} とは、''G'' の各元を ''x'' に作用させた要素の集合である。''x'' の軌道を ''Gx'' で表せば、 :<math> Gx = \left\{ gx \mid g \in G \right\}</math> と書くことができる。群の性質から、''X'' における（各点の）''G'' の作用に関する軌道全体の成す集合が ''X'' の[[集合の分割|類別]]（'''軌道分解'''{{sfn|都筑|1976|p = 19}}）を与えることが保証される。この類別に対応する[[同値関係]] ∼ は「''x'' ∼ ''y'' となる[[必要十分条件]]は ''gx'' = ''y'' となる ''g'' ∈ ''G'' が存在すること」として得られる。軌道はこの同値関係に関する[[同値類]]であり、二つの元 ''x'', ''y'' が同値であることは、それらが属する軌道が一致 (''Gx'' = ''Gy'') することとして述べることもできる。 ''G'' の作用に関する ''X'' の軌道全体の成す集合は ''X''/''G''（あるいは多少稀だが ''G'' ⧵<!-- reverse solidus operator -->''X''）で表され、''G'' の作用による ''X'' の'''商''' {{lang|en|(''quotient'')}} とも呼ばれる。幾何学的な設定では'''軌道空間''' {{lang|en|(''orbit space'')}} とも、代数的な設定では'''余不変式''' {{lang|en|(''coinvariant'')}} の空間とも呼ばれ、''X''<sub>''G''</sub> で表される（これに対して不変式（不動点）の全体は ''X''<sup>''G''</sup> で表される。余不変式の全体が「商」なのに対し、不変式の全体は「部分集合」となる）。余不変式の概念と記法は特に[[群コホモロジー]]と[[群ホモロジー]]（これも同様の添字の上付き・下付きで区別する慣習がある）で用いられる。 ''X'' の[[部分集合]] ''Y'' に対し、 : <math>GY := \{ gy \mid y \in Y,\, g\in G\}</math> とする。部分集合 ''Y'' が ''G'' の作用に関して'''安定'''あるいは'''不変''' {{lang|en|(''invariant'')}} であるとは、''GY'' = ''Y''（これは ''GY'' ⊆ ''Y'' としても同じ）が成り立つことを言う。このとき、''G'' は ''Y'' にも作用している。また、部分集合 ''Y'' が ''G'' の作用で'''固定'''される {{lang|en|(''fixed'')}} あるいは ''G'' が自明に作用するとは、''G'' の各元 ''g'' と ''Y'' の各元 ''y'' に対して ''gy'' = ''y'' が成立することを言う。''G'' の作用で固定される任意の部分群は ''G''-不変だが、逆は正しくない。 任意の軌道は、''G'' が推移的に作用する ''X'' の ''G''-不変部分集合である。''G'' の ''X'' への作用が推移的であるための必要十分条件は、全ての元が同値、すなわち軌道がただ一つであることである。 ''X'' の各元 ''x'' に対して、''x'' の'''安定化部分群'''あるいは'''固定部分群''' {{lang|en|(''stabilizer subgroup'')}}、'''等方部分群''' {{lang|en|(''isotropy group'')}} もしくは'''小群''' {{lang|en|(''little group'')}} などと呼ばれる ''G'' の部分群を、''x'' を固定する ''G'' の元全体の成す集合 :<math>G_x = \{g \in G \mid gx = x\}</math> によって定める。これは ''G'' の[[部分群]]だが、大抵は[[正規部分群]]でない。''G'' の ''X'' への作用が自由であるための必要十分条件は、任意の固定部分群が自明であることである。群準同型 ''G'' → Sym(''X'') の核 ''N'' は、''X'' の全ての元 ''x'' に関する固定部分群 ''G''<sub>''x''</sub> の[[共通部分 (数学)|交わり]]によって与えられる。 軌道と固定部分群は近い関係にある。''X'' の元 ''x'' を一つ固定して、写像 : <math>G \to X;\quad g \mapsto gx </math> を考える。この写像の[[像 (数学)|像]]は ''x'' の属する軌道であり、[[余像]]は ''G''<sub>''x''</sub> の左[[剰余類]]全体の成す集合である。集合論における標準商定理により、 ''G'' /''G''<sub>''x''</sub> と ''Gx'' との間には自然な[[全単射]]が存在する。具体的にはこの全単射は ''hG''<sub>''x''</sub> と ''hx'' との対応によって与えられる。このことは、'''軌道・固定部分群定理''' {{lang|en|(''orbit-stabilizer theorem'')}} として知られる。 ''G'' と ''X'' が共に有限ならば、軌道・固定部分群定理と[[ラグランジュの定理 (群論)|ラグランジュの定理]]から :<math>|Gx| = [G:G_x] = |G| / |G_x|</math> が得られる。この結果はそれぞれの対象を数えることができるという点で特に有用である。 二つの元 ''x'' および ''y'' が同じ軌道に属すならば、それらの固定部分群 ''G''<sub>''x''</sub> および ''G''<sub>''y''</sub> は互いに共軛であり、特に同型であることに注意。より詳しく、 ''G''<sub>''gx''</sub> = ''gG''<sub>''x''</sub>''g''<sup>−1</sup> が成立する。このように、互いに共軛な固定部分群を持つ点は、同じ'''軌道型''' {{lang|en|(''orbit-type'')}} を持つという。 軌道・固定部分群定理に近い関係のある結果に[[バーンサイドの補題]] :<math>\left|X/G\right|=\frac{1}{\left|G\right|}\sum_{g\in G}\left|X^g\right|</math> がある。ここで ''X''<sup>''g''</sup> は ''g'' によって固定される ''X'' の元全体の成す集合である。この結果は主に ''G'' と ''X'' が有限であるときに用いられ、軌道の総数は群の元ごとの不動点の数の平均に等しいことを示すものと解釈される。 有限 ''G''-集合の形式差 {{lang|en|(formal difference)}} 全体の成す集合は、[[非交和]]を加法、[[直積集合|直積]]を乗法として、[[バーンサイド環]]と呼ばれる[[環 (数学)|環]]を成す。 ''X'' の ''G''-'''不変元''' {{lang|en|(''invariant'' element)}} とは、''G'' の全ての元に対して常に ''gx'' = ''x'' となるような ''X'' の元 ''x'' のことをいう。''X'' の ''G''-不変元の全体を ''X''<sup>''G''</sup> で表して、''X'' の ''G''-不変部分集合と呼ぶ。''X'' が[[群上の加群| ''G''-加群]]であるときは、''X''<sup>''G''</sup> は ''G'' の ''X'' に係数を持つ 0-次[[群コホモロジー]]群であり、高次のコホモロジー群は ''G''-不変部分集合をとる[[函手]]の[[導来函手]]となる。 == 群作用と亜群 == 群作用の概念は、群作用に付随する「作用亜群」 : <math>G' = G\ltimes X</math> を対応させることによってより広い文脈において考えることができる。こうすることで、表示やファイバー付けといったような亜群の理論における手法が使えるようになる。さらに言えば、作用の固定化群は頂点群 {{lang|en|(vertex group)}} であり、作用の軌道は作用亜群の成分である。詳細は {{harv|Ronald Brown|2006}} を参照. この作用亜群には「亜群の被覆射」''p'': ''G''′ → ''G'' が考えられる。これにより、このような射と位相幾何学における[[被覆写像]]とが関連付けられる。 == 射と同型 == ''X'' および ''Y'' がともに ''G''-集合であるとき、''X'' から ''Y'' への ''G''-集合の'''射'''あるいは'''準同型''' {{lang|en|(''morphism'')}} とは、写像 ''f'': ''X'' → ''Y'' であって、''G'' の任意の元 ''g'' と ''X'' の任意の元 ''x'' に対して : <math>f(gx) = gf(x)</math> を満たすものを言う。''G''-集合の射は ''G''-同変写像 {{lang|en|(''G-equivariant map'')}} あるいは ''G''-写像 {{lang|en|(''G-map'')}} ともいう。 そのような ''G''-集合の射 ''f'' が[[全単射]]ならば、その逆写像も ''G''-集合の射であり、''f'' は ''G''-集合の[[同型|同型（写像）]]であるという。また、二つの ''G''-集合 ''X'' および ''Y'' は、その間に ''G''-集合の同型写像が存在するとき、''G''-集合として'''同型''' {{lang|en|(''isomorphic'')}}であるといい、実用上は同じものとして区別されないことも多い。 同型の例： * 任意の正則 ''G''-作用は ''G'' の左からの乗法によって与えられる ''G'' 自身への作用に同型である。 * 任意の自由 ''G''-作用は、ある集合 ''S'' に対する ''G'' × ''S'' に ''G'' の作用を第一座標への左乗法によって定めたものに同型である。 * 任意の推移的 ''G''-作用は、''G'' の適当な[[部分群]] ''H'' による左[[剰余類]]全体の成す集合に ''G'' の左からの乗法を考えたものに同型である。 この射の概念を合わせて考えることにより、''G''-集合全体の集まりは[[圏 (数学)|圏]]を成す。この圏は[[トポス (数学)#グロタンディーク・トポス|グロタンディーク・トポス]]である（実は古典メタ論理を仮定すれば、このトポスはブール的にもなる）。 == 連続な群作用 == ''G'' が[[位相群]]、''X'' が[[位相空間]]であるとき、写像 ''G'' × ''X'' → ''X'' が''G'' × ''X'' の[[積位相]]に関して[[連続写像|連続]]であるような ''G'' の ''X'' への'''連続群作用''' {{lang|en|(''continuous group actions'')}} を考えることもよくある。この場合、位相空間 ''X'' を '''''G''-空間''' {{lang|en|(''G-space'')}} とも呼ぶ。任意の群は[[離散空間|離散位相]]に関する位相群と見ることができるから、これは実際には一般化になっている。既に述べた各種概念はこの文脈でもそのまま考えることができるが、''G''-空間の間の射としては ''G'' の作用と両立する「連続写像」を考えるのが普通である。商 ''X''/''G'' には ''X'' から誘導される[[商位相]]を入れて位相空間としたものを、この作用に関する'''商空間''' {{lang|en|(''quotient space'')}} と呼ぶ。正則、自由、推移的な作用に対する同型射について上述した主張は、連続群作用に対してはもはや正しくない。 ''G'' が位相空間 ''X'' に作用する[[離散群]]であるとき、作用が'''固有不連続'''あるいは'''真性不連続''' {{lang|en|(''properly discontinuous'')}} であるのは、''X'' の各点 ''x'' に対して開近傍 ''U'' が存在して、''g''(''U'') ∩ ''U'' ≠ ∅ となるような ''G'' の元 ''g'' 全体成す集合が、ただ一つ単位元のみからなるようにできるときである。''X'' が別の位相空間 ''Y'' の[[正則被覆空間]]であるとき、[[デック変換群]]の ''X'' への作用は固有不連続かつ自由である。群 ''G'' の[[弧状連結]]位相空間 ''X'' への、任意の自由かつ固有不連続な作用は、このようにして得られる。商写像 ''X'' ↦ ''X''/''G'' は正則被覆写像であり、デック変換群は ''G'' の ''X'' への作用によって与えられる。さらに、''X'' が単連結ならば ''X''/''G'' の[[基本群]]は ''G'' に同型である。これらの結果は {{harv|Brown|2006}} で、適当な局所条件の下での、離散群のハウスドルフ空間への不連続作用の軌道空間の[[基本亜群]]や、空間の基本亜群の軌道亜群などを含む形に一般化されている。これにより、対称平方の基本群などが計算できるようになる。 群 ''G'' の[[局所コンパクト]]空間 ''X'' への作用が'''余コンパクト''' {{lang|en|(''cocompact'')}} であるとは、''X'' のコンパクト部分集合 ''A'' で ''GA'' = ''X'' となるようなものが存在するときに言う。固有不連続作用に対しては、余コンパクト性は商空間 ''X''/''G'' のコンパクト性に同値である。 ''G'' の ''X'' への作用が'''固有''' (''proper'') であるとは、写像 ''G'' × ''X'' → ''X'' × ''X''; (''g'', ''x'') ↦ (''gx'', ''x'') is a [[固有写像]] (proper map) であるときに言う。 === 強連続群作用と平滑点 === α: ''G'' × ''X'' → ''X'' を位相群 ''G'' の位相空間 ''X'' への作用とする。作用 α が'''強連続''' {{lang|en|(''strongly continuous'')}} であるとは、''X'' の各元 ''x'' に対して、写像 ''g'' ↦ α<sub>''g''</sub>(''x'') がそれぞれの位相に関して連続であるときに言う。このような作用は、''X'' 上の連続写像全体の成す空間への ''G'' の作用を : <math>(\alpha_gf)(x)=f(\alpha_g^{-1}x)</math> によって誘導する。 強連続作用 α に対する'''平滑点'''あるいは'''スムース点''' {{lang|en|(''smooth points'')}} とは、''g'' ↦ α<sub>''g''</sub>(''x'') が滑らか（つまり、連続かつ各階の導函数が全て連続）であるような ''X'' の点 ''x'' のことをいう。 == 一般化 == [[モノイド]]の集合への作用（モノイド作用）を、群作用と同じ二つの公理によって定義することができる。しかし、この場合は作用素が全単射となり同値関係を定めるというようなことは期待できない。 集合への作用を考える代わりに、群やモノイドの適当な[[圏 (数学)|圏]]の対象への作用を考えることもできる。これはある圏の対象 ''X'' からはじめて、''X'' への作用を ''X'' の自己準同型全体の成すモノイドへのモノイド準同型として定めたものである。対象 ''X'' が台となる集合を持つならば、既に述べた各種の定義や結果はこの場合でも有効である。例えば、[[ベクトル空間]]の圏を考えることにより、この方法で[[群の表現]]が得られる。 群 ''G'' をすべての[[射 (圏論)|射]]が可逆な単一対象圏とみなせば、群作用とは ''G'' から[[集合の圏]] '''Set''' への[[函手]]、群の表現は[[ベクトル空間の圏]]への函手に他ならない。同様に、''G''-集合の間の射は群作用函手の間の自然変換である。このアナロジーとして、[[亜群]]の作用を亜群から集合の圏あるいはもっと別の圏への函手として定義することができる。 圏の言葉を使わずとも、集合 ''X'' への群の作用を、それが誘導する ''X'' の[[冪集合]] 2<sup>''X''</sup> への作用を調べることによって拡張することもできる。これは例えば、24元集合上の巨大な[[マシュー群]]の作用や、[[有限幾何学]]のある種の模型の対称性を調べることなどに対して有用である。 == 関連項目 == * [[作用 (数学)|作用]] * [[作用を持つ群]] * [[モノイド作用]] * [[Gain graph]] == 脚注 == {{reflist}} == 参考文献 == * {{Cite book |和書 |author=都筑俊郎 |title=有限群と有限幾何 |series=数学選書 |publisher=岩波書店 |year=1976 |ref={{sfnref|都筑|1976}}}} * {{Cite book | last1=Aschbacher | first1=Michael | title=Finite Group Theory | publisher=Cambridge University Press | year=2000 | edition=Second | mr=1777008 | isbn=978-0-521-78675-1}} * Brown, Ronald (2006). [http://www.bangor.ac.uk/r.brown/topgpds.html ''Topology and groupoids''], Booksurge PLC, ISBN 1-4196-2722-8. * [http://138.73.27.39/tac/reprints/articles/7/tr7abs.html Categories and groupoids, P.J. Higgins], downloadable reprint of van Nostrand Notes in Mathematics, 1971, which deal with applications of groupoids in group theory and topology. * {{cite book | first1=David | last1=Dummit | first2=Richard | last2=Foote | year=2003 | title=Abstract Algebra | edition=3rd | publisher=Wiley | isbn=0-471-43334-9}} * {{cite book | first=Joseph | last=Rotman | year=1995 | title=An Introduction to the Theory of Groups | others=Graduate Texts in Mathematics '''148''' | edition=(4th ed.) | publisher=Springer-Verlag | isbn=0-387-94285-8}} *{{mathworld|urlname=GroupAction|title=Group Action}} {{翻訳中途|[[:en:Group action]] 12:01, 15 August 2010|date=2010年8月}} {{Normdaten}} {{DEFAULTSORT:くんさよう}} [[Category:群論]] [[Category:群作用|*]] [[Category:表現論]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Harv
(
ソースを閲覧
)
テンプレート:Lang
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Mathworld
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
テンプレート:Sfn
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
テンプレート:翻訳中途
(
ソースを閲覧
)
群作用
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報