零空间

在编码理论中，零空间是指所有满足 HX = 0 的向量 X 构成的集合，其中 H 是校验矩阵。零空间概念将线性代数与编码理论紧密联系起来：编码空间正是校验矩阵的零空间，所有合法的码字都位于这个子空间中。校验矩阵 H 的每一行代表一个线性约束，而码字必须满足所有这些约束。

一个 (n, k) 线性分组码的编码空间是 n 维向量空间中的一个 k 维子空间，因此校验矩阵 H 的秩为 n - k。零空间的维数为 k，即信息位的数量。编码过程和译码过程可以从两个互补的视角理解：编码器将 k 维信息向量映射到 n 维码字（生成矩阵 G 的列空间），而校验则是验证接收向量是否位于 H 的零空间中。

零空间的引入使得错误检测变得系统化——通过计算伴随式可以判断接收向量是否属于零空间。这一视角在信道编码中极为强大，它使得编译码问题转化为线性代数问题，大大简化了硬件实现。此外，对偶码的概念也源于零空间：一个线性码 C 的对偶码 C^⊥ 正是以 C 的校验矩阵 H 为生成矩阵的码。