已证C¹空间在C[a,b]中有限维，如何求其有限基？

嘿，很高兴你已经通过单位球紧性的方法完成了有限维性的证明！关于构造这个有限维$C^1[a,b]$子空间的基，我可以给你几个实用的思路和方法：

1. 针对多项式类子空间：经典单项式基 #

如果你的有限维$C^1$子空间是由多项式构成的（比如所有次数不超过$n$的多项式），那直接用单项式基{1, x, x², ..., xⁿ}就可以。这些函数不仅属于$C^{1[a,b]$（其实是无限可微的），而且在$C[a,b]$（以及$C}1[a,b]$）中线性无关，刚好张成$n+1$维的多项式子空间。

2. 通用构造方法：基于插值的基函数 #

对于任意有限维的$C^1[a,b]$子空间$V$（假设维数为$k$），你可以通过插值条件来构造基：

• 第一步：在区间$[a,b]$上选取$k$个互不相同的点$x_0, x_1, ..., x_{k-1}$
• 第二步：对每个索引$i$，构造一个函数$f_i \in V$，满足$f_i(x_j) = \delta_{ij}$（也就是当$i=j$时取值为1，其余点取值为0），同时保证$f_i$是连续可微的
• 这样得到的集合{f₀, f₁, ..., fₖ₋₁}就是$V$的一个基：
  • 线性无关性：如果有$\sum_{i=0}^{k-1} c_i f_i = 0$（在$C[a,b]$中恒等于0），代入每个$x_j$就能得到$c_j=0$，所以系数全为0
  • 张成性：任何$f \in V$都可以表示为$\sum_{i=0}^{k-1} f(x_i) f_i$，代入每个$x_j$验证就知道刚好等于$f(x_j)$，而有限维空间中函数由这些点的值唯一确定

这里要注意：因为有限维空间上的$C[a,b]$范数和$C^{1[a,b]$范数是等价的，所以$C[a,b]$中的线性无关性和$C}1[a,b]$中的线性无关性是一致的，不用额外验证。

3. 特殊场景：微分方程解空间的基 #

如果你的$C^{1$子空间是某个**n阶常系数线性微分方程**的解空间（这类空间天然是$n$维的，且所有解都属于$C}1[a,b]$），那可以直接用微分方程的基本解组作为基。比如：

• 对于方程$y'' + y = 0$，解空间的基就是{sinx, cosx}
• 对于方程$y' = ky$，解空间的基就是{e^(kx)}

举个简单的例子：假设$V$是2维$C^1$子空间，取$[a,b]$上的两个点$x_0, x_1$，构造$f_0(x) = \frac{(x - x_1)^2(2x - x_0 + 3x_1)}{(x_0 - x_1)^3}$，$f_1(x) = \frac{(x - x_0)^2(2x - 3x_0 + x_1)}{(x_0 - x_1)^{3}$，这两个函数满足$f_i(x_j)=\delta_{ij}$，且都是$C}1$的，就能作为$V$的基。

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