ありがとうございます．
実でも複素でも一般論で，
「ベクトル束が自明⇔零点をもたない（大域）断面が存在する」
っていう主張はありましたでしょうか？うろ覚えなのですが…
>>100はそのことでしょうか．
式で書かなければいけないのはわかります．