Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
1 answer
557 views

Is it possible to prove that any two points of a convex complete metric space are connected by some metric segment without the axiom of choice?

We say that a point $m$ is between points $p$ and $q$ of a metric space $(M, d)$ if $d(p, q) = d(p, m) + d(m, q)$ and $p ≠ m ≠ q$. A metric space $M$ is said to be metrically convex if given any two ...
Juan Atacama's user avatar