有理曲线是曲线中最简单的一种。 所谓有理曲线, 就是和
射影直线同构的光滑曲线,它的亏格是0。虽然有理曲线和射影直线同构, 但这不意味着它在射影平面上是一条直线, 比如
射影平面中由
齐次方程z^2=xy定义的直线是
二次曲线, 但这条曲线是有理曲线。在工程曲线曲面的
计算机辅助设计中,有理曲线是一种逼近形式,有很好的几何直观性,通过对控制顶点的调整,即可实现对曲线形状的控制,同时有理曲线上每个顶点上的权因子又为形状控制提供了新的自由度。
有理曲线是为了统一表示自由曲线和
圆锥曲线而发展起来的,它与普通
Bezier曲线,B-Spline曲线一样,是一种逼近形式,有很好的几何直观性,通过对控制顶点的调整,即可实现对曲线形状的控制,同时有理曲线上每个顶点上的权因子又为形状控制提供了新的
自由度。综合使用以权因子为基础的方法和以控制顶点为基础的方法可以对曲线形状进行更为直观、快速准确的控制,在飞机、轮船、汽车等复杂外形产品的几何设计中有实用价值。
在
代数曲线中,其上的点的坐标可用一个参数的有理函数表示的曲线,称为有理曲线。已经证明,多重点至多为 个的n次代数曲线是有理曲线。例如,代数曲线 是以 为参数由 表示的有理曲线。
证明: 的函数域 ,则 。 是 的全部标准离散赋值。设其对应的赋值环为 和 ,则 是 的极大理想的生成元, 是 的极大理想的生成元。因 对所有的 成立,因此 对所有的 成立。又因 ,得 ,故有 ,因此 的亏格为零。
设X 是光滑的射影曲线,则X
同构于 ,当且仅当存在X上两个不同点P,Q相互线性等价。
证明:设 ,则 是 上的非平凡的有理函数,和分别是的单零点和单极点,且在没有其他零点和
极点。因此, 线性等价于。
反之设X上两个线性等价点,,则存在 ,使。于是是一个有限扩张,令,则是的一个离散赋值环,并且是 的
极大理想的
生成元,故点在之上的
分歧指数。由于是在中的唯一的
扩张,故有,即。
证明:设 X 是有理曲线,P 是 X 上任意一点,则由R-emann-Roch定理得 ,因此存在 与 线性等价,根据定理二可得X 与射影直线
同构。
设是从有理曲线到光滑射影曲线上的一个态射,假定所诱导的函数域
扩张是
可分的,则是有理曲线。