核(カーネル)

核(かく、kernel カーネル)

送った先が単位元となるような写像の集合

$ f: A \to B の$ B の単位元になるような写像

(群論)

群$ G_1, G_2 、写像$ \phi : G_1 \to G_2 とする。

$ \phi が準同型のとき、$ \mathrm{Ker}(\phi) := \lbrace x \in G_1 | \phi(x) = 1_{G_2} \rbrace を$ \phi の核(kernel)という。

$ 1_{G_2} : $ G_2 の単位元

読み方: $ \phi のカーネルは$ G_1 に属する元$ x のうち、$ \phi(x) の結果が$ G_2 の単位元であるもの

線形代数における核

$ A が$ m \times n 行列、$ x は$ n 次元の縦ベクトル、$ \overrightarrow{0} は$ m 次元の縦ベクトルとすると、

行列$ A に対して、$ Ax = \overrightarrow{0} を満たすベクトル$ x の集合を$ A の核(kernel)という。

確認用

Q. カーネル$ \mathrm{Ker} (f) とは

Q. 群論の核の定義

Q. 線形代数の核の定義