How do you call a space with a function which is symmetric, non negative, positive definite and which satisfies a quasi-triangle inequality:
$d(x,z) \leq C( d(x,y)+d(y,z) )$
for all $x,y,z$ and some $C > 1$?
That is, it satisfies all the axioms of a metric space except for the triangle inequality, which is replaced by the one above.
Can anyone provide any reference on these spaces?
Thanks.
Best Answer
Your construction is a special case of semimetric spaces with relaxed triangle inequality: http://en.wikipedia.org/wiki/Semimetric_space#Semimetrics. This type of metric is sometimes also called non-Archimedian metric. There is a classical paper of W.A.Wilson "On semi-metric spaces", Amer. J. Math. 53 (1931) 361–373, on the subject. Also, I have seen this type of construction mostly used in fixed-point theory, so this would be an additional keyword to look for.
EDIT: To answer your second question about whether Banach fixed-point theorem would be applicable to semimetric spaces: In general one needs $(X,d)$ to be bounded, otherwise there are counter-examples. Consider $X=\mathbb{N}$, $d(n,m):=\frac{|n-m|}{2^{\min(n,m)}}$ and $f(n):=n+1$. Then $(X,d)$ is $d$-Cauchy complete semimetric space (!), but $f$ has no fixed points, even though it is a contraction w.r.t. $d$ with contraction constant $1/2$. This example is taken from the paper "Nonlinear Contractions on Semimetric Spaces" by J. Jachymski, J. Matkowski, T. Swiatkowski, Journal of Applied Analysis Vol. 1, No. 2 (1995), pp. 125–134, where you can also find the proof of the Banach Fixed-Point Theorem for bounded semimetric spaces and some more related results.