实投影空间上向量丛的截面

所谓广义向量场问题就是要求向量丛mξ_n上的线性无关截面的最大个数span(mξ_n)=m-n+j(m,n),这里ξ_n为n维实投影空间P_n上的Hopf线丛。关于这一问题的综述参见文献[1]。本文将利用Koschorke的奇点方法证明下面的定理