Multiplicative distance

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 < A<nowiki>'</nowiki>B<nowiki>'</nowiki> iff

See also

• Algebraic geometry
• Hyperbolic geometry
• Poincaré disc model
• Hilbert's arithmetic of ends

References