非常丰富除子(Very ample invertible sheaf (or line bundle, or divisor)) 是
代数几何中最重要的一类对象。
3.这个映射可以区分每一点上的切向量。 换句话说, 一个点上的两个不同的
切向量, 在这个映射下不会映成同一切
向量。
注:a一般的,invertible sheaf L 是非常丰富的,当且仅当存在immersion(嵌入,即开嵌入和闭嵌入的复合) f: X----> P^N (某射影空间),使得L同构于O(1)的拉回。
b上述条件中,1等价于L是由整体截面生成的(generated by global sections);1,2,3等价于L定义的态射是闭嵌入(closed immersion)。和a的等价性在于,proper的概形(scheme)在态射下的像是闭的。