有限维向量空间对偶基对应基存在性的证明正确性验证

先把你给出的问题和未完成的证明片段摆出来：

问题：下述证明是否正确？
定理：设V是有限维向量空间，φ₁,φ₂,…,φₙ是对偶空间V'=ℒ(V,𝐅)的一组基，证明存在V的一组基，使其对偶基恰为φ₁,φ₂,…,φₙ。
证明：令Iₙ={i∈ℤ⁺|i≤n}。由于φ₁,φ₂,…,φₙ是V'的一组基，故对任意j∈Iₙ，φ_j都不是零线性泛函，因此存在向量组v₁,v₂,…（原证明未完成）

首先直接给结论：这个未完成的证明方向是对的，但完全不完整，不能算正确的证明——它只指出了每个φ_j不是零泛函，能找到某个向量让它非零，但根本没触碰到对偶基的核心要求（$\phi_i(v_j)=\delta_{ij}$，即克罗内克函数：i=j时取1，i≠j时取0），也没证明构造出的向量组是V的基。

完整的正确证明流程 #

我来把这个证明补全，步骤很清晰：

1. 先明确维数关系
   因为V是有限维向量空间，它的对偶空间V'的维数和V完全相同。已知φ₁,…,φₙ是V'的基，所以必然有$\dim V = n$，这是后续推导的基础。

2. 构造满足对偶基条件的向量组
   我们需要找到一组向量$v_1,v_2,\dots,v_n \in V$，使得对任意$i,j \in {1,2,\dots,n}$，都有$\phi_i(v_j) = \delta_{ij}$。
   固定一个j，考虑下面的线性方程组：

   φ₁(v) = 0, φ₂(v)=0, ..., φ_{j-1}(v)=0, φ_j(v)=1, φ_{j+1}(v)=0, ..., φ_n(v)=0
   

   由于φ₁,…,φₙ是V'的基，它们线性无关，由这n个泛函诱导的从V到$\mathbb{F}^n$的线性映射是满射（因为基能张成整个V'）。又因为$\dim V = n$，这个映射其实是同构，所以上面的方程组一定有解，我们取其中一个解作为$v_j$就行。

3. 验证这组向量是V的基

   • 线性无关性：假设存在系数$a_1,a_2,\dots,a_n \in \mathbb{F}$，使得$\sum_{k=1}^n a_k v_k = 0$。对任意i，用φ_i作用在等式两边：
     $$\phi_i\left(\sum_{k=1}^n a_k v_k\right) = \sum_{k=1}^n a_k \phi_i(v_k) = a_i = 0$$
     所有系数$a_i$都为0，说明$v_1,\dots,v_n$线性无关。
   • 张成性：V的维数是n，我们已经找到了n个线性无关的向量，根据有限维空间的性质，它们必然张成整个V，所以这组向量是V的基。

4. 确认对偶基条件
   从构造过程就能看出来，$\phi_i(v_j)=\delta_{ij}$完全满足对偶基的定义，所以$v_1,\dots,v_n$的对偶基就是给定的φ₁,…,φₙ。

一句话总结 #

原证明只开了个头，没完成核心的构造和验证环节，所以是不正确的；补全上述步骤后，才能完整证明这个定理。

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