样条函数空间 给定节点 { ξi}ni=0 ,记其上分片 k 次多项式、 k−1 次连续可导函数构成的空间为 S{ k;ξ0,⋯ξn} 。显然任意 s∈S 应有 s(x)=∑i=0kcixi+1k!∑i=1n−1di[x−ξi]k+, 其中 [⋅]+=max{ 0,⋅} 。从此可看出 dimS=k