In algebraic geometry is said to be a multiplicative distance function over a field if it satisfies

• AB is congruent to A'B' iff

• AB <

See also

• Algebraic geometry

• Hyperbolic geometry

• Poincaré disc model

• Hilbert's arithmetic of ends

References