有限域上n维向量空间中满足V₁+V₂=V的n-1维子空间计数

问题描述 #

设$V$是有限域$\mathbb{F}$（阶为$p=q^{t$，$q$为素数）上的$n$维向量空间，$V_1$是$V$的1维子空间。证明满足$V_1+V_2=V$的$n-1$维子空间$V_2$的数量为$p}{n-1}$。

你的尝试验证 #

你拿$n=3,p=2$的例子来试是个非常好的直观切入方式！确实，3维二元空间里有7个1维子空间和7个2维子空间。就拿$V_1=\langle(1,0,0)\rangle$来说，满足条件的2维子空间刚好是4个，正好对应$2^{3-1}=4$，完美契合结论，这也帮我们先建立了对问题的直观认知。

正式证明 #

下面给你两种不同的思路来严格证明这个结论：

思路一：维度公式+总数剔除不符合项

首先回忆维度公式：对于子空间$U,W\subseteq V$，有$\dim(U+W)=\dim U + \dim W - \dim(U\cap W)$。
这里$V_1$是1维，$V_2$是$n-1$维，$V_1+V_2=V$意味着$\dim(V_1+V_2)=n$，代入公式得：
$$n=1+(n-1)-\dim(V_1\cap V_2)$$
解得$\dim(V_1\cap V_2)=0$，也就是$V_1\cap V_2={0}$。所以问题等价于：计数与$V_1$仅交于零空间的$n-1$维子空间数量。

接下来计算两个关键数量：

1. $V$中所有$n-1$维子空间（超平面）的总数：这个是高斯系数$\binom{n}{1}_p=\frac{p^n - 1}{p-1}$，也就是有限域上$n$维空间中1维子空间的数量（超平面和1维子空间是对偶关系）。
2. 包含$V_1$的$n-1$维子空间数量：包含$V_1$的超平面，对应商空间$V/V_1$中的$(n-2)$维子空间。$V/V_1$是$n-1$维空间，它的$(n-2)$维子空间数量是$\binom{n-1}{1}_p=\frac{p^{n-1}-1}{p-1}$。

那么满足条件的$V_2$数量就是总超平面数减去包含$V_1$的超平面数：
$$
\frac{p^n -1}{p-1} - \frac{p^{n-1}-1}{p-1} = \frac{p^n - p^{n-1}}{p-1} = p^{{n-1}\cdot\frac{p-1}{p-1}=p}{n-1}
$$
刚好得到我们要的结果。

思路二：线性函数的对偶视角

有限域上的每个超平面$V_2$都对应一个非零线性函数$f:V\to\mathbb{F}$的核$\ker f$，而且成倍数关系的非零线性函数（即$f$和$cf$，$c\in\mathbb{F}^*$）对应同一个超平面。

现在，$V_1+V_2=V$等价于$f(V_1)\neq{0}$：

• 如果$f(V_1)={0}$，说明$V_1\subseteq\ker f=V_2$，此时$V_1+V_2=V_2\neq V$；
• 如果$f(V_1)\neq{0}$，说明$V_1$不在$\ker f$里，结合维度公式可直接推出$V_1+V_2=V$。

接下来计数满足$f(V_1)\neq{0}$的非零线性函数数量：
取$V_1$的一个基向量$e_1$，$f(e_1)\neq0$有$p-1$种选择，而$f$在$V$的其他基向量$e_2,...,e_n$上的取值可以任意（每个有$p$种选择），所以这样的$f$总数是$(p-1)\cdot p^{n-1}$。

每个超平面对应$p-1$个成倍数的非零线性函数，因此对应的超平面数量为：
$$
\frac{(p-1)\cdot p^{{n-1}}{p-1}=p}{n-1}
$$
同样得到结论。

内容的提问来源于stack exchange，提问作者Learnmore