乗法距離

代数幾何学では、体上の乗法距離関数とは、 ^[1]を満たすものを言う。${\displaystyle \mu}$

• ${\displaystyle \mu (AB)>1.\,}$
• ABはA'B'と合同であり、その場合のみ ${\displaystyle \mu (AB)=\mu (A'B').\,}$
• AB < A'B' の場合${\displaystyle \mu (AB)<\mu (A'B').\,}$
• ${\displaystyle \mu (AB+CD)=\mu (AB)\mu (CD).\,}$

• 代数幾何学
• 双曲幾何学
• ポアンカレ円板モデル
• ヒルベルトの端数の算術