39、拟阵理论与存储码：界与构造

拟阵理论与存储码：界与构造

1. 拟阵基础概念

拟阵是一个二元组 (M = (I, E))，其中 (E) 是一个有限集，(I) 是 (E) 的子集族，满足以下三条独立公理：
- (I.1) (\varnothing\in I)；
- (I.2) 若 (Y \in I) 且 (X \subseteq Y)，则 (X \in I)；
- (I.3) 对于所有 (X, Y \in I) 且 (|X| < |Y|)，存在 (y \in Y \setminus X) 使得 (X \cup {y} \in I)。

(I) 中的子集称为拟阵的独立集。拟阵在基集 (E) 上的秩函数 (\rho) 与独立集 (I) 有如下联系：对于 (X \subseteq E)，(\rho(X) = \max{|Y| : Y \subseteq X \text{ 且 } Y \in I})，并且 (X \in I) 当且仅当 (\rho(X) = |X|)。

此外，还会用到零化度函数 (\eta : 2^E \to \mathbb{Z})，其中对于 (X \subseteq E)，(\eta(X) = |X| - \rho(X))。

任何域 (F) 上的矩阵 (G) 都会生成一个拟阵 (M_G = (\rho, E))，其中 (E) 是 (G) 的列集，对于 (I \subseteq E)，(\rho(I)) 是诱导矩阵 (G(I)) 在 (F) 上的秩。因此，(I \in I) 当且仅当 (I) 是一组线性无关的向量。

若存在双射 (\psi : E_1 \to E_2) 使得对于所有 (X \subseteq E_1) 都有 (\r