核 (线性算子)

在线性代数与泛函分析中，一个线性算子 L 的核（英語：kernel，也称作零空间，英語：null space）是所有使 L(v) = 0 的v的集合。这就是如果 L: V →W，则

\ker(L)=\left\{v\in V:L(v)=0\right\}{\text{,}}

这里 0 表示 W 中的零向量。L 的核是定义域 V 的一个线性子空间。

一个线性算子 R^m → Rⁿ 的核与对应的 n × m 矩阵的零空间相同。

性质

如果 L: V → W，则 V 中两个元素在 W 中有相同的像当且仅当它们的差在 L 的核中：

L(v)=L(w)\;\;\;\;\Leftrightarrow \;\;\;\;L(v-w)=0{\text{.}}

从而 L 的像同构于 V 被这个核的商空间：

{\text{im}}(L)\cong V/\ker(L){\text{.}}

当 V 是有限维的，这蕴含着秩-零化度定理：

\dim(\ker L)+\dim({\text{im}}\,L)=\dim(V){\text{.}}\,

当 V 是一个内积空间是，商 V / ker(L) 可以与 ker(L) 在 V 中的正交补等同。这是一个矩阵的行空间的线性算子的推广。

L(x_{1},x_{2},x_{3})=(2x_{1}+5x_{2}-3x_{3},\;4x_{1}+2x_{2}+7x_{3})

则 L 的核是方程组

{\begin{alignedat}{7}2x_{1}&&\;+\;&&5x_{2}&&\;-\;&&3x_{3}&&\;=\;&&0\\4x_{1}&&\;+\;&&2x_{2}&&\;+\;&&7x_{3}&&\;=\;&&0\end{alignedat}}

的解集。

L(f)=f(0.3){\text{.}}\,

则 L 的核由所有使得 f(0.3) =0 的函数 f ∈ C[0,1]。

D(f)={\frac {df}{dx}}{\text{.}}

则 D 的核由 C^∞(R) 中所有导数都是零的函数组成，即常值函数。

s(x_{1},x_{2},x_{3},x_{4},\ldots )=(x_{2},x_{3},x_{4},\ldots ){\text{.}}

则 s 的核是由所有向量 (x₁, 0, 0, ...) 组成的一维子空间。注意 s 是映上的，却有非平凡的核。

如果 V 和 W 是拓扑向量空间（且 W 是有限维的），则一个线性算子 L: V → W 是连续的当且仅当 L 的核是 V 的一个闭子空间。