There's a line in that proof saying r=min{a,b}; normally I take that to mean r is the minimum of a and b (which makes the proof wrong, since not all metric spaces have obvious orderings on their elements. Spaces like the complex plane or the 2d plane, with an appropriate metric, for instance.
I suppose it could mean r is the point in {a,b} such that the ball B_a(x) or B_b(x) has the smallest radius - but that looks more like a human making a notational mistake, particularly given that both 1b) and 1c) use min(,) in a way that seems correct to me (since they're using min on the values of the metric, not the elements of the metric space.
AFAICT, either the prover made a mistake in logic or a mistake with notation - which I reckon makes him or her human.
Then again, it's been years and years since I thought about this stuff, and I was prone to making mistakes all the time when I did, so everything above might well be wrong. My neurons are getting all fuzzy these days.
"...which makes the proof wrong, since not all metric spaces have obvious orderings on their elements..."
Your reasoning here is wrong. The "a" and "b" come from the range space of the metric, which by definition associates a pair of points in the metric space (unnamed, but call it X) with a nonnegative real number.
In short, "a" and "b" are in R, not in the original metric space X, so it's legal to take the lesser of a and b.
a and b are real numbers, namely the radius of two balls. They forgot to define B_a, but typically
B_a(x) := {y in X : d(x, y) < a}
where (X,d) is the metric space.
I agree with you though, I don't think it's option (a)
There's a line in that proof saying r=min{a,b}; normally I take that to mean r is the minimum of a and b (which makes the proof wrong, since not all metric spaces have obvious orderings on their elements. Spaces like the complex plane or the 2d plane, with an appropriate metric, for instance.
I suppose it could mean r is the point in {a,b} such that the ball B_a(x) or B_b(x) has the smallest radius - but that looks more like a human making a notational mistake, particularly given that both 1b) and 1c) use min(,) in a way that seems correct to me (since they're using min on the values of the metric, not the elements of the metric space.
AFAICT, either the prover made a mistake in logic or a mistake with notation - which I reckon makes him or her human.
Then again, it's been years and years since I thought about this stuff, and I was prone to making mistakes all the time when I did, so everything above might well be wrong. My neurons are getting all fuzzy these days.