有理映射
在代数几何中,有理映射是定义在概形的稠密开集上的态射。有理映射及由此引生的双有理等价是古典代数几何学的主要对象。
固定概形 。考虑所有的数据
,其中
是稠密开集,而
是态射;这些数据代表了
上「部份定义」的态射,
代表
的定义域。定义下述等价关系:
此外,注意到稠密性保证 也是
中的稠密开集。当
不可约,则所有非空开集都是稠密的。若再假设
既约而
是分离概形,则任一等价类有唯一一个定义域最大的代表元。
从概形 到
的有理映射
是其中的一个等价类
。
若 是从
到
,
是从
到
的有理映射,则一般并不能定义其合成
。但是当
的像(对某个,因而对每个代表元
)在
中稠密时,对每个
的代表元
,
皆非空,此时可以定义
。