高さ函数のソースを表示

{{正確性|date=2015年2月}}
ディオファントス幾何学の'''高さ函数'''とは、[[ディオファントス方程式]]の解のサイズを測る函数である<ref>* {{cite book | first=Serge | last=Lang | authorlink=Serge Lang | title=Survey of Diophantine Geometry | publisher=[[Springer-Verlag]] | year=1997 | isbn=3-540-61223-8 | zbl=0869.11051 }} pp.43–67
</ref>。古典的あるいはナイーブな高さは、斉次座標上通常の絶対値によって定義される。しかし、ディオファントス幾何学での高さは、対数のスケールで測り、すなわち、高さは『代数的複雑さ』や点を記述することに必要なビットの数に比例するものとなる。<ref>* {{cite book | first1=Enrico | last1=Bombieri | authorlink1=Enrico Bombieri | first2=Walter | last2=Gubler | title=Heights in Diophantine Geometry | series=New Mathematical Monographs | volume=4 | publisher=[[Cambridge University Press]] | year=2006 | isbn=978-0-521-71229-3 | zbl=1130.11034 | doi=10.2277/0521846153 }} pp.15–21</ref>

高さ函数は最初、[[アンドレ・ヴェイユ]] (André Weil) とノースコット (D. G. Northcott) により開拓された。1960年頃の大きな進展が[[ネロン・テイトの高さ]]であり、[[代数幾何学]]での[[豊富なラインバンドル]]の方法で、射影的な表現と関連付けられ、現在では、数論幾何学の重要な考え方となっている。

楕円曲線 E の場合には、E('''Q''') 上の点 P に対して、高さ函数 h(P) を次のように定義する。
# 無限遠点 P<sub>0</sub> の高さ <math>h(P_0)=0</math> とする。
# E('''Q''') 上の[[有理点]]であるような P に対して、<math>h(P)=0</math> とする。
# 上記以外の E('''Q''') の点 P に対して、P の有理数の横軸座標(abscissa) x が p と q は[[互いに素 (整数論)|互いに素]]な整数として {{frac|p|q}} と表せるときに、
::<math>h(P) = \log\max(|p|,|q|)</math>

:と定義する。

このように高さ函数 h を定義すると、h(mP) が m の平方根の増加度を持つという性質を持つ。この定義により E 上にはある定数よりも小さな高さを持つ点は有限個しか存在しないことが分かる。以上の定義を、一般のアーベル多様体へ拡張することもできる。

== 関連項目 ==
*[[ネロン・テイトの高さ]]（標準的高さ）
*[[:en:Glossary of arithmetic and Diophantine geometry#H|Height function]]（元となる英文）

== 参考文献 ==
<references/>

{{デフォルトソート:たかさかんすう}}
[[Category:幾何学]]
[[Category:関数]]
[[Category:数学に関する記事]]