有理多様体
数学では、与えられた体 K 上で定義された代数多様体で K 上のある次元の射影空間と双有理同値な代数多様体を、有理多様体(rational variety)と言う。有理多様体は、代数多様体上の函数体が、ある不定元の集合 formula_1 の有理函数の体
に同型であることを意味する。ここの "d" は、(dimension of an algebraic variety)である。