无限维向量空间对偶空间与域直积同构的证明及维数推导问询

咱们一步步来拆解这个问题：已知V是域F上以A为基的无限维向量空间，目标是证明V的对偶空间V^同构于以A为指标集的F的直积，再以此推导出dim V^ > dim V。

一、构造V^*到FA的线性同构 #

首先回忆：V中任意元素v都能唯一表示为基A中有限个元素的线性组合，即
v = Σ_{a∈A} c_a a
其中只有有限个系数c_a ∈ F非零，这个表示是良定义的。

我们定义映射φ: V^* → F^A（这里F^A表示以A为指标集的F的直积，也就是所有从A到F的函数构成的F-向量空间）：
对任意线性泛函f ∈ V^*，φ(f)就是f在基A上的限制函数——也就是对每个a ∈ A，φ(f)(a) = f(a)。

接下来验证φ是线性同构：

• 线性性：任取f, g ∈ V^*，k ∈ F，对任意a ∈ A，有
  φ(kf + g)(a) = (kf + g)(a) = kf(a) + g(a) = kφ(f)(a) + φ(g)(a) = [kφ(f) + φ(g)](a)
  所以φ(kf + g) = kφ(f) + φ(g)，线性性成立。
• 单射：假设φ(f) = 0（这里的0是F^A中的零函数），意味着对所有a ∈ A，f(a) = 0。那么对V中任意元素v = Σc_a a，f(v) = Σc_a f(a) = 0，即f是V上的零泛函，所以kerφ = {0}，单射得证。
• 满射：任取一个函数g ∈ F^A，我们构造对应的线性泛函f ∈ V^*：对v = Σc_a a ∈ V，定义f(v) = Σc_a g(a)（因为只有有限个c_a非零，这个和是有限和，完全合法）。
  显然f是线性泛函，而且对每个a ∈ A，f(a) = g(a)，即φ(f) = g，满射得证。

综上，φ是V^*到FA的线性同构，即V^* ≅ F^A。

二、推导dim V^* > dim V #

题目中已经给出结论：以A为指标集的F的直积F^{A，其维数严格大于V的维数（这里V的维数是基A的基数`|A|`，而无限集A对应的F}A的维数是2^{|A|}，根据集合论的Cantor定理，2^{|A|} > |A|）。

因为V^* ≅ F^A，而同构的向量空间维数相等，所以dim V^* = dim F^A > dim V，结论得证。

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