1 不変部分の基本概念
1.1 不変性の定義
不変部分とは、ある対象に作用する操作や写像を施しても、その部分に含まれる要素が作用後に同じ部分にとどまる性質をもつ部分構造のことである。たとえば集合上の写像であれば、部分集合に対して写像の像がその部分集合内に入るとき、その部分集合は不変であると言う。より一般に、ベクトル空間上の線形写像や加群上の作用では、不変性は「部分空間（部分加群）が作用で閉じている」こととして定式化される。
定義は対象の種類に応じて変わるが、核となる考え方は同じである。ある要素が作用で移されるとしても、その移動先が不変部分の範囲をはみ出さない、あるいは構造の特徴が保存される、という要請が満たされる場合に不変性が認められる。
1.2 不変部分の同値な言い換え
不変性は、定義そのものだけでなく複数の同値な言い換えとして理解できる。写像 \(f\) と部分集合 \(S\) の場合、\(f(S)\subseteq S\) という包含条件は、各元 \(x\in S\) について \(f(x)\in S\) が成り立つことと同値である。したがって「全体像の包含」と「点ごとの閉性」は同じ意味をもつ。
線形代数の文脈では、線形写像 \(T:V\to V\) と部分空間 \(W\subseteq V\) に対して、\(T(W)\subseteq W\) は、任意のベクトル \(w\in W\) に対して \(T(w)\in W\) が成立することと同値になる。さらに直和分解や商構造を扱う場面では、不変性が「商に誘導される作用のwell-defined性」や「剰余類の像が同じ剰余層に属すること」として現れるため、包含条件以外の観点からも同値性を導ける。
1.3 不変部分と固定点・不変量の関係
不変部分と固定点は関連しつつも焦点が異なる。固定点は「単一要素」または「個別の点」が作用で動かない場合であり、不変部分は「その集合全体が閉じる」あるいは「部分構造が保たれる」場合である。固定点は不変部分の最小例として捉えられ、具体的には、固定点のみで構成される小さな部分集合や、その生成により得られる部分は不変になる。
不変量は、作用により値が変化しないスカラー量を指すことが多い。線形作用に対しては、ある関数 \(I\) が \(I(Tx)=I(x)\) を満たせば不変量である。すると、不変量は必ずしも部分空間そのものを定めないが、不変量が一定値をとる集合はしばしば不変部分となる。つまり「スカラーの保存」は「レベル集合の不変性」という形で不変部分へ橋渡しされる場合がある。
2 線形代数における不変部分
2.1 線形写像の不変部分空間
線形写像 \(T:V\to V\) に対し、部分空間 \(W\subseteq V\) が不変であるとは \(T(W)\subseteq W\) が成り立つことを言う。これは、\(W\) 内の任意のベクトルを作用させても結果がなお \(W\) の中に残ることを意味する。したがって不変部分空間は、線形作用のもとで「閉じた振る舞い」をする成分として識別される。
不変部分空間の重要性は、作用を適切な基底に変換するとブロック形に整理できる点にある。全空間が不変部分の直和として分解できるなら、線形作用はその直和成分ごとに別々に振る舞うため解析が進む。
2.1.1 不変部分空間の特徴づけ
不変部分空間を特徴づける方法は多数ある。第一に、定義に基づく包含条件 \(T(W)\subseteq W\) は最も基本的な判定基準である。次に、計算可能な基準として、部分空間を生成する元の像が再びその部分空間に入るかどうかを調べる方法がある。
さらに不変性は、直和分解の観点からも整理される。つまり \(V=W\oplus U\) のように補部分が与えられているとき、\(W\) が不変であれば作用は \(W\) 成分に関して閉じる。一方、\(U\) の不変性が成り立つかどうかは別問題であり、一般に補空間の選び方に依存する場合もある。この非対称性は、同じ包含条件でも「片側だけが閉じる」状況があることに対応する。
2.1.1.1 生成される部分からの判定
部分空間 \(W\) がある集合 \(S\) の生成である、すなわち \(W=\langle S\rangle\) と書けるとする。このとき \(W\) の不変性は、生成元の像が \(W\) 内に入ることと関係する。より具体的には、各 \(s\in S\) について \(T(s)\in W\) が成り立てば、不変性が保証されることが多い。線形性により、\(S\) の一次結合からなる任意の元 \(w\in W\) に対し \(T(w)\) は \(T\) が作用する各生成元の像の一次結合として表せるためである。
場合によっては判定を簡略化するために、生成元が \(T\) の作用で繰り返し移される系列を用いることもある。たとえば \(S\) の要素から始めて \(T(s),T^2(s),\ldots\) を考えると、それらが張る部分が最小の不変部分として現れやすい。この考え方により、不変部分の構成や探索が体系化される。
2.2 行列表示と不変性
線形写像 \(T\) を基底に関する行列 \(A\) で表すと、不変部分は行列の列空間や像との関係として表現できる。具体的には、部分空間 \(W\) がある基底ベクトルの集合で張られているとき、不変性 \(T(W)\subseteq W\) は行列がその部分の座標に与える影響の制約として現れる。
実用上は、行列を適切な基底で表し直すことで不変部分に対応するブロック構造が見える。たとえば基底の選び方により、\(W\) を張る部分に対応する座標成分が作用後も他成分へ混ざらない形にできると、不変性はブロック行列の上三角性や対角ブロック化として反映される。この視点は、特性多項式や最小多項式の解析とも連動し、作用の安定な成分を抽出する道具になる。
2.3 固有値・固有ベクトルと不変部分
固有値に対応する固有ベクトルは、不変部分空間を構成する最も基本的な素材である。固有値 \(\lambda\) に属する固有空間 \(E_\lambda=\{v\in V\mid Tv=\lambda v\}\) は不変である。なぜなら \(v\in E_\lambda\) なら \(Tv=\lambda v\) であり、像は同じ固有空間の中にとどまるからである。
加えて、複数の固有空間の和はしばしば不変性を保つ。作用が固有空間の直和として整理できる場合には、線形作用は固有成分に分解して理解できる。対角化可能性や可約性・不可約性の議論でも、不変部分は固有構造と密接につながる。特に、固有空間の情報は「不変性をもつ最小単位」を与える手がかりになりやすい。
2.4 表現の直和分解と不変部分
不変部分空間の概念は、線形表現の直和分解に直結する。表現 \(T\) が \(V=W\oplus U\) の形で分解でき、かつ各成分が不変であるとき、作用は \(W\) と \(U\) に分かれて独立に振る舞う。これは表現論の基本的な分解原理と一致し、構造をより単純なブロックへ還元する役割を果たす。
分解の存在や一意性は対象の条件に依存する。一般には、不変部分の存在が分解可能性を促すが、逆に既約性の観点では「非自明な不変部分がない」ことが中心になる。したがって、不変部分は「分解を許すかどうか」を判定する指標として働く。直和分解の構築では、最小の不変成分（既約に近い部分）を抽出し、それを直和で再構成する手順が典型的である。
3 加群・線形表現における不変部分
3.1 加群の不変部分（部分加群）
加群 \(M\) に対して、作用する環 \(R\) が与えられているとき、部分加群 \(N\subseteq M\) は通常は \(R\)-作用に関して閉じている。すなわち \(r\in R,\, n\in N\) に対し \(rn\in N\) が成り立つなら、\(N\) は部分加群である。ここでは「不変性」は環作用により保たれるという形で現れるため、線形写像の不変部分の加群版として理解できる。
部分加群の豊富さは、元の加群の構造がどれだけ分解可能かを反映する。特定の種類の加群では、部分加群の鎖や極小・極大の性質が解析に利用され、安定性条件や被約性の議論へと接続する。
3.1.1 部分加群の安定性条件
部分加群の安定性条件は、包含関係に基づく系列が停止するかどうかという観点で語られることが多い。たとえば \(N_1\subseteq N_2\subseteq\cdots\) のような上昇列がいつか以後一定になる性質は、構造を分類するうえで強い制約となる。これは加群論での分解や既約分解の存在に関わり、後続の「最大・最小の不変部分」や「極小構成要素」の議論を支える。
また、条件の種類には「単純性」や「有限生成性」など別方向の制約もあるが、いずれも不変部分の整理を容易にする点で共通する。安定性が得られると、部分加群の探索が有限の手順に還元され、計算可能な形で構造が表せるようになる。
3.2 群作用による不変部分
群 \(G\) が加群 \(M\) に作用する場合、不変部分は群作用で安定な部分として定義される。具体的には、部分加群 \(N\subseteq M\) が \(g\cdot n\in N\) を満たす（任意の \(g\in G\) と \(n\in N\) について）とき \(N\) は \(G\)-不変である。線形表現の枠で言えば、表現が与える線形変換の族すべてに対して閉じている部分が不変部分になる。
この設定では、群の性質が不変部分の振る舞いに影響する。作用が既約に近いほど不変部分は乏しくなり、逆に作用に可約性があると複数の安定成分に分かれる。したがって群作用のもとでの不変部分は、表現の分解を直接反映する。
3.3 作用環と不変部分の一般化
群や線形写像に限らず、「作用環」というより抽象的な枠組みで不変部分を定式化できる。すなわち、加群 \(M\) が何らかの環 \(A\) の作用を持ち、部分集合（部分加群）がその作用で閉じるなら、その部分は \(A\)-不変であると扱う。線形代数での行列、群表現での群環的な見方などはこの一般化に含まれる。
この視点により、対象を「作用の種類」によらず比較できる。たとえば同じ性質を、異なる群や別の環の作用として再解釈できる場合があり、統一的な概念として不変部分が働く。結果として、計算や分類の戦略も一般化された枠組みで設計しやすくなる。
3.4 被約性と不変部分の最小性・最大性
被約性（既約性）の定義は、不変部分の存在に基づくことが多い。表現や加群が既約であるとは、非自明な不変部分がないこと、すなわち自明な部分（0や全体）以外に安定な部分が存在しないことを指す。したがって既約性は、不変部分に関する最小・最大の構造を規定する。
一方で、一般の加群では不変部分の格子構造が現れることがある。包含関係により部分集合全体は順序付けられ、極小あるいは極大の不変成分が存在するかどうかが議論される。これらは分解を行う際の部品（例えば最小の安定部分から構成される列）として利用できるため、不変部分の極性は実質的な分類に寄与する。
4 不変部分の構成と応用
4.1 不変部分の生成と計算
不変部分を得るには、まず候補となる部分を生成するのが基本になる。線形写像の場合、ある部分空間 \(W_0\) を起点にして \(W_0, T(W_0), T^2(W_0),\ldots\) を順に取り、それらが張る空間 \( \sum_{k\ge 0} T^k(W_0)\) を考えると、最小の不変部分として現れることが多い。加群や群作用でも同様に、作用を反復して閉じた部分を生成する方針が採用される。
計算では有限次元性や有限生成性が効くことが多い。基底を選べば不変性は連立方程式や行列の制約として翻訳されるため、実務では計算可能な形に落とし込む工夫が重要となる。特に、安定成分の次元を求める問題では、像と核の関係が使える場面がある。
4.2 商空間・商加群への誘導
不変部分が与えられると、その存在は商構造へ作用を誘導する。たとえば線形写像 \(T\) に対し \(W\) が不変であるなら、剰余空間 \(V/W\) 上に誘導写像 \(\overline{T}\) を定義できる。これは代表元の選び方に依存せず、剰余類の像が一意に定まることが鍵になる。包含条件 \(T(W)\subseteq W\) がこの well-defined性を保証する。
加群版でも同様で、部分加群 \(N\) が作用で閉じていれば商加群 \(M/N\) に同じ種類の作用が降りる。こうして元の構造は「不変部分」と「商」の情報の組として再構成できる。商への移行は、複雑な成分を取り除き残りを扱うという操作として理解できる。
4.3 射影・持ち上げと不変性
不変部分は射影（商への写像）だけでなく、持ち上げ（逆向きの構成）とも関わる。射影により商空間へ移したとき、不変部分の性質は誘導される作用のもとで再表現される。逆に、商や部分の上で定義された性質を全体へ持ち上げるには、持ち上げの際の整合性条件が必要になる。
たとえば線形写像を不変部分に制限したり、商上の写像から全体上の写像を構成したりする場面では、どの不変性がどの方向に必要かが問題になる。制約を満たすと、部分から全体への延長が可能になる場合があり、構造の橋渡しとして有効である。これにより、解析の焦点を部分的な計算に落としてから全体へ戻す戦略が可能になる。
4.4 代数的分解（直和・安定な分解）への応用
不変部分は代数的分解の中心的な役割を担う。直和分解では、全空間が互いに交わらない不変部分の和として表せるとき、作用は各成分で別々に扱える。したがって問題は「不変部分の探索」と「それらが直和になって全体を覆うか」の二段階に整理される。
また、安定な分解という観点では、不変性により分解成分が作用で撹拌されないことが保証される。これにより、行列のブロック分解、加群の既約成分への分解、表現の分解などが自然な流れで導かれる。さらに、分解された成分ごとに固有値や構造定数の情報が局所化され、元の問題が段階的に単純化される。結果として不変部分は、理論の枠組みだけでなく計算手順の設計にも直結する概念となる。