A Banakh space (not to be confused with Banach spaces) is a metric space $M$ such that all nonempty spheres of positive radius $r$ has cardinality $2$ and diameter $2r$. I am wondering if the second condition is redundant. Or is there a metric space such that all nonempty spheres of positive radius $r$ has cardinality $2$, but not all of them have diameter $2r$?
Asked
Active
Viewed 110 times
2
-
1By sphere do you mean ${y : d(x, y) = r}$ ? – Jakobian Aug 17 '23 at 00:39
1 Answers
5
The condition is necessary, consider vertices of an equilateral triangle in the plane with sides $1$. Then all non-empty spheres have radius $1$, they have cardinality $2$, but their diameter is less than $2$ (it's in fact equal to $1$).
Jakobian
- 10,247