核 (线性算子)

线性代数泛函分析中,一个线性算子 L(英語:kernel,也称作零空间,英語:null space)是所有使 L(v) = 0 的v的集合。这就是如果 L: VW,则

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

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

性质

 
映射L的核与像。

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

 

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

 

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

 

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

例子

  1. 如果 L: RmRn,则 L 的核是一个齐次线性方程组的解集。例如,如果 L 是算子:
 

L 的核是方程组

 

的解集。

  1. C[0,1] 表示区间 [0,1] 上所有连续实值函数组成的向量空间,定义 L: C[0,1]→ R
 

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

  1. C(R) 是所有无穷可微函数 RR 的向量空间,并设 D: C(R) → C(R) 是微分算子
 

D 的核由 C(R) 中所有导数都是零的函数组成,即常值函数

  1. R 是无穷个 R直和,并设 s: RR移位算子英语Shift operator
 

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

  1. 如果 V 是一个内积空间W 是一个子空间,正交投影 VW 的核是 WV 中的正交补

泛函分析中的核

如果 VW拓扑向量空间(且 W 是有限维的),则一个线性算子 L: VW连续的当且仅当 L 的核是 V 的一个子空间。

相关条目