0423132人目の素数さん垢版 | 大砲2021/04/08(木) 16:04:15.15ID:6eVb2X+V x_0, ..., x_nのk次の単項式は、線形写像 C^(n+1) → C を定めて、P^n × C^(n+1)の正則な切断を定める。これをO(-k)に制限すると、O(k)の大域切断が得られる。