How does one redefine the metric of a given set, such as the reals? I thought it would be an interesting concept to have a metric defined like so:
d_X:X^n \times X^n \to \Re
(x_1, x_2, x_3, \cdots, x_n), (y_1, y_2, y_3, \cdots, y_n) \mapsto \sum^{n}_{i=1}{\frac{x_i+y_i}{2}}
Does it have to be...