核

在数学中，线性映射的核（也称为零空间）是指定义域中那些被映射到陪域零向量的部分；核总是定义域的一个线性子空间。具体来说，对于两个向量空间V和W之间的线性映射[math]\displaystyle{ L : V \rightarrow W }[/math]，L的核是V中所有满足[math]\displaystyle{ L(v) = 0 }[/math]的向量v所构成的向量空间，这里的0表示W中的零向量。用数学符号可以表示为：

[math]\displaystyle{ \ker(L)={\mathbf{v} \in V\mid L(\mathbf{v})=\mathbf{0}}=L^{-1}(\mathbf{0}) }[/math]。