Generalised metric
From Wikipedia, the free encyclopedia
In mathematics, the concept of a generalised metric is a generalisation of that of a metric, in which the distance is not a real number but taken from an arbitrary ordered field.
In general, when we define metric space the distance function is taken to be a real-valued function. The real numbers form an ordered field which is Archimedean and order complete. So, the metric spaces have some nice properties like: in a metric space compactness, sequential compactness and countable compactness are equivalent etc etc. These properties may not, however, hold so easily if the distance function is taken in an arbitrary ordered field, instead of in .
[edit] Preliminary definition
Let be an arbitrary ordered field, and M a nonempty set; a function is called a metric on M, iff the following conditions hold:
- ;
- d(x,y) = d(y,x), commutativity;
- , triangle inequality.
It is not difficult to verify that the open balls form a basis for a suitable topology, the latter called the metric topology on M, with the metric in F.
In view of the fact that F in its order topology is monotonically normal, we would expect M to be at least regular.
[edit] Further properties
However, under axiom of choice, every general metric is monotonically normal, for, given , where G is open, there is an open ball B(x,δ) such that . Take μ(x,G) = B(x,δ / 2). Verify the conditions for Monotone Normality.
The matter of wonder is that, even without choice, general metrics are monotonically normal.
proof.
Case I: F is Archimedean.
Now, if x in G,G open, we may take μ(x,G): = B(x,1 / 2n(x,G)), where , and the trick is done without choice.
Case II: F is non-Archimedean.
For given where G is open, consider the set .
The set A(x, G) is non-empty. For, as G is open, there is an open ball B(x, k) within G. Now, as F is non-Archimdedean, is not bounded above, hence there is some with . Putting , we see that a is in A(x, G).
Now define . We would show that with respect to this mu operator, the space is monotonically normal. Note that .
If y is not in G(open set containing x) and x is not in H(open set containing y), then we'd show that is empty. If not, say z is in the intersection. Then
- .
From the above, we get that , which is impossible since this would imply that either y belongs to or x belongs to .
So we are done!
[edit] Discussion and links
- Carlos R. Borges, A study of monotonically normal spaces, Proceedings of the American Mathematical Society, Vol. 38, No. 1. (Mar., 1973), pp. 211-214. [1]
- FOM discussion link