|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 有 : [う, ゆう] 1. (n,vs) possession ・ 理 : [り] 【名詞】 1. reason
数論において有理点(ゆうりてん、)とは、各座標の値が全て有理数であるような空間の点を言う。 例えば、点 (3, −67/4) は 3 も −67/4 も有理数であるため、2次元空間内の有理点である。有理点の特別な場合は、(integer point)、つまり、その座標が全て整数の点である。例えば、(1, −5, 0) は 3次元空間内の整数点である。より一般的に K を任意の体とするとき、K-有理点は点の各々の座標が体 K に属するような点と定義される。K-有理点に対応する特別な場合は K-整数点、すなわち各座標が(数体) K 内の代数的整数の環の元である場合である。 ==代数多様体上の有理点や K-有理点== V を体 K 上の代数多様体とする。V がアフィンのとき、つまり、V が方程式の組 fj(x1, ..., xn) = 0, j = 1, ..., m の零点集合で、係数は K に属しているとすると、V の K-有理点 P は、体 K に属する数の順序付きの n-個の組 (x1, ..., xn) であり、同時にすべての方程式の解となっている組である。一般の場合は、V の K-有理点は、V のあるアフィン開部分集合の K-有理点である。 V がある射影空間 の中の斉次多項式 (係数は K に属する)で定義される射影的な代数多様体の場合は、V の K-有理点は射影空間内の の点すべてであり、座標は K に属し、すべての方程式 の共通解となっている。 混乱がない場合、体 K が有理数体の場合には、K-有理点という代わりに、有理点ということもある。 K-有理点と同様に、楕円曲線のような代数多様体の有理点は、現在の研究の主要な分野となっている。アーベル多様体 A に対し、K-有理点は群を形成する。K が数体のとき、モーデル・ヴェイユの定理は K 上のアーベル多様体の有理点のなす群は有限生成であることを言っている。 ヴェイユ予想は、有限体上の多様体上の有理点の分布に関連していて、多様体が定義される最も小さな部分体が存在し、それへ属する点から有理点が構成されることを意味している。
|