双有理映射

有理映射是代数簇上的有理函数概念的推广。但是，它并不是集合意义下的映射。代数簇是代数几何的基本研究对象。设k是一个域，域k上的代数簇就是一个整的、分离、有限型k概形。这里的基域k往往被取作代数闭域。有理函数是指由有理式表示的函数，即两个多项式函数的商(分母不是零多项式)。双有理映射(birational mapping)一种特殊的有理映射。它诱导了两个代数簇的有理函数域间的同构。