We have the function d from VxV to another set(not necessarily R) for which the following properties are to be satisfied:
i) d(x,y)=0<=>x=y
ii)d(x,y)=d(y,x)
iii)d(x,z)≤(d2(x,y)+d2(y,z))1/2
∀ x,y,z ∈ V.
What do you say? Would this function have interesting properties on a set and theorems to be...