In algebraic geometry, μ {\displaystyle \mu } is said to be a multiplicative distance function over a field if it satisfies
μ ( A B ) > 1. {\displaystyle \mu (AB)>1.\,}
AB is congruent to A'B' iff μ ( A B ) = μ ( A ′ B ′ ) . {\displaystyle \mu (AB)=\mu (A'B').\,}
AB < A'B' iff μ ( A B ) < μ ( A ′ B ′ ) . {\displaystyle \mu (AB)<\mu (A'B').\,}
μ ( A B + C D ) = μ ( A B ) μ ( C D ) . {\displaystyle \mu (AB+CD)=\mu (AB)\mu (CD).\,}
See also Algebraic geometry Hyperbolic geometry Poincaré disc model Hilbert's arithmetic of ends
References
