乗法距離

代数幾何学では、体上の乗法距離関数とは、 [ 1 ]を満たす関数であるという。μ{\displaystyle \mu}

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

参照

参考文献