>>458
線型空間に近似して考えるなら、（１３）は
（＊）　（φ^(i)_1，．．．，φ^(i)_n）　i=1，．．．，p
のp本のベクトルから張られる部分空間に垂直な空間を
　　　　（dx_1，．．．，dx_n）
が動くことになり、よって、（１２）より
　　　　（f_1，．．．，f_n）
は（＊）で張られる部分空間の要素となる
ということですかねえ。

（そゆことじゃなかったりして．．．スマソ）