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