ON THE METRIZATION LEMMA FOR UNIFORM SPACES

Abstract

We show a numeric generalization of the well-known metrization lemma for uniform spaces, thereby answering a question left open in [2] to the affirmative. An application of the new lemma in the setting of approach theory yields the conclusion that every approach uniformity has a basis of pseudo-metrics.