余核

提供: miniwiki
2017/2/25/ (土) 08:33時点におけるja>Cewbotによる版 (bot: 解消済み仮リンク群の圏を内部リンクに置き換えます)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索


数学において、ベクトル空間線型写像 f : XY余核 (よかく、cokernel) は f終域f の像による商空間 Y/im(f) である。余核の次元は f余次元 (corank) と呼ばれる。

余核は圏論の核English版双対であるので、その名前がついている。核は定義域の部分対象であるのに対し(それは定義域に写す)、余核は終域の商対象English版である(それは終域から写す)。

直感的には、解きたい方程式 f(x) = y が与えられると、余核は方程式が解を持つために y が満たさなければならない制約 - 解の障害物 - を測り、一方核は解の自由さの度合を、存在すれば、測る。これは下で直感で詳述される。

より一般に、あるにおいて f : XY (例えばの間の準同型ヒルベルト空間の間の有界線型作用素)の余核は対象 Q と射 q : YQ であって合成 q f が圏のゼロ射English版であり、さらに、q はこの性質に関して普遍的であるようなものである。しばしば写像 q は省略され Q 自身が f の余核と呼ばれる。

アーベル群ベクトル空間加群といった抽象代数学の多くの状況において、準同型 f : XY の余核は Yfによるである。ヒルベルト空間の間の有界線型作用素のような位相的な設定においては、典型的には商にいく前に像の閉包をとらなければならない。

正式な定義

圏論の一般的な枠組みで余核を定義できる。定義が意味を持つには問題の圏がゼロ射English版をもたなければならない。 f : XY余核 (cokernel) は f とゼロ射 0XY : XYコイコライザとして定義される。

明示的には、これは次を意味する。f : XY の余核は射 q : YQ をともなった対象 Q であって図式

可換なものである。さらに射 q はこの図式に対して普遍的でなければならない、つまり任意の他のそのような q′: YQ′ は q を一意的な射 u : QQ′ と合成することによって得られる:

すべての普遍的な構成がそうであるが、余核は、存在すれば、一意的な同型を除いて一意的である、あるいはより正確には: q : YQq‘ : YQ‘f : XY の2つの余核であれば、一意的な同型 u : QQ‘ が存在して q‘ = u q となる。

すべてのコイコライザのように、余核 q : YQエピ射である必要がある。逆に、エピ射はある射の余核であれば正規English版 (normal) (あるいは conormal)と呼ばれる。圏はすべてのエピ射が正規であるときに conormal と呼ばれる(例えば群の圏は conormal である)。

群の圏において、群準同型 f : GH の余核は Hf の像の正規閉包English版によるである。アーベル群の場合、すべての部分群は正規なので、余核は単に f の像を法とした H である:

coker(f) = H / im(f).

特別な場合

前加法圏において、射を足したり引いたりすることは意味がある。そのような圏において、2つの射 fg のコイコライザは(存在すれば)それらの差の余核にすぎない:

[math]\mathrm{coeq}(f, g) = \mathrm{coker}(g - f)[/math].

アーベル圏(前加法圏の特別な種類)において、射 f余像

[math]\mathrm{im}(f) = \ker(\mathrm{coker} f)[/math]
[math]\mathrm{coim}(f) = \mathrm{coker}(\ker f)[/math]

によって与えられる。

とくに、すべてのアーベル圏は正規(また conormal)である。つまり、すべてのモノ射 m はある射の核として書ける。具体的には、m はそれ自身の余核の核である:

[math]m = \ker(\mathrm{coker}(m))[/math]

直感

余核は方程式が満たさなければならない制約の空間として、障害物の空間として、考えることができる。ちょうどの空間であるように。

フォーマルには、核と余核を完全列によって結びつけることができる

[math]0 \to \ker T \to V \to W \to \mathrm{coker}\,T \to 0.[/math]

これらは次のように解釈できる:解くべき線型方程式 T(v)=w が与えられると、

  • 核は斉次方程式 T(v)=0の空間であり、存在すれば、その次元は解の 自由さの度合い の数である。
  • 余核は方程式が解を持つならば満たされなければならない 制約 の空間であり、その次元は方程式が解を持つために満たされなければならない制約の数である。

商空間 W/T(V) の次元は単に空間の次元から像の次元を引いたものだから、余核の次元と像の次元(階数)を足すと終域の空間の次元になる。

簡単な例として、T(x,y) = (0,y) で与えられる写像 T: R2R2 を考えよう。このとき方程式 T(x,y)=(a,b) が解をもつためには、a=0 でなければならず(1つの制約)、その場合解空間は (x,b) である、あるいは同じことだが、(0,b)+(x,0) である(1 次の自由性)。核は部分空間 (x,0) < V として表現できる: x の値は解の自由さである – 一方余核は実数値写像 W: (a,b) → (a) を通して表現できる: ベクトル (a,b) が与えられると、a の値は解があるための障害物である。

付け加えると、核が単射を「検知する」のと同じように、余核は全射を「検知する」ものとして考えることができる。写像が単射であることと核が自明であることは同値であり、写像が全射であることとその余核が自明であること、あるいは言い換えると、W=im(T) であることは同値である。

参考文献

de:Kern (Mathematik)#Kokern